Loading [MathJax]/jax/output/HTML-CSS/jax.js
Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
2 beğenilme 0 beğenilmeme
597 kez görüntülendi

A ve B iki küme olsun. O halde ya AcB ya da AcB olur.

Bu hipotezin kanıtı var mı yoksa Süreklilik hipotezi gibi, ZFC den bağımsız mıdır?

Lisans Matematik kategorisinde (691 puan) tarafından  | 597 kez görüntülendi

c ile kastettiğiniz A'dan B'ye örten bir fonksiyon olması mı yoksa B'dan A'ya birebir bir fonksiyon olması mı? Bunların denkliği için seçim belitine ihtiyaç var.

Eğer seçim belitini kabul ediyorsanız bu ifade otomatik olarak doğru zira her küme iyi sıralanabilir ve dolayısıyla herhangi iki kümeyi kardinal sayılarla eşleyerek karşılaştırabiliriz.

AcB ile kastettiğim A'dan B'nin bir altkümesine birebir ve örten bir fonksiyon olması. Bu da A'dan B'ye birebir bir fonksiyon olmasına denk yanılmıyorsam.

Bahsettiğiniz iki önermenin denkliği için neden saçim belitine ihtiyaç var?  

Çünkü seçim beliti olmazsa 2ω'dan ω1'e örten bir fonksiyon olduğu halde ω1'den 2ω'ya birebir bir fonksiyon olmadığı tutarlı. Bunun kanıtı ne yazık ki pek kolay değil.

1 cevap

0 beğenilme 0 beğenilmeme

ZF'den bağımsızdır ama ZFC'den bağımsız değil. Zira "Her A,B için AB veya BA" ifadesi tam olarak C'ye (yani seçim belitine) denk.

Teorem (ZF): Her A,B için AB veya BA olur ancak ve ancak her küme iyi sıralanabilirse.

Kanıt: Diyelim ki her küme iyi sıralanabilir. Bu durumda verilen A ve B kümelerini ordinal sayılarla eşleyebiliriz. Ancak bu durumda ordinal sayılar sınıfı doğrusal sıralı olduğundan AB veya BA olmak zorundadır.

Diyelim ki her A,B için AB veya BA. Verilen bir A kümesi için αA olan en küçük α ordinaline bakalım. (Böyle bir ordinalin var olması gerektiği Hartog teoreminin bir sonucu.) Varsayım gereği Aα olmak zorundadır. α bir ordinal sayı olduğundan ve iyi sıralı bir kümenin her alt kümesi de iyi sıralı olduğundan bu durumda A iyi sıralanabilir olmak zorundadır. Demek ki her küme iyi sıralanabilir.

(1.3k puan) tarafından 
tarafından düzenlendi
20,312 soru
21,868 cevap
73,589 yorum
2,859,649 kullanıcı