Arytmetyka liczb kardynalnych

Z Wikipedii

Masz nowe wiadomości (różnica z poprzednią wersją).

Arytmetyka liczb kardynalnych - dział teorii mnogości zajmujący się liczbami kardynalnymi i działaniami na nich.

Arytmetyka liczb kardynalnych znacznie różni się od arytmetyki liczb rzeczywistych - zarówno rozważane działania mają inne własności jak i stawiane pytania są inne. Podstawową różnicą jest jednak fakt, że wiele stwierdzeń dotyczących działań na liczbach kardynalnych jest niezależne od standardowych aksjomatów teorii mnogości.

W dalszej części tego artykułu zakładamy ZFC. (Bez AC, niektóre z definicji należy sformułować inaczej i wiele z prezentowanych faktów nie jest prawdziwych) .

[edytuj] Definicje

[edytuj] Pojęcia wstępne

Liczba porządkowa $α$ jest początkową liczbą porządkową jeśli $α$ nie jest równoliczna z żadną liczbą porządkową od niej mniejszą. Początkowe liczby porządkowe nazywamy liczbami kardynalnymi.
Przy założeniu ZFC, każdy zbiór A jest równoliczny z pewną liczbą kardynalną - liczba ta jest nazywana mocą zbioru A i jest oznaczana przez $| A |$ .
Skończone liczby kardynalne to liczby naturalne: 0, 1, 2, ..., a najmniejsza nieskończona liczba kardynalna to $\aleph_0$ , moc zbioru wszystkich liczb naturalnych.
Współkońcowość nieskończonej liczby kardynalnej $κ$ to najmniejsza liczba kardynalna $μ$ taka, że każdy zbiór mocy $κ$ może być przedstawiony jako suma $μ$ wielu zbiorów mocy mniejszej niż $κ$ :

${\rm cf}(\kappa)=\min\{\mu\in {\bold{CN}}: \kappa=\bigcup\limits_{\alpha<\mu} A_\alpha$ dla pewnych zbiorów $A_\alpha\subseteq\kappa$ takich, że

| A α | < κ

(dla wszystkich

α < μ

)

}

Jeśli

cf(κ) = κ

to mówimy że

κ

jest regularną liczbą kardynalną. Liczby kardynalne które nie są regularne nazywamy liczbami singularnymi.

Następnik liczby kardynalnej $κ$ to pierwsza liczba kardynalna większa od $κ$ (jest on oznaczany przez $κ +$ ).

[edytuj] Działania dwuargumentowe

Określamy następujące działania dwuargumentowe na liczbach kardynalnych. Niech $κ,μ$ będą liczbami kardynalnymi.

Dodawanie liczb kardynalnych - sumą liczb $κ$ i $μ$ nazywamy moc sumy rozłącznych kopii $μ$ i $κ$ :

$\mu + \kappa = |(\mu\times\{0\}) \cup (\kappa\times\{1\})|$ .

Mnożenie liczb kardynalnych - iloczynem liczb $κ$ i $μ$ nazywamy moc iloczynu kartezjańskiego zbiorów $κ$ i $μ$ :

$\kappa \cdot \mu = \vert \kappa \times \mu \vert$ .

Potęgowanie liczb kardynalnych - przez $κ μ$ rozumiemy moc zbioru wszystkich funkcji z $μ$ w $κ$ :

κ μ = | μ κ |

Definiujemy również słabą potegę $κ < μ$ jako

$\kappa^{<\mu}=\sup\{\kappa^\lambda:\lambda\in {\bold{CN}}\ \wedge\ \lambda<\mu\}$ .

[edytuj] Działania nieskończone

Niech $\{\kappa_i:i\in I\}$ będzie rodziną indeksowaną liczb kardynalnych. Określamy

sumę $\sum\limits_{i\in I}\kappa_i=\left|\bigcup\{\kappa_i\times\{i\}:i\in I\}\right|$ oraz

produkt $\prod\limits_{i\in I}\kappa_i=\left|\left\{f: f:I\longrightarrow\bigcup\limits_{i\in I}\kappa_i\ \wedge\ (\forall i\in I)(f(i)\in\kappa_i)\right\}\right|$ .

[edytuj] Przykłady wyników klasycznych

Dla każdych niezerowych liczb kardynalnych $κ,μ,λ$ mamy:

