Difeomorfismo

Difeomorfismo
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.

Definicin
Dadas dos variedades su inversa y , una aplicacin diferenciable tambin es diferenciable. Si estas
La imagen de una retcula ortogonal definida sobre un cuadrado, obtenida a partir de un difeomorfismo de cuadrado en l mismo que conserva invariante el contorno.

es un difeomorfismo si es una aplicacin biyectiva y funciones son r veces diferenciables con continuidad, entonces f es un Cr-difeomorfismo o difeomorfismo de clase Cr. Dos variedades y son difeomorfas si existe un difeomorfismo f entre ellas.

Difeomorfismos de subconjuntos de variedades

Dado un subconjunto X de una variedad diferenciable (suave) si para cada tal que y un subconjunto si existe un entorno , una funcin es de y una funcin diferencialbe (suave)

(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:

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).

Difeomorfismo

Ejemplos
Puesto que cualquier variedad puede ser parametrizada localmente mediante aplicaciones explcitas: Sea , podemos considerar algunas

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

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, Cambridge University Press, ISBN 0-521-64121-7 Hazewinkel, Michiel, ed. (2001), Diffeomorphism (http://www.encyclopediaofmath.org/index.php?title=p/ d031650) (en ingls), Encyclopaedia of Mathematics, 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): 263271, doi: 10.1016/0040-9383(67)90038-9 (http://dx.doi.org/10.1016/ 0040-9383(67)90038-9), ISSN 0040-9383 (http://worldcat.org/issn/0040-9383) 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. (en German), Jahresbericht der Deutschen Mathematiker-Vereinigung 35 (2): 123f.

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Difeomorfismo Fuente: http://es.wikipedia.org/w/index.php?oldid=69981561 Contribuyentes: Davius, Ggenellina, Suhagja

Fuentes de imagen, Licencias y contribuyentes

Archivo:Diffeomorphism of a square.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Diffeomorphism_of_a_square.svg Licencia: Public Domain Contribuyentes: Oleg Alexandrov

Licencia
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/