

 !"#$%&'
($)*
+
,-./012+)34)45
6,78,-./
1+9):1+)
012+9);+9);+:);+:)5<=0 $#>
?< 9) ?@)9
AB#$CDEF9
G"#$%'$B#$H@
0E?7B$4C$
I
J>$9/I:$K<KL
-M$N/:<)L:$K:
?,O,".0
)HO+PHL<=+)4O)
<Q
R
+)K$4O
J>$:RI#$"#$
&S"./
9,0>
6=%04TU,V0O0
:,"D0P$
6=0)?4 WU,V0O?
?O0
S,X&
6=0)?)Y4WU,V0O?<
?OY 0OY
<,78
7>$(
9 : S
9 9 9 9
: Z Z Z
S Z Z 9
["M,0> <"#\$])7
^>CDZ(_"#\$]_K$H,
0>
I"#\$]&FK$$D$
_,K$H,"D0P$
[]` V?HH,X&
(
9 : S
9 9 9 Z
: 9 9 Z
S Z Z 9
[],0> <"#\$])7"#\$
]CD9_HH,0>
I"#\$]EF$D$_HH
,"D0P$
0]` V?HH,VX&
1a-E?L#$"#$
A#$B

[],0>)<=%04bKH0c01:0
4CDda0O01aH,0>
[],"D0P$)<=%0)?4bH0c?d
 ?c0e$da?O01aH,"D0P$
[],X&)$CFH_4CD4bC
TU"^$\0c?<?cda0<
'$,df1a0ce$4CDd1a
0O1aH,X&

[],0>)<=%04bKH001Za
0HLg<=01aH,0>
[],"D0P$)<=%0)?4bH0?9CD
f ?0e$9CDf1a?O[1aH,"D
0P$
[],X&)<=0)?)Y4b0]0?9CDf
?Ye$9CDf)V?CD8@$X<
01h)?1i)Y191a0Y1i9CDd1aK$H,
X&
:Ej>#$B
J>$S/A=#$"#$
-M$N/A?4[C?O0
,VP:H$NV=#$
"#$Ck>9E>[
<,78/
P$O9L#$"#$/
[],0>)<=%+)40)H
c1c1a+)O+)1aH,0>
[],"D0P$<=+))+)740
H/c17c+"D<=$c71ca
+)7O+)1aOHL"D0P$
[],X&)$CFH_`+g)l40
H
+)O+)7;+)7O+g)l1ac71c;cl17cg
1ac7ccl1cc7cg1acl1cg1a+)O+g)l
1aOH,X&R6?O4L#$
"#$
 =#$"#$&F+:)99
A=#$"#$&F?$^
8+)40Cc991c:1a1cm
6?H4+9)9Z)+:)99)+S)9:)+i)9S)+h)9i)
+n)9h
J>$S/IPB
-M$N/o4L$%LPBT
US,V/0>)0P$)X&
c,V0><X& #ej,
V0P$ H@@#C/6=%0)?
40O?<?O0 01?
- &F"`/
cp&F]V/$%&F?)<=
%04HO0 $%&F]V
cp&F=V/$%&F?)<=
%04H0O $%qF=V
cL"HH&F]V<&F
=V H#$P$4&FD@P$<=
]V<&FD">P$<=&F=V
#$P$
cIPBr($["#$%LP
BD<=%($[".^>4$
(M]V

Preview text:

Tập hợp

I) Các khái niệm cơ bản

- Nếu A là con của B thì B\A được gọi là phần bù của A trong B, ký hiệu CB(A)

- Tích Đề các: A x B={(a,b)| a thuộc A, b thuộc B}

Ví dụ cho tích Đề các:

A=(1,2) B=(a,b)

  • A x B= {(1,a);(1,b);(2,a);(2,b)} với B x A thì ngược lại thay vì 1,a thì chuyển thành a,1

-Lực lượng của tập hợp là số phân tử của 1 tập hợp

Hai tập hợp được gọi là cùng lực lượng nếu ta có thể xây dựng một song ánh

II) Quan hệ

Dạng 1: Quan hệ 2 ngôi và cách mô tả quan hệ

Định nghĩa: Cho 2 tập hợp A và B, quan hệ 2 ngôi của 2 tập hợp này chính là tập hợp con R của tích đề các A x B, ta nói aRb ( tức a có quan hệ với b) khi (a,b) thuộc R, và ab khi (a,b) không thuộc R

Dạng 2. Quan hệ tương đương

Cần 3 điều kiện:

  1. Tính phản xạ

Với mọi x thuộc A phải thỏa mãn tính chất xRx

  1. Tính đối xứng

Với x,y thuộc A phải thõa mãn tính chất nếu xRy thì yRx

  1. Tính bắc cầu

Với x,y,z thuộc A phải thõa mãn tính chất nếu xRy và yRz thì xRz

Bài tập ví dụ

A white background with black text AI-generated content may be incorrect.

  1. Ta lập dạng ma trận

1

2

3

1

1

1

1

2

0

0

0

3

0

0

1

-Xác định tính phản xạ ta nhìn vào đường chéo, do tồn tại số 0 trên đường chéo nên không có tính phản xạ

-Qua đường chéo các phần tử không giống nhau nên tính không có tính đối xứng

- Xét các cặp thì ta thấy nó có tính bắc cầu

b) Ta lập ma trận

1

2

3

1

1

1

0

2

1

1

0

3

0

0

1

-Xét tính phản xạ ta nhìn vào đường chéo, do đường chéo toàn số 1 nên nó có tính phản xạ

-Qua đường chéo các phân tử giống nhau nên nó có tính đối xứng

-Ta xét các cặp thì thấy nó có tính chất bắc cầu

=> Đây là quan hệ tương đương

c) Làm tương tự

