Numero ordinale (matematica)

Da Wikipedia, l'enciclopedia libera.

In matematica, i numeri ordinali costituiscono una estensione dei numeri naturali che tiene conto anche di successioni infinite, introdotta da Georg Cantor nel 1897. Questa generalizzazione è l'oggetto della presente pagina.

Indice

1 Introduzione
2 Dal finito al "transfinito"
3 La definizione originale
4 La definizione moderna e le prime proprietà
- 4.1 Altre definizioni
5 Aritmetica degli ordinali
6 Forma normale di Cantor
7 Topologia e ordinali limite
8 Voci correlate
9 Bibliografia

[modifica] Introduzione

Un numero naturale può essere usato per due scopi: per descrivere la grandezza di un insieme, o per descrivere la posizione di un elemento in una successione. Mentre nel mondo finito questi due concetti coincidono, quando si ha a che fare con insiemi infiniti è necessario distinguerli. La nozione di grandezza porta ai numeri cardinali, anch'essi scoperti da Cantor, mentre la nozione di posizione è generalizzata dai numeri ordinali descritti qui.

Nella teoria degli insiemi, i numeri naturali sono solitamente costruiti con gli insiemi, in modo tale che ogni numero naturale è l'insieme di tutti i numeri naturali più piccoli di esso:

0 = ∅ (insieme vuoto)

1 = {0} = {∅}

2 = {0,1} = {∅, {∅}}

3 = {0,1,2} = {∅, {∅}, {∅, {∅}}}

4 = {0,1,2,3} = { ∅, {∅}, {∅, {∅}}, {∅, {∅}, {∅, {∅}}}}

eccetera.

Visto in questo modo, ogni numero naturale è un insieme ben ordinato: l'insieme 4, per esempio, contiene gli elementi 0, 1, 2, 3 che sono ovviamente ordinati in questo modo: 0 < 1 < 2 < 3. Un numero naturale è più piccolo di un altro se e solo se è un elemento dell'altro.

Non vogliamo distinguere due insiemi bene ordinati se essi differiscono solamente nella notazione usata per i loro elementi. Detto in modo più formale: se si possono accoppiare gli elementi del primo insieme con quelli del secondo in modo tale che se un elemento è più piccolo di un altro nel primo insieme, allora il corrispondente del primo elemento è più piccolo del corrispondente del secondo nel secondo insieme, e viceversa. Una tale corrispondenza biunivoca è detta isomorfismo d'ordine (o una funzione strettamente crescente, o isotonìa) e i due insiemi bene ordinati sono detti isomorfi rispetto all'ordine, o isotoni.

Seguendo questa convenzione, si può mostrare che ogni insieme finito bene ordinato è isomorfo rispetto all'ordine a uno e uno solo numero naturale. Questo fatto fornisce la motivazione che porta alla generalizzazione ai numeri infiniti.

[modifica] Dal finito al "transfinito"

Abbiamo visto come è possibile costruire tutti i numeri naturali partendo dall'insieme vuoto e considerando di volta in volta l'insieme che ha come suoi elementi tutti gli insiemi precedentemente costruiti. Abbiamo visto che ciascuno di questi "numeri naturali" è dotato naturalmente di una struttura di insieme ben ordinato e al contempo tutti questi numeri naturali costituiscono nel complesso un insieme ben ordinato. Abbiamo visto che la relazione d'ordine che è naturale definire in questo contesto è quella che stabilisce che un "numero" è minore di un altro se è un suo elemento. Questi insiemi ordinati sono chiamati anche ordinali finiti.

Il tipo di costruzione che genera la sequenza degli ordinali finiti può essere portata avanti molto "oltre" definendo in questo modo quelli che Cantor chiamava ordinali transfiniti. Supponiamo di aver definito tutti i numeri ordinali finiti nel modo suddetto e facciamo un ulteriore "passo": consideriamo - di nuovo - l'insieme ordinato di tutti gli insiemi definiti finora - cioè i numeri naturali - e lo chiamiamo ω:

ω:={0,1,2,3,...}

Omega è anch'esso naturalmente dotato di una struttura di insieme ordinato, come i suoi predecessori (l'ordinamento è dato, come prima, dall'inclusione insiemistica). Se prima avevamo gli ordinali finiti ω è il primo ordinale transfinito.

Ma possiamo andare ancora avanti: definiamo

ω+1:={0,1,2,3,...,ω}

che è ancora un insieme totalmente ordinato, poi

ω+2:={0,1,2,3,...,ω,ω+1}

