Estructura suave

En matemáticas , una estructura suave en una variedad permite una noción inequívoca de función suave . En particular, una estructura suave permite realizar análisis matemáticos en la variedad. ^[1]

Una estructura suave en una variedad es una colección de atlas suaves equivalentes. Aquí, un atlas suave para una variedad topológica es un atlas para tal que cada función de transición es una función suave , y dos atlas suaves para son suavemente equivalentes siempre que su unión sea nuevamente un atlas suave para Esto da una relación de equivalencia natural en el conjunto de atlas suaves.${\estilo de visualización M}$${\estilo de visualización M}$${\estilo de visualización M}$${\estilo de visualización M}$${\estilo de visualización M.}$

Una variedad suave es una variedad topológica junto con una estructura suave en${\estilo de visualización M}$${\estilo de visualización M.}$

Al tomar la unión de todos los atlas que pertenecen a una estructura lisa, obtenemos un atlas liso máximo . Este atlas contiene todos los gráficos que son compatibles con la estructura lisa. Existe una correspondencia natural biunívoca entre las estructuras lisas y los atlas lisos máximos. Por lo tanto, podemos considerar una estructura lisa como un atlas liso máximo y viceversa.

En general, los cálculos con el atlas máximo de una variedad son bastante complicados. Para la mayoría de las aplicaciones, basta con elegir un atlas más pequeño. Por ejemplo, si la variedad es compacta , se puede encontrar un atlas con un número finito de gráficos.

Si y son dos atlas máximos en las dos estructuras lisas asociadas a y se dice que son equivalentes si existe un difeomorfismo tal que ^{[ cita requerida ]}${\estilo de visualización \mu}$${\estilo de visualización \nu}$${\estilo de visualización M}$${\estilo de visualización \mu}$${\estilo de visualización \nu}$ ${\displaystyle f:M\to M}$${\displaystyle \mu \circ f=\nu .}$

John Milnor demostró en 1956 que la esfera de siete dimensiones admite una estructura lisa que no es equivalente a la estructura lisa estándar. Una esfera dotada de una estructura lisa no estándar se denomina esfera exótica .

La variedad E8 es un ejemplo de variedad topológica que no admite una estructura lisa. Esto demuestra, en esencia, que el teorema de Rokhlin se cumple únicamente para estructuras lisas y no para variedades topológicas en general.

Los requisitos de suavidad de las funciones de transición se pueden debilitar, de modo que solo se requiera que las funciones de transición sean continuamente diferenciables varias veces; o se pueden reforzar, de modo que se requiera que las funciones de transición sean real-analíticas. En consecuencia, esto da una estructura o (real-)analítica en la variedad en lugar de una suave. De manera similar, se puede definir una estructura compleja al requerir que las funciones de transición sean holomorfas.${\estilo de visualización k}$$Estilo de visualización C^{k}}$

• Marco liso  – Generalización de una base ordenada de un espacio vectorialPáginas que muestran descripciones breves de los objetivos de redireccionamiento
• Atlas (topología)  : conjunto de gráficos que describen una variedad