TRƢỜNG ĐẠI HỌC KHOA HỌC HUẾ KHOA CÔNG NGHỆ THÔNG TIN TIỂU LUẬN CƠ SỞ TOÁN TIN HỌC ĐỀ TÀI TÌM HIỂU QUAN HỆ VÀ ỨNG DỤNG LỚP CAO HỌC NGÀNH KHOA HỌC MÁY TÍNH GVHD PGS TS TRƢƠNG CÔNG TUẤN Lớp Cao học KHMT[.]
TRƢỜNG ĐẠI HỌC KHOA HỌC HUẾ KHOA CÔNG NGHỆ THÔNG TIN TIỂU LUẬN CƠ SỞ TOÁN TIN HỌC ĐỀ TÀI: TÌM HIỂU QUAN HỆ VÀ ỨNG DỤNG LỚP CAO HỌC: NGÀNH KHOA HỌC MÁY TÍNH GVHD: PGS TS: TRƢƠNG CƠNG TUẤN Lớp: Cao học KHMT-GIA LAI 2018 HVTH: Nhóm + Cao Chí Hiển, ĐT 0985945261 + Nguyễn Thị Thụy + Nguyễn Thị Thảo + Đào Thị Hiểu + Dƣơng Thị Minh Thảo GIA LAI, 7/ 2018 MỤC LỤC LỜI NÓI ĐẦU PHẦN I: CỞ SỞ KHOA HỌC I QUAN HỆ VÀ CÁC TÍNH CHẤT CỦA NĨ 1.1 ĐỊNH NGHĨA 1.2 ÁNH XÃ CŨNG NHƢ MỘT QUAN HỆ (HÀM CŨNG LÀ MỘT QUAN HỆ) 1.3 CÁC QUAN HỆ TRÊN MỘT TẬP HỢP 1.4 CÁC TÍNH CHẤT CỦA QUAN HỆ 1.5 TỔ HỢP CÁC QUAN HỆ II QUAN HỆ TƢƠNG ĐƢƠNG 2.1 ĐỊNH NGHĨA 2.2 CÁC LỚP TƢƠNG ĐƢƠNG 2.2.2 MỆNH ĐỀ: 2.2.3 Định nghĩa: Tập thƣơng A theo quan hệ R 2.3 PHÂN HOẠCH 2.3.2 Mệnh đề: III QUAN HỆ THỨ TỰ 3.1 Định nghĩa 1: QUAN HỆ THỨ TỰ 3.2 Định nghĩa 2: QUAN HỆ THỨ TỰ TOÀN PHẦN 10 3.3 Định nghĩa 3: PHẦN TỬ LỚN NHẤT (NHỎ NHẤT) 10 3.4 Định nghĩa 4: CHẶN TRÊN (CHẶN DƢỚI) 11 3.5 Định nghĩa 5: CÂN TRÊN, CẬN DƢỚI 12 3.6 Định nghĩa 6: PHẦN TỬ TỐI ĐẠI (TỐI TIỂU) 13 3.7 Mệnh đề: 13 3.12 Bổ đề Zore: 14 PHẦN II: MỘT SỐ BÀI TẬP VẬN DỤNG 15 I BÀI TẬP MINH HỌA CÁC TÍNH CHẤT CỦA QUAN HỆ 15 II MÔT SỐ BÀI TẬP QUAN HỆ TƢƠNG ĐƢƠNG 18 III MỘT SỐ BÀI TẬP QUAN HỆ THỨ TỰ 20 IV MỘT SỐ BÀI TẬP QUAN HỆ TUẦN TỰ - DÀN 23 PHẦN III: ỨNG DỤNG CỦA QUAN HỆ 25 Tạo bao đóng phản xạ 25 Tạo bao đóng đối xứng 25 Tạo bao đóng bắc cầu 26 TÀI LIỆU THAM KHẢO 27 LỜI NÓI ĐẦU Các mối quan hệ phần tử tập hợp xuất nhiều bối cảnh Thường ngày ta gặp mối quan hệ này, chẳng hạn mối quan hệ trường học với số điện thoại nó, mối quan hệ giáo viên với lương người đó, mối quan hệ người với người thân Trong toán học, ta nghiên cứu mối quan hệ mối quan hệ số nguyên dương ước số nó, mối quan hệ số nguyên số nguyên khác đồng dư với theo mơđulơ n, mối quan hệ số thực số thực khác lớn Các mối quan hệ quan hệ chương trình biến mà chương trình sử dụng quan hệ ngơn ngữ máy tính với mệnh đề ngơn ngữ thường xuất tin học Các quan hệ dùng để giải toán xác định cặp thành phố nối chuyến bay mạng, tìm trật tự thành công cho pha khác án phức tạp, tạo cách tiện ích để lưu trữ thông tin sở liệu máy tính Các mối quan hệ phần tử tập hợp biểu diễn cấu trúc gọi Quan Hệ Đây nội dung đề tài tiểu luận nhóm em: TÌM HIỂU VỀ QUAN HỆ VÀ ỨNG DỤNG Mặc dù cố gắng tiểu luận không tránh khỏi sai sót Nhóm chúng em mong nhận ý kiến góp ý thầy hướng dẫn bạn Xin chân thành cảm ơn PGS.TS TRƢƠNG CÔNG TUẤN tận tình hướng dẫn tạo điều kiện cho chúng em hồn thành mơn học Gia Lai, ngày 10 tháng 08 năm 2018 Học viên thực NHÓM Trang: PHẦN I: CỞ SỞ KHOA HỌC I QUAN HỆ VÀ CÁC TÍNH CHẤT CỦA NĨ Cách trực tiếp để biểu diễn mối quan hệ phần tử hai tập hợp dùng cặp tạo hai phần tử có quan hệ Vì lí đó, tập cặp gọi quan hệ hai ngơi Sau dùng quan hệ để giải tốn có liên quan với mạng thơng tin, nhận dạng phần tử tâp hợp có tính chất chung 1.1 ĐỊNH NGHĨA Cho hai tập A B Một quan hệ hai từ A đến B tập tích Descartes A x B Ta nói phần tử a A có quan hệ với phần tử b B ký hiệu a b (a, b) Ví dụ 1: Cho A tập sinh viên Đại học Huế B tập hợp môn học cho R quan hệ bao hàm gồm tập (a, b) a sinh viên học môn b Chẳng hạn, bạn An bạn Tùng sinh viên Đại học Huế học mơn đại số có mã NMDSO, cặp (An, NMDSO) (Tùng, NMDSO) thuộc R Nếu An cịn học mơn Giải tích có mã số GTICH1 cặp (Tùng, GTICH1) khơng thuộc R Ví dụ 2: Cho A tập hợp quận, huyện B tập hợp tỉnh thành phố Việt Nam Ta định nghĩa quan hệ R cách rõ (a, b) thuộc R quận hay huyện a thuộc tỉnh hay thành phố b Chẳng hạn (Phú Lộc, Thừa Thiên Huế), (Ba Đình, Hà Nội), (Phú quốc, Kiên Giang), (Nam Đàn, Nghệ An), thuộc R Ví dụ 3: Cho A = {0, 1, 2} B {a, b} Khi {(0, a), (0, b),(1,a), (2, b)} quan hệ từ A đến B Điều có nghĩa là, chẳn hạn 0Ra 1Rb (1 không quan hệ với b) Trang: 1.2 ÁNH XÃ CŨNG NHƢ MỘT QUAN HỆ (HÀM CŨNG LÀ MỘT QUAN HỆ) Hãy nhớ ánh xạ f từ tập hợp A đến tập hợp B gán cho phần tử A phần tử B Đồ thị f tập cặp (a, b) cho b = f(a) Vì đồ thị f tập A x B, nên quan hệ từ A đến B Ngược lại, qu an hệ từ A đến B cho phần tử A phần tử cặp với , định nghĩa ánh xạ đồ thị Điều làm cách gán cho phần tử a phần tử b B cho (a, b) A Một quan hệ dùng để biểu diễn mối quan hệ nhiều phần tử hai tập hợp A B, phần tử A có quan hệ với phần tử B Trong đó, ánh xạ biểu diễn quan hệ phần tử A có quan hệ với phần tử B Quan hệ tổng quát hóa khái niệm hàm; chúng dùng để biểu diễn lớp rộng lớn mối quan hệ tập hợp 1.3 CÁC QUAN HỆ TRÊN MỘT TẬP HỢP Định nghĩa: Một quan hệ tập A quan hệ từ A đến A Nói cách khác, quan hệ tập A tập tập A × A Ví dụ 1: i) Quan hệ "nhỏ bằng" ( ) quan hệ tập hợp số thực ii) Quan hệ "chia hết" (|) quan hệ tập N số tự nhiên iii) Quan hệ "vng góc" (┴) quan hệ tập hợp đường thẳng mặt phẳng iiii) Với n số nguyên dương, R= {(x, y) quan hệ x | x - y chia hết cho n} , gọi quan hệ đồng dư môđulô n Khi xRy, ta viết x y (modn) iiiii) Quan hệ "cùng tuổi" quan hệ tập hợp người trái đất Ví dụ 2: Cho A tập phần tử {1, 2, 3, 4} Hỏi tập thuộc quan hệ R = {(a,b) | b chia hết cho a}? Trang: Giải Vì (a, b) thuộc R a b số nguyên dương không vượt cho b chia hết cho a, ta có: R = {(1, 1), (1, 2), (1,3), (1, 4), (2,2), (2,4), (3,3), (4,4)} Ví dụ 3: Có quan hệ tập có n phần tử? Giải: Một quan hệ tập A tập A x A Vì A x A có n phần tử A có n phần tử tập gồm m phần tử có 2m tập con, nên A x A có 2n tập Vì cậy có 2n quan hệ tập n phần tử Víu dụ 23 = = 512 quan hệ 2 tập {a, b, c} 1.4 CÁC TÍNH CHẤT CỦA QUAN HỆ 14.1 Định nghĩa: Quan hệ R gọi có tính phản xạ với a ∈ A, (a, a)∈R với a ∈ A 1.4.2 Định nghĩa: Quan hệ R tập A gọi đối xứng với a, b ∈ A, a R b b R a 1.4.3 Định nghĩa: Quan hệ R tập A đuợc gọi có tính phản đối xứng hay phản xứng với a, b ∈ A, (a, b)∈R (b, a)∈R a = b 1.4.4 Định nghĩa: Một quan hệ R tập A gọi có tính bắc cầu a, b, c ∈ A, (a, b) ∈R (b, c)∈R (a, c) ∈R i) Quan hệ "bằng nhau" (=) tập X tùy ý có tính chất: phản xạ, đối xứng, phản đối xứng bắc cầu ii) Quan hệ tập hợp X, với X tập tùy ý R, có tính chất: phản xạ, phản đối xứng bắc cầu iii) Quan hệ "đồng dư modn" tập hợp có tính chất: phản xạ, đối xứng, bắc cầu iiii) Quan hệ "chia hết" tập * số nguyên dương có tính chất: phản xạ, phản đối xứng bắc cầu Tuy nhiên, xét tập quan hệ có tính bắc cầu iiiii) Quan hệ bao hàm ( ) tập hợp P(X) tất tập tập hợp X tùy ý có tính chất phản xạ, phản đối xứng, bắc cầu Trang: 1.5 TỔ HỢP CÁC QUAN HỆ Vì quan hệ từ A đến B tậ p tập A×B, nên hai quan hệ từ A đến B đuợc tổ hợp hai tập hợp Chẳng hạn, với R R2 hai quan hệ từ A đến B ta có quan hệ R1 R2, R1 R2, R1\ R2 R2 từ A đến B 1.5.1 Định nghĩa: Cho R quan hệ từ tập A đến tập B S quan hệ từ tập B đến tập C Hợp thành R S quan hệ chứa cặp (a, c) a∈A c∈C chúng tồn phần tử b∈B cho (a, b)∈R (b, c)∈ S Ta ký hiệu hợp thành R S SoR, xác định SoR = {(a,c) ∈ A x C| ∃b ∈ B, (a, b) ∈ R (b, c) ∈ S} Đặc biệt, R đồ thị ánh xạ f S đồ thị ánh xạ g S o R đồ thị ánh xạ gof 1.5.2 Định nghĩa: Cho R quan hệ tập A Lũy thừa Rn với n = 1, 2, 3, …được định nghĩa quy nạp sau: R1 = R Rn+1 =RnoR Như vậy, (a, b) ∈ Rn tồn x1, x2, , xn-1 ∈ A cho (a, x1), (x1, x2), , (xn-1, b) ∈ R 1.5 Mệnh đề: Quan hệ R tập A có tính chất bắc cầu va R n R với n II QUAN HỆ TƢƠNG ĐƢƠNG Các số nguyên a b quan hệ với phép “đồng dư theo môdun 4” a – b chia hết cho Dưới ta quan hệ phản xạ, đối xứng bắc cầu Dễ dàng thấy a quan hệ với b a b có số dư chia cho Từ suy quan hệ tách tập hợp số nguyên thành lớp khác Khi ta cần quan tâm số nguyên chia cho cho số dư nào, cần biết thuộc lớp khơng cần biết giá trị Quan hệ R phép đồng dư theo môdun ví dụ quan hệ tương đương, cụ thể quan hệ có tính chất phản xã, đối xứng bắc cầu Trong mục chúng Trang: ta quan hệ tách tác tập thành lớp rời gồm phần tử tương đương Khi ta quan tâm phần tử tập thuộc lớp không cần quan tâm tới đặc điểm Trong mục nghiên cứu quan hệ với tổ hợp đặc biệt tính chất cho phép cúng dùng để liên hệ đối tượng tương đương theo định nghĩa 2.1 ĐỊNH NGHĨA Quan hệ cho tập A gọi tương đương phản xạ, đối xứng bắc cầu Ví dụ Quan hệ đồng dư "modn" tập hợp quan hệ tương đương Ví dụ Quan hệ "đồng dạng" tập hợp tam giác quan hệ tương đương Ví dụ Quan hệ "cùng phương" (song song trùng nhau) tập hợp đường thẳng mặt phẳng quan hệ tương đương Ví dụ 4: = {(m, n) x | m – n chẵn} quan hệ tương đương 2.2 CÁC LỚP TƢƠNG ĐƢƠNG Cho A tập tất sinh viên trường tốt nghiệp phổ thông Xét quan hệ R A gồm tất cặp (x, y), x y tốt nghiệp trường phổ thông Vơi sinh viên x cho, ta lấy tập sinh viên tương đương với x R Tập gồm tất sinh viên tốt nghiệp phổ thông trường với x Tâp A gọi lớp tương đương quan hệ 2.2.1 Định nghĩa: Cho R quan hệ tương đương tập hợp A a ∈ A Tập hợp {x ∈ A | xRa} gọi lớp tương đương phần tử a, ký hiệu [a] C(a) Nói cách khác, R quan hệ tương đương tậ Athì lớp tương đương phần tử a [a] = {s | (a, s) R} Nếu b [a] b gọi đại diện lớp tương đương Ví dụ: Xác định lớp tương đương quan hệ đồng dư môdun Lớp tương đương chứa tất số a cho a 0(mod 4) Trang: Các số nguyên thuộc lớp sơ ngun chia hết cho 4, lớp tương đương quan hệ là: [0] = {…, -8, - 8, 0, 4, 8, 12,… } Tương tự, lớp tương đương chứa tất số a cho a 1(mod 4), số nguyên a chia cho dư Vì lớp tương đương là: [1] = {…, -7, - 3, 1, 5, 9, 13,… } 2.2.2 MỆNH ĐỀ: Cho R quan hệ tương đương tập hợp A a, b ∈ A Khi ta có: i) ≠ ii) = aRb iii) = = 2.2.3 Định nghĩa: Tập thƣơng A theo quan hệ R Cho R quan hệ tương đương tập hợp A Khi A chia thành lớp tương đương khác rỗng, rời đôi Tập hợp lớp tương đương gọi tập thương A theo quan hệ tương đương R ký hiệu A/R Như vậy, A/R = { | a ∈ A} Ví dụ 1: Xét quan hệ tương đương "cùng phương" tập hợp D tất đường mặt phẳng Khi với đường thẳng a ∈ D, lớp tương đương tập hợp gồm a đường thẳng D song song với a Trong toán học, người ta coi lớp tương đương nói phương mặt phẳng Vì coi tập thương tập hợp phương mặt phẳng Ví dụ 2: Cho X= {1, 2, 3, 4} Trên P(X), xét quan hệ R sau: A, B ∈ P(X), A R B |A| = |B| Dễ dàng có R quan hệ tương đương P(X) Các lớp tương đương theo quan hệ R là: C0= { (tập X khơng có phần tử nào), C1= {{1}, {2}, {3}, {4}} (các tập X có phần tử), C2= {{1, 2}, {1, 3}, {1, 4}, {2, 3}, {2, 4}, {3, 4}} (các tập X có phần tử), Trang: C3= {{1, 2, 3}, {1, 2, 4}, {1, 3, 4}, {2, 3, 4}} (các tập X có phần tử), C4= {{X}} (tập X có phần tử) Tập thương X theo quan hệ R P(X)/R= {C0, C1, C2, C3, C4} 2.3 PHÂN HOẠCH Cho R quan hệ tương đương tập A Hợp lớp tương đương R toàn tập A, phần tử a A thuộc lớp tương đương riêng nó, cụ thể lớp [a]k Nói cách khác, [a] R = A a A Thêm vào đó, theo mệnh đề suy lớp tương đương rời nhau, nghĩa là: [a]R [b]R = [a]R [b]R Nhận xét chứng tỏ lớp tương đương tạo nên phân hoạch tập A, tách tập A thành tập rời Nói cách khác phân hoạch tập S tập hợp tập khơng rỗng rời S có S hợp chúng Nói cách khác, tập tập Ai , i I (ở I tập số) tạo nên phân hoạch S nếu: Ai với i I Ai Aj i j Ai S iI 2.3.1 Định nghĩa: Một phân hoạch cặp tập hợp A họ (Ai)i ∈I tập A cho Ai ( , Ai Aj = ( ≠ j), = A Như vậy, có quan hệ tương đương tập hợp A họ gồm tất lớp tương đương theo quan hệ tạo thành phân hoạch cặp tạp hợp A 2.3.2 Mệnh đề: Mỗi phân hoạch cặp tập hợp A xác định quan hệ tương đương A Trang: 3.6 Định nghĩa 6: PHẦN TỬ TỐI ĐẠI (TỐI TIỂU) Cho tập hợp thứ tự A quan hệ A Phần tử m X tập khác rỗng X gọi phần tử tối đại (t.ư tối tiểu) X với x X ta có: m x x = m (t.ư x m x = m), tức không tồn phần tử x X cho x > m (t.ư x < m) Rõ ràng phần tử tối đại (t.ư tối tiểu) m A cho m X phần tử tối đại (t.ư tối tiểu) X Tuy nhiên, m phần tử tối đại (t.ư tối tiểu) X chưa m phần tử tối đại (t.ư tối tiểu) A Phần tử tối đại (t.ư tối tiểu) tập hợp khơng có tồn tại, có 3.7 Mệnh đề: Cho tập hợp thứ tự A quan hệ X tập khác rỗng A Khi đó: i) Nếu X có phần tử lớn (t.ư nhỏ nhất) a a phần tử tối đại (t.ư tối tiểu) X ii) Nếu X thứ tự tồn phần quan hệ phần tử a X phần tử lớn (t.ư nhỏ nhất) X a phần tử tối đại (t.ư tối tiểu) X Ví dụ: i) Tập hợp * với quan hệ "chia hết" có phần tử tối tiểu 1, phần tử nhỏ Tập X = * * , không tồn phần tử tối đại \ {1} * có phần tử tối tiểu số ngun tố khơng có phần tử tối đại Tập X' = {2, 3, 4, 6, 9, 12, 19, 24} * có phần tử tối tiểu 2, 3, 19 phần tử tối đại 9, 19, 24 ii) cho tập hợp X= {x1, x2, , xn} Xét tập hợp A= P(X) \ { với quan hệ "bao hàm" Khi A có phần tử tối tiểu tập phần tử: { x 1}, { x2}, Trang: 13 , { xn} có phần tử tối đại tập n - phần tử: {x2, x3, , xn}, {x1, x3, , xn}, , {x1, x2, , xn-1} 3.8 Định nghĩa: Cho tập hợp thứ thự A quan hệ Ta nói A thứ tự tốt quan hệ tập khác rỗng A đểu có phần tử nhỏ 3.9 Hệ quả: Nếu tập hợp thứ tự tốt quan hệ thứ tự tồn phần quan hệ Ví dụ: i) Tập hợp thứ tự tốt quan hệ ii) Tập hợp * thông thường không thứ tự tốt quan hệ "chia hết" iii) Các tập hợp , , không thứ tự tốt quan hệ thông thường 3.10 Định nghĩa: Tập hợp thứ tự A gọi dàn với hai phần tử a, b A, tập hợp {a, b} ln có cận cận Cận cận {a, b} ký hiệu a b a b 3.11 Tính chất: Cho A dàn Khi với a, b, c A, ta có: i) Luật lũy đẳng: a a a, a a a ii) Luật giao hoán: a b = b a, a b = b a iii) Luật kết hợp: a b c a (b c), a b c a (b c) iiii) Luật hấp thụ: a (a b) a, a (a b) a Ví dụ: i) Tập hợp * với quan hệ chia hết dàn với m, n * , ta có m n BCNN(m, n) m n UCLN(m, n) ii) tập hợp P(X) với qua hệ "bao hàm" dàn với A, B P(X), ta có A B A B A B A B 3.12 Bổ đề Zore: Nếu tập hợp khác rỗng X thứ tự quy nạp nghĩa tập thứ tự tồn phần có chặn X có phần tử tối đại Trang: 14 PHẦN II: MỘT SỐ BÀI TẬP VẬN DỤNG I BÀI TẬP MINH HỌA CÁC TÍNH CHẤT CỦA QUAN HỆ Bài 1: Cho S={0, 1, 2, 3} Quan hệ “thứ tự nhỏ” S xác định tập: L ={ (0,1), (0,2), (0,3), (1, 2), (1, 3), (2,3)} Quan hệ “bằng” xác định S tập: E = { (0, 0), (1, 1), (2, 2), (3, 3)} Quan hệ “chẵn lẻ” S xác định bởi: P = {(0,0), (1, 1), (2, 2), (3, 3), (0, 2), (2, 0), (1, 3), (3, 1)} Giải: * Tính phản xạ: Quan hệ L khơng có tính phản xạ cặp (0,0) L Quan hệ E P có tính phản xạ tất cặp dạng (a, a), cụ thể (0, 0), (1, 1),(2, 2),(3,3) E P * Tính đối xứng: Quan hệ L khơng đối xứng trường hợp (a, b) thuộc quan hệ khơng có (b, a) thuộc quan hệ Quan hệ E P đối xứng có cặp (a, b) thuộc quan hệ có (b, a) thuộc quan hệ * Tính phản xứng: Quan hệ E có tính phản xứng vợi a, b thuộc S, (a, b) thuộc E (b, a) thuộc L có a=b Quan hệ P khơng có tính phản xứng có cặp ( 0, 2) thuộc P (2, 0) thuộc P Quan hệ L khơng có tính phản xứng có cặp ( a, b) thuộc L (b, a) thuộc L mà a = b * Tính bắc cầu: Quan hệ L có tính bắc cầu có (0, 1) (1, 2) thuộc L có (0, 2) thuộc L Quan hệ E khơng có tính bắc cầu khơng có (a, b) (b,c) thc E mà (a, c) thuộc E Trang: 15 Quan hệ P có tính bắc cầu tồn (1, 3), ( 3, 1) thuộc P (1,1) thuộc P Bài 2: Cho tập {1, , 3, 4} xét quan hệ sau: R1= {(1,1),(1,2),(2,1)(2,2),(3,4),(4,1),(4,4)} R2 = {{1,1),(1,2),(2,1)} R3 = {(1,1), (1,2), (1,4)(2,1), (2,2), (3,3), (4,1), (4,4)} R4 = {(2,1), (3,1), (3,2), (4,1), (4,2), (4,3)} R5 = {(1,1), (1,2), (1,3), (1,4), (2,2), (2,3), (2,4), (3,3), (3,4), (44)} R6 = {(3,4)} Giải: * Tính phản xạ: Quan hệ R3 có tính phản xạ tất cặp dạng (a, a), cụ thể là: (1,1), (2, 2), (3, 3), (4, 4) thuộc R3 Tương tự, quan hệ R5 có tính phản xạ Quan hệ R1 khơng có tính phản xạ cặp (3, 3) không thuộc R1 Tương tự, quan hệ R2, R4, R6 khơng có tính phản xạ * Tính đối xứng : Các quan hệ R2, R3 đối xứng trường hợp (a, b) thuộc quan hệ có (b, a) thuộc quan hệ Quan hệ R1 khơng đối xứng có cặp (3, 4) thuộc R1 (4, 3) không thuộc R1 Tương tự, dễ dàng kiểm ta quan hệ lại khơng có tính đối xứng cách tìm cặp (a, b) thuộc quan hệ (b, a) không thuộc quan hệ *Tính phản xứng: Quan hệ R1 khơng phản xứng có cặp (1, 2) (2, 1) thuộc R1 ≠ Tương tự R2 không phản xứng Quan hệ R3, R4, R6 không phản xứng Quan hệ R5 phản xứng * Tính bắc cầu: Trang: 16 Quan hệ R1 khơng có tính bắc cầu (3, 4) (4, 1) thuộc R1 (3, 1) khơng thuộc R1 Quan hệ R4 có tính bắc cầu (3, 2) (2, 1) thuộc R4 (3, 1) thuộc R4 Tương tự, (4, 2), (2, 1), (4, 1) (4, 3), (3, 1), (4, 1) thuộc R4 Quan hệ R2, R3, R5, R6 tính bắc cầu Bài 3: Quan hệ “chia hết” tập số tự nhiên Giải: * Tính phản xạ: Vì a|a với a số tự nhiên nên quan hệ “chia hết” có tính phản xạ * Tính phản xứng: Vì với số tự nhiên a, b, a| b b|a ta có a = b Do quan hệ chia hết tập số ngun dương có tính phản xứng * Tính đối xứng: Khơng có tinh đối xứng * Tính bắc cầu: Vì tồn a, b, c thuộc số tự nhiên , giả sử aRb bRc a|b b|c=> a|c=>aRc, nên có tính bác cầu Bài 4: Cho R quan hệ tập số thực : aRb a a-b => b-a= -(a-b) => bRa, nên có tính đối xứng * Tính phản xứng: R khơng phản xứng lấy a=1, b=4 thuộc A ta có 1R4 4R1 * Tính bắc cầu: Vì a, b, c A, giả sử aRb bRc => a-b b- c Ta có: (a-b)+(b-c)= (a-c) => aRc, nên có tính bắc cầu II MÔT SỐ BÀI TẬP QUAN HỆ TƢƠNG ĐƢƠNG Bài Cho R quan hệ tập số thực cho aRb (a - b) số nguyên R có quan hệ tương đương khơng? Giải: Vì a – a = số nguyên với số thực a, nên R phản xạ Giải sử aRb Khi (a – b) số nguyên (b – a ) số nguyên Vậy bRa nên R đối xứng Nếu aRb bRc (a – b) (b – c) số nguyên Khi a – c = (a – b) + (b – c) số nguyên Vậy aRc, tức R bắc cầu Do đó, R quan hệ tương đương Bài Đồng dư theo môdun m Cho m số nguyên dương lớn Chứng minh quan hệ R = {(a, b) | a b (mod m)} quan hệ tương đương tập số nguyên Giải: Ta biết a b (mod m) (a – b) chia hết cho m Mà a – a = chia hết cho m, = 0.m, nên a a (mod m), R phản xạ Gia sử a b (mod m), (a – b) chia hết cho m, nghĩa a – b = km, với k số nguyên Từ suy (b – a) = - km, b a (mod m), R đối xứng Giả thuyết a b (mod m) b c (mod m) Khi đố (a – b) (b – c) chia hết cho m Do đó, tồn số nguyên k l cho (a – b) = km (b – c) = lm Cộng phương trình ta được: a – c = km + lm = (k+l)m Suy a c (mod m) Do đó, R có tính bắc cầu Trang: 18