Covariancia y contravariancia

Covariancia y contravariancia
El concepto de covariancia y contravariancia en ciencias de las computadoras es diferente al concepto físico y matemático tratado aquí.


Covariancia y contravariancia son conceptos empleados frecuentemente en áreas de la matemática y la física teórica. Por regla general se refieren a que ciertos objetos matemáticos, que pueden representar alguna magnitud física, tienen alguna forma de invariancia de forma, es decir, la propiedad de permanecer sin cambio bajo un conjunto dado de transformaciones.

En términos matemáticos, estas invariancias de forma ocurren en una forma fundamental en el álgebra lineal y álgebra multilineal, geometría diferencial y otras ramas de la geometría, teoría de categorías y topología algebraica. En física, son importantes en el tratamiento de vectores y otras cantidades, como los tensores. Las teorías de relatividad especial (covarianza de Lorentz) y relatividad general (covarianza general) usan vectores base covariantes bajo cambios de coordenadas.

Contenido

Idea general

En términos generales, la dualidad intercambia covarianza y contravarianza, este es el motivo por el cual estos conceptos se presentan juntos. Para propósitos del cálculo práctico de matrices, la matriz transpuesta es relativa a dos aspectos (por ejemplo dos conjuntos de ecuaciones simultáneas). El caso en el que la matriz traspuesta de una matriz cuadrada cualquiera "A" coincide con la matriz inversa, es decir, la matriz "A" es una matriz ortogonal, es un caso en el que la covarianza y la contravarianza pueden ser tratadas de igual manera. Esto es de suma importancia en la aplicación práctica de tensores.

Una causa de mayor confusión es esta dualidad covarianza/contravarianza, que interviene cada vez en la discusión de si una cantidad vectorial o tensorial es representada por sus componentes. Esto causa discusiones en la literatura física y matemática por usar convenciones aparentemente opuestas.

Esta no es la convención que difiere, sino cuando una descripción intrínseca o en el sentido de componentes es la forma primaria de pensar en las cantidades. Como el nombre lo sugiere, las cantidades covariantes se piensan para movimiento o transformaciones hacia adelante, mientras que las cantidades contravariantes se transforman hacia atrás. Por lo cual depende de si uno está usando cualquier fondo fijo — de hecho, eso cambia el punto de vista.

Uso informal

En el uso común de la física, el adjetivo covariante puede ser usado informalmente como sinónimo de invariante (o equivariante), en términos matemáticos). Por ejemplo, la Ecuación de Schrödinger no mantiene su forma escrita bajo las transformaciones de coordenadas de la relatividad especial; así uno puede decir que es no covariante. En contraste, la Ecuación de Klein-Gordon y la Ecuación de Dirac toman la misma forma en cualquier marco de referencia coordenado de la relatividad especial: así, uno puede decir que estas ecuaciones son covariantes o más formalmente, uno podría realmente decir que las ecuaciones de Klein-Gordon y de Dirac son invariantes, que la ecuación de Schrödinger no lo es, pero este no es el uso dominante. Es de notar también que ninguna de las dos ecuaciones (Klein-Gordon y de Dirac) son invariantes ante transformaciones de relatividad general (tampoco en el sentido covariante), y en el uso formal, se debe indicar que la invarianza es con respecto a la relatividad general.

En forma similar el uso informal es a veces visto con respecto a cantidades como la masa y el tiempo en relatividad general: la masa es técnicamente un componente del cuatro-momento o el tensor energía-momento, pero uno puede ocasionalmente referirse a la masa covariante, lo que significa que es la longitud del cuatro-vector momento.

Ejemplos

Vectores base covariantes en el espacio Euclideano R3

Si e1, e2, e3 forman una base vectorial contravariantes de R3 (no necesariamente ortogonales o de norma uno) entonces los vectores base covariantes de su sistema recíproco son:

 \mathbf{e}_1 = \frac{\mathbf{e}^2 \times \mathbf{e}^3}{\mathbf{e}^1 \cdot (\mathbf{e}^2 \times \mathbf{e}^3)} ; \qquad \mathbf{e}_2 = \frac{\mathbf{e}^3 \times \mathbf{e}^1}{\mathbf{e}^1 \cdot (\mathbf{e}^2 \times \mathbf{e}^3)}; \qquad \mathbf{e}_3 = \frac{\mathbf{e}^1 \times \mathbf{e}^2}{\mathbf{e}^1 \cdot (\mathbf{e}^2 \times \mathbf{e}^3)}

Note que incluso si ei y ei no son ortonormales, esto sigue siendo válido por definición de mutuamente ortonormal:

\mathbf{e}^i \cdot \mathbf{e}_j = \delta^i_j

Entonces las coordenadas contravariantes de cualquier vector v pueden ser obtenidas mediante el uso del producto punto de v con los vectores base contravariantes:

 q^1 = \mathbf{v \cdot e^1}; \qquad q^2 = \mathbf{v \cdot e^2}; \qquad q^3 = \mathbf{v \cdot e^3}

De igual manera, las componentes covariantes de v pueden ser obtenidas a partir del producto punto de v con los vectores base covariantes.

 q_1 = \mathbf{v \cdot e_1}; \qquad q_2 = \mathbf{v \cdot e_2}; \qquad q_3 = \mathbf{v \cdot e_3}

Entonces v puede ser expresado en dos formas (recíprocas).

 \mathbf{v} = q_i \mathbf{e}^i = q_1 \mathbf{e}^1 + q_2 \mathbf{e}^2 + q_3 \mathbf{e}^3
 \mathbf{v} = q^i \mathbf{e}_i = q^1 \mathbf{e}_1 + q^2 \mathbf{e}_2 + q^3 \mathbf{e}_3  .

Es decir, el vector v es una combinación líneal de los vectores base del sistema coordenado correspondiente.

Los índices de coordenadas contravariantes, vectores, y tensores son superíndices (pero véase arriba, y nótese la convención en el uso de la notación). Si los vectores base contravariantes son ortonormales entonces son equivalentes a los vectores base covariantes, así que no hay necesidad de distinguir entre coordenadas covariantes y contravariantes, y todos los índices son superíndices.

Véase también


Wikimedia foundation. 2010.

См. также в других словарях:

  • Covariancia de Lorentz — La covariancia de Lorentz (y análogamente la contravariancia de Lorentz) o principio especial de la relatividad se refiere a la propiedad de ciertas ecuaciones físicas de no cambiar de forma bajo cambios de coordenadas de un tipo particular,… …   Wikipedia Español

  • Cálculo tensorial — Un tensor de segundo orden, en tres dimensiones. En matemáticas y en física, un tensor es cierta clase de entidad algebraica de varias componentes, que generaliza los conceptos de escalar, vector y matriz de una manera que sea independiente de… …   Wikipedia Español

  • Glosario de relatividad — Anexo:Glosario de relatividad Saltar a navegación, búsqueda Este artículo contiene un glosario términos comúnmente usados en teoría de la relatividad. Se definen algunos de los términos brevemente y se enlaza a un artículo más amplio si éste… …   Wikipedia Español

  • Anexo:Glosario de relatividad — Este artículo contiene un glosario términos comúnmente usados en teoría de la relatividad. Se definen algunos de los términos brevemente y se enlaza a un artículo más amplio si éste existe. Índice: A B C D E F G H I J K L M N Ñ O P Q R S T U V W… …   Wikipedia Español


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»