ω+3:={0,1,2,3,...,ω,ω+1,ω+2}

...

Otteniamo così una nuova sequenza infinita. Osserviamo che anche l'insieme degli ordinali che abbiamo costruito finora è dotato naturalmente di una struttura di insieme ordinato, più precisamente abbiamo:

1<2<3<4<...<ω<ω+1<ω+2<ω+3<...

Si verifica facilmente che questo ordinamento è totale ed è un buon ordinamento.
Di nuovo possiamo andare "oltre" e dare un nome all'insieme di tutti questi ordinali:

2ω=ω+ω:={0,1,2,3,...,ω,ω+1,ω+2,ω+3,...}

E si può andare avanti come prima considerando ad ogni passo l'insieme di tutti oggetti costruiti fino a quel momento... ma vale la pena soffermarsi un attimo ad analizzare la sequenza di insiemi che stiamo costruendo.

Nello schema esposto fin qui si procede alternativamente in due modi:

dato un ordinale $α$ precedentemente costruito, si aggiunge al suo interno un nuovo elemento dato da $α$ stesso. Il nuovo insieme è quindi $\alpha \cup \{\alpha\}$ , è un insieme ordinato ed è chiamato ordinale successore di $α$ ;
data una sequenza ordinata e infinita di ordinali $α 1,α 2,α 3,...α n,....$ di cui il successivo include il precedente si costruisce un nuovo insieme come unione degli insiemi della sequenza $\alpha_\infty:=\cup_n \alpha_n$ . L'insieme $\alpha_\infty$ così definito si chiama ordinale limite della sequenza ${α n}$ .

Con queste due regole si può continuare la sequenza definendo gli ordinali

3ω:={0,1,2,3,...,ω,ω+1,ω+2,ω+3,...,2ω, 2ω+1, 2ω+2, 2ω+3, ...}

4ω:={0,1,2,3,...,ω,ω+1,ω+2,ω+3,...,2ω, 2ω+1, 2ω+2, 2ω+3, ...,3ω, 3ω+1, 3ω+2, 3ω+3, ...}

...

nω:={0,1,2,3,...,ω,ω+1,ω+2,ω+3,...,2ω, 2ω+1, 2ω+2, 2ω+3, ...,3ω, 3ω+1, 3ω+2, 3ω+3, ...,(n-1)ω,(n-1)ω+1,(n-1)ω+2,...}

...

ω×ω=ω²:={1,2,3,...,ω,...,2ω,...,3ω,...,nω,.........}

Rappresentazione visiva dell'ordinale ω²: i primi segmenti rappresentano i numeri naturali, il primo triangolo rappresenta ω, nell'immagine ci sono (idealmente) ω copie di ω disposte in sequenza.

[modifica] La definizione originale

La definizione originale di numero ordinale, presente per esempio nei Principia Mathematica, definisce il tipo di ordine di un buon ordinamento come l'insieme di tutti i buoni ordinamenti simili (isomorfi rispetto all'ordine, o isotonici) a quel buon ordinamento. Questa definizione deve essere abbandonata nel sistema di assiomi di Zermelo-Fraenkel e nei sistemi relativi a questa teoria assiomatica degli insiemi perché queste classi di equivalenza sono troppo grandi; però questa definizione può ancora essere usata nella teoria dei tipi e nella teoria degli insiemi di Quine New Foundations e in sistemi ad esse relativi, nei quali essa offre una sorprendente soluzione alternativa al paradosso di Burali-Forti riguardante il più grande numero ordinale.

[modifica] La definizione moderna e le prime proprietà

Si vogliono costruire i numeri ordinali come speciali insiemi bene ordinati in modo tale che ogni insieme ben ordinato sia isomorfo rispetto all'ordine a uno un un solo numero ordinale. La definizione seguente migliora l'approccio di Cantor e venne data per primo da John von Neumann:

Un insieme S è un ordinale se e solo se S è totalmente ordinato rispetto all'inclusione tra insiemi e ogni elemento di S è anche un sottoinsieme di S.

L'insieme S risulta così automaticamente bene ordinato rispetto all'inclusione. Questo fatto si basa sull'assioma di fondazione: ogni insieme non vuoto S contiene un elemento a che è disgiunto da S.

Si noti che i numeri naturali sono ordinali secondo questa definizione. Per esempio, 2 è un elemento di 4 = {0, 1, 2, 3}, e 2 è uguale a {0, 1} e per questo è un sottoinsieme di {0, 1, 2, 3}.

