Base natural

En geometría diferencial, una base natural es un tipo base vectorial del espacio tangente a una variedad diferenciable que puede ser asociada naturalmente a un sistema de coordenadas curvilíneo.

Definición de base natural

Dada una variedad diferenciable ${\mathcal {M}}$ de dimensión n y un conjunto de n campos vectoriales $V_{1},...,V_{n}\;\in T{\mathcal {M}}$ definidos sobre un conjunto abierto A esa variedad tales que en cada punto forman una base vectorial del espacio tangente a la variedad, es una base natural si y sólo si existe una carta local o sistema de coordenadas local $\varphi :A\subset {\mathcal {M}}\to \mathbb {R} ^{n}\land \varphi (P)\mapsto (x_{1}(P),...,x_{n}(P))$ que cumpla alguna de las siguientes condiciones:

1. Los campos vectoriales coinciden con las derivadas a lo largo de las curvas coordenadas asociadas a las coordenadas locales: ${V_{i}|}_{P}=\left(\partial _{x_{i}}\right)_{P}$.
2. La base dual asociada a los n campos vectoriales en cada punto, está formada por 1-formas exactas, es decir, existen $\theta ^{1},...,\theta ^{n}\ \in T^{*}{\mathcal {M}}$ y una carta local, como la descrita anteriormente, tal que $\theta ^{i}(V_{j})=\delta _{j}^{i}$ y $\theta ^{i}=dx^{i}\;$.

• Datos: Q2881345