Teorema di unicità del sollevamento
# Teorema di unicità del sollevamento

Il teorema di unicità del sollevamento è un teorema di matematica, e più precisamente di topologia. Il teorema mostra una proprietà cruciale dei rivestimenti.

## Enunciato del teorema

Il teorema di unicità del sollevamento asserisce che, se $Y$ è connesso, due sollevamenti coincidenti in un punto devono coincidere su tutti i punti (sono cioè la stessa funzione). In altre parole:

Siano dati un rivestimento fra spazi topologici

    $p:E\to X\,\!$

ed una funzione continua

    $f:Y\to X\,\!$

definita su uno spazio connesso $Y$. Siano inoltre

    $g:Y\to E,\quad h:Y\to E$

due sollevamenti della $f$. Se esiste $y_{0}$ in $Y$ tale che $g(y_{0})=h(y_{0})$ allora $g(y)=h(y)$ per ogni $y$ in $Y$.

## Dimostrazione

Consideriamo l'insieme dei punti in cui i due sollevamenti coincidono:

    $A=\{y\in Y\ |\ g(y)=h(y)\}$

Per ipotesi, $y_{0}$ è un elemento di $A$. Mostriamo che $A$ ed il suo complementare $Y\setminus A$ sono entrambi aperti: poiché $Y$ è connesso, seguirà che $A=Y$, e quindi che le due funzioni coincidono ovunque.

Dato $y$ in $Y$, sia $V$ un aperto connesso uniformemente rivestito di $X$ contenente $f(y)$. Siano $U_{g},U_{h}$ le componenti connesse in $p^{-1}(V)$ contenenti rispettivamente $g(y)$ e $h(y)$. Consideriamo l'aperto di $Y$:

    $W=g^{-1}(U_{g})\cap h^{-1}U_{h}.$

Se $y$ appartiene ad $A$, allora $g(y)=h(y)$ e quindi $U_{g}=U_{h}$, e siccome la restrizione di $p$ all'aperto $U_{g}=U_{h}$ è iniettiva segue che $g(w)=h(w)$ per ogni $w$ in $W$, e quindi $W$ è interamente contenuto in $A$. Questo prova che $A$ è aperto.

Se $y$ non appartiene ad $A$ allora $U_{g}$ e $U_{h}$ sono disgiunti, e quindi lo sono anche $W$ ed $A$: questo prova che il complementare di $A$ è aperto.

## Generalizzazioni

Il teorema è valido anche se $p:E\to X$ è solo un omeomorfismo locale.

