Cardinalità del continuo

In matematica la cardinalità del continuo è il numero cardinale dell'insieme dei numeri reali $ℝ$ (insieme che, a volte, viene chiamato il continuo). Questo numero cardinale viene spesso indicato con il carattere $𝔠$:

$𝔠=|ℝ|$

Proprietà

Non numerabilità

Georg Cantor introdusse il concetto di cardinalità di un insieme per confrontare le dimensioni di insiemi infiniti. Egli dimostrò che l'insieme dei numeri reali è non numerabile, cioè che $𝔠$ è maggiore della cardinalità dei numeri naturali, indicata con ${\mathrm{\aleph }}_0$ (aleph-zero):

${\mathrm{\aleph }}_0<𝔠.$

In altre parole, i numeri reali sono molti di più (incommensurabilmente di più) dei numeri interi: tanto che questi ultimi possono venire contati, mentre i numeri reali no (per esempio è perfettamente lecito parlare dei "primi 100 numeri interi"; la stessa espressione applicata ai numeri reali è priva di senso).

Cantor dimostrò quest'affermazione utilizzando una tecnica nota come l'argomento diagonale.

Uguaglianze tra numeri cardinali

Una variante dell'argomento diagonale di Cantor può essere usata per dimostrare il teorema di Cantor, che afferma che la cardinalità di ogni insieme è strettamente minore di quella del suo insieme delle parti, e cioè $|A|<2^{|A|}$. Si può concludere che l'insieme delle parti $𝒫(\mathbb{N})$ dell'insieme dei numeri naturali $\mathbb{N}$ è non numerabile. Viene dunque spontaneo chiedersi se la cardinalità di $𝒫(\mathbb{N})$ sia uguale a $𝔠$: e la risposta è affermativa. Si può dimostrare quest'affermazione in due passi:

1. Si definisce una applicazione $f:ℝ\to 𝒫(\mathbb{Q})$ dall'insieme dei numeri reali all'insieme delle parti dei numeri razionali che associa ad ogni numero reale $x$ l'insieme $\{q\in \mathbb{Q}|q\le x\}$ di tutti i razionali minori o uguali a $x$ (se si considerano i reali costruiti mediante sezioni di Dedekind, questa applicazione non è altro che l'inclusione nell'insieme degli insiemi di numeri razionali). Questa applicazione è iniettiva, perché i razionali sono densi nei reali. Dato che i razionali sono numerabili si ottiene che $𝔠\le 2^{{\mathrm{\aleph }}_0}$.
2. Sia $\{0,2{\}}^{\mathbb{N}}$ l'insieme delle successioni che assumono valori nell'insieme $\{0,2\}$. Questo insieme ha cardinalità $2^{{\mathrm{\aleph }}_0}$ (l'applicazione biunivoca naturale tra l'insieme delle successioni binarie e $𝒫(\mathbb{N})$ è data dalla funzione caratteristica). Poi si associ ognuna di queste successioni $a_i$ al numero reale appartenente all'intervallo unitario $[0,1]$ che abbia come parte decimale (espressa in base 3) la successione $a_i$. Questo significa che la $i$-esima cifra dopo la virgola è data proprio da $a_i$. L'immagine di questa applicazione è l'insieme di Cantor. Inoltre questa applicazione è iniettiva, perché evitando i punti con la cifra 2 nella loro espansione decimale in base 3 si evita l'ambiguità dovuta al fatto che l'espansione decimale di un numero reale non è unica. Si ha dunque che $2^{{\mathrm{\aleph }}_0}\le 𝔠$.

Per il teorema di Cantor-Bernstein-Schroeder si conclude che

$𝔠=|𝒫(\mathbb{N})|=2^{{\mathrm{\aleph }}_0}.$

Numeri beth

La successione dei numeri beth è definita ponendo ${\beth }_0={\mathrm{\aleph }}_0$ e ${\beth }_{k+1}=2^{{\beth }_k}$. Dunque $𝔠$ è il secondo numero beth, beth-uno

