Espaços Tangentes e Campos Vetoriais

O espaço tangente anexa um espaço vetorial de velocidades a cada ponto de uma variedade, e um campo vetorial atribui tal velocidade suavemente através da variedade, codificando fluxos e simetrias infinitesimais.

Definition

O espaço tangente em um ponto de uma variedade suave é o espaço vetorial dos vetores velocidade de curvas que passam por esse ponto (equivalentemente, derivações de funções suaves no ponto); um campo vetorial é uma atribuição suave de um vetor tangente a cada ponto, ou seja, uma seção do fibrado tangente.

Scope

Este tópico define o espaço tangente — equivalentemente via vetores velocidade de curvas, derivações ou tuplas compatíveis com transições — e agrupa os espaços tangentes no fibrado tangente. Desenvolve o diferencial de um mapa suave, campos vetoriais como seções do fibrado tangente, suas curvas integrais e fluxos, o colchete de Lie e a derivada de Lie, e o teorema de Frobenius sobre a integrabilidade de distribuições. Espaços cotangentes e 1-formas aparecem como a estrutura dual que leva às formas diferenciais.

Core questions

• Quais são as definições equivalentes de um vetor tangente e por que elas concordam?
• Como o diferencial de um mapa suave atua nos espaços tangentes?
• Como os campos vetoriais geram fluxos, e o que o colchete de Lie mede sobre dois fluxos?
• Quando uma família de distribuições tangentes pode ser integrada em subvariedades (teorema de Frobenius)?

Key concepts

• Espaço tangente e vetores tangentes como derivações
• Fibrado tangente e o diferencial de um mapa suave
• Campos vetoriais, curvas integrais e fluxos
• Colchete de Lie e derivada de Lie
• Distribuições e o teorema de integrabilidade de Frobenius

Clinical relevance

Vetores tangentes e campos vetoriais formalizam velocidade, força e simetria infinitesimal; eles são o substrato para sistemas dinâmicos em variedades, a álgebra de Lie de um grupo de Lie e as construções geodésicas e de curvatura da geometria Riemanniana.

History

A definição intrínseca e livre de coordenadas do espaço tangente como derivações surgiu em meados do século XX, baseando-se na teoria de Lie de grupos de transformação contínuos e no cálculo de formas diferenciais de Cartan, conferindo à geometria diferencial sua formulação funtorial moderna.

Key figures

• Élie Cartan
• Sophus Lie
• John M. Lee

Seminal works

• lee2012
• warner1983

Frequently asked questions

Por que definir vetores tangentes como derivações?

A definição de derivação é intrínseca e livre de coordenadas: um vetor tangente é um operador linear em funções suaves que satisfaz a regra de Leibniz, o que evita a referência a qualquer imersão e funciona em variedades abstratas.

O que o colchete de Lie de dois campos vetoriais mede?

Ele mede a falha dos fluxos dos dois campos vetoriais em comutar; o desaparecimento do colchete significa que os fluxos podem ser seguidos em qualquer ordem para atingir o mesmo ponto.