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

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

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

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

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

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

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

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

Un difeomorfismo es una biyección suave con inversa suave que equipara variedades diferenciables preservando sus estructuras basadas en el cálculo.