Mediante induzione transfinita si può dimostrare che ogni insieme ben ordinato è isomorfo rispetto all'ordine a esattamente uno di questi ordinali.

Inoltre, gli elementi di ogni ordinale sono pure ordinali. Ogni volta che si hanno due ordinali S e T, S è un elemento di T se e solo se S è un sottoinsieme proprio di T; in più, o S è un elemento di T, o T è un elemento di S, oppure i due insiemi sono uguali. Così ogni insieme di ordinali è totalmente ordinato. In effetti, è vera una proprietà molto più forte:

Ogni insieme di ordinali è bene ordinato.

Questo importante risultato generalizza il fatto che ogni insieme di numeri ordinali è bene ordinato e permette l'uso della induzione transfinita con gli ordinali.

Un'altra conseguenza è la seguente:

Ogni ordinale S è un insieme avente precisamente come elementi gli ordinali più piccoli di S.

Questa affermazione determina completamente, dal punto di vista della teoria degli insiemi, la struttura di ogni ordinale a partire da altri ordinali. È anche usata per dimostrare molti altri risultati utili sugli ordinali, ad esempio l'importante caratterizzazione della relazione d'ordine tra gli ordinali:

Ogni insieme di ordinali ha un estremo superiore, che è l'ordinale ottenuto prendendo l'unione di tutti gli ordinali dell'insieme.

Un altro esempio è il fatto seguente:

La collezione di tutti gli ordinali non è un insieme.

Inoltre, dal momento che ogni ordinale contiene solo altri ordinali, ne segue che ogni membro della collezione di tutti gli ordinali è anche un suo sottoinsieme. Quindi, se questa collezione fosse un insieme, dovrebbe essere per definizione un ordinale; allora sarebbe membro di sé stesso, cosa che contraddice l'assioma di regolarità (si veda anche il paradosso di Burali-Forti).

Un ordinale è finito se e solo sel'insieme dei suoi elementi, ordinato secondo l'ordine inverso, è anch'esso bene ordinato, e questo succede se e solo se ogni suo sottoinsieme ha massimo.

[modifica] Altre definizioni

Esistono altre formulazioni moderne della definizione di ordinale. Ognuna di queste è essenzialmente equivalente alla definizione data sopra. Una di queste è la seguente. Una classe S è transitiva se, ogni volta che x è elemento di y e y è elemento di S, allora x è elemento di S. Allora un ordinale viene definito come una classe S transitiva e tale che ogni membro di S è anch'esso transitivo. Si noti che queste definizione funzionerà solo in presenza dell'assioma di regolarità: un insieme che è il suo unico elemento soddisfa a questa condizione ma non è un ordinale!

[modifica] Aritmetica degli ordinali

Per definire la somma S + T dei due ordinali S e T si procede come di seguito: per prima cosa gli elementi di T sono rinominati in modo tale che S e T risultino disgiunti, poi l'insieme bene ordinato S viene scritto "alla sinistra" dell'insieme bene ordinato T; questo significa che si definisce un ordinamento su S ∪ T in cui ogni elemento di S risulta essere più piccolo di ogni elemento di T. Gli insiemi S e T mantengono l'ordinamento che già avevano. In questo modo viene formato un nuovo insieme bene ordinato che è isomorfo rispetto all'ordine a un ordinale, che viene chiamato S + T. Questa addizione è associativa e generalizza l'addizione dei numeri naturali. Detto in altri termini meno rigorosi, per sommare due ordinali S e T basta mettere accanto gli elementi dei due insiemi e ricontare.

Il primo ordinale transfinito è ω, l'insieme di tutti i numeri naturali. Si provi ora a visualizzare l'ordinale ω+ω: si prendono due copie dei numeri naturali ordinate secondo l'ordinamento usuale, e la seconda copia deve essere messa alla destra della prima. Se si indica la seconda copia con {0'<1'<2',...} allora ω+ω può essere rappresentato così:

0 < 1 < 2 < 3 < ... < 0' < 1' < 2' < ...

Questo ordinale è un numero diverso da ω perché in ω solo lo 0 non ha un antecedente (cioè 0 non è il successore di nessun numero) mentre in ω+ω i due elementi 0 e 0' non hanno un antecedente. Questo è 3 + ω

0 < 1 < 2 < 0' < 1' < 2' < ...

e, dopo aver rinominato i suoi elementi, si vede che è uguale ad ω. Si ha quindi che 3 + ω = ω. Ma ω + 3 non è uguale a ω, visto che ω + 3 ha un massimo elemento, mentre ω non lo possiede. Dunque l'addizione tra numeri ordinali non è commutativa.

