Hipoteza Kurepy

Szablon:Dopracować Hipoteza Kurepy, KH (od ang. Kurepa hypothesis) – zdanie teorii mnogości postulujące istnienie obiektów nazywanych drzewami Kurepy. Jest ono niezależne od standardowych aksjomatów ZFC (nie można go udowodnić ani obalić na gruncie tych aksjomatów).

Definicje

Drzewo to częściowy porządek $(T,⊑)$ o własności: dla każdego $t\in T$ zbiór $\{s\in T:s⊏t\}$ jest dobrze uporządkowany (przez relację $⊑$). Niech $(T,⊑)$ będzie drzewem. Wysokością $\mathrm{h}\mathrm{t}(t)$ elementu $t$ w drzewie $T$ nazywa się typ porządkowy zbioru $\{s\in T:s⊏t\}.$ Dla każdej liczby porządkowej $\alpha$ definiuje się $\alpha$-ty poziom drzewa $T$ jako zbiór

${\mathrm{L}\mathrm{e}\mathrm{v}}_{\alpha }(T)=\{t\in T:\mathrm{h}\mathrm{t}(t)=\alpha \}.$

Drzewo $(T,⊑)$ spełniające

• ${\mathrm{L}\mathrm{e}\mathrm{v}}_{\alpha }(T)\ne \varnothing$ dla każdej przeliczalnej liczby $\alpha <{\omega }_1,$ ale ${\mathrm{L}\mathrm{e}\mathrm{v}}_{{\omega }_1}(T)=\varnothing$

oraz

• $(\mathrm{\forall }\alpha <{\omega }_1)(|{\mathrm{L}\mathrm{e}\mathrm{v}}_{\alpha }(T)|<{\omega }_1)$

nazywa się drzewem ${\omega }_1.$

Jeżeli $(T,⊑)$ jest drzewem ${\omega }_1,$ to łańcuch $C\subseteq T$ nazywa się gałęzią w drzewie $T,$ jeśli

$(\mathrm{\forall }\alpha <{\omega }_1)(C\cap {\mathrm{L}\mathrm{e}\mathrm{v}}_{\alpha }(T)\ne \varnothing ).$

Drzewo Kurepy to drzewo ${\omega }_1$ $(T,⊑),$ w którym istnieją przynajmniej gałęzie ${\omega }_2.$ Hipotezą Kurepy nazywa się zdanie stwierdzające, że „istnieje drzewo Kurepy”.

Własności

• Wzmocnienie ${\mathrm{♢}}^{+}$ diamentu Jensena implikuje KH. Zatem hipoteza Kurepy jest spełniona w uniwersum konstruowalnym L.
• Jeśli istnieje liczba nieosiągalna, to pewne pojęcie forsingu forsuje ¬KH (negacja KH). Zatem jeśli niesprzeczna jest teoria ZFC + „istnieje liczba nieosiągalna”, to niesprzeczne jest również ZFC + ¬KH.
• Powyżej liczba nieosiągalna jest niezbędna, gdyż ¬KH pociąga nieosiągalność ${\omega }_2$ w L.

Zobacz też

• aksjomat Martina
• hipoteza continuum
• hipoteza Suslina