Espacio tangente

En geometría diferencial, llamamos espacio tangente al conjunto asociado a cada punto de una variedad diferenciable formado por todos los vectores tangentes a dicho punto (véase fig.1). Es un espacio vectorial de la misma dimensión que la dimensión de la variedad.

El plano que toca a la esfera en un solo punto es llamado plano tangente. Cada punto de la esfera tiene asociado un plano tangente. Para la esfera los puntos antipodales tiene planos tangente paralelos.

El conjunto de todos los espacios tangentes, debidamente topologizado, forma el llamado fibrado tangente. Resulta ser en sí mismo otra variedad de dimensión doble de la dimensión de la variedad de entrada.

**fig.1** Las cartas que cumplan esta condición formarán parte de dicha estructura. Ilustración del espacio tangente $\scriptstyle T_{x}M$ y un vector tangente $\scriptstyle v\in T_{x}M$ obtenido utilizando una curva que pasa por un punto $\scriptstyle x\in M$ .

Definiciones

Hay varias formas de entender este concepto. Primero vamos a explicar utilizando la gráfica de la fig.1. Empecemos suponiendo que tenemos una curva $\scriptstyle \gamma$ en la variedad M que pasa por alguna posición elegida cualquiera: $\scriptstyle x\in M$ . Es decir una aplicación $\scriptstyle \gamma \ :\ [-\varepsilon ,\varepsilon ]\to M$ diferenciable que satisface $\scriptstyle \gamma (0)=x$ y $\scriptstyle \gamma '(0)=v$ . Resulta que el conjunto de todos estos vectores tangentes a la curva en el punto x forman el espacio tangente $\scriptstyle T_{x}M$ de x en M.

Espacio tangente $\mathbb {R} ^{n}$

Si se tiene una variedad diferencial inmersa en $\scriptstyle \mathbb {R} ^{n}$ dada por la ecuación $\scriptstyle \mathbf {f} (x_{1},x_{2},\dots ,x_{n})=0$ entonces el espacio tangente en un punto de dicha variedad $\scriptstyle \mathbf {a} =(a_{1},a_{2},\dots ,a_{n})\in {\mathcal {M}}$ viene dado por la ecuación:

${\begin{matrix}D\mathbf {f} (\mathbf {a} )(\mathbf {x-a} )=0\Rightarrow \\\\{\begin{bmatrix}\partial _{x_{1}}f_{1}(\mathbf {a} )&\dots &\partial _{x_{n}}f_{1}(\mathbf {a} )\\\dots &\dots &\dots \\\partial _{x_{1}}f_{n}(\mathbf {a} )&\dots &\partial _{x_{n}}f_{n}(\mathbf {a} )\end{bmatrix}}{\begin{bmatrix}x_{1}-a_{1}\\\dots \\x_{n}-a_{n}\end{bmatrix}}=\mathbf {0} \end{matrix}}$