Diffeomorfismo

Un diffeomorfismo è una funzione tra due varietà differenziabili con la proprietà di essere differenziabile, invertibile e di avere l'inversa differenziabile.

Definizione

Date due varietà $M$ e $N$, una mappa differenziabile $f:M\to N$ è detta diffeomorfismo se è una biezione e se anche la sua inversa $f^{-1}:N\to M$ è differenziabile. Se queste funzioni sono differenziabili per continuità $r$ volte, $f$ è detta un $C^r$-diffeomorfismo.

Due varietà $M$ e $N$ sono diffeomorfe (indicato solitamente con $M\simeq N$) se c'è un diffeomorfismo $f$ da $M$ a $N$. Sono $C^r$- diffeomorfe se c'è tra loro una mappa bigettiva differenziabile per continuità $r$ volte la cui inversa è anch'essa differenziabile per continuità $r$ volte.

Negli spazi euclidei

In realtà, nel definire una varietà differenziabile, si usa il concetto di diffeomorfismo, anche se ristretto al caso di regioni di spazi euclidei. Per questo motivo è necessario, ai fini del rigore formale, avere a disposizione una definizione di diffeomorfismo tra spazi euclidei indipendente dal concetto di varietà differenziabile; dunque:

Una funzione tra due regioni (insiemi aperti e connessi) di spazi euclidei $f:U\to V$, con $U$ regione di ${ℝ}^d$ e $V$ regione di ${ℝ}^m$, è un diffeomorfismo se è differenziabile, invertibile e la sua inversa è anch'essa differenziabile.

In una variabile, un diffeomorfismo è una funzione $f$ con differenziale $d_f\ne 0$ quindi invertibile con inversa $f^{-1}$ anch'essa differenziabile. Chiaramente, una volta definite le varietà differenziabili, la seconda definizione diventa un caso particolare della prima.

Diffeomorfismi e omeomorfismi

Di fatto i diffeomorfismi giocano in geometria differenziale lo stesso ruolo degli omeomorfismi in topologia.

È abbastanza facile trovare un omeomorfismo tra varietà differenziabili che non sia un diffeomorfismo, meno facile è trovare varietà omeomorfe che non siano anche diffeomorfe. È possibile dimostrare che per dimensioni minori o uguali a 3, tutte le varietà omeomorfe sono anche diffeomorfe; per dimensioni superiori a 3 è possibile trovare dei controesempi. Il primo controesempio di questo tipo fu costruito da John Milnor in dimensione 7: la sfera di Milnor.

Bibliografia

• Template:Cita pubblicazione
• Template:Cita pubblicazione
• Template:Cita pubblicazione
• Template:Cita pubblicazione
• Template:Cita pubblicazione
• Template:Cita libro
• Template:Cita pubblicazione

Voci correlate

• Omeomorfismo
• Diffeomorfismo locale