Difeomorfismo

La imagen de una retícula ortogonal definida sobre un cuadrado, obtenida a partir de un difeomorfismo del cuadrado en sí mismo, conservando invariante el contorno.

En topología diferencial, un difeomorfismo es un isomorfismo en la categoría de las variedades diferenciables (es decir, un difeomorfismo es un homeomorfismo diferenciable con inversa diferenciable). Como tal un difeomorfismo es una aplicación que posee aplicación inversa, por supuesto estas dos aplicaciones son diferenciables.

Definición

Dadas dos variedades M {\displaystyle {\mathcal {M}}} y N {\displaystyle {\mathcal {N}}} , una aplicación f : M N {\displaystyle f:{\mathcal {M}}\to {\mathcal {N}}} es un difeomorfismo si es un homeomorfismo diferenciable con inversa diferenciable. Si estas aplicaciones son r veces continuamente diferenciables, esto es son miembros de C r {\displaystyle C^{r}} entonces f es un Cr-difeomorfismo o difeomorfismo de clase Cr.

Dos variedades M {\displaystyle {\mathcal {M}}} y N {\displaystyle {\mathcal {N}}} son difeomorfas ( M N ) {\displaystyle ({\mathcal {M}}\approx {\mathcal {N}})} si existe un difeomorfismo f entre ellas.

Alternativa

Las transformaciones regulares son llamadas difeomorfismos de la clase C ( 1 ) {\displaystyle C^{(1)}}

Una aplicación g {\displaystyle g} de R n R n {\displaystyle {\mathcal {R^{n}}}\to {\mathcal {R^{n}}}} es regular si:

  1. g {\displaystyle g} es de la clase C ( 1 ) {\displaystyle C^{(1)}}
  2. g {\displaystyle g} es univalente
  3. t ,   g ( t ) 0 {\displaystyle \forall t,\ g(t)\neq 0} [1]

Difeomorfismos de subconjuntos de variedades

Dado un subconjunto X {\displaystyle X} de una variedad M {\displaystyle {\mathcal {M}}} y un subconjunto Y N {\displaystyle Y\subset {\mathcal {N}}} , una función f : X Y {\displaystyle f:X\to Y} es diferenciable (suave) si para cada p X {\displaystyle p\in X} existen un entorno U M {\displaystyle U\subset {\mathcal {M}}} y una función diferenciable (suave) g : U Y {\displaystyle g:U\to Y} tal que g | U X = f | U X {\displaystyle g_{|U\cap X}=f_{|U\cap X}} (nótese que g es una extensión de f). Se dice además que f es un difeomorfismo si es biyectiva, diferenciable y su inversa diferenciable.

Descripción local

Ejemplo canónico. Si U, V son subconjuntos abiertos conexos de R n {\displaystyle \mathbb {R} ^{n}} tales que V es además simplemente conexo, una aplicación diferenciable f : UV es un difeomorfismo, si es una aplicación propia y si la aplicación progrediente o diferencial Dfx : RnRn es biyectiva en todo punto x de U.

Comentario 1. Es esencial que U sea simplemente conexo para que la función f sea globalmente invertible (si únicamente se exige la condición de que la derivada sea biyectiva en cualquier punto). Por ejemplo, considérese la "realificación" de la función compleja z2:

