Covariancia y contravariancia
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)
- El concepto de covariancia y contravariancia en ciencias de las computadoras es diferente al concepto físico y matemático tratado aquí.
En matemática y física teórica, covariancia y contravariancia son conceptos usados en muchas áreas, generalizados en el sentido de invariancia, es decir, la propiedad de permanecer sin cambio bajo algunas transformaciones. 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 R3
Si e1, e2, e3 son vectores base contravariantes de R3 (no necesariamente ortogonales o de norma uno) entonces los vectores base covariantes de su sistema recíproco son:
Note que incluso si ei y ei 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.
