## [Difeomorfismo](/es/node/60441) Definición Una aplicación biyectiva y suave entre variedades diferenciables cuya inversa también es suave; proporciona una equivalencia de estructuras suaves que preserva cartas diferenciables, derivadas y tensores suaves. ## Principio Principio Dos variedades diferenciables se consideran iguales en la categoría suave si existe una biyección suave con inversa suave entre ellas, garantizando que las estructuras diferenciales y las propiedades basadas en cálculo correspondan mediante la aplicación. ## Demostración Demostración Ejemplo simple: la exponencial exp: R → (0,∞) es una biyección suave con inversa suave log; por tanto R y (0,∞) son difeomorfas como variedades suaves de dimensión 1. ## Aplicación incorrecta Aplicación incorrecta Suponer que cualquier homeomorfismo o biyección continua entre variedades es un difeomorfismo desconoce la suavidad: existen variedades homeomorfas que no admiten biyección suave con inversa suave (fenómenos de estructuras suaves exóticas en dimensiones superiores). ## Consecuencia Consecuencia Un difeomorfismo permite transferir estructuras diferencial-geométricas: campos vectoriales suaves, formas diferenciales, construcciones compatibles con una métrica (cuando se transporta una métrica) y argumentos locales basados en derivadas se traducen exactamente. ## Inversión Inversión Un homeomorfismo no suave (o cuya inversa no es suave) separa la equivalencia topológica de la suave y muestra que las propiedades diferenciales pueden no preservarse pese a la identidad topológica. ## Límite Límite El difeomorfismo tiene sentido sólo en la categoría diferenciable (suave); excluye equivalencias puramente topológicas o métricas y exige atlas suaves compatibles en las variedades implicadas. ## Tensión semántica Tensión semántica El difeomorfismo compite con isomorfismos analíticos o reales-analíticos y con nociones topológicas: la tensión es entre preservar estructura infinitamente diferenciable, estructura analítica o sólo la topología. ## Síntesis Síntesis Un difeomorfismo es una biyección suave con inversa suave que equipara variedades diferenciables preservando sus estructuras basadas en el cálculo.