Covarianza y contravarianza

De Wikipedia, la enciclopedia libre

El texto que sigue es una mala traducción. Posiblemente sea una traducción automática que no ha sido revisada por humanos o una traducción de alguien que no tiene suficientes conocimientos de español o de la lengua de origen. Si deseas colaborar con Wikipedia, busca el artículo original y mejora esta traducción.

(Traducido de la versión en Inglés)

Esta página no explica el concepto Estadístico de covarianza de variables aleatorias, el los conceptos en ciencias de las computadoras de covarianza y contravarianza (ciencia de computadores).

En Matemática y Física Teórica, covarianza y contravarianza son conceptos usados en muchas áreas, generalizados en el sentido de invarianza, es decir, la propiedad de permanecer sin cambio bajo algunas Transformación (matematicas). En términos matemáticos, estas 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, que tienen un significado especial pero no son escalares. Las teorías de relatividad especial (covarianza de Lorentz) y relatividad general (covarianza general) usan vetores base covariantes.

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 simultaneas). El caso en que una matriz cuadrada por la transpuesta es también la matriz inversa, esto 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.

[editar] 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

Mas 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. Note 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 especto 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 tecnicamente un componente del cuarto-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.

[editar] Ejemplo: vectores base covariantes en el espacio Euclideano R³

Si e¹, e², e³ son vectores base contravariantes de R³ (no necesariamente ortogonales o de norma uno) entonces los vectores base covariantes de su sistema recíproco son:

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

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

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

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

.

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

Los indices de coordenadas covariantes, vectores, y tensores son superíndices (pero véase arriba, y note 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 covairantes y contravariantes, y todos los indices son superíndices.