$𝔠={\beth }_1.$

Il terzo numero beth, ${\beth }_2=2^{𝔠}$, è la cardinalità dell'insieme di tutti i sottoinsiemi dei numeri reali.

Utilizzando le regole dell'aritmetica dei numeri cardinali si può dimostrare che

$𝔠=n𝔠={\mathrm{\aleph }}_0𝔠={𝔠}^n=n^{{\mathrm{\aleph }}_0}={{\mathrm{\aleph }}_0}^{{\mathrm{\aleph }}_0}={𝔠}^{{\mathrm{\aleph }}_0}$

dove $n$ è un qualunque cardinale finito maggiore o uguale a 2.

L'ipotesi del continuo

La famosa ipotesi del continuo afferma che $𝔠$ è anche il secondo numero aleph, cioè ${\mathrm{\aleph }}_1$ (aleph-uno). In altre parole, l'ipotesi del continuo afferma che non esiste un insieme $A$ avente cardinalità strettamente compresa tra ${\mathrm{\aleph }}_0$ e $𝔠$:

$\nexists A:{\mathrm{\aleph }}_0<|A|<𝔠.$

Oggi si sa che l'ipotesi del continuo è indipendente dagli assiomi della teoria degli insiemi di Zermelo-Fraenkel (ZFC). Questo significa che sia l'ipotesi del continuo sia la sua negazione sono consistenti con questi assiomi. In effetti, si ha che per ogni numero naturale $n$ diverso da zero, l'uguaglianza $𝔠={\mathrm{\aleph }}_n$ è indipendente da ZFC (il caso $n=1$ è l'ipotesi del continuo). L'affermazione è vera per molti altri aleph, anche se in alcuni casi si può dimostrare l'uguaglianza, grazie al teorema di König sulla base della cofinalità, per esempio $𝔠\ne {\mathrm{\aleph }}_{\omega }$. In particolare, $𝔠$ può essere uguale a ${\mathrm{\aleph }}_1$ oppure a ${\mathrm{\aleph }}_{{\omega }_1}$, dove ${\omega }_1$ rappresenta il primo numero ordinale non numerabile, e quindi $𝔠$ può essere un cardinale successore o un cardinale limite, e un cardinale regolare oppure un cardinale singolare.

Insiemi con cardinalità $𝔠$

Molti insiemi studiati in matematica hanno cardinalità uguale a $𝔠$. Per esempio:

• l'insieme dei numeri reali $ℝ$,
• qualunque intervallo (non degenere) aperto o chiuso in $ℝ$, come ad esempio l'intervallo unitario $[0,1]$,
• l'insieme dei numeri irrazionali,
• l'insieme dei numeri trascendenti,
• lo spazio euclideo ${ℝ}^n$,
• l'insieme dei numeri complessi $ℂ$,
• l'insieme delle parti dei numeri naturali (l'insieme di tutti i sottoinsiemi dei numeri naturali),
• l'insieme delle successioni di interi, spesso indicato con ${\mathbb{Z}}^{\mathbb{N}}$,
• l'insieme delle successioni di numeri reali, ${ℝ}^{\mathbb{N}}$,
• l'insieme di tutte le funzioni continue da $ℝ$ in $ℝ$ (mentre l'insieme di tutte le funzioni da $ℝ$ in $ℝ$ ha cardinalità $2^{𝔠}$) ,
• l'insieme di Cantor,
• la topologia euclidea di ${ℝ}^n$ (cioè l'insieme di tutti gli insiemi aperti in ${ℝ}^n$).

Bibliografia

• Paul Halmos, Naive set theory. Princeton, NJ: D. Van Nostrand Company, 1960. Ristampato da Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition).
• Jech, Thomas, 2003. Set Theory: The Third Millennium Edition, Revised and Expanded. Springer. ISBN 3-540-44085-2.
• Kunen, Kenneth, 1980. Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0-444-86839-9.

Collegamenti esterni

• Template:Collegamenti esterni