Ora è facile vedere che, per esempio, (ω + 4) + ω = ω + (4 + ω) = ω + ω.

Per moltiplicare i due ordinali S e T si deve scrivere l'insieme bene ordinato T sostituendo ogni suo elemento con una diversa copia dell'insieme bene ordinato S. Questa operazione produce un nuovo insieme bene ordinato, che definisce un ordinale, indicato con ST. Anche in questo caso si ha una operazione associativa che generalizza la moltiplicazione tra numeri naturali.

Questo è ω2:

0₀ < 1₀ < 2₀ < 3₀ < ... < 0₁ < 1₁ < 2₁ < 3₁ < ...

e si ha che: ω2 = ω + ω. Mentre 2ω ha questo aspetto:

0₀ < 1₀ < 0₁ < 1₁ < 0₂ < 1₂ < 0₃ < 1₃ < ...

che, dopo una sostituzione, ha l'aspetto di ω quindi 2ω = ω. La moltiplicazione tra ordinali non è commutativa.

La proprietà distributiva è parzialmente valida nell'aritmetica degli ordinali: R(S+T) = RS + RT. Ma l'altra legge distributiva (T+U)R = TR + UR non è vera in generale: (1+1)ω è uguale a 2ω = ω mentre 1ω + 1ω è uguale a ω+ω. Quindi i numeri ordinali non formano un anello.

Una struttura ad anello come questa, con solo la proprietà distributiva sinistra, viene chiamata quasianello sinistro: però gli ordinali non sono nemmeno un quasianello perché non ammettono l'inverso dell'addizione (la negazione).

Ora si può definire l'esponenziazione di numeri ordinali. Per esponenti finiti la definizione dovrebbe essere ovvia, per esempio $ω 2 = ωω$ , perché viene usata la moltiplicazione tra ordinali. Ma questa operazione può anche essere visualizzata come un insieme di coppie ordinate di numeri naturali, ordinate secondo una variante dell'ordinamento lessicografico che mette al primo posto la posizione meno significativa:

(0,0) < (1,0) < (2,0) < (3,0) < ... < (0,1) < (1,1) < (2,1) < (3,1) < ... < (0,2) < (1,2) < (2,2) < ...

Analogamente per ogni n finito $ω n$ può essere visualizzato come l'insieme delle n-uple di numeri naturali.

Procedendo oltre, per $ω ω$ si può cercare di visualizzare l'insieme delle successioni infinite di numeri naturali. Però se si cerca di usare una qualsiasi variante dell'ordinamento lessicografico in questo insieme, si scopre che esso non è bene ordinato. Occorre aggiungere la restrizione che solo un numero finito di elementi della successione è diverso da zero. In questo modo l'ordinamento funziona, e appare come l'ordinamento di numeri naturali scritti in notazione decimale, ma con le posizioni delle cifre rovesciate, e con numeri naturali arbitrari al posto delle sole cifre 0-9.

(0,0,0,...) < (1,0,0,0,...) < (2,0,0,0,...) < ... <

(0,1,0,0,0,...) < (1,1,0,0,0,...) < (2,1,0,0,0,...) < ... <

(0,2,0,0,0,...) < (1,2,0,0,0,...) < (2,2,0,0,0,...)

< ... <

(0,0,1,0,0,0,...) < (1,0,1,0,0,0,...) < (2,0,1,0,0,0,...)

< ...

Così, in generale, per elevare un ordinale S alla potenza di un ordinale T si devono scrivere le copie dell'insieme bene ordinato T e si deve sostituire ogni elemento con qualche elemento di S, con la restrizione che tutti gli elementi della successione, eccetto un numero finito, devono essere il primo elemento di S. Si trova che $1 ω = 1$ , $2 ω = ω$ , $2 ω + 1 = ω2 = ω + ω$ . Valgono inoltre le regole sulle potenze seguenti: $(S T) U = S T U$ e $S T + U = S T S U$ .

[modifica] Forma normale di Cantor

I numeri ordinali presentano un'aritmetica estremamente ricca. Ogni numero ordinale $α > 0$ può essere scritto in modo unico come $\omega^{\beta_1} c_1 + \omega^{\beta_2}c_2 + \ldots + \omega^{\beta_k}c_k$ , dove $k, c_1, c_2, \ldots, c_k$ sono interi positivi, e $\beta_1 > \beta_2 > \ldots > \beta_k$ sono numeri ordinali (è possibile che $β k = 0$ ). Questa decomposizione di $α$ è chiamata forma normale di Cantor di $α$ , e può essere considerata il sistema numerico in base-ω. L'esponente maggiore $β 1$ viene detto il grado di $α$ , e soddisfa alla relazione $\beta_1\le\alpha$ (si ha uguaglianza se e solo se $α = ω α$ , fatto possibile, come spiegato in seguito).

