# Lemma di Zorn

Il lemma di Zorn afferma che:
Il lemma di Zorn è equivalente all'assioma della scelta e al teorema del buon ordinamento, ma la sua peculiare formulazione risulta di maggior utilità in moltissime dimostrazioni.

## Storia e ruolo

Il lemma di Zorn viene detto anche Lemma di Kuratowski-Zorn; in effetti esso fu scoperto da Kazimierz Kuratowski nel 1922 e riscoperto indipendentemente da Max Zorn nel 1935.

### Posizione nell'assiomatica degli insiemi

Si dimostrò poi che il Lemma di Zorn è equivalente all'assioma della scelta e al teorema del buon ordinamento. Più precisamente, assunto il sistema di assiomi di Zermelo-Fraenkel, se si assume anche uno dei tre suddetti enunciati si possono dedurre i due rimanenti.
A seguito dei lavori di Kurt Gödel e di Paul Cohen si è dimostrato che l'assioma della scelta è logicamente indipendente da un sistema di assiomi per la teoria degli insiemi, ad esempio dagli assiomi di Zermelo-Fraenkel. Di conseguenza, è indipendente da questi sistemi assiomatici anche il lemma di Zorn (o, in alternativa, il teorema del buon ordinamento). Risulta impossibile derivare da questi assiomi il lemma di Zorn o la sua negazione; quindi, si possono avere teorie degli insiemi che includono il lemma di Zorn e altre che includono la sua negazione.

### Utilità nelle dimostrazioni

Nella maggior parte dei lavori matematici che affrontano queste tematiche generali viene richiesto il lemma di Zorn, piuttosto che le altre due formulazioni equivalenti, in quanto esso rende possibile stabilire un insieme più ampio di proprietà e di individuare una gamma più estesa di oggetti matematici che conducono a costruzioni teoriche più soddisfacenti, cioè a sistemi di teoremi con caratteristiche di maggiore completezza.
Ad esempio, grazie all'assunzione del lemma di Zorn si possono enunciare il teorema di Hahn-Banach in analisi funzionale, l'esistenza di una base per ogni spazio vettoriale, il teorema di Tichonov in topologia ovvero garantire la compattezza di ogni prodotto infinito di spazi compatti, l'esistenza di un ideale massimale per ogni anello e il fatto che ogni campo possiede una chiusura algebrica.

## Equivalenza con l'assioma della scelta
### Dipendenza dall'assioma della scelta

Dato un insieme $X$ su cui sia definita una relazione d'ordine $<$, per l'assioma della scelta (applicato all'insieme delle parti di $X$) sappiamo che esiste una funzione di scelta $f\colon {\mathcal {P}}(X)\setminus \{\varnothing \}\rightarrow X$ tale che $\forall Y\in {\mathcal {P}}(X)\setminus \{\varnothing \},f(Y)\in Y$.
Data allora una tale $f$, definiamo $f$-catena una catena $C$ tale che:
* $(C,<)$ sia ben ordinata
* $\forall a\in C,a=f(\{x\mid \forall b\in C,b<a\rightarrow x>b\})$
ovvero ogni elemento della catena è l'immagine degli elementi che maggiorano tutti gli elementi precedenti nella catena; si può immaginare che $C$ sia costruita a partire dall'insieme vuoto, aggiungendo ogni volta un elemento scelto tra l'insieme dei maggioranti degli elementi già aggiunti
Si verifica facilmente che date due $f$-catene $C,D$, una sarà sempre segmento iniziale dell'altra, e quindi che un'unione di $f$-catene è ancora una $f$-catena.
Sia ora $F$ l'unione di tutte le $f$-catene contenute in $X$. $F$ sarà una $f$-catena. Supponiamo che ogni catena abbia un maggiorante (ipotesi del lemma di Zorn): allora in particolare esiste un $m$ maggiore di tutti gli elementi di $F$. Ma se esistesse $n\in X$ tale che $n>m$, avremmo che l'insieme $M$ dei maggioranti di $m$ (e quindi di ogni elemento di $F$) è non vuoto (contiene almeno $n$) e quindi la catena ottenuta estendendo $F$ con l'elemento $f(M)$ è una $f$-catena. Ma questo è un assurdo perché $F$ è definita come l'unione di tutte le $f$-catene.

### Implicazione dell'assioma della scelta

Per dimostrare che il lemma di Zorn implica l'assioma della scelta, è possibile osservare che esso implica il teorema di buon ordinamento, che, a sua volta, implica l'assioma della scelta.
Alternativamente, si può procedere per via diretta applicando il lemma a una famiglia di insiemi costruita ad hoc come famiglia di funzioni di scelta parziali.
Si consideri una famiglia $X$ di insiemi non vuoti. Sia inoltre $S$ l'insieme di tutte le funzioni di scelta su qualche elemento di $X$, ovvero
    $S={\Big \f\colon {\mathcal {D}}\to \bigcup {\mathcal {D}}\mid {\mathcal {D}}\subset X{\text{ e }}f(D)\in {\mathcal {D}}{\text{ per ogni }}D\in {\mathcal {D}}{\Big \}}$.
L'insieme $S$ è non vuoto perché è sempre possibile costruire una funzione di scelta a partire da un numero finito di insiemi (ossia elementi di $X$).
Si consideri quindi su $S$ l'ordine $\subset$ dato dall'inclusione insiemistica di funzioni e sia $(C,\subset )$ una catena di elementi di $S$. In termini insiemistici
    $C={\Big \f\colon {\mathcal {D}}\to \bigcup {\mathcal {D}}\mid {\mathcal {D}}\in I{\text{ e }}f(D)\in {\mathcal {D}}{\text{ per ogni }}D\in {\mathcal {D}}{\Big \}}$
per una qualche famiglia di insiemi $I\subset {\mathcal {P}}(X)$ catena di $X$ rispetto all'inclusione.
Si procede dimostrando che l'unione $\bigcup C$ è un maggiorante di $C$ in $S$. Infatti, detta ${\mathcal {I}}=\bigcup {I}$, si prova facilmente che $\bigcup C$ è della forma $g\colon {\mathcal {I}}\to \bigcup {\mathcal {I}}$ dove ${\mathcal {I}}\subset X$ e $g$ è una funzione di scelta su ${\mathcal {I}}$.
L'insieme $S$ soddisfa quindi le ipotesi del lemma di Zorn. Esiste pertanto una funzione di scelta $F$ massimale in $S$. Resta da provare che $F$ è una funzione di scelta su $X$. Supponiamo per assurdo che $F$ sia una funzione di scelta su ${\mathcal {A}}$ dove ${\mathcal {A}}\subsetneq X$. Esiste allora $A\in X\setminus {\mathcal {A}}$ tale che, per qualsiasi $a\in A$, l'estensione
    ${\bar {F}}(D)=\left\{{\begin{matrix}F(D)\quad &&{\mbox{se }}D\in {\mathcal {A}};\\a&&{\mbox{se }}D=A~.\end{matrix}}\right.$
è una funzione di scelta di $S$ tale che $F\subsetneq {\bar {F}}$, in contraddizione con la massimalità di $F$.