{ f : R 2 { ( 0 , 0 ) } R 2 { ( 0 , 0 ) } ( x , y ) ( x 2 y 2 , 2 x y ) {\displaystyle {\begin{cases}f:\mathbf {R} ^{2}\setminus \{(0,0)\}\to \mathbf {R} ^{2}\setminus \{(0,0)\}\\(x,y)\mapsto (x^{2}-y^{2},2xy)\end{cases}}}

Entonces f es suprayectiva y satisface

det D f x = 4 ( x 2 + y 2 ) 0 {\displaystyle \det Df_{x}=4(x^{2}+y^{2})\neq 0}

así Dfx es biyectiva en todos los puntos aunque f no admite inversa, porque no es biyectiva, e.g., f(1,0) = (1,0) = f(−1,0).

Ejemplos

Puesto que cualquier variedad puede ser parametrizada localmente mediante R n {\displaystyle \mathbb {R} ^{n}} , podemos considerar algunas aplicaciones explícitas:

  • Sea
f ( x , y ) = ( x 2 + y 3 , x 2 y 3 ) . {\displaystyle f(x,y)=\left(x^{2}+y^{3},x^{2}-y^{3}\right).}
Podemos calcular la matriz jacobiana:
J f = ( 2 x 3 y 2 2 x 3 y 2 ) . {\displaystyle J_{f}={\begin{pmatrix}2x&3y^{2}\\2x&-3y^{2}\end{pmatrix}}.}
Esta matriz jacobiana tiene determinante cero si, y sólo si xy = 0. Vemos pues que f podría ser un difeomorfismo sobre cualquier conjunto que no se interseque con los ejes X o Y. Sin embargo, no es biyectiva dado que f(x,y) = f(-x,y), por lo que no es un difeomorfismo.
  • Sea
g ( x , y ) = ( a 0 + a 1 , 0 x + a 0 , 1 y + ,   b 0 + b 1 , 0 x + b 0 , 1 y + ) {\displaystyle g(x,y)=\left(a_{0}+a_{1,0}x+a_{0,1}y+\cdots ,\ b_{0}+b_{1,0}x+b_{0,1}y+\cdots \right)}
donde las a i , j {\displaystyle a_{i,j}} y b i , j {\displaystyle b_{i,j}} son números reales arbitrarios y los términos omitidos son de grado al menos dos en x e y. Calculamos la matriz jacobiana en el punto 0:
J g ( 0 , 0 ) = ( a 1 , 0 a 0 , 1 b 1 , 0 b 0 , 1 ) . {\displaystyle J_{g}(0,0)={\begin{pmatrix}a_{1,0}&a_{0,1}\\b_{1,0}&b_{0,1}\end{pmatrix}}.}
Vemos que g es un isomorfismo local en 0 si, y sólo si
a 1 , 0 b 0 , 1 a 0 , 1 b 1 , 0 0 , {\displaystyle a_{1,0}b_{0,1}-a_{0,1}b_{1,0}\neq 0,}
es decir, los términos lineales en las componentes de g son linealmente independientes, como polinomios.


Referencias

  1. Wendell H. Fleming Funciones de diversas variables Edición de AID( agencia para el desarrollo internacional), Ciudad de México, 1965

Bibliografía

  • Chaudhuri, Shyamoli, Hakuru Kawai and S.-H Henry Tye. "Path-integral formulation of closed strings," Phys. Rev. D, 36: 1148, 1987.
  • Banyaga, Augustin (1997), The structure of classical diffeomorphism groups, Mathematics and its Applications, 400, Kluwer Academic, ISBN 0-7923-4475-8 .
  • Duren, Peter L. (2004), Harmonic Mappings in the Plane, Cambridge Mathematical Tracts, 156, Cambridge University Press, ISBN 0-521-64121-7 .
  • Hazewinkel, Michiel, ed. (2001), «Difeomorfismo», Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104 .
  • Hirsch, Morris (1997), Differential Topology, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90148-0 .
  • Kriegl, Andreas; Michor, Peter (1997), The convenient setting of global analysis, Mathematical Surveys and Monographs, 53, American Mathematical Society, ISBN 0-8218-0780-3 .
  • Leslie, J. A. (1967), «On a differential structure for the group of diffeomorphisms», Topology. an International Journal of Mathematics 6 (2): 263-271, ISSN 0040-9383, MR 0210147, doi:10.1016/0040-9383(67)90038-9 .
  • Milnor, John W. (2007), Collected Works Vol. III, Differential Topology, American Mathematical Society, ISBN 0-8218-4230-7 .
  • Omori, Hideki (1997), Infinite-dimensional Lie groups, Translations of Mathematical Monographs, 158, American Mathematical Society, ISBN 0-8218-4575-6 .
  • Kneser, Hellmuth (1926), «Lösung der Aufgabe 41.», Jahresbericht der Deutschen Mathematiker-Vereinigung (en alemán) 35 (2): 123f. .
Control de autoridades
  • Proyectos Wikimedia
  • Wd Datos: Q1058314
  • Commonscat Multimedia: Diffeomorphisms / Q1058314

  • Wd Datos: Q1058314
  • Commonscat Multimedia: Diffeomorphisms / Q1058314