Em matemática, o espaço tangente de uma variedade facilita a generalização de vetores do espaço afim para as variedades gerais, já que neste último caso não se pode simplesmente subtrair dois pontos para obter um vetor que dê o deslocamento de um ponto para outro.

Na topologia diferencial é o conjunto associado a cada ponto em uma variedade diferenciável que consiste em todos os vectores tangentes ao ponto. É um espaço vectorial da mesma dimensão que a dimensão topológica da variedade.

O conjunto de todos os espaços tangentes devidamente topologizado forma um fibrado, no caso, um fibrado tangente. Resulta ser em si mesmo outra variedade de dimensão dupla da dimensão variedade de entrada.

Descrição informalEditar

 
Uma representação pictórica do espaço tangente de um único ponto,  , em uma esfera. Um vetor neste espaço tangente pode representar uma velocidade possível em  . Depois de se mover nessa direção para outro ponto próximo, a velocidade da pessoa seria então dada por um vetor no espaço tangente daquele ponto próximo - um espaço tangente diferente, não mostrado. O plano que toca a esfera em um só ponto é chamado plano tangente. Cada ponto da esfera tem associado um plano tangente. Para a esfera só os pontos antipodais tem planos tangentes paralelos

Na geometria diferencial, pode-se anexar a cada ponto   de uma variedade diferenciável um espaço tangente, um espaço vetorial real que contém intuitivamente vetores que representam todas as possíveis "direções" que podem passar tangencialmente através de  . Os elementos do espaço tangente são chamados vetores tangentes em  . Esta é uma generalização da noção de vetor limite em um espaço euclidiano. A dimensão de um espaço vetorial de todos os espaços tangentes de uma variedade conexa é a mesma da variedade.

Por exemplo, se uma dada variedade é uma 2 - esfera, pode-se representar um espaço tangente em um ponto como o plano que toca a esfera nesse ponto e é perpendicular ao raio da esfera através do ponto. De modo mais geral, se uma determinada variedade é pensada como uma subvariedade imersa no espaço Euclidiano, pode-se imaginar um espaço tangente desta maneira literal. Essa era a abordagem tradicional para definir o transporte paralelo e usada por Dirac.[1] Mais estritamente isso define um espaço tangente afim, distinto do espaço de vetores tangentes descritos pela terminologia moderna.

Na geometria algébrica, em contraste, há uma definição intrínseca de espaço tangente a um ponto   de uma variedade  , que dá um espaço vetorial de dimensão pelo menos a de  . Os pontos   em que a dimensão é exatamente a de   são chamados de pontos não-singulares; os outros são pontos singulares. Por exemplo, uma curva que se cruza não tem uma única linha tangente nesse ponto de auto-interseção. Os pontos singulares de   são aqueles em que o "teste para ser uma variedade" falha. Veja espaço tangente Zariski.

Uma vez introduzidos os espaços tangentes, pode-se definir campos vetoriais, que são abstrações do campo de velocidade das partículas que se movem sobre uma variedade. Um campo vetorial atribui a cada ponto da variedade um vetor do espaço tangente nesse ponto, de forma suave. Tal campo vetorial serve para definir uma equação diferencial ordinária generalizada em uma variedade: uma solução para tal equação diferencial é uma curva diferenciável sobre a variedade cuja derivada em qualquer ponto é igual ao vetor tangente anexado a este ponto pelo campo vetorial.

Todos os espaços tangentes podem ser "colados uns aos outros" para formar um nova variedade diferenciável de duas vezes a dimensão da variedade original, chamado de feixe tangente a variedade.

DefiniçõesEditar

1. Há várias formas de entender este conceito. Primeiro expliquemos utilizando o gráfico ao lado. Iniciemos supondo que temos uma curva   na variedade M que passa por alguma posição qualquer escolhida:  . Quer dizer uma aplicação   diferenciável que satisfaça   e  . Resulta que o conjunto de todos estes vetores formam o espaço tangente   de x em M.