jeśli $\aleph_0\leq\kappa$ , to $\kappa+\mu=\max(\kappa,\mu)=\kappa\cdot\mu$ .
Jeśli $1\leq\kappa\leq\mu$ , to $\kappa^\lambda\leq \mu^\lambda$ oraz $\lambda^\kappa\leq \lambda^\mu$ .
Jeśli $1<\kappa<\aleph_0\leq\lambda$ , to $κ λ = λ λ$ oraz $λ κ = λ$ .
$2 κ$ jest mocą rodziny wszystkich podzbiorów $κ$ . Jeśli $2\leq \mu\leq \kappa$ oraz $κ$ jest nieskończona, to $\kappa^\mu=\left|\left\{A\subseteq\kappa: |A|=\mu\right\}\right|$ oraz $\kappa^{<\mu}=\left|\left\{A\subseteq\kappa:|A|<\mu\right\}\right|$ .
$(\kappa^\mu)^\lambda=\kappa^{\mu\cdot\lambda}$ , $\kappa^\mu\cdot \kappa^\lambda=\kappa^{\mu+\lambda}$ , i $(\kappa\cdot\mu)^\lambda=\kappa^{\lambda}\cdot\mu^\lambda$
Jeśli $κ,μ$ są nieskończone, to $(\kappa^+)^\mu=\kappa^+\cdot \kappa^\mu$ . ("Twierdzenie Hausdorffa")
Jeśli $κ$ jest nieskończone, to $κ < κ cf(κ)$ oraz $κ < cf(2 κ)$ .

Przypuśćmy, że $\{\kappa_i:i\in I\}$ , $\{\mu_i:i\in I\}$ są rodzinami niezerowych liczb kardynalnych, $I\neq\emptyset$ .

$\sum\limits_{i\in I}\kappa_i=\max\left(|I|,\sup\{\kappa_i:i\in I\}\right)$ . Jeśli więc $|I|\leq \sup\{\kappa_i:i\in I\}$ to $\sum\limits_{i\in I}\kappa_i=\sup\{\kappa_i:i\in I\}$ . Ostatnia równość zachodzi w szczególności gdy $\kappa_i\neq\kappa_j$ dla różnych $i,j\in I$ .
Jeśli $κ i < μ i$ dla wszystkich $i\in I$ , to $\sum\limits_{i\in I}\kappa_i<\prod\limits_{i\in I}\mu_i$ . ("Twierdzenie Königa")

[edytuj] GCH i SCH

Uogólniona hipoteza continuum (GCH) to zdanie stwierdzające, że dla każdej liczby kardynalnej $κ$ , $2 κ = κ +$ . Przy założeniu GCH, arytmetyka kardynalna bardzo się upraszcza:

Załóżmy GCH. Wówczas dla każdych liczb kardynalnych $\kappa\geq 2$ oraz $\lambda\geq\aleph_0$ mamy

κ

jeśli

λ < cf(κ)

κ

jeśli

$\lambda\leq{\rm cf}(\kappa)$ ,

κ λ =

κ +

jeśli

${\rm cf}(\kappa)\leq \lambda<\kappa$ ,

oraz

κ < λ =

κ +

jeśli

${\rm cf}(\kappa)<\lambda\leq\kappa^+$ ,

λ +

jeśli

$\kappa\leq\lambda$ ,

λ

jeśli

κ + < λ

Hipoteza liczb singularnych (ang. the Singular Cardinal Hypothesis, SCH) to zdanie stwierdzające, że dla każdej nieskończonej liczby kardynalnej $κ$ , jeśli $2 cf(κ) < κ$ to $κ cf(κ) = κ +$ . Przy założeniu SCH, potęgi liczb kardynalnych są wyznaczone przez funkcję $\kappa\mapsto 2^\kappa$ .

Załóżmy SCH. Wówczas dla każdych nieskończonych liczb kardynalnych

κ,λ

mamy

	$κ$	jeśli	$2 λ < κ$ oraz $λ < cf(κ)$ ,
$κ λ =$	$κ +$	jeśli	$2 λ < κ$ oraz ${\rm cf}(\kappa)\leq \lambda$ ,
	$2 λ$	jeśli	$\kappa\leq2^\lambda$ .

Ponadto, jeśli

κ

jest liczbą singularną to

(a) jeśli dla pewnej liczby kardynalnej

μ < κ

mamy iż $(\forall\lambda\in [\mu,\kappa))(2^\lambda=2^\mu)$ , to

2 κ = 2 < κ

