Marco móvil

Definición formal

Dada una variedad diferenciable ${\displaystyle {\mathcal {M}}}$ y un punto P en él, un marco en P viene dado por una base vectorial del espacio tangente a ${\displaystyle {\mathcal {M}}}$ en el punto P. Usualmente se consideran marcos de la misma dimensión que la variedad donde se definen, así si ${\displaystyle {\mathcal {M}}}$ tiene dimensión n, un marco vienen dado por n vectores tangentes ${\displaystyle \mathbf {t} _{1},\dots ,\mathbf {t} _{n}}$ a la variedad que además son linealmente independientes.

Un marco móvil (de dimensión n) en alguna vecindad ${\displaystyle U\subset {\mathcal {M}}}$ de P requiere que por tanto especificar n campos vectoriales diferenciables definidos en U y son linealmente independientes en cada punto ${\displaystyle Q\in U}$.