Esistono numeri ordinali che non possono essere ottenuti a partire da ω con un numero finito di addizioni, moltiplicazioni ed elevamenti a potenza. Il più piccolo di questi è indicato con ε₀. Questo ordinale è molto importante in molte dimostrazioni per induzione, perché per molti scopi l'induzione transfinita è richiesta solo fino a ε₀. Si noti che $\epsilon_0 = \omega^{\omega^{\omega^{\cdots}}}$ , così $\epsilon_0 = \omega^{\epsilon_0}$ . Un'altra formula è

$\epsilon_0=1+\omega+\omega^\omega+\omega^{\omega^\omega} +\omega^{\omega^{\omega^\omega}}+\dots$ .

L'ordinale $ε 0$ è anche il primo numero che soddisfa l'equazione di Cantor $ω ε = ε$ . Questa equazione ha infinite soluzioni: la successiva è

$\epsilon_1=(\epsilon_0+1)+\omega^{\epsilon_0+1}+\omega^{\omega^{\epsilon_0+1}} +\omega^{\omega^{\omega^{\epsilon_0+1}}}+\dots$ ,

cui seguono

$\epsilon_1, \epsilon_2, \dots, \epsilon_\omega, \epsilon_{\omega+1}, \dots, \epsilon_{\omega2},\dots,\epsilon_{\omega^2},\dots,\epsilon_{\omega^\omega},\dots, \epsilon_{\epsilon_0},\dots, \epsilon_{\epsilon_0+\omega},\dots, \epsilon_{\epsilon_0+\omega^\omega} , \dots,$

$\epsilon_{\epsilon_0 2},\dots,\epsilon_{\epsilon_1},\dots, \epsilon_{\epsilon_2}, \dots, \epsilon_{\epsilon_\omega},\dots, \epsilon_{\epsilon_{\epsilon_0}},\dots, \epsilon_{\epsilon_{\epsilon_1}},\dots, \epsilon_{\epsilon_{\epsilon_\omega}}, \dots, \epsilon_{\epsilon_{\epsilon_{\epsilon_0}}},\dots$

e così via fino a $\epsilon_{\epsilon_{\epsilon_{\epsilon_{\epsilon_\dots}}}}$ , che è la prima soluzione di $ε α = α$ .

$ε 0$ è ancora numerabile. Esistono ordinali non numerabili. Il più piccolo ordinale non numerabile è uguale all'insieme di tutti gli ordinali numerabili, e solitamente viene indicato con ω₁.

[modifica] Topologia e ordinali limite

Gli ordinali sono dotati anche di una interessante topologia d'ordine in virtù del fatto che sono totalmente ordinati. In questa topologia, la successione 0, 1, 2, 3, 4, ... ha limite ω e la successione ω, ω^ω, ω^(ω^ω), ... ha limite ε₀. Gli ordinali che non hanno un antecedente possono sempre essere scritti come llimite di una rete di altri ordinali (ma non necessariamente come il limite di una successione, cioè come limite di una quantità numerabile di ordinali più piccoli) e sono chiamati ordinali limite; gli altri ordinali sono gli ordinali successori.

Gli spazi topologici ω₁ e il suo successore ω₁+1 sono spesso usati nei libri di testo come esempi di spazi topologici non numerabili. Per esempio, nello spazio topologico ω₁+1, l'elemento ω₁ è nella chiusura del sottoinsieme ω₁ anche se nessuna successione di elementi in ω₁ ha l'elemento ω₁ come limite. Lo spazio ω₁ è uno spazio first-countable, ma non second-countable, e ω₁+1 non gode di nessuna di queste due proprietà.

Alcuni ordinali speciali possono essere usati per misurare la grandezza o cardinalità di un insieme. Questi sono chiamati numeri cardinali.

[modifica] Voci correlate

[modifica] Bibliografia

1996 - Conway, J. H. e Guy, R. K. "I numeri ordinali di Cantor." Ne Il libro dei Numeri. Hoepli, pp. 230-238 (ISBN 8820325195).

Estratto da "http://it.wikipedia.org../../../n/u/m/Numero_ordinale_%28matematica%29.html"

Categorie: Numeri | Teoria degli insiemi