Marco móvil

En matemáticas, un marco móvil o base móvil (también llamado n-edro o bastidor) es un objeto matemático definido sobre los puntos de una variedad diferenciable. Concretamente un marco móvil o n-edro es un cojunto de n campos vectoriales linealmente independientes que en cada punto pertenecen al espacio tangente a la variedad.

Se llaman marcos móviles porque intutitivamente pueden entenderse como un conjunto de vectores que se parecen "moverse" sobre una variedad al considerar puntos sobre una curva de dicha variedad.

Definición formal

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

Un marco móvil (de dimensión n) en alguna vecindad de P requiere que por tanto especificar n campos vectoriales diferenciables definidos en U y son linealmente independientes en cada punto .

Aplicaciones

Teoría de la Relatividad general

En la teoría de la relatividad general el espacio-tiempo se representa por una variedad diferenciable lorentziana de 4 diemnsiones . Sobre ella pueden considerarse diversos observadores diferentes que se mueven a velocidades diferentes y tienen orientaciones de los ejes de medida diferentes. Para poder formalizar la noción de observador en ese contexto se requiere definir un marco móvil. De hecho bajo ciertas condiciones razonables un observador en mecánica relativista queda adecuadamente caracterizado o rpersentado por un marco móvil, tal como hemos definido el concepto en la sección anterior.

Es importante notar que en relatividad general, no hay manera privilegiada de continuar la elección de los , conocida en P, a los puntos próximos. En contraste en relatividad especial se toma como un espacio vectorial V (de dimensión cuatro). En ese caso los t_i se pueden trasladar de P a cualquier otro punto Q de una manera bien definida.

En relatividad y en geometría de Riemann, la clase más importante de marcos móviles son los marcos ortogonales y los ortonormales, es decir, los marcos que abarcaban conjuntos ordenados de vectores normales (unitarios) en cada punto. En un punto dado P un marco general se puede hacer ortonormal por ortogonalización; de hecho esto se puede hacer diferencialmente, de modo que la existencia de un marco móvil implique la existencia de un marco ortonormal móvil.

La existencia de un marco móvil está clara, localmente en M; pero la existencia global en M requiere condiciones topológicas. Por ejemplo cuando M es un círculo, o más generalmente un toro, tales marcos existen; pero no cuando M es una 2-esfera. Una variedad que tiene un marco móvil global se llama paralelizable. Nótese, por ejemplo, cómo las direcciones unitarias de latitud y longitud en la superficie de la tierra colapsan como marcos móviles en los polos norte y sur.

Método los marcos móviles

El método de marcos móviles de Élie Cartan se basa en tomar un marco móvil que se adapte al problema particular que es estudiado. Por ejemplo, dada una curva en el espacio, los primeros tres vectores derivados de la curva pueden en general dar un marco en un punto de ella (de aquí la clásica expresión: método del triedro móvil. cf. torsión para la forma cuantitativa de esto - se asume que la torsión no es cero). Más generalmente, el significado abstracto de un marco móvil es una sección del fibrado principal para GL_n que es un fibrado asociado al fibrado tangente como fibrado vectorial. El método de Cartan general explota esto, y se discute en conexión de Cartan.