Espacios Tangentes y Campos Vectoriales
El espacio tangente asocia un espacio vectorial de velocidades a cada punto de una variedad, y un campo vectorial asigna dicha velocidad de manera suave a través de la variedad, codificando flujos y simetrías infinitesimales.
Definition
El espacio tangente en un punto de una variedad suave es el espacio vectorial de los vectores de velocidad de las curvas que pasan por ese punto (equivalentemente, derivaciones de funciones suaves en el punto); un campo vectorial es una asignación suave de un vector tangente a cada punto, es decir, una sección del fibrado tangente.
Scope
Este tema define el espacio tangente —equivalentemente a través de vectores de velocidad de curvas, derivaciones o tuplas compatibles con la transición— y ensambla los espacios tangentes en el fibrado tangente. Desarrolla el diferencial de una aplicación suave, los campos vectoriales como secciones del fibrado tangente, sus curvas integrales y flujos, el corchete de Lie y la derivada de Lie, y el teorema de Frobenius sobre la integrabilidad de las distribuciones. Los espacios cotangentes y las uno-formas aparecen como la estructura dual que conduce a las formas diferenciales.
Core questions
- ¿Cuáles son las definiciones equivalentes de un vector tangente y por qué concuerdan?
- ¿Cómo actúa el diferencial de una aplicación suave sobre los espacios tangentes?
- ¿Cómo generan flujos los campos vectoriales y qué mide el corchete de Lie sobre dos flujos?
- ¿Cuándo puede integrarse una familia de distribuciones tangentes en subvariedades (teorema de Frobenius)?
Key concepts
- Espacio tangente y vectores tangentes como derivaciones
- Fibrado tangente y el diferencial de una aplicación suave
- Campos vectoriales, curvas integrales y flujos
- Corchete de Lie y derivada de Lie
- Distribuciones y el teorema de integrabilidad de Frobenius
Clinical relevance
Los vectores tangentes y los campos vectoriales formalizan la velocidad, la fuerza y la simetría infinitesimal; son el sustrato para los sistemas dinámicos en variedades, el álgebra de Lie de un grupo de Lie, y las construcciones geodésicas y de curvatura de la geometría riemanniana.
History
La definición intrínseca y libre de coordenadas del espacio tangente como derivaciones surgió a mediados del siglo XX, basándose en la teoría de Lie de los grupos de transformación continuos y el cálculo de formas diferenciales de Cartan, lo que dio a la geometría diferencial su formulación funtorial moderna.
Key figures
- Élie Cartan
- Sophus Lie
- John M. Lee
Related topics
Seminal works
- lee2012
- warner1983
Frequently asked questions
- ¿Por qué definir los vectores tangentes como derivaciones?
- La definición de derivación es intrínseca y libre de coordenadas: un vector tangente es un operador lineal sobre funciones suaves que satisface la regla de Leibniz, lo que evita la referencia a cualquier incrustación y funciona en variedades abstractas.
- ¿Qué mide el corchete de Lie de dos campos vectoriales?
- Mide la incapacidad de los flujos de los dos campos vectoriales para conmutar; la anulación del corchete significa que los flujos pueden seguirse en cualquier orden para alcanzar el mismo punto.