A math equations on a white background AI-generated content may be incorrect.

a)

-Xét tính phản xạ, với mọi x thuộc Z ta luôn có x+x=2x là một số chẵn ->xRx=> có tính phản xạ

-Xét tính đối xứng, với mọi x,y thuộc Z ta có x+y chẵn thì y+x cũng chẵn-> yRx => có tính đối xứng

-Xét tính bắc cầu, giả sử có thêm một số a thuộc Z sao cho thỏa mãn đồng thời x+y và y+a là chẵn -> x và a phải cùng tính chẵn lẻ=> x+a cũng là một số chẵn=> xRa=> có tính bắc cầu

b)

-Xét tính phản xạ, với mọi x thuộc Z ta luôn có x-x=0-> x ko có qhe với x=> k có tính phản xạ

-Xét tính đối xứng, với mọi x,y thuộc Z ta có x-y là 1 số lẻ thì y-x cũng phải là 1 số lẻ =>yRX=> có tính đối xứng

-Xét tính bắc cầu, với x,y,z thuộc Z ta xét x-y là 1 số lẻ y-z cũng là 1 số lẻ, ta lấy số cụ thể gắn vào x=5,y=4,z=1=>x-z=4 là 1 số chẵn=> không có tính bắc cầu

2 câu còn lại làm tương tự

Dạng 3: Lớp tương đương

Định nghĩa: Là tập hợp y thuộc X sao cho yRxA black line with white text AI-generated content may be incorrect.

Tính chất thứ 2 có nghĩa là hợp của tất cả các lớp tương đương sẽ tạo thành 1 phân hoạch của tập X

Bài tập ví dụ:

A math equations on a white background AI-generated content may be incorrect.

Chứng minh R là 1 quan hệ tương đương:

-Xét tính phản xạ, với mọi (a,b) thuộc AxA, ta có

a+b=b+a => (a,b)R(a,b)=> có tính phản xạ

-Xét tính đối xứng với (a,b),(c,d) thuộc AxA ta có:c+b=d+a ( đối chiếu với gt là a+d=b+c)-> (c,d)R(a,b)=> R có quan hệ đối xứng

Xét tính bắc cầu, giả sử có thêm cặp (e,f) thuộc AxA ta có

(a,b)R(c,d);(c,d)R(e,f) => a+d=b+c; c+f=d+e

=>a+d+c+f=b+c+d+e=>a+f=b+e=> (a,b)R(e,f)

=> R có tính bắc cầu. Vậy R là một quan hệ tương đương

Tìm lớp tương đương của phần tử (2,11)

Lớp tương đương của phần tử này là tập hợp gồm các cụm (a,b) thuộc AxA sao cho a+11=b+2=>b=a+9

Vậy ta có các bộ (1,10),(2,11),(3,12),(4,13),(5,14),(6,15)

Dạng 3: Quan hệ thứ tự

-Định nghĩa: Một quan hệ gọi là quan hệ thứ tự ⬄ thỏa mãn 3 tính chất: phản xạ, phản xứng, bắc cầu

+) Tính chất phản xạ và bắc cầu thì như cũ còn tính chất phản xứng thì có thể hiểu như sau: Với mọi x,y thuộc A nếu xRy và yRx thì x=y

  • Các phần tử đặc biệt:

+) Phần tử bé nhất: ta gọi phần tử này là a, nếu với mọi x thuộc A ta có aRx thì gọi a là phần tử bé nhất

+) Phần tử lớn nhất:ta gọi phần tử này là a, nếu với mọi x thuộc A ta có xRa thì gọi a là phẩn tử lớn nhất

+)Nếu quan hệ đó có cả phần tử bé nhất và phần tử lớn nhất thì có tương ứng một phần tử tối tiểu ứng với bé nhất và phần tử tối đại ứng với phần tử lớn nhất tương ứng

+) Quan hệ thứ tự ≤ trong X được gọi là quan hệ thứ tự tốt nếu với mọi tập con trong X đều tồn tại một giá trị bé nhất