2. Sejam M uma variedade arbitrária e x um ponto em M. Dizemos que um vetor v está no espaço tangente à M em x se existe uma curva   (Isto é, uma curva com um domínio em um aberto e imagem na variedade, em outras palavras, tal curva está contida na variedade e é bem definida, no sentido de que sua derivada existe (por isso temos que a imagem de   está na variedade M) tal que   e  .

Ou seja, em linguagem de conjuntos:  .

Obs.

  1. Note que nós definimos o espaço tangente localmente, sempre ponto a ponto.
  2. A coleção de espaços tangentes é chamado de fibrado tangente.

Definição formalEditar

A descrição informal acima se refere a uma variedade imersa em um espaço vetorial maior  , de modo que os vetores tangentes podem ficar fora da variedade mas dentro do espaço maior . No entanto, é mais conveniente definir a noção de espaço tangente baseado na própria variedade.[2]

Existem várias maneiras equivalentes de definir os espaços tangentes a uma variedade. Embora a definição através dos vetores velocidades de uma curva seja intuitivamente a mais simples, também é a mais pesada para trabalhar. Abordagens mais elegantes e abstratas são descritas abaixo.

Definição como velocidade de curvasEditar

Na imagem da variedade imersa, um vetor tangente em um ponto   é pensado como a "velocidade" de uma curva passando pelo ponto  . Podemos então considerar um vetor tangente como uma classe de equivalência de curvas que passam por   enquanto que são tangentes umas às outras em  .

Suponha que   é uma   variedade ( ) e   é um ponto em  . Escolha uma carta (topologia)  , onde   é um subconjunto aberto de   contendo  . Suponha que duas curvas   e   com   são dadas de modo que   e   são ambos diferenciáveis ​​em  . Então   e   são chamados de "equivalente a  " se as derivadas ordinárias de   e   coincidem em  . Isto define uma relação de equivalência em tais curvas, e a classe de equivalência é conhecida como os vetores tangentes de   em  . A classe de equivalência da curva   é escrita como  . O espaço tangente de   em  , denotado por  , é definido como o conjunto de todos os vetores tangentes; ele não depende da escolha da carta  .

 
O espaço tangente   e um vetor tangente  , ao longo de uma curva no ponto  

Para definir as operações de espaço vetorial em  , usamos uma carta   e definir uma função   por  . Acontece que esta função é bijetiva e pode ser usada para transferir as operações de espaço vetorial de   para  , transformando este último em um espaço vetorial real  - dimensional. Novamente, é preciso verificar se essa construção não depende da carta particular   escolhida, e na verdade neste caso não depende.

Definição através da derivaçãoEditar

Suponha que   é uma variedade de classe  . Uma função real   pertence a   se   é infinitamente diferenciável para toda carta  .   é uma álgebra associativa real para o produto ponto-a-ponto, soma de funções e produto por escalar.

Escolha um ponto   em  . A derivação de   é uma aplicação linear   que tem a seguinte propriedade: para todas as funções   e   em  :

 

obedecendo a regra do produto do cálculo. Se nós definiremos a adição e a multiplicação por escalar para tais derivadas por:

  e  

nós obtemos o espaço vetorial real que definimos como o espaço tangente  .

A relação ente os vetores tangentes definidos anteriormente e as derivações é a seguinte: se   é uma curva com vetor tangente  , então a derivada correspondente é   (onde a derivada é tomada no sentido comum já que,   é uma função de   para  ).

  onde  .

As generalizações desta definição são possíveis, por exemplo para variedades complexas e variedades algébricas. No entanto, em vez de examinar as derivações   da álgebra completa das funções, deve-se, em vez disso, trabalhar ao nível dos germes das funções. A razão é que o feixe de estrutura não pode ser feixe injetivo para essas estruturas. Por exemplo, vamos supor   ser uma variedade algébrica com estrutura de feixe  . Então o espaço de tangente de Zariski em um ponto   é a coleção de   - derivações  , onde   é o campo de massa e   é o stalk de   em  .

Definição através do espaço cotangenteEditar

Novamente começamos com uma variedade de classe  ,  , e um ponto  , em  . Considere o ideal  , em   que consiste em todas as funções   tais que  . Ou seja, de funções que definem curvas, superfícies, etc. passando por  . Então,   e   são espaços vetoriais reais, e   pode ser definido como o espaço dual do espaço quociente  . Este último espaço quociente é também conhecido como o espaço cotangente de   em  .

Embora esta definição seja a mais abstrata, é também a mais facilmente transferida para outras configurações, por exemplo para variedades, consideradas na geometria algébrica.

Se   é uma derivação em  , então   para cada   em  , e isto significa que   dá origem a uma aplicação linear  . Por outro lado, se   é uma aplicação linear, então   é uma derivação. Isto produz a correspondência entre o espaço tangente definido através de derivações e o espaço tangente definido através do espaço cotangente.

PropriedadesEditar

Se   é um subconjunto aberto de  , então   é uma   variedade na maneira natural (considere as cartas que são gráficos da aplicação identidade), e os espaços tangentes são todos naturalmente identificados com  .

Vetores tangentes como derivadas direcionaisEditar

Outra maneira de pensar em vetores tangentes é como derivada direcional. Dado um vetor   em   define-se a derivada direcional de uma função diferenciável   em um ponto   por

 

Esta função é, naturalmente, uma derivação. Além disso, verifica-se que cada derivação de   é desta forma. Portanto, existe uma função injetora entre vetores (pensados como vetores tangentes em um ponto) e derivações.

Uma vez que os vetores tangentes a uma variedade geral podem ser definidos como derivações, é natural pensar neles como derivadas direcionais. Especificamente, se   é um vetor tangente de   em um ponto   (pensado como uma derivação), então defina a derivada direcional na direção   por

 

onde   é um elemento de   Se pensamos em   como a direção da curva,   então escremos:

 

A derivada de uma funçãoEditar

 Ver artigo principal: Pushforward (differential)

Cada aplicação suave (ou diferenciável)   entre variedades suaves (ou diferenciáveis) induz naturalmente aplicações lineares entre os espaços tangente correspondentes:

 

Se o espaço tangente é definido via curvas, a aplicação é definida por:

 

Se em vez disso, o espaço tangente é denifido por derivações, então:

 

A aplicação linear   é chamada variadamente de derivada, derivada total, diferencial, ou pushforwardde   em  . É freqüentemente expressa usando uma variedade de outras notações:

 

Em certo sentido, a derivada é a melhor aproximação linear para   próxima a  . Note que quando  , a aplicação   coincide com a noção usual de diferencial da função   . Em coordenadas locais a derivada de   é dada pela matriz Jacobiana.

Um resultado importante em relação ao função derivada é o seguinte:

Teorema. Se   é um difeomorfismo local de   em   então   é um isomorfismo linear. Inversamente, se   é um isomorfismo então existe um vizinhança aberta   de   tal que   leva   difeomorficamente sobre sua imagem.

Esta é uma generalização do teorema da função inversa para aplicações entre variedades.

Ver tambémEditar

ReferênciasEditar

  1. Dirac, 1975, Teoria Geral da Relatividade, Princeton University Press
  2. Chris J. Isham (1 de janeiro de 2002). Modern Differential Geometry for Physicists. [S.l.]: Allied Publishers. pp. 70–72. ISBN 978-81-7764-316-9 

Ligações externasEditar


  Este artigo sobre geometria é um esboço. Você pode ajudar a Wikipédia expandindo-o.