Diffeomorfismo locale

In matematica, un diffeomorfismo locale è una funzione che risulta essere un diffeomorfismo su aperti sufficientemente piccoli.

Un diffeomorfismo locale è un particolare omeomorfismo locale, spesso causato dall'invertibilità del differenziale di una funzione differenziabile, grazie al teorema di invertibilità locale.

Definizione

Sia

f : M N {\displaystyle f:M\to N}

una funzione differenziabile fra due varietà differenziabili della stessa dimensione n {\displaystyle n} (ad esempio, due aperti di R n {\displaystyle \mathbb {R} ^{n}} ). La funzione è un diffeomorfismo locale in un punto x {\displaystyle x} di M {\displaystyle M} se esiste un aperto U {\displaystyle U} contenente x {\displaystyle x} tale che f ( U ) {\displaystyle f(U)} è aperto in N {\displaystyle N} e la restrizione

f | U : U f ( U ) {\displaystyle f|_{U}:U\to f(U)\,\!}

è un diffeomorfismo.

La funzione f {\displaystyle f} è un diffeomorfismo locale (senza specificare x {\displaystyle x} ) se è tale per ogni x {\displaystyle x} in M {\displaystyle M} .

Proprietà

Un diffeomorfismo locale è in particolare un omeomorfismo locale. Quindi è una funzione aperta.

Un diffeomorfismo locale che è anche biiettivo è un diffeomorfismo.

Bibliografia

  • Peter W. Michor, Topics in differential geometry, Providence, Rhode Island, American Mathematical Society, 2008, ISBN 978-0-8218-2003-2., MR 2428390.

Voci correlate

  • Omeomorfismo locale
  • Diffeomorfismo
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica