Ver el código de «Covarianza y contravarianza»

{{otros usos|para=el uso de la "covarianza" en el contexto de la relatividad especial|Covarianza de Lorentz}}

[[File:Vector 1-form.svg|300px|thumb|Un vector {{color box|#CC0000}} '''v''', representado en términos de
{{glossary}}
 {{term|Base tangente}}
   {{defn|{{color box|orange}} '''e'''<sub>1</sub>, '''e'''<sub>2</sub>, '''e'''<sub>3</sub> como coordenadas sobre las curvas de color negro {{color box|black}} (''izquierda'')}}
 {{term|Base dual, base covectorial o base recíproca}}
   {{defn|{{color box|blue}} '''e'''{{sup|1}}, '''e'''{{sup|2}}, '''e'''{{sup|3}} como coordenadas de las superficies {{color box|#4B545B}} (''derecha'')}}
{{glossary end}}
en ''[[coordenadas curvilineas]]'' [[Tridimensional|tridimensionales]] generales {{nowrap|(''q''{{sup|1}}, ''q''{{sup|2}}, ''q''{{sup|3}})}}, una [[tupla]] de números para definir un punto en un [[espacio de posiciones y momentos]]. Téngase en cuenta que la base y la cobase coinciden solo cuando la base es [[base ortogonal|ortogonal]].<ref>{{cite book|title=Gravitation|url=https://archive.org/details/gravitation0000misn|first3=J.A.|last3=Wheeler|first1=C.|last1=Misner
|first2=K.S.|last2=Thorne|publisher=W.H. Freeman|year=1973|isbn=0-7167-0344-0}}</ref>]]

En [[física]], especialmente en el [[álgebra multilineal]] y en el [[campo tensorial|análisis tensorial]], la '''covarianza''' y la '''contravarianza''' describen cómo la caracterización cuantitativa de ciertas entidades geométricas o físicas se modifica cuando se produce un [[cambio de base]].<ref>{{Cite book|last=Frankel|first=Theodore|url=https://www.worldcat.org/oclc/739094283|title=The geometry of physics : an introduction|date=2012|publisher=Cambridge University Press|isbn=978-1-107-60260-1|page=42|location=Cambridge|oclc=739094283}}</ref> Brevemente, un vector contravariante es una lista de números que se transforman de manera opuesta a un cambio de base, y un vector covariante es una lista de números que se transforman de acuerdo con un cambio de base. Los vectores contravariantes a menudo se denominan simplemente ''vectores'' y los vectores covariantes se denominan ''covectores'' o ''vectores duales''. Los términos ''covariante'' y ''contravariante'' fueron introducidos por [[James Joseph Sylvester]] en 1851.<ref>{{cite book|first=J.J.|last=Sylvester|chapter=On the general theory of associated algebraical forms|chapter-url=https://books.google.com/books?id=mZ9EAAAAcAAJ&pg=PA289|editor=|title=Cambridge and Dublin Mathematical Journal|publisher=|location=|date=1851|isbn=|volume=6|pages=289–293|url=}}</ref><ref>{{Cite book|title=The collected mathematical papers of James Joseph Sylvester|volume=3, 1870–1883|last=Sylvester|first=J.J. University Press|isbn=978-1107661431|oclc=758983870}}</ref>

Los [[Sistema de coordenadas curvilíneo|sistemas de coordenadas curvilíneos]], como las [[coordenadas cilíndricas]] o las [[coordenadas esféricas]], se utilizan a menudo en problemas físicos y geométricos. Asociada con cualquier sistema de coordenadas existe una elección natural de la base de coordenadas para los vectores basados en cada punto del espacio, y la covarianza y la contravarianza son particularmente importantes para comprender cómo cambia la descripción de las coordenadas de un vector al pasar de un sistema de coordenadas a otro. Los [[tensor]]es son objetos propios del [[álgebra multilineal]] que pueden tener aspectos tanto de covarianza como de contravarianza.

==Introducción==
En física, un vector surge habitualmente como el resultado de una medición o una serie de mediciones y se representa como una lista (o [[tupla]]) de números como

:<math>(v_1,v_2,v_3) .</math>

Los números de la lista dependen de la elección del [[sistema de coordenadas]]. Por ejemplo, si el vector representa la posición con respecto a un observador ([[posición]]), entonces el sistema de coordenadas se puede obtener a partir de un sistema de "varillas rígidas", o ejes de referencia, en los que se miden las componentes ''v''<sub>1</sub>, ''v''<sub>2</sub> y ''v''<sub>3</sub>. Para que un vector represente un objeto geométrico, debe ser posible describir cómo se ve en cualquier otro sistema de coordenadas. Es decir, las componentes de los vectores se ''transformarán'' de cierta manera al pasar de un sistema de coordenadas a otro.

Un caso ilustrativo sencillo es el de un [[vector|vector euclideo]]. Para un vector, una vez que se ha definido un conjunto de vectores de la base, las componentes de ese vector siempre variarán de forma ''opuesta'' a la de los vectores de la base. Por lo tanto, ese vector se define como un tensor ''contravariante''. Tómese ahora como ejemplo un vector de posición estándar. Al cambiar la escala de los ejes de referencia de metros a centímetros (es decir, al ''dividir'' la escala de los ejes de referencia por 100, de modo que los vectores de la base ahora tengan <math>.01</math> metros de largo), las componentes de la [[posición]] del vector medido quedan ''multiplicadas'' por 100. Las componentes de un vector cambian de escala ''inversamente'' a los cambios de escala en los ejes de referencia y, en consecuencia, un vector de posición se denomina tensor ''contravariante''.

Un ''vector'', que es un ejemplo de tensor ''contravariante'', tiene componentes que se transforman inversamente a la transformación de los ejes de referencia (con transformaciones que incluyen por ejemplo [[Rotación (matemáticas)|rotaciones]] y [[Dilatación (espacio métrico)|dilataciones]]). El vector en sí no cambia bajo estas [[Transformación activa y pasiva|operaciones]], paro las componentes del vector cambian de una manera que cancelan el cambio en los ejes espaciales. En otras palabras, si los ejes de referencia giraran en una dirección, las componentes que representan el vector rotarían exactamente en la dirección opuesta. De manera similar, si los ejes de referencia se estiraran en una dirección, las componentes del vector se reducirían de una manera exactamente compensada. Matemáticamente, si el sistema de coordenadas sufre una transformación descrita por una [[matriz invertible]] ''M'' de orden <math>n\times n</math>, de modo que los vectores de la base se transforman según <math>\begin{bmatrix} \mathbf{e}_1^\prime\ \mathbf{e}_2^\prime\ ... \ \mathbf{e}_n^\prime\end{bmatrix}=\begin{bmatrix} \mathbf{e}_1\ \mathbf{e}_2\ ... \ \mathbf{e}_n\end{bmatrix}M</math>, entonces las componentes de un vector '''v''' en la base original (<math>v^i</math>) deben transformarse de manera similar a través de <math>\begin{bmatrix} v^1{^\prime} \\ v^2{^\prime} \\ ... \\ v^n{^\prime} \end{bmatrix}=M^{-1}\begin{bmatrix} v^1 \\ v^2 \\ ... \\ v^n \end{bmatrix}</math>. Las componentes de un ''vector'' suelen representarse ordenadas en una columna.

Por el contrario, un ''covector'' tiene componentes que se transforman como los ejes de referencia. Forman parte del espacio vectorial dual, y representan aplicaciones lineales entre vectores y escalares. El operador del producto escalar que involucra vectores es un buen ejemplo de covector. Para ilustrarlo, supóngase que se tiene un covector definido como <math>\mathbf{v}\ \cdot</math>, donde <math>\mathbf{v}</math> es un vector. Las componentes de este covector en alguna base arbitraria son <math>\begin{bmatrix} \mathbf{v}\cdot\mathbf{e}_1 & \mathbf{v}\cdot\mathbf{e}_2 & ... & \mathbf{v}\cdot\mathbf{e}_n \end{bmatrix}</math>, siendo <math>\begin{bmatrix} \mathbf{e}_1\ \mathbf{e}_2\ ... \ \mathbf{e}_n\end{bmatrix}</math> los vectores de la base en el espacio vectorial correspondiente (esto se puede deducir observando que se quiere obtener la respuesta correcta para la operación del producto escalar al multiplicar por un vector arbitrario <math>\mathbf{w}</math>, con componentes <math>\begin{bmatrix} w^1 \\ w^2 \\ ... \\ w^n \end{bmatrix}</math>). La covarianza de estos componentes del covector se ve fácilmente al observar que si se aplicara una transformación descrita por una [[matriz invertible]] ''M'' de orden <math>n\times n</math> a los vectores de la base en el espacio vectorial correspondiente, <math>\begin{bmatrix} \mathbf{e}_1^\prime\ \mathbf{e}_2^\prime\ ... \ \mathbf{e}_n^\prime\end{bmatrix}=\begin{bmatrix} \mathbf{e}_1\ \mathbf{e}_2\ ... \ \mathbf{e}_n\end{bmatrix}M</math>, entonces las componentes del covector <math>\mathbf{v}\ \cdot</math> se transforman con la misma matriz <math>M</math>, es decir, <math>\begin{bmatrix} \mathbf{v}\cdot\mathbf{e}_1^\prime & \mathbf{v}\cdot\mathbf{e}_2^\prime & ... & \mathbf{v}\cdot\mathbf{e}_n^\prime \end{bmatrix}=\begin{bmatrix} \mathbf{v}\cdot\mathbf{e}_1 & \mathbf{v}\cdot\mathbf{e}_2 & ... & \mathbf{v}\cdot\mathbf{e}_n \end{bmatrix}M</math>. Las componentes de un ''covector'' suelen representarse dispuestas en una fila.

Un tercer concepto relacionado con la covarianza y la contravarianza es la [[Invariante (física)|invariancia]]. Un [[Escalar (física)|escalar]] (también llamado tensor de tipo 0 o de rango 0) es un objeto que no varía con el cambio de base. Un ejemplo de un [[observable]] físico que es escalar es la [[masa]] de una partícula. El valor escalar único de la masa es independiente de los cambios en los vectores de la base y, en consecuencia, se denomina ''invariante''. La magnitud de un vector (como su [[Distancia euclidiana|longitud]]) es otro ejemplo de invariante, porque permanece fija incluso si las componentes del vector geométrico varían (por ejemplo, para un vector de posición de <math>3</math> metros de longitud, si todos los vectores de la base de [[coordenadas cartesianas]] se cambian de <math>1</math> metro de longitud a <math>.01</math> metros de longitud, la longitud del vector de posición permanece sin cambios en <math>3</math> metros, aunque todas las componentes del vector aumentan por un factor de <math>100</math>). El producto escalar de un vector y de un covector es invariante, porque uno tiene componentes que varían con el cambio de base y el otro tiene componentes que varían de manera opuesta, y los dos efectos se cancelan. Se dice así que los covectores son ''duales'' con respecto a los vectores.

Así, de forma resumida:
* Un vector o [[vector tangente]], tiene componentes que ''contra-varían'' con respecto a un cambio de base, para compensarlo. Es decir, la matriz que transforma las componentes del vector debe ser la inversa de la matriz que transforma los vectores de la base. Se dice que las componentes de los vectores (a diferencia de las de los covectores) son '''contravariantes'''. Según la [[convenio de suma de Einstein|notación de Einstein]] (suma implícita sobre índice repetido), las componentes contravariantes se indican con ''superíndices'' (índices superiores), como en
*:<math>\mathbf{v}= v^i \mathbf{e}_i</math>

* Un covector o [[espacio cotangente|vector cotangente]] tiene componentes que ''covarían'' con un cambio de base en el espacio vectorial correspondiente (inicial). Es decir, las componentes deben transformarse mediante la misma matriz que la matriz de cambio de base en el espacio vectorial correspondiente (inicial). Se dice que las componentes de los covectores (a diferencia de las de los vectores) son '''covariantes'''. Según la [[Convenio de suma de Einstein|notación de Einstein]], las componentes covariantes se indican con ''subíndices'' (índices inferiores), como en
*:<math>\mathbf{w}= w_i \mathbf{e}^i.</math>

* El producto escalar de un vector y de un covector es el escalar <math>v^iw_i</math>, que es invariante. Es el emparejamiento dual de vectores y covectores.

==Definición==
[[File:Covariantcomponents.gif|thumb|upright=1.75|Componentes covariantes y contravariantes de un vector cuando la base no es ortogonal]]

La formulación general de covarianza y contravarianza se refiere a cómo las componentes de un vector de coordenadas se transforman bajo un [[cambio de base]] ([[Transformación activa y pasiva|transformación pasiva]]). Por lo tanto, sea ''V'' un [[espacio vectorial]] de dimensión ''n'' sobre un [[Cuerpo (matemáticas)|cuerpo]] de [[Escalar (matemática)|escalares]] ''S'', y sea cada una de {{nowrap|1='''f'''= (''X''<sub>1</sub>, ..., ''X''<sub>''n''</sub>)}} y {{nowrap|1='''f'''′= (''Y''<sub>1</sub>, ..., ''Y''<sub>''n''</sub>)}} una [[Base (álgebra)|base]] de ''V''.<ref group="nota">Una base '''f''' puede verse aquí de manera conveniente como una [[aplicación lineal]] desde '''R'''<sup>''n''</sup> sobre ''V''. Considerando '''f''' como un vector fila cuyas entradas son los elementos de la base, el isomorfismo lineal asociado es entonces <math>\mathbf{x}\mapsto \mathbf{f}\mathbf{x}.</math></ref> Además, el [[cambio de base]] de '''f''' a '''f'''′ viene dado por
{{NumBlk|:|<math>\mathbf{f}\mapsto \mathbf{f}'= \left(\sum_i a^i_1X_i,\dots,\sum_i a^i_nX_i\right)= \mathbf{f}A</math>|{{EquationRef|1}}}}
para alguna matriz ''A'' [[Matriz invertible|invertible]] de orden ''n''×''n'', con elementos <math>a^i_j</math>. Aquí, cada vector ''Y''<sub>''j''</sub> de la base '''f'''' es una combinación lineal de los vectores ''X''<sub>''i''</sub> de la base '''f''', de modo que

:<math>Y_j=\sum_i a^i_jX_i.</math>

===Transformación contravariante===
{{AP|Transformación contravariante}}

Un vector <math>v</math> en ''V'' se expresa como una única [[combinación lineal]] de los elementos <math>X_i</math> de la base '''f''', como
{{NumBlk|:|<math>v=\sum_i v^i[\mathbf{f}]X_i,</math>|{{EquationRef|2}}}}
donde ''v''<sup>''i''</sup>['''f'''] son elementos del cuerpo ''S'', conocidos como las '''componentes''' de ''v'' en la base '''f'''. Denótese el [[vector columna]] de las componentes de ''v'' por '''v'''['''f''']:

:<math>\mathbf{v}[\mathbf{f}]= \begin{bmatrix}v^1[\mathbf{f}]\\v^2[\mathbf{f}]\\\vdots\\v^n[\mathbf{f}]\end{bmatrix}</math>

de modo que ({{EquationNote|2}}) pueda reescribirse como un producto matricial

:<math>v= \mathbf{f}\, \mathbf{v}[\mathbf{f}].</math>

El vector ''v'' también se puede expresar en términos de la base '''f'''', de modo que

:<math>v= \mathbf{f'}\, \mathbf{v}[\mathbf{f'}].</math>

Sin embargo, dado que el propio vector ''v'' es invariante respecto a la elección de la base,

:<math>\mathbf{f}\, \mathbf{v}[\mathbf{f}]= v= \mathbf{f'}\, \mathbf{v}[\mathbf{f'}].</math>

La invariancia de ''v'' combinada con la relación ({{EquationNote|1}}) entre '''f''' y '''f'''′ implica que

:<math>\mathbf{f}\, \mathbf{v}[\mathbf{f}]= \mathbf{f}A\, \mathbf{v}[\mathbf{f}A],</math>

dando la regla de transformación

:<math>\mathbf{v}[\mathbf{f'}]= \mathbf{v}[\mathbf{f}A]= A^{-1}\mathbf{v}[\mathbf{f}].</math>

En términos de componentes,

:<math>v^i[\mathbf{f}A]= \sum_j \tilde{a}^i_jv^j[\mathbf{f}]</math>

donde los coeficientes <math>\tilde{a}^i_j</math> son los elementos de la [[matriz invertible|matriz inversa]] de ''A''.

Debido a que las componentes del vector ''v'' se transforman con la ''inversa'' de la matriz ''A'', se dice que estas componentes se '''transforman contravariantemente''' con respecto a un cambio de base.

La forma en que ''A'' relaciona los dos pares se representa en el siguiente diagrama informal mediante una flecha. La inversión de la flecha indica un cambio contravariante:
:<math>\begin{align}
   \mathbf{f} &\longrightarrow \mathbf{f'} \\
 v[\mathbf{f}] &\longleftarrow v[\mathbf{f'}]
\end{align}</math>

===Transformación covariante===
{{AP|Transformación covariante}}

Un [[funcional lineal]] ''α'' en ''V'' se expresa de una única manera en términos de sus '''componentes''' (elementos en ''S'') en la base '''f''' como

:<math>\alpha(X_i)= \alpha_i[\mathbf{f}] , \quad i=1,2,\dots,n.</math>

Estas componentes son la acción de ''α'' sobre los vectores ''X''<sub>''i''</sub> de la base '''f'''.

Bajo el cambio de base de '''f''' a '''f'''′ (a través de {{EquationNote|1}}), las componentes se transforman de modo que
{{NumBlk|:|<math>\begin{align}
 \alpha_i[\mathbf{f}A] &= \alpha(Y_i) \\
            &= \alpha\left(\sum_j a^j_i X_j\right) \\
            &= \sum_j a^j_i \alpha(X_j) \\
            &= \sum_j a^j_i \alpha_j[\mathbf{f}].
\end{align}</math>|{{EquationRef|3}}}}
Se denota ahora el [[vector fila]] de las componentes de ''α'' por ''α''['''f''']:

:<math>\mathbf{\alpha}[\mathbf{f}]= \begin{bmatrix}\alpha_1[\mathbf{f}],\alpha_2[\mathbf{f}],\dots,\alpha_n[\mathbf{f}]\end{bmatrix}</math>

de modo que ({{EquationNote|3}}) pueda reescribirse como el producto matricial

:<math>\alpha[\mathbf{f}A]= \alpha[\mathbf{f}]A.</math>

Debido a que los componentes del funcional lineal α se transforman con la matriz "A", se dice que estos componentes se "transforman covariantemente" bajo un cambio de base.

La forma en que ''A'' relaciona los dos pares se representa en el siguiente diagrama informal mediante una flecha. Se indica una relación covariante, ya que las flechas están orientadas en la misma dirección:
:<math>\begin{align}
     \mathbf{f} &\longrightarrow \mathbf{f'} \\
 \alpha[\mathbf{f}] &\longrightarrow \alpha[\mathbf{f'}]
\end{align}</math>

Si en su lugar se hubiera utilizado una representación vectorial en columna, la ley de transformación sería la [[matriz transpuesta]]

:<math>\alpha^\mathrm{T}[\mathbf{f}A]= A^\mathrm{T}\alpha^\mathrm{T}[\mathbf{f}].</math>

==Coordenadas==
La elección de la base '''f''' en el espacio vectorial ''V'' define de forma única un conjunto de funciones de coordenadas en ''V'', mediante

:<math>x^i[\mathbf{f}](v)= v^i[\mathbf{f}].</math>

Las coordenadas en ''V'' son por lo tanto contravariantes en el sentido de que

:<math>x^i[\mathbf{f}A]= \sum_{k=1}^n \tilde{a}^i_kx^k[\mathbf{f}].</math>

Por el contrario, un sistema de ''n'' cantidades ''v''<sup>''i''</sup> que se transforman como las coordenadas ''x''<sup>''i''</sup> en ''V'' define un vector contravariante (o simplemente vector). Un sistema de ''n'' cantidades que se transforman en sentido opuesto a las coordenadas es entonces un vector covariante (o covector).

Esta formulación de contravarianza y covarianza suele ser más natural en las aplicaciones en las que hay un espacio de coordenadas (una [[variedad (matemáticas)|variedad]]) en la que los vectores están definidos como [[vector tangente|vectores tangentes]] o como [[espacio cotangente|vectores cotangentes]]. Dado un sistema de coordenadas local ''x''<sup>''i''</sup> en la variedad, los ejes de referencia para el sistema de coordenadas son los [[campo vectorial|campos vectoriales]]

:<math>X_1= \frac{\partial}{\partial x^1},\dots,X_n=\frac{\partial}{\partial x^n}.</math>

Esto da lugar al marco de referencia {{nowrap|1='''f'''= (''X''<sub>1</sub>, ..., ''X''<sub>''n''</sub>)}} en cada punto del ''parche de coordenadas'' (aplicación lineal uno a uno de un subespacio en un espacio de dimensión superior).

Si ''y''<sup>''i''</sup> es un sistema de coordenadas diferente y

:<math>Y_1=\frac{\partial}{\partial y^1},\dots,Y_n= \frac{\partial}{\partial y^n},</math>

entonces el sistema de referencia '''f'''' está relacionado con el sistema de referencia '''f''' por la inversa de la [[Matriz y determinante jacobianos|matriz jacobiana]] del cambio de coordenadas:

:<math>\mathbf{f}'= \mathbf{f}J^{-1},\quad J= \left(\frac{\partial y^i}{\partial x^j}\right)_{i,j=1}^n.</math>

O, expresado mediante índices,

:<math>\frac{\partial}{\partial y^i}= \sum_{j=1}^n\frac{\partial x^j}{\partial y^i}\frac{\partial}{\partial x^j}.</math>

Un vector tangente es, por definición, un vector que es una combinación lineal de las coordenadas parciales <math>\partial/\partial x^i</math>. Por lo tanto, un vector tangente está definido por

:<math>v= \sum_{i=1}^n v^i[\mathbf{f}] X_i= \mathbf{f}\ \mathbf{v}[\mathbf{f}].</math>

Tal vector es contravariante con respecto al cambio de sistema de referencia. Bajo cambios en el sistema de coordenadas, se tiene que

:<math>\mathbf{v}\left[\mathbf{f}'\right]= \mathbf{v}\left[\mathbf{f}J^{-1}\right]= J\, \mathbf{v}[\mathbf{f}].</math>

Por lo tanto, las componentes de un vector tangente se transforman mediante

:<math>v^i\left[\mathbf{f}'\right]= \sum_{j=1}^n \frac{\partial y^i}{\partial x^j}v^j[\mathbf{f}].</math>

En consecuencia, un sistema de ''n'' cantidades ''v''<sup>''i''</sup> en función de las coordenadas que se transforman de esta forma al pasar de un sistema de coordenadas a otro, se denomina vector contravariante.

==Componentes covariantes y contravariantes de un vector con métrica==
[[File:Basis.svg|thumb|upright=1.4|Las componentes contravariantes {{color box|orange}} de un vector {{color box|darkred}} se obtienen mediante su [[Proyección escalar|proyección]] sobre los ejes de coordenadas. Las componentes covariantes {{color box|blue}} se obtienen proyectándolo sobre las líneas normales a los hiperplanos de coordenadas]]

En un [[espacio vectorial]] ''V'' de dimensión finita sobre un cuerpo ''K'' con una [[forma bilineal]] simétrica {{nowrap|''g'' : ''V'' × ''V'' → ''K''}} (que puede denominarse [[tensor métrico]]), hay poca distinción entre vectores covariantes y contravariantes, porque la [[forma bilineal]] permite identificar covectores con vectores. Es decir, un vector ''v'' determina de forma única un covector ''α'' mediante

:<math>\alpha(w)= g(v, w) </math>

para todos los vectores ''w''. Por el contrario, cada covector ''α'' determina un vector único ''v'' mediante esta ecuación. Debido a esta identificación de vectores con covectores, se puede hablar de las '''componentes covariantes''' o '''componentes contravariantes''' de un vector, es decir, son solo representaciones del mismo vector usando el [[Base dual|bases recíprocas]].

Dada una base {{nowrap|1='''f'''= (''X''<sub>1</sub>, ..., ''X''<sub>''n''</sub>)}} de ''V'', existe una única base recíproca {{nowrap|1='''f'''<sup>#</sup>= (''Y''<sup>1</sup>, ..., ''Y''<sup>''n''</sup>)}} de ''V'' determinada al exigir que

:<math>g(Y^i,X_j)= \delta^i_j,</math>

la [[delta de Kronecker]]. En términos de estas bases, cualquier vector ''v'' se puede escribir de dos maneras:

:<math>\begin{align}
v &= \sum_i v^i[\mathbf{f}]X_i= \mathbf{f}\,\mathbf{v}[\mathbf{f}]\\
&=\sum_i v_i[\mathbf{f}]Y^i= \mathbf{f}^\sharp\mathbf{v}^\sharp[\mathbf{f}].
\end{align}
</math>

Las componentes ''v''<sup>''i''</sup>['''f'''] son las '''componentes contravariantes''' del vector ''v'' en la base '''f''', y las componentes ''v''<sub>''i''</sub>['''f'''] son las '''componentes covariantes''' de ''v'' en la base '''f'''. La terminología se justifica porque bajo un cambio de base,

:<math>\mathbf{v}[\mathbf{f}A]= A^{-1}\mathbf{v}[\mathbf{f}],\quad \mathbf{v}^\sharp[\mathbf{f}A]= A^T\mathbf{v}^\sharp[\mathbf{f}].</math>

===Plano euclídeo===
En el plano euclídeo, el [[producto escalar]] permite identificar vectores con covectores. Si <math>\mathbf{e}_1,\mathbf{e}_2</math> es una base, entonces la base dual <math>\mathbf{e}^1,\mathbf{e}^2</math> satisface que

:<math>\begin{align}
 \mathbf{e}^1\cdot\mathbf{e}_1= 1, &\quad \mathbf{e}^1\cdot\mathbf{e}_2= 0 \\
 \mathbf{e}^2\cdot\mathbf{e}_1= 0, &\quad \mathbf{e}^2\cdot\mathbf{e}_2= 1.
\end{align}</math>

Por lo tanto, '''e'''<sup>1</sup> y '''e'''<sub>2</sub> son perpendiculares entre sí, al igual que '''e'''<sup>2</sup> y '''e'''<sub>1</sub>, y las longitudes de '''e''''<sup>1</sup> y '''e''''<sup>2</sup> quedan normalizadas contra '''e''<sub>1</sub> y '''e''<sub>2</sub>, respectivamente.

====Ejemplo====
Por ejemplo,<ref>{{cite book|last1=Bowen|first1=Ray|first2=C.-C.|last2=Wang|chapter=§3.14 Reciprocal Basis and Change of Basis|chapter-url=https://books.google.com/books?id=Hr5bhIVWr4wC&pg=PA76|title=Introduction to Vectors and Tensors|year=2008|año-original=1976|publisher=Dover|pages=78, 79, 81|isbn=9780486469140}}</ref> supóngase que tenemos una base '''e'''<sub>1</sub>, '''e'''<sub>2</sub> que consta de un par de vectores que forman un ángulo de 45° entre sí, de modo que '''e'''<sub>1</sub> tiene longitud 2 y '''e'''<sub>2</sub> tiene longitud 1. Entonces, los vectores de la base dual se dan de la siguiente manera:
* '''e'''<sup>2</sup> es el resultado de girar '''e'''<sub>1</sub> en un ángulo de 90° (donde el sentido se mide asumiendo que el par '''e'''<sub>1</sub>, '''e'''<sub>2</sub> esté orientado positivamente), y luego se reescala para que {{nowrap|'''e'''<sup>2</sup> ⋅ '''e'''<sub>2</sub> {{=}} 1}} se mantenga.
* '''e'''<sup>1</sup> es el resultado de girar '''e'''<sub>2</sub> en un ángulo de 90° y luego cambiar la escala para que {{nowrap|'''e'''<sup>1</sup> ⋅ '''e'''<sub>1</sub> {{=}} 1}} se mantenga.

Aplicando estas reglas, se obtiene

:<math>\mathbf{e}^1= \frac{1}{2}\mathbf{e}_1 - \frac{1}{\sqrt{2}}\mathbf{e}_2</math>

y

:<math>\mathbf{e}^2= -\frac{1}{\sqrt{2}}\mathbf{e}_1 + 2\mathbf{e}_2.</math>

Por lo tanto, el cambio de matriz de base al pasar de la base original a la base recíproca es

:<math>R= \begin{bmatrix}
  \frac{1}{2}     & -\frac{1}{\sqrt{2}} \\
 -\frac{1}{\sqrt{2}} & 2
\end{bmatrix},</math>

dado que

:<math>[\mathbf{e}^1\ \mathbf{e}^2]= [\mathbf{e}_1\ \mathbf{e}_2]\begin{bmatrix}
  \frac{1}{2}    & -\frac{1}{\sqrt{2}} \\
 -\frac{1}{\sqrt{2}} & 2
\end{bmatrix}.</math>

Por ejemplo, el vector

:<math>v= \frac{3}{2}\mathbf{e}_1 + 2\mathbf{e}_2</math>

es un vector con componentes contravariantes

:<math>v^1= \frac{3}{2},\quad v^2= 2.</math>

Las componentes covariantes se obtienen igualando las dos expresiones del vector ''v'':

:<math>v= v_1\mathbf{e}^1 + v_2\mathbf{e}^2= v^1\mathbf{e}_1 + v^2\mathbf{e}_2</math>

entonces

:<math>\begin{align}
 \begin{bmatrix}v_1\\ v_2\end{bmatrix} &= R^{-1}\begin{bmatrix}v^1 \\ v^2\end{bmatrix} \\
                    &= \begin{bmatrix}4 & \sqrt{2} \\ \sqrt{2} & 1\end{bmatrix}
                       \begin{bmatrix}v^1 \\ v^2\end{bmatrix} \\
                    &= \begin{bmatrix}6 + 2\sqrt{2} \\ 2 + \frac{3}{\sqrt{2}}\end{bmatrix}
\end{align}.</math>

===Espacio euclídeo tridimensional===

En el [[espacio euclídeo]] tridimensional, también se puede determinar explícitamente la base dual de un conjunto dado de [[base (álgebra)|vectores de una base]] '''e''<sub>1</sub>, '''e''<sub>2</sub>, '''e''<sub>3</sub> de ''E''<sub>3</sub> que no se supone necesariamente que sean ortogonales ni de norma unitaria. Los vectores de la base dual son:

:<math> \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}_2 \cdot (\mathbf{e}_3 \times \mathbf{e}_1)}; \qquad \mathbf{e}^3= \frac{\mathbf{e}_1 \times \mathbf{e}_2}{\mathbf{e}_3 \cdot (\mathbf{e}_1 \times \mathbf{e}_2)}.
</math>

Incluso cuando '''e'''<sub>i</sub> y '''e'''<sup>i</sup> no son [[Ortonormal|ortonormales]], siguen siendo mutuamente recíprocos:

:<math>\mathbf{e}^i \cdot \mathbf{e}_j= \delta^i_j,</math>

Entonces las componentes contravariantes de cualquier vector '''v''' se pueden obtener mediante el [[producto escalar]] de '''v''' con los vectores de la base dual:

:<math> q^1= \mathbf{v} \cdot \mathbf{e}^1; \qquad q^2= \mathbf{v} \cdot \mathbf{e}^2; \qquad q^3= \mathbf{v} \cdot \mathbf{e}^3 .</math>

Asimismo, las componentes covariantes de '''v''' se pueden obtener a partir del producto escalar de '''v''' con los vectores de la base, a saber.

:<math> q_1= \mathbf{v} \cdot \mathbf{e}_1; \qquad q_2= \mathbf{v} \cdot \mathbf{e}_2; \qquad q_3= \mathbf{v} \cdot \mathbf{e}_3 .</math>

Entonces '''v''' se puede expresar de dos maneras (recíprocas), a saber:

:<math> \mathbf{v}= q^i \mathbf{e}_i= q^1 \mathbf{e}_1 + q^2 \mathbf{e}_2 + q^3 \mathbf{e}_3 .</math>

o

:<math> \mathbf{v}= q_i \mathbf{e}^i= q_1 \mathbf{e}^1 + q_2 \mathbf{e}^2 + q_3 \mathbf{e}^3 </math>

Combinando las relaciones anteriores, se obtiene que

:<math> \mathbf{v}= (\mathbf{v} \cdot \mathbf{e}^i) \mathbf{e}_i= (\mathbf{v} \cdot \mathbf{e}_i) \mathbf{e}^i </math>

y se puede pasar entre la base y la base dual mediante

:<math>q_i= \mathbf{v}\cdot \mathbf{e}_i= (q^j \mathbf{e}_j)\cdot \mathbf{e}_i= (\mathbf{e}_j\cdot\mathbf{e}_i) q^j </math>

y

:<math>q^i= \mathbf{v}\cdot \mathbf{e}^i= (q_j \mathbf{e}^j)\cdot \mathbf{e}^i= (\mathbf{e}^j\cdot\mathbf{e}^i) q_j .</math>

Si los vectores de la base son [[ortonormal]]es, entonces son iguales que los vectores de la base dual.

===Espacios euclídeos generales===
De manera más general, en un espacio euclídeo ''V'' de ''n'' dimensiones, si una base es

:<math>\mathbf{e}_1,\dots,\mathbf{e}_n,</math>

la base recíproca está dada por (los índices dobles se suman),

:<math>\mathbf{e}^i=g^{ij}\mathbf{e}_j</math>

donde los coeficientes ''g''<sup>''ij''</sup> son las entradas de la matriz inversa de

:<math>g_{ij}= \mathbf{e}_i\cdot\mathbf{e}_j .</math>

En efecto, entonces se tiene que

:<math>\mathbf{e}^i\cdot\mathbf{e}_k=g^{ij}\mathbf{e}_j\cdot\mathbf{e}_k=g^{ij}g_{jk}= \delta^i_k .</math>

Las componentes covariantes y contravariantes de cualquier vector

:<math> \mathbf{v}= q_i \mathbf{e}^i= q^i \mathbf{e}_i \, </math>

están relacionados como arriba por

:<math>q_i= \mathbf{v}\cdot \mathbf{e}_i= (q^j \mathbf{e}_j)\cdot \mathbf{e}_i= q^jg_{ji}</math>

y

:<math>q^i= \mathbf{v}\cdot \mathbf{e}^i= (q_j\mathbf{e}^j)\cdot \mathbf{e}^i= q_jg^{ji} .</math>

==Uso informal==
En el campo de [[física]], el [[adjetivo]] '''covariante''' se utiliza a menudo de manera informal como sinónimo de invariante. Por ejemplo, la [[ecuación de Schrödinger]] no mantiene su forma escrita bajo las transformaciones de coordenadas de la [[teoría de la relatividad especial]]. Por lo tanto, un físico podría decir que la ecuación de Schrödinger ''no es covariante''. Por el contrario, la [[ecuación de Klein-Gordon]] y la [[ecuación de Dirac]] mantienen su forma escrita bajo estas transformaciones de coordenadas. Por lo tanto, un físico podría decir que estas ecuaciones ''son covariantes''.

A pesar de este uso del término ''covariante'', es más exacto decir que las ecuaciones de Klein-Gordon y Dirac son invariantes y que la ecuación de Schrödinger no es invariante. Además, para eliminar ambigüedades, se debe indicar la transformación mediante la que se evalúa la invarianza.

Debido a que los componentes de los vectores son contravariantes y los de los covectores son covariantes, a menudo se hace referencia a los propios vectores como contravariantes y a los covectores como covariantes.

==Uso en análisis tensorial==

La distinción entre covarianza y contravarianza es particularmente importante para los cálculos con [[tensor]]es, que a menudo tienen '''varianza mixta'''. Esto significa que tienen componentes covariantes y contravariantes, o componentes vectoriales y covectoriales. La valencia de un tensor es el número de términos variantes y covariantes, y en según la [[Convenio de suma de Einstein|notación de Einstein]], las componentes covariantes se representan con subíndices, mientras que las componentes contravariantes se representan con superíndices. La dualidad entre covarianza y contravarianza interviene siempre que una cantidad vectorial o tensorial está representada por sus componentes, aunque en la [[geometría diferencial]] moderna se utiliza [[Tensor (definición intrínseca)|métodos sin índices para representar tensores]] más sofisticados.

En [[campo tensorial|análisis tensorial]], un vector '''covariante''' varía más o menos recíprocamente con respecto a un vector contravariante correspondiente. Las expresiones para longitudes, áreas y volúmenes de objetos en el espacio vectorial se pueden dar en términos de tensores con índices covariantes y contravariantes. Bajo simples expansiones y contracciones de las coordenadas, la reciprocidad es exacta; bajo transformaciones afines, los componentes de un vector se entremezclan entre expresiones covariantes y contravariantes.

En un [[variedad (matemáticas)|variedad]], un [[campo tensorial]] normalmente tendrá múltiples índices superiores e inferiores, donde la notación de Einstein se usa ampliamente. Cuando la variedad está equipada con una [[Tensor métrico|métrica]], los índices covariantes y contravariantes se relacionan muy estrechamente entre sí. Los índices contravariantes se pueden convertir en índices covariantes mediante [[Contracción tensorial|contracción]] con el tensor métrico. Lo contrario es posible contrayendo con la inversa (matriz en su caso) del tensor métrico. Téngase en cuenta que, en general, no existe tal relación en espacios que no están dotados de un tensor métrico. Además, desde un punto de vista más abstracto, un tensor simplemente está ''ahí'', y sus componentes de cualquier tipo son solo artefactos de cálculo cuyos valores dependen de las coordenadas elegidas.

La explicación en términos geométricos es que un tensor general tendrá índices contravariantes así como índices covariantes, porque tiene partes definidas tanto según [[fibrado tangente|fibrados tangentes]] como según [[fibrado cotangente|fibrados cotangentes]].

Un vector contravariante es aquel que se transforma como <math>\frac{dx^{\mu}}{d\tau}</math>, donde <math>x^{\mu} \!</math> son las coordenadas de una partícula en su [[tiempo propio]] <math>\tau</math>. Un vector covariante es aquel que se transforma como <math>\frac{\partial \varphi}{\partial x^{\mu}}</math>, donde <math>\varphi</math> es un campo escalar.

==Álgebra y geometría==

En [[teoría de categorías]], hay [[funtor|funtores covariantes]] y [[funtor|funtores contravariantes]]. La asignación del [[espacio dual]] a un espacio vectorial es un ejemplo estándar de funtor contravariante. Los vectores contravariantes (respectivamente, covariantes) son functores contravariantes (respectivamente, covariantes) desde <math>\text{GL}(n)</math>-[[torsor]] hasta la representación fundamental de <math>\text{GL}(n)</math>. De manera similar, los tensores de grado superior son functores con valores en otras representaciones de <math>\text{GL}(n)</math>. Sin embargo, algunas construcciones del [[álgebra multilineal]] son de varianza ''mixta'', lo que les impide ser functores.

En [[geometría diferencial]], las componentes de un vector relativas a una base de un [[fibrado tangente]] son covariantes si cambian con la misma transformación lineal que un cambio de base. Son contravariantes si cambian por transformación inversa. A veces esto es fuente de confusión por dos razones distintas pero relacionadas. La primera es que los vectores cuyos componentes son covariantes (llamados covectores o [[1-forma]]s) en realidad son [[Aplicación regrediente|regredientes]] bajo funciones suaves, lo que significa que la operación que asigna el espacio de covectores a una variedad suave es en realidad un functor ''contravariante''. Del mismo modo, los vectores cuyas componentes son contravariantes [[Aplicación progrediente|progredientes]] bajo aplicaciones suaves, por lo que la operación que asigna el espacio de vectores (contravariantes) a una variedad suave es un functor ''covariante''. En segundo lugar, en el enfoque clásico de la geometría diferencial, el objeto más primitivo no son las bases del paquete tangente, sino más bien los cambios en el sistema de coordenadas. Los vectores con componentes contravariantes se transforman de la misma manera que los cambios en las coordenadas (porque estos en realidad cambian de manera opuesta al cambio de base inducido). Asimismo, los vectores con componentes covariantes se transforman de manera opuesta a los cambios en las coordenadas.

==Véase también==
*[[Anexo:Glosario de relatividad]]
*[[Transformación activa y pasiva]]
*[[Tensor mixto]]
*[[Tensor de dos puntos]], generalización para hacer referencia a múltiples bases vectoriales

==Notas==
{{Reflist|group="nota"}}

==Citas==
{{listaref}}

==Referencias==
{{refbegin}}
*{{citation|last1=Kusse|first1=Bruce R.|last2=Westwig|first2=Erik A.|title=Mathematical Physics: Applied Mathematics for Scientists and Engineers|edition=2nd|publisher=Wiley|year=2010|isbn=978-3-527-61814-9}}.
*{{citation|last1=Arfken|first1=George B.|authorlink1=George B. Arfken|first2=Hans J.|last2=Weber|title=Mathematical Methods for Physicists|edition=6th|publisher=Harcourt|year=2005|isbn=0-12-059876-0}}.
*{{Citation|last1=Dodson|first1=C. T. J.|last2=Poston|first2=T.|title=Tensor geometry|publisher=Springer|edition=2nd|series=Graduate Texts in Mathematics|isbn=978-3-540-52018-4|mr=1223091|year=1991|volume=130}}.
*{{Citation|last1=Greub|first1=Werner Hildbert|title=Multilinear algebra|publisher=Springer|series=Die Grundlehren der Mathematischen Wissenschaften, Band 136|mr=0224623|year=1967|isbn=9780387038278}}.
*{{Citation|last1=Sternberg|first1=Shlomo|author1-link=Shlomo Sternberg|title=Lectures on differential geometry|publisher=Chelsea|isbn=978-0-8284-0316-0|year=1983}}.
*{{citation|doi=10.1098/rstl.1853.0018|first=J.J.|last=Sylvester|jstor=108572|title=On a Theory of the Syzygetic Relations of Two Rational Integral Functions, Comprising an Application to the Theory of Sturm's Functions, and That of the Greatest Algebraical Common Measure|year=1853|journal=Philosophical Transactions of the Royal Society of London|volume=143|pages=407–548|url=https://zenodo.org/record/1432412}}.
*{{Citation|last1=Weinreich|first1=Gabriel|title=Geometrical Vectors|publisher=The University of Chicago Press|series=Chicago Lectures in Physics|year=1998|isbn=9780226890487|pages=126}}
{{refend}}

==Enlaces externos==
*{{springer|title=Covariant tensor|id=p/c026880}}
*{{springer|title=Contravariant tensor|id=p/c025970}}
*{{MathWorld|urlname=CovariantTensor|title=Covariant Tensor}}
*{{MathWorld|urlname=ContravariantTensor|title=Contravariant Tensor}}
* [http://www.mathpages.com/home/kmath398/kmath398.htm Invarianza, contravarianza y covarianza]
*{{cite web|first1=Kees|last1=Dullemond|first2=Kasper|last2=Peeters|title=Introduction to tensor calculus|date=2010|publisher=|url=http://www.ita.uni-heidelberg.de/~dullemond/lectures/tensor/tensor.pdf}}

{{Control de autoridades}}
[[Categoría:Cálculo tensorial]]
[[Categoría:Geometría diferencial]]
[[Categoría:Geometría de Riemann]]
[[Categoría:Vectores]]
[[Categoría:Relatividad]]
[[Categoría:Álgebra multilineal]]