Tõ c¸c ®iÒu kh¼ng ®Þnh 1.8 vµ 1.10 ta cã : §èi víi hai tËp E, F b¸t k× th×: hoÆc card E < card F, hoÆc card F < card E, hoÆc card F = card E.
Cantor ®· ®a ra gi¶ thuyÕt sau, gäi lµ gi¶ thuyÕt liªn tôc: Kh«ng tån t¹i b¶n sè tho¶ m·n No< < N. N¨m 1963 Cohen ®· chøng minh ®îc r»ng gi¶ thuyÕt liªn tôc ®éc lËp víi tiªn ®Ò chän.
Bµi tËp ch¬ng i.
Bài 1) hiÖu ®èi xøng cña hai tËp S vµ T lµ tËp:
S T = (S \ T) (T \ S).
Chøng minh r»ng S T = (S T) \ (S T).
Bài 2) Gi¶ sö A, B, C lµ c¸c tËp con cña tËp E. Chøng minh r»ng nÕu ABAC vµ A B A C th× B C.
Bài 3) E lµ tËp cho tríc vµ A P(E). X¸c ®Þnh tËp X tho¶ m·n c¸c ®¼ng thøc A X = vµ A X = E. Gi¶ sö tËp e cã n 2 phÇn tö, cã bao nhiªu cÆp (X,Y) P(E) P(E) tho¶ m·n X Y = E.
Bài 4) Chøng minh c¸ luËt §ê Moãc g¨ng:
a) X \
b)
Bài 5) XÐt hai tËp E = vµ .
T×m c¸c tËp E F, E F vµ E F. Chøng minh r»ng cardE+card(EF). X¸c ®Þnh sè phÇn tö cña c¸c tËp E, F, E F, E F vµ E F.
Chia sẻ với bạn bè của bạn: |