Difeomorfismo - Wikipedia, la enciclopedia libre https://es.wikipedia.

org/wiki/Difeomorfismo

Difeomorfismo
De Wikipedia, la enciclopedia libre

En matemticas, un difeomorfismo es un isomorfismo en la categora

de las variedades diferenciables (es decir, un difeomorfismo es un
homeomorfismo diferenciable con inversa diferenciable). Como tal un
difeomorfismo es una aplicacin que posee aplicacin inversa, siendo
ambas aplicaciones diferenciables.

ndice
1 Definicin
2 Difeomorfismos de subconjuntos de variedades
3 Descripcin local
La imagen de una retcula ortogonal
4 Ejemplos
definida sobre un cuadrado, obtenida
5 Referencias
a partir de un difeomorfismo del
5.1 Bibliografa
cuadrado en s mismo, conservando
invariante el contorno.

Definicin
Dadas dos variedades y , una aplicacin diferenciable es un difeomorfismo si es una
aplicacin biyectiva y su inversa tambin es diferenciable. Si estas funciones son r veces
diferenciables con continuidad, entonces f es un C -difeomorfismo o difeomorfismo de clase Cr.
r

Dos variedades y son difeomorfas si existe un difeomorfismo f entre ellas.

Difeomorfismos de subconjuntos de variedades

Dado un subconjunto X de una variedad y un subconjunto , una funcin es
diferenciable (suave) si para cada si existe un entorno de y una funcin diferencialbe (suave)
tal que (ntese que g es una extensin de f). Se dice adems que f es un
difeomorfismo si es biyectiva, diferenciable y su inversa diferenciable.

Descripcin local
Ejemplo cannico. Si U, V son subconjuntos abiertos conexos de tales que V es adems simplemente
conexo, una aplicacin diferenciable f : U V es un difeomorfismo, si es una aplicacin propia y si la
aplicacin progrediente o diferencial Dfx : Rn Rn es biyectiva en todo punto x de U.

Comentario 1. Es esencial que U sea simplemente conexo para que la funcin f sea globalmente
invertible (si nicamente se exige la condicin de que la derivada sea biyectiva en cualquier
punto). Por ejemplo, considrese la "realificacin" de la funcin compleja z2:

1 de 3 7/7/17 17:02
Difeomorfismo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Difeomorfismo

Entonces f es suprayectiva y satisface

as Dfx es biyectiva en todos los punntos 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 , podemos considerar algunas
aplicaciones explcitas:

Sea

Podemos calcular la matriz jacobiana:

Esta matriz jacobiana tiene determinante cero si, y slo si xy = 0. Vemos pues que f es un difeomorfismo
sobre cualquier conjunto que no se interseque con los ejes X o Y.

Sea

donde las y son nmeros reales arbitrarios y los trminos omitidos son de grado al menos dos en
x e y. Calculamos la matriz jacobiana en el punto 0:

Vemos que g es un isomorfismo local en 0 si, y slo si

es decir, los trminos lineales en las componentes de g son linealmente independientes, como
polinomios.

Referencias
Bibliografa
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,

2 de 3 7/7/17 17:02
Difeomorfismo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Difeomorfismo

Cambridge University Press, ISBN 0-521-64121-7

Hazewinkel, Michiel, ed. (2001), Diffeomorphism (http://www.encyclopediaofmath.org
/index.php?title=p/d031650), Encyclopaedia of Mathematics (en ingls), 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 (https://www.worldcat.org/issn/0040-9383),
MR 0210147 (https://www.ams.org/mathscinet-getitem?mr=0210147), doi:10.1016/0040-9383(67)90038-9 (http://dx.doi.org
/10.1016%2F0040-9383%2867%2990038-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), Lsung der Aufgabe 41., Jahresbericht der Deutschen Mathematiker-
Vereinigung (en german) 35 (2): 123f.

Obtenido de https://es.wikipedia.org/w/index.php?title=Difeomorfismo&oldid=100096084

Categoras: Difeomorfismos Fsica matemtica

Se edit esta pgina por ltima vez el 26 jun 2017 a las 12:47.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica
de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.

3 de 3 7/7/17 17:02