(b) jeśli założenie punktu (a) nie jest spełnione, to $2^\kappa=\left(2^{<\kappa}\right)^+$ .

Warto zauważyć, że GCH jest niezależne od ZFC (czyli nie można tego zdania udowodnić, ale nie można też udowodnić jego zaprzeczenia). Łatwo można się przekonać, że GCH implikuje SCH. Ciekawym wynikiem odkrytym niedawno jest, że PFA również implikuje SCH. Naruszenia SCH związane są z dużymi liczbami kardynalnymi.

[edytuj] Przykłady wyników zaawansowanych

Rozwijając metodę forsingu, w 1970 William Easton^[1] udowodnił następujące twierdzenie. Przypuśćmy, że F jest rosnącą funkcją określoną na wszystkich regularnych liczbach kardynalnych której wartościami są nieskończone liczby kardynalne i taką, że $\kappa<{\rm cf}({\bold{F}}(\kappa))$ dla wszystkich regularnych $κ$ . Wówczas jest niesprzecznym z ZFC, że $2^\kappa={\bold{F}}(\kappa)$ dla wszystkich regularnych liczb kardynalnych $κ$ .
Jeśli $κ$ jest liczbą mierzalną oraz $2 λ = λ +$ dla każdej nieskończonej liczby kardynalnej $λ < κ$ , to również $2 κ = κ +$ .
Jeśli zbiór $\{\alpha<\omega_1:\aleph_\alpha^{\aleph_1}<\aleph_{\alpha+\alpha}\}$ jest stacjonarny w $ω 1$ , to $\aleph_{\omega_1}^{\aleph_1}<\aleph_{\omega_1+\omega_1}$ .
Jeśli $\aleph_1\leq{\rm cf}(\kappa)<\kappa$ oraz zbiór ${μ < κ:2 μ = μ +}$ jest stacjonarny w $κ$ , to $2 κ = κ +$ .
W latach 90tych XX wieku, Saharon Shelah^[2] rozwinął teorię PCF która stała się jednym z głównych kierunków badań we współczesnej arytmetyce liczb kardynalnych. Wyniki tej teorii wykazują, że pomimo dużej kolekcji twierdzeń niezależnościowych, wciąż można dowieść wielu twierdzeń w ZFC, o ile zadajemy właściwe pytania. Z wyników teorii pcf można wywnioskować nowe prawa klasycznej arytmetyki liczb kardynalnych, np. że $\aleph_\omega^{\aleph_0}\leq 2^{\aleph_0}+\aleph_{\omega_4}$ .
Czytelnika zainteresowanego głębszym zrozumieniem arytmetyki liczb kardynalnych odsyłamy do książki Wojciecha Guzickiego i Pawła Zbierskiego^[3] lub monografii Thomasa Jecha^[4] lub monografii M. Holza, K. Steffensa i E. Weitza^[5]

[edytuj] Bibliografia

↑ Easton, William B.: Powers of regular cardinals. "Ann. Math. Logic" 1 (1970), s. 139-178.
↑ Shelah, Saharon: Cardinal arithmetic. "Oxford Logic Guides", 29. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1994. ISBN 0-19-853785-9
↑ Guzicki, Wojciech; Zbierski, Paweł: Podstawy teorii mnogości. Państwowe Wydawnictwo Naukowe, Warszawa, 1978.
↑ Jech, Thomas: Set theory. The third millennium edition. "Springer Monographs in Mathematics". Springer-Verlag, Berlin, 2003. ISBN 3-540-44085-2
↑ Holz, M.; Steffens, K.; Weitz, E.: Introduction to cardinal arithmetic. "Birkhäuser Advanced Texts: Basler Lehrbücher". Birkhäuser Verlag, Basel, 1999. ISBN 3-7643-6124-7.

[edytuj] Zobacz też

Źródło: "http://pl.wikipedia.org../../../a/r/y/Arytmetyka_liczb_kardynalnych.html"

Kategoria: Teoria mnogości

Arytmetyka liczb kardynalnych

Z Wikipedii

Spis treści

[edytuj] Definicje

[edytuj] Pojęcia wstępne

[edytuj] Działania dwuargumentowe

[edytuj] Działania nieskończone

[edytuj] Przykłady wyników klasycznych

[edytuj] GCH i SCH

[edytuj] Przykłady wyników zaawansowanych

[edytuj] Bibliografia

[edytuj] Zobacz też

Views

nawigacja

techniczne

zmiany

Szukaj