Thomas Jech ve Saharon Shelah
NSF ve bir Fulbright bursu tarafından desteklenmiştir; ve B.S.F. tarafından kısmen desteklenen Yayın 378.
Özet
$\aleph_1$ üzerinde $\aleph_2$. kanonik fonksiyonun var olduğu bir jenerik genişleme inşa ediyoruz.
Giriş
$\omega_1$ üzerindeki ordinal fonksiyonlar için, eğer $\{\xi < \omega_1 : f(\xi) < g(\xi)\}$ kümesi bir kapalı sınırsız (club) küme içeriyorsa $f < g$ yazalım. Tümevarımla her $\alpha$ için, $\alpha$. kanonik fonksiyon $f_\alpha$ (eğer varsa), her $\beta < \alpha$ için $f_\beta$ fonksiyonundan daha büyük olan en küçük ordinal fonksiyon olarak tanımlanır (yani, eğer $h$ her $\beta < \alpha$ için tüm $f_\beta$ fonksiyonlarından daha büyük başka bir fonksiyonsa, o zaman $f_\alpha \le h$ olur). Eğer $f_\alpha$ varsa, aşağıdaki eşdeğerliğe göre tektir: $$ \{\xi < \omega_1 : f(\xi) = g(\xi)\} \quad \text{bir kapalı sınırsız küme içerir.} $$
Her $\alpha < \omega_2$ için $\alpha$. kanonik fonksiyonun var olduğu iyi bilinmektedir [2]. A. Hajnal, (özel yazışma yoluyla) eğer $V = L$ ise $\aleph_2$. kanonik fonksiyonun var olmadığını göstermiştir. Bu notta, $\aleph_2$. kanonik fonksiyonun var olmasının tutarlı olduğunu gösteriyoruz. Biraz daha genel bir sonuç kanıtlıyoruz:
TEOREM. $2^{\aleph_0} = \aleph_1$ olduğunu varsayalım ve $\vartheta$ bir ordinal olsun. Her $\alpha < \vartheta$ için $\alpha$. kanonik fonksiyonun var olduğu, kardinalleri koruyan bir jenerik genişleme mevcuttur.
Açıklamalar
Teoremin modelinde, her $f_\alpha$ ($\alpha < \vartheta$), $\omega_1$ içine giden bir fonksiyondur; dolayısıyla $2^{\aleph_1} \ge |\vartheta|$ olur.
[3] modelinde, tüm $\alpha$ ordinalleri için kanonik fonksiyonlar mevcuttur. Model, ölçülebilir bir kardinal varsayımı altında inşa edilmiştir; bu varsayım gereklidir çünkü eğer tüm kanonik fonksiyonlar varsa, kapalı sınırsız filtre sarptır (precipitous).
Şu ifadeyi ele alalım:
"sabit $\omega_1$ fonksiyonu bir kanonik fonksiyondur"
Bu ifadenin tutarlılığı, yüklemli küme kuramının [4] tutarlılığını ve dolayısıyla çeşitli hafifçe büyük kardinallerin tutarlılığını gerektirir.
Teorem, bariz bir şekilde, herhangi bir düzenli sayılamayan kardinal üzerindeki ordinal fonksiyonlara genelleştirilebilir.
Teoremin kanıtı tekrarlanan (iterated) zorlama yöntemini kullanır. Zorlamanın standart terminolojisini kullanıyoruz; tekrarlanan zorlama için bkz. örn. [1]. Eğer bir zorlama kavramı ordinallerin yeni sayılabilir dizilerini eklemiyorsa $\omega$-dağılımlı (distributive) olarak adlandırılır; eğer $\aleph_2$ boyutunda hiçbir antizincire sahip değilse $\aleph_2$-c.c. (zincir koşulu) olarak adlandırılır. Bir $S \subseteq \omega_1$ kümesi, eğer $\omega_1 - S$ durağan (stationary) ise eşdurağan (costationary) olarak adlandırılır.
Bir sayılabilir model $N$ ile, $\kappa$ yeterince büyük bir kardinal olmak üzere $(V_\kappa, \in)$ yapısının sayılabilir bir temel alt modelini kastediyoruz. $P$'deki koşullardan oluşan bir $\{p_n\}_{n \in \omega}$ dizisi, eğer $P \in N$, $\{p_n : n \in \omega\} \subset N$ ise ve $\{p_n\}_n$ dizisi $D \in N$ olacak şekildeki her yoğun (dense) $D \subseteq P$ kümesiyle kesişiyorsa, sayılabilir bir $N$ modeli için jeneriktir.
Modelin İnşası
$P$ zorlamasını iki aşamada inşa ediyoruz: ilk olarak, jenerik olarak her $i < j$ için $f_i < f_j$ olacak şekilde fonksiyonlardan oluşan bir $\vartheta$-dizisi ($f_i : \omega_1 \to \omega_1$, $i < \vartheta$) ekliyoruz. Bunu gerçekleştiren $P_0$ zorlaması $\omega$-kapalıdır ve $\aleph_2$-zincir koşulunu sağlar. İkinci aşama, sayılabilir destekli (countable support), $\lambda = (2^{\aleph_1} \cdot |\vartheta|)^+$ uzunluğunda bir iterasyondur; bu iterasyon, $f_i$ fonksiyonlarının kanonik olmadığını gösteren tüm durağan kümeleri sırayla yok eder. İterasyon zorlamasının $\omega$-dağılımlı ve $\aleph_2$-c.c. olduğunu kanıtlayacağız. Dolayısıyla $P$ kardinalleri korur ve $\omega_1$'in alt kümeleri için tüm isimleri, her $\alpha$ için $\dot S_\alpha$ ismi $M_\alpha = V^{P \restriction \alpha}$ içinde olacak şekilde bir $\{\dot S_\alpha : 1 \le \alpha < \lambda\}$ dizisi halinde düzenleyebiliriz. Üstelik bu işlem, her $\dot S$'nin dizide sınırsız sıklıkta (cofinally often) görünmesini sağlayacak şekilde yapılabilir. Eğer $S \subseteq \omega_1$ kümesi $M_\lambda$ içindeyse, o zaman bazı $\alpha < \lambda$ için $S \in M_\alpha$ olduğunu belirtelim; eğer $M_\lambda \models S \text{ durağandır}$ ise o zaman $M_\alpha \models S \text{ durağandır}$; eğer $M_\alpha \models f < g$ ise $M_\lambda \models f < g$ olur ve eğer $M_\lambda \models f < g$ ise yeterince büyük tüm $\alpha < \lambda$ için $M_\alpha \models f < g$ olur.
$P_0$'ın Tanımı
Bir koşul şunlardan oluşur:
- (a) sayılabilir bir $\gamma$ ordinali
- (b) sayılabilir bir $A \subset \vartheta$ kümesi
- (c) $\gamma$'nın kapalı alt kümeleri $c_{ij}$ ($i, j \in A$, $i < j$)
- (d) fonksiyonlar $f_i : \gamma \to \omega_1$
öyle ki her $i, j \in A$, $i < j$ için, tüm $\xi \in c_{ij}$ için $f_i(\xi) < f_j(\xi)$ olur.
Daha güçlü bir koşul $\gamma$ ve $A$'yı büyütür, $f_i$ fonksiyonlarını genişletir ve $c_{ij}$ kümelerini uçtan genişletir (end-extends).
$P_0$ zorlaması $\omega$-kapalıdır ve $2^{\aleph_0} = \aleph_1$ olduğundan $\aleph_2$-c.c.'dir. $\dot f_i$ ($i < \vartheta$), $P_0$ tarafından zorlanan jenerik fonksiyonların isimlerini göstersin. Açıkça, her $i < j$ için $M_0 \models \dot f_i < \dot f_j$ olur.
$P$'nin Tanımı
$P = P_\lambda$ sayılabilir destekli bir iterasyondur. $1 \le \alpha \le \lambda$ için, $P_\alpha$, jenerik dizisi sayılabilir destekli olan ve $p(0) \in P_0$ olan ve $p \restriction \beta$ tarafından şu zorlanmadığı sürece $p(\beta) = \emptyset$ (aşikar koşul) olan tüm $\alpha$-dizilerinin $\{p(\beta) : \beta < \alpha\}$ kümesidir:
- (1) bazı $i < \vartheta$ için, tüm $j < i$ için $g > \dot f_j$ olan ve $\dot S_\beta$ üzerinde her yerde $g(\xi) < \dot f_i(\xi)$ olan bir $g$ fonksiyonu mevcuttur.
Bu durumda $p(\beta)$, sayılabilir ordinallerden oluşan sayılabilir bir kapalı kümedir ve $p \restriction \beta$ tarafından $\dot S_\beta$ ile ayrık olması zorlanır.
Bir $q$ koşulu, eğer $q(0) \le p(0)$ ise ve tüm $\beta$ için ($1 \le \beta < \alpha$), $q(\beta)$ koşulu $p(\beta)$'yı uçtan genişletiyorsa $p$'den daha güçlüdür.
(1)'i sağlayan her $\beta$ için, zorlama $\omega_1$'in $\dot S_\beta$ ile ayrık kapalı bir $C$ alt kümesini üretir ve $(\omega_1 - \dot S_\beta)$ sınırsız olduğu sürece $C$ de sınırsızdir. $P_\lambda$'nın $\omega$-dağılımlı ve $\aleph_2$-c.c. olduğunu ve $M_\lambda$'da $\dot f_i$ fonksiyonlarının kanonik olduğunu kanıtlayacağız.
LEMMA. $N$, $P \in N$ olacak şekilde sayılabilir bir model olsun ve $\delta = \omega_1 \cap N$ olsun. Eğer $\{p_n\}_{n \in \omega}$ dizisi $N$ için jenerik bir diziyse, o zaman tüm $p_n$ koşullarından daha güçlü olan ve her $i \in N$ için $q$ koşulunun şunu zorladığı bir $q$ mevcuttur:
- (2) $\quad \dot f_i(\delta) = \sup\{\dot f_j(\delta) + 1 : j < i \text{ ve } j \in N\}$
Kanıt. $X$, $p_n$ ($n \in \omega$) koşullarının desteklerinin birleşimi olsun; $X \subset N$ olduğuna dikkat ediniz. $q(\beta)$'yı $\beta$ üzerinden tümevarımla inşa ediyoruz. Eğer $\beta \notin X$ ise $q(\beta) = \emptyset$ alıyoruz.
İlk olarak $\beta = 0$ olsun. $\{p_n(0)\}_{n \in \omega}$ dizisine bakalım. Dizinin jenerikliği nedeniyle, $\gamma_n$ ordinalleri $\delta$'ya yakınsar, sayılabilir $A_n$ kümeleri $A = \vartheta \cap N$ kümesine yakınsar, kapalı $(c_{ij})_n$ kümeleri $c_{ij} \subseteq \delta$ kümesine yakınsar ve $(f_i)_n$ fonksiyonları, $c_{ij}$ üzerinde $f_i < f_j$ olacak şekildeki $f_i : \delta \to \delta$ fonksiyonlarına yakınsar.
$\gamma = \delta + 1$ olsun, $\bar c_{ij} = c_{ij} \cup \{\delta\}$ olsun ve $\bar f_i$ fonksiyonları $f_i$'lerin (2)'yi sağlayan genişlemeleri olsun. $q(0)$ koşulunu $(\delta, A, \bar c_{ij}, \bar f_i)$ olarak alalım; açıkça, $q(0)$ (2)'yi zorlar.
Şimdi $1 \le \beta < \lambda$, $\beta \in X$ olsun ve tüm $p_n \restriction \beta$'dan daha güçlü olan $q \restriction \beta$ koşulunu zaten inşa ettiğimizi varsayalım. Nihayetinde tüm $p_n \restriction \beta$ koşulları (1)'i zorladığından, bunların jenerikliği nedeniyle sayılabilir $p_n(\beta)$ kümeleri $\delta$'nın kapalı bir alt kümesine yakınsar. Bu yüzden $q(\beta) = \bigcup_{n \in \omega} p_n(\beta) \cup \{\delta\}$ olarak alıyoruz ve $q$'nun bir koşul olması için şunun doğrululuğunu kontrol etmemiz gerekir: $$ q \restriction \beta \Vdash \delta \notin \dot S_\beta $$
$q'$, $P_\beta$ içinde $q \restriction \beta$ koşulundan daha güçlü herhangi bir koşul olsun. $\beta \in N$ olduğundan, $\dot S_\beta \in N$ olduğunu varsayabiliriz ve $N$, nihayetinde tüm $n$ için $p_n \restriction \beta$'nın (1)'i zorladığını doğrular. Buradan, bir $r \le q'$ koşulu, bir $i \in N$ ve bazı $\dot g \in N \cap M_\beta$ isimleri mevcuttur öyle ki $N$'deki tüm $j < i$ için $r \Vdash \dot f_j < \dot g$ ve $r \Vdash (\forall \xi \in \dot S_\beta) \dot g(\xi) < \dot f_i(\xi)$ olur.
$N$'deki her $j < i$ için, her $p \in P_\beta$'nın $\dot C_j$ isminin kapalı sınırsız olduğunu zorladığı bir $\dot C_j \in N$ ($M_\beta$-ismi) mevcuttur ve $r \Vdash (\forall \xi \in \dot C_j) \dot f_j(\xi) < \dot g(\xi)$ olur. $\{p_n\}_n$ dizisinin jenerikliği nedeniyle, $q \Vdash \dot C_j \cap \delta \text{ kümesi } \delta \text{ içinde eşsonludur (cofinal)}$ ve dolayısıyla $q \Vdash \delta \in \dot C_j$ olur. Dolayısıyla $r$, $N$'deki tüm $j < i$ için $\dot f_j(\delta) < \dot g(\delta)$ olduğunu zorlar. Fakat $r$ aynı zamanda (2)'yi de zorladığından, $\dot f_i(\delta) \le \dot g(\delta)$ olduğunu zorlar ve bu nedenle $r \Vdash \delta \notin \dot S_\beta$ olur. [Kanıtın aynı zamanda $q \restriction \beta$ koşulunun $\dot S_\beta$'nın eşdurağan olduğunu zorladığını da gösterdiğine dikkat ediniz, çünkü yukarıdaki argüman $N$'deki her club ismi $\dot C$ için $q \restriction \beta \Vdash \delta \in \dot C$ olduğunu kanıtlar.] $\square$
SONUÇ. $P$, $\omega$-dağılımlı ve $\aleph_2$-c.c.'dir.
Kanıt. Eğer $\dot X \in M_\lambda$ sayılabilir bir ordinal kümesinin ismiyse and $p \in P_\lambda$ ise, $\dot X \in N$, $P_\lambda \in N$ ve $p \in N$ olacak şekilde sayılabilir bir $N$ modeli seçelim. $\{p_n\}_n$, $p_0 = p$ olacak şekilde $N$ için jenerik bir dizi olsun. Lemmaya göre, $\{p_n\}_n$ dizisinin bir $q$ alt sınırı vardır ve jeneriklik nedeniyle $q$ her bir $\dot X(n)$ değerine karar verir. Dolayısıyla $P_\lambda$ zorlaması $\omega$-dağılımlıdır.
Her $\alpha$ için, $M_{\alpha + 1}$ yapısı $M_\alpha$'nın $\aleph_1$ boyutunda bir koşul kümesi aracılığıyla bir zorlama genişlemesidir, dolayısıyla $\aleph_2$-c.c.'dir. Her $P_\alpha$ sayılabilir destekli tekrarlanan bir zorlama olduğundan, aynı şekilde $\aleph_2$-c.c. koşulunu sağlar. $\square$
Teoremin kanıtını, $P$ ile elde edilen jenerik genişlemede $f_i$ ($i < \vartheta$) fonksiyonlarının kanonik olduğunu göstererek tamamlayacağız. Her $i < \vartheta$ için, $f_i$ fonksiyonunun tüm $j < i$ için $f_j$ fonksiyonlarından daha büyük olan en küçük fonksiyon olduğunu gösteriyoruz. Tüm $j < i$ için $f_i > f_j$ olduğunu zaten biliyoruz.
$g \in M_\lambda$, tüm $j < i$ için $f_j < g$ olacak şekilde herhangi bir fonksiyon olsun ve $S = \{\xi : g(\xi) < f_i(\xi)\}$ olsun. $S$ kümesinin durağan olmadığını göstermek istiyoruz. $\dot S_\beta = S$ olacak şekilde yeterince büyük bir $\beta$ ordinali seçelim, öyle ki tüm $j < i$ için $f_j < g$ olduğunu gösteren tüm club kümeleri $M_\beta$'ya ait olsun. Dolayısıyla $M_\beta$ (1)'i sağlar ve bu nedenle $\beta$. aşamadaki zorlama, $S$ ile ayrık olan bir kapalı sınırsız küme ekler. $\square$
Teşekkür
İlk yazar, akademik izni (sabbatical) sırasında İbrani Üniversitesi Matematik Bölümü'nün gösterdiği misafirperverliğe teşekkür eder.
Referanslar
- [1] J. Baumgartner, Iterated forcing, in: Surveys in set theory, London Math. Soc. Lecture Note Ser. 87 (1983), p. 1 - 59.
- [2] F. Galvin and A. Hajnal, Inequalities for cardinal powers, Annals of Math. 101 (1975), 491-498.
- [3] T. Jech, M. Magidor, W. Mitchell and K. Prikry, Precipitous Ideals, J. Symb. Logic 45 (1980), 1-8.
- [4] T. Jech and W. Powell, Standard models of set theory with predication, Bull. Amer. Math. Soc. 77 (1971), p. 808-813.
Pensilvanya Eyalet Üniversitesi
Kudüs İbrani Üniversitesi