Zasada kwadratu Jensena

Zasada kwadratu Jensena – zdanie w teorii mnogości, oznaczane przez $◻,$ podobne w swej naturze do diamentu Jensena ◊, postulujące istnienie pewnego ciągu specjalnych podzbiorów ${\kappa }^{+}$ (następnik liczby kardynalnej $\kappa$), który w pewnym sensie koduje każdy podzbiór $\kappa .$ Zdanie to jest niezależne od standardowych aksjomatów ZFC, to znaczy zdania tego nie można udowodnić na gruncie tych aksjomatów ani nie można go 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 kwadratu Jensena została wprowadzona przez amerykańskiego matematyka Ronalda Jensena. Jedną z motywacji do rozważania tego zdania jest jego prawdziwość w uniwersum konstruowalnym L oraz fakt, iż wiele studiowanych wcześniej własności L okazało się być konsekwencjami $◻.$

Sformułowanie

Niech $\kappa$ będzie liczbą kardynalną.

${◻}_{\kappa }:$ Istnieje taki (pozaskończony) ciąg $\{C_{\alpha }:\alpha \in {\kappa }^{+}$ jest liczbą porządkową graniczną}, że

1. $C_{\alpha }\subseteq \alpha$ oraz $C_{\alpha }$ jest domknięty i nieograniczony w $\alpha ;$
2. jeżeli kofinalność $\alpha$ jest mniejsza od $\kappa ,$ to typ porządkowy $C_{\alpha }$ jest mniejszy od $\kappa ;$
3. jeżeli $\beta$ jest punktem skupienia zbioru $C_{\alpha },$ to $C_{\alpha }\cap \beta =C_{\beta }$.

Zasada kwadratu Jensena to zdanie:

$◻:$ dla każdej nieskończonej liczby kardynalnej $\kappa$ zachodzi ${◻}_{\kappa }.$

Uwagi

• Zdanie ${◻}_{\omega }$ jest konsekwencją teorii ZFC, natomiast dla każdej nieprzeliczalnej liczby kardynalnej $\kappa$ zdanie ${◻}_{\kappa }$ jest niezależne od ZFC.
• Aksjomat V = L pociąga zasadę kwadratu Jensena.
• Robert M. Solovay udowodnił, że jeżeli $\kappa$ jest liczbą większą od pewnej liczby super-zwartej, to ${◻}_{\kappa }$ nie zachodzi.
• Stevo Todorčević udowodnił, że PFA pociąga, że dla każdej nieprzeliczalnej liczby $\kappa$ zasada ${◻}_{\kappa }$ nie zachodzi.

Bibliografia

• Szablon:Cytuj książkę