Diament Jensena

Diament Jensena – zdanie w teorii mnogości, oznaczane przez $\mathrm{♢},$ postulujące istnienie ciągu zbiorów przeliczalnych, który często zgaduje każdy podzbiór pierwszej nieprzeliczalnej liczby porządkowej ${\omega }_1.$ Zdanie to jest niezależne od standardowych aksjomatów ZFC, to znaczy na ich gruncie nie można go ani udowodnić, ani obalić. Ponieważ ma ono wiele ciekawych konsekwencji, jest traktowane przez matematyków jako dodatkowy aksjomat, który może być zakładany, jeśli wymaga tego dowód.

Zasada kombinatoryczna $\mathrm{♢}$ została wprowadzona przez amerykańskiego matematyka Ronalda Jensena. Jedną z motywacji do rozważania tego zdania jest jego prawdziwość w uniwersum konstruowalnym $𝐋$ oraz fakt, iż wiele studiowanych wcześniej własności $𝐋$ okazało się być konsekwencjami $\mathrm{♢}.$

Jensen udowodnił też, że jeśli $𝐙𝐅𝐂$ jest niesprzeczne, to niesprzeczna jest również teoria $𝐙𝐅𝐂+𝐆𝐂𝐇+\mathrm{\neg }\mathrm{♢}$.

Diament i wzmocnienie

Diament Jensena $\mathrm{♢}$ to następujące zdanie:

Istnieje taki ciąg $⟨A_{\alpha }:\alpha <{\omega }_1⟩,$ że

$A_{\alpha }\subseteq \alpha$ dla każdej liczby porządkowej $\alpha <{\omega }_1$ oraz

dla każdego zbioru $A\subseteq {\omega }_1,$ zbiór $\{\alpha <{\omega }_1:A_{\alpha }=A\cap \alpha \}$ jest stacjonarny.

${\mathrm{♢}}^{+}$ to zdanie:

Istnieje taki ciąg $⟨{𝒜}_{\alpha }:\alpha <{\omega }_1⟩,$ że

dla każdej liczby porządkowej $\alpha <{\omega }_1,$ ${𝒜}_{\alpha }$ jest przeliczalną rodziną podzbiorów $\alpha$ oraz

dla każdego zbioru $A\subseteq {\omega }_1$ istnieje club $C\subseteq {\omega }_1$ taki, że

$(\mathrm{\forall }\alpha \in C)(A\cap \alpha \in {𝒜}_{\alpha }\wedge C\cap \alpha \in {𝒜}_{\alpha }).$

${\mathrm{♢}}^{-}$ to zdanie:

Istnieje taki ciąg $⟨{𝒜}_{\alpha }:\alpha <{\omega }_1⟩,$ że

dla każdej liczby porządkowej $\alpha <{\omega }_1,$ ${𝒜}_{\alpha }$ jest przeliczalną rodziną podzbiorów $\alpha$ oraz

dla każdego zbioru $A\subseteq {\omega }_1,$ zbiór $\{\alpha <{\omega }_1:A\cap \alpha \in {𝒜}_{\alpha }\}$ jest stacjonarny.

Konsekwencje i własności

Następujące twierdzenia są dowodliwe w $𝐙𝐅𝐂:$

• $\mathrm{♢}\Rightarrow 𝐂𝐇.$
• Jeśli $\mathrm{♢}$ jest prawdziwy, to istnieje ω₁-drzewo Suslina. Zatem przy założeniu $\mathrm{♢},$

  (a) istnieje porządek liniowy bez końców, w którym każda rodzina rozłącznych przedziałów otwartych jest przeliczalna, ale który nie zawiera żadnego przeliczalnego podzbioru gęstego;

  (b) istnieje przestrzeń topologiczna $X$ która jest przestrzenią Suslina (tzn. każda rodzina parami rozłącznych otwartych podzbiorów $X$ jest co najwyżej przeliczalna), ale której produkt $X\times X$ nie jest przestrzenia Suslina (zdanie to jest mimo to dowodliwe pod założeniem samej hipotezy continuum).

• ${\mathrm{♢}}^{+}\Rightarrow \mathrm{♢}.$
• $𝐕=𝐋\Rightarrow {\mathrm{♢}}^{+}.$
• Jeśli ${\mathrm{♢}}^{+}$ jest prawdziwy, to istnieje ${\omega }_1$-drzewo Kurepy (z $2^{{\omega }_1}$ gałęziami długości ${\omega }_1$).
• Zdania $\mathrm{♢}$ i ${\mathrm{♢}}^{-}$ są równoważne.

Zobacz też

• aksjomat Martina
• zasada kwadratu Jensena

Bibliografia

• Kenneth Kunen: Set theory. An introduction to independence proofs. „Studies in Logic and the Foundations of Mathematics”, 102. North-Holland Publishing Co., Amsterdam New York, 1980. Szablon:ISBN, s. 80–86.