Cálculo tensorial

Un tensor de segundo orden, en tres dimensiones.

En matemáticas, el término cálculo tensorial (también conocido como cálculo de Ricci) hace referencia a las operaciones y algoritmos utilizados para operar con tensores.

En matemáticas y en física, un tensor es cierta clase de entidad algebraica de varios componentes que generaliza los conceptos de escalar, vector y matriz de una manera que sea independiente de cualquier sistema de coordenadas elegido. Se usa para ello el convenio de suma de Einstein.

Una vez elegida una base vectorial, los componentes de un tensor en una base vendrán dadas por una multimatriz. El orden de un tensor será el número de índices necesario para especificar sin ambigüedad un componente de un tensor: un escalar será considerado como un tensor de orden 0; un vector, un tensor de orden 1; y dada una base vectorial, los tensores de segundo orden pueden ser representados por una matriz.

El cálculo tensorial describe las reglas de notación y manipulación de índices para tensores y campos tensoriales en una variedad diferenciable, con o sin tensor métrico o conexión.​​​​

Historia

La palabra "tensor" se utiliza a menudo como abreviatura de campo tensorial, que es un valor tensorial definido en cada punto en una variedad. El primero en utilizar esta palabra fue William Rowan Hamilton en 1846, empleándola para lo que actualmente se conoce como módulo y fue Woldemar Voigt en 1899 quien la empleó en su acepción actual. La palabra tensor proviene del latín tensus, participio pasado de tendere 'estirar, extender'. El nombre se extendió porque la teoría de la elasticidad fue una de las primeras aplicaciones físicas donde se usaron tensores.

También es el nombre moderno de lo que solía llamarse cálculo diferencial absoluto (la base de cálculo tensorial), desarrollado por Gregorio Ricci-Curbastro entre 1887 y 1896, posteriormente popularizado en un artículo escrito con su alumno Tullio Levi-Civita en 1900.​ Jan Arnoldus Schouten desarrolló la notación y el formalismo modernos para este marco matemático e hizo contribuciones a la teoría durante sus aplicaciones a la relatividad general y a la geometría diferencial a principios del siglo XX.​ La introducción de relatividad general por parte de Albert Einstein alrededor de 1915 supuso su aplicación práctica. El propio Albert Einstein había aprendido de Levi-Civita el uso de tensores.​

Trabajando con uno de los principales defensores de las formas diferenciales, Élie Cartan, el influyente geómetra Shiing-Shen Chern resumió el papel del cálculo tensorial en la geometría moderna:​

En nuestro tema de geometría diferencial, donde se habla de variedades, una dificultad es que la geometría se describe mediante coordenadas, pero las coordenadas no tienen significado. Se les permite sufrir una transformación. Y para afrontar este tipo de situaciones, una herramienta importante es el llamado análisis tensorial o cálculo de Ricci, que era nuevo para los matemáticos. En matemáticas tienes una función, escribes la función, calculas, sumas, multiplicas o puedes diferenciar. Tienes algo muy concreto. En geometría, la situación geométrica se describe mediante números, pero puedes cambiar tus números arbitrariamente. Entonces, para manejar esto, necesitas el cálculo de Ricci.

Características y uso

Las cantidades geométricas y físicas pueden ser categorizadas considerando los grados de libertad inherentes a su descripción. Las cantidades escalares son las que se pueden representar por un solo número, por ejemplo la masa. Hay también cantidades tipo vector, por ejemplo fuerza, que requieren una lista de números para su descripción. Finalmente, las cantidades tales como formas cuadráticas requieren de una matriz para su representación.

Los tensores generalizan los conceptos de escalar, vector y matriz, que son casos particulares de tensores. La propiedad que distingue un escalar de un vector, y distingue ambos de una cantidad tensorial más general es el número de índices en la matriz de la representación. Este número se llama rango u orden de un tensor. Así, los escalares son los tensores de rango cero (sin índices), los vectores son los tensores de rango uno y las matrices son tensores de rango 2.

Uso de tensores

No todas las relaciones en la naturaleza son lineales, pero la mayoría es diferenciable y así se pueden aproximar localmente con sumas de funciones multilineales. Así la mayoría de las magnitudes en física se pueden expresar como tensores.

Un ejemplo simple es la descripción de una fuerza aplicada al movimiento de una nave en el agua. La fuerza es un vector, y la nave responderá con una aceleración, que es también un vector. La aceleración en general no estará en la misma dirección que la fuerza, debido a la forma particular del cuerpo de la nave. Sin embargo, resulta que la relación entre la fuerza y la aceleración es lineal. Tal relación es descrita por un tensor del tipo (1, 1), es decir, que transforma un vector en otro vector. El tensor se puede representar como una matriz que cuando es multiplicada por un vector, dé lugar a otro vector. Así como los números que representan un vector cambiarán si uno cambia el conjunto de coordenadas, los números en la matriz que representa el tensor también cambiarán cuando se cambie el conjunto de coordenadas.

En la ingeniería, las tensiones en el interior de un sólido rígido o líquido también son descritas por un tensor. Si se selecciona un elemento superficial particular en el material, el material en un lado de la superficie aplicará una fuerza en el otro lado. En general, esta fuerza no será ortogonal a la superficie, sino que dependerá de la orientación de la superficie de una manera lineal. Esto es descrito por un tensor del tipo (2, 0), o más exactamente por un campo tensorial del tipo (2, 0) puesto que las tensiones pueden cambiar punto a punto.

Algunos ejemplos bien conocidos de tensores en geometría son las formas cuadráticas, y el tensor de curvatura. Algunos ejemplos de tensores físicos son el tensor de energía-momento, el tensor de polarización y el tensor dieléctrico.

Conceptos básicos

En un sentido práctico un tensor es un objeto matemático representado por un cierto conjunto de componentes. Para definir un tensor es necesario partir de un espacio físico o variedad diferenciable que define cuál es el espacio vectorial base V sobre el que se construirán tensores de diferente tipo y orden. En mecánica clásica, por ejemplo, el espacio es $\mathbb {R} ^{3}$, aunque en la teoría de la relatividad especial el espacio base es isomorfo a $\mathbb {R} ^{4}$ y en la teoría general de la relatividad es el espacio tangente a una variedad lorentziana de cuatro dimensiones. En matemáticas lo más usual es construir la teoría sobre una variedad riemanniana o variedad pseudoriemanniana n-dimensional.

Tratamiento clásico de los tensores

El enfoque clásico visualiza los tensores como "matrices" de orden superior que son generalizaciones n-dimensionales de los escalares, vectores de 1 dimensión y matrices de 2 dimensiones. En este enfoque los números reales que aparecen en dichas "matrices" son los componentes del tensor en una base concreta. Si bien para los casos prácticos este modo de representación puede ser muy intuitivo dificulta la manipulación formal para otros fines menos prácticos.

Los "componentes" tensoriales son los índices del arreglo. Esta idea puede ser generalizada aún más a los campos tensoriales, donde los elementos del tensor son funciones, o incluso diferenciales. La teoría del campo tensorial se puede ver, grosso modo, como otra extensión de la idea del jacobiano.

Enfoque moderno

El enfoque moderno visualiza los tensores inicialmente como objetos abstractos, construidos sobre espacios vectoriales abstractos, en los que se define un producto tensorial que permite construir estructuras típicas del álgebra multilineal. Sus propiedades bien conocidas se pueden derivar de sus definiciones, como funciones lineales o incluso más generales; y las reglas para las manipulaciones de tensores se presentan como extensión del álgebra lineal al álgebra multilineal.

Este tratamiento ha sustituido en gran parte el tratamiento basado en componentes para el estudio avanzado, a la manera en que el tratamiento más moderno de los vectores, libre de componentes, sustituye el tratamiento basado en componentes tradicional aunque este último se haya utilizado para proporcionar una motivación elemental para el concepto de un vector. Se podría decir que el lema es 'tensores son elementos de un cierto espacio tensorial'.

El enfoque moderno está más estrechamente asociado al tratamiento que los matemáticos han hecho del cálculo tensorial en el que las notaciones generalmente representan el objeto tensorial y secundariamente los componentes. Esto contrasta con el tratamiento clásico de los tensores en las ciencias físicas que suele representar los tensores mediante sus componentes y enfatiza mucho las propiedades asociadas a la transformación de coordenadas al pasar de un sistema de referencia a otro, o cuando se cambian las coordenadas.

Definición de tensor

Hay varias maneras de definir un tensor, que resultan en enfoques equivalentes:

• la manera clásica, forma usual en física de definir los tensores, en términos de objetos cuyos componentes se transforman bajo cambios de coordenadas según ciertas reglas, introduciendo la idea de transformaciones covariantes o contravariantes.
• la manera usual de la matemática, que implica definir ciertos espacios vectoriales definidos a partir de un espacio vectorial dado, sin fijar cualesquiera conjuntos de coordenadas hasta que las bases se introduzcan por necesidad. Existen dos definiciones de este tipo:
  • La de tensores como aplicaciones multilineales, que nos obliga a usar el dual de un espacio vectorial.
  • La que usa una operación definida axiomáticamente llamada producto tensorial de espacios vectoriales.

Definición clásica

Los físicos especialmente en tratamientos informales de los tensores, consideran que un tensor es simplemente una magnitud física multi-índice dada por un conjunto de números reales o "componentes" del tensor que se transforman de "manera adecuada". Es decir, si en un determinado sistema de referencia $\scriptstyle S$ una magnitud tensorial está dada por un conjunto de componentes $T_{\alpha '_{1},...\alpha '_{m}}^{\beta '_{1}...\beta '_{n}}\,$ al cambiar a un sistema de referencia diferente $\scriptstyle {\bar {S}}$ tendrá componentes con valores numéricos diferentes ${\bar {T}}_{\alpha _{1},...\alpha _{m}}^{\beta _{1}...\beta _{n}}\,$ siendo la relación entre los componentes de la magnitud en uno y otro sistema de referencia la siguiente:

${\bar {T}}_{\alpha _{1},...\alpha _{m}}^{\beta _{1}...\beta _{n}}=T_{\alpha '_{1},...\alpha '_{m}}^{\beta '_{1}...\beta '_{n}}{A^{T}}_{\beta '_{1}}^{\beta _{1}}...{A^{T}}_{\beta '_{n}}^{\beta _{n}}A_{\alpha _{1}}^{\alpha '_{1}}...A_{\alpha _{m}}^{\alpha '_{m}}$

donde en la última expresión se ha usado el convenio de sumación de Einstein y además:

$A_{\alpha _{n}}^{\alpha '_{n}}$ es la matriz del cambio de base de coordenadas

${A^{T}}_{\alpha _{n}}^{\alpha '_{n}}$ es la matriz del cambio de base inverso, que es la matriz traspuesta de la anterior.

Las magnitudes escalares de la física en general son tensores de orden cero, y varios de los tensores físicos importantes (tensor de inercia, tensor de tensiones, etc.) son tensores de segundo orden.

Como aplicación multilineal

Dado un espacio vectorial $V$ de dimensión $n$ sobre un cuerpo $K$, recordemos que su espacio dual $V^{*}$ es el conjunto de todas las aplicaciones lineales $f:V\to K\,\!$. El espacio dual es un espacio vectorial de la misma dimensión que $V$. Nos referiremos normalmente a los elementos de $V$ y de $V^{*}$ como vectores y covectores, respectivamente.

Un tensor es una aplicación multilineal, es decir, una aplicación lineal en cada uno de sus argumentos, de la forma:

$T:\underbrace {V^{*}\times \ldots \times V^{*}} _{r}\times \underbrace {V\times \ldots \times V} _{s}\to K$

De este modo, un tensor $T$ asocia cada $r$ covectores $w_{1},\ldots ,w_{r}$ y $s$ vectores $v_{1},\ldots ,v_{s}$, un escalar

$T(w_{1},\ldots ,w_{r},v_{1},\ldots ,v_{s}).\,\!$

Llamamos tipo del tensor al par $(r,s)$.

Usando producto tensorial de espacios vectoriales

En el enfoque más matemático del cálculo tensorial se considera un espacio vectorial V y se considera su espacio dual V*. Si $\scriptstyle \{{\hat {e}}_{1},\dots ,{\hat {e}}_{n}\}$ es una base del espacio vectorial V y $\scriptstyle \{{\hat {\omega }}^{1},\dots ,{\hat {\omega }}^{n}\}$ la correspondiente base dual de V*, se construye el espacio vectorial producto de r copias de V y s copias de V*, es decir, $\scriptstyle V=(\otimes ^{r}V)\otimes (\otimes ^{s}V^{*})$ o producto tensorial de espacios vectoriales. Un tensor es un elemento de dicho espacio vectorial:

$T=T_{j_{1}\dots j_{s}}^{i_{1}\dots i_{r}}\ {\hat {e}}_{i_{1}}\otimes \dots \otimes {\hat {e}}_{i_{r}}\otimes {\hat {\omega }}^{j_{1}}\otimes \dots \otimes {\hat {\omega }}^{j_{s}}$

Las propiedades de transformación de los tensores se siguen de las propiedades de transformación de los vectores de la base de manera trivial.

Ejemplos de tensores de distinto orden

A los tensores se los puede clasificar por su orden, es decir el número de componentes que requiere para ser descrito. En general, si n es la dimensión del tensor (dimensión del espacio vectorial sobre el que se construye) y r+s el orden, un tensor requiere de $n^{r+s}\,$ componentes para ser descrito.

Tensores de orden cero: escalares

Como se dijo anteriormente, un escalar es una cantidad que requiere solo un número real en cualquier sistema de coordenadas para ser descrito. Es decir es invariante ante cualquier cambio de coordenadas en cualquier sistema. De esta manera si $\phi \,$ es un escalar en un sistema de coordenadas y $\phi '\,$ es el mismo escalar en otro sistema de coordenadas entonces $\phi =\phi '\,$ Un escalar es un tensor de orden cero porque requiere un solo número para ser descrito: $n^{0}=1\,$.

Tensores de orden uno: vectores y covectores

En general, un vector requiere n componentes para ser descrito. En un espacio tridimensional, un vector se define mediante tres componentes. La transformación de coordenadas de un vector de un espacio a otro se realiza mediante una transformación lineal. De esta manera, un vector es un tensor de orden uno porque requiere n números para definirlo.

Si tenemos un vector expresado por sus componentes $A_{i}\,$ en un sistema y $A'_{i}\,$ en otro sistema, la transformación de coordenadas para que el vector se mantenga invariante se puede expresar:

$A'_{i}=\alpha _{i'k}A_{k}\,$

donde $\alpha _{i'k}\,$ es el coseno del ángulo entre el i-ésimo eje de coordenadas y el k-ésimo.

Tensores de orden dos: matrices

Siguiendo la misma lógica, el siguiente elemento es el que requiere $n\,$x$\,n=\,$$n^{2}\,$ componentes para ser descrito. Se denomina tensor de orden dos al objeto, normalmente representado por una matriz nxn, que representado en un sistema de coordenadas como $A'_{ik}\,$ su transformación invariante en otro sistema con componentes $A_{ik}\,$ es:

$A'_{ik}=\alpha _{i'l}\alpha _{k'm}A_{lm}\,$

donde $\alpha _{i'l}\,$ es el coseno del ángulo entre el i-ésimo eje de un sistema con el l-ésimo eje del otro sistema.

Tensores de orden m generalizados

Representación del Tensor de Levi-Civita, tensor de orden tres.

Finalmente, la generalización de los tipos anteriores viene dada por un elemento que necesita $n^{m}\,$ coordenadas para ser especificado. Como generalización de las transformaciones anteriores tenemos:

$A'_{i_{1},i_{2},...i_{n}}=\alpha _{i_{1}^{'}k_{1}}\alpha _{i_{2}^{'}k_{2}}...\alpha _{i_{n}^{'}k_{n}}A_{k_{1},k_{2},...k_{n}}\,$

donde $A_{k_{1}k_{2}...k_{n}}\,$ son los componentes del tensor en un sistema de coordenadas, $A_{i_{1}i_{2}...i_{n}}\,$ son los componentes del mismo tensor en otras coordenadas y los $\alpha _{i_{1}^{'}k_{1}}$ son los cosenos de los ángulos entre los $i_{1}$-ésimos ejes del un sistema y los $k_{1}$-ésimos en el otro sistema.

Notación y nomenclatura

Covarianza y contravarianza

El concepto de covarianza y contravarianza está arraigado en la descripción de un elemento en dos sistemas de coordenadas. Para simplificar su descripción se puede tomar un vector en un espacio tridimensional. La posición de un punto arbitrario en este espacio puede ser expresado en términos de tres coordenadas $u_{1},u_{2},u_{3}\,$ y si $r(u_{1},u_{2},u_{3})$ es el vector posición de ese punto entonces en P existen dos conjuntos de vectores base:

$e_{i}={\frac {\partial r}{\partial u_{i}}}\,$ y $\epsilon _{i}=\nabla u_{i}\,$ donde $i=1,2,3\,$

En general, estos vectores no son unitarios ni forman una base ortogonal. Sin embargo los conjuntos $e_{i}\,$ y $\epsilon _{i}\,$ son sistemas recíprocos de vectores y por eso:

$e_{i}\cdot \epsilon _{j}=\delta _{ij}\,$

En el cálculo tensorial es usual denotar al conjunto de vectores base $\epsilon _{i}\,$ como $e^{i}\,$, el cual lo diferencia de la base $e_{i}\,$. Con esta notación, la relación de reciprocidad anterior sería:

$e_{i}\cdot e^{j}=\delta _{i}^{j}\,$

donde $\delta _{i}^{j}\,$ es la delta de Kronecker.

Así, dadas dos bases $e_{i}\,$ y $e^{i}\,$ se puede escribir un vector general $a\,$ en términos de estas bases:

$a=a^{1}e_{1}+a^{2}e_{2}+a^{3}e_{3}=a^{i}e_{i}\,$

$a=a_{1}e^{1}+a_{2}e^{2}+a_{3}e^{3}=a_{i}e^{i}\,$

Los $a^{i}\,$ se los llama componentes contravariantes del vector $a\,$ y los $a_{i}\,$ se los llama componentes covariantes. De igual manera, $e^{i}\,$ se los llama base contravariante y $e_{i}\,$ se los llama base covariante.

Convenio de sumación de Einstein

Existe una convención para escribir tensores, conocida como convenio de sumación de Einstein. En esta notación todo subíndice que aparece dos veces en cualquier término de una expresión indica que éstos deben ser sumados sobre todos los valores que ese índice toma. Por ejemplo, en un caso tridimensional:

$a_{i}x_{i}\,$ implica que $a_{1}x_{1}+a_{2}x_{2}+a_{3}x_{3}\,$

$a_{ij}b_{jk}\,$ implica que $a_{i1}b_{1k}+a_{i2}b_{2k}+a_{i3}b_{3k}\,$

Conjunto $O_{x,\alpha }^{n}(h)$ de operadores fraccionales

El cálculo fraccional de conjuntos (Fractional Calculus of Sets (FCS)), mencionado por primera vez en el artículo titulado "Sets of Fractional Operators and Numerical Estimation of the Order of Convergence of a Family of Fractional Fixed-Point Methods",​ es una metodología derivada del cálculo fraccional.​ El concepto principal detrás del FCS es la caracterización de los elementos del cálculo fraccional utilizando conjuntos debido a la gran cantidad de operadores fraccionales disponibles.​​​ Esta metodología se originó a partir del desarrollo del método de Newton-Raphson fraccional ​ y trabajos relacionados posteriores.​​​

Ilustración de algunas líneas generadas por el método de Newton–Raphson fraccional para la misma condición inicial $x_{0}$ pero con diferentes órdenes $\alpha$ del operador fraccional implementado. Fuente: Applied Mathematics and Computation

El cálculo fraccional, una rama de las matemáticas que trata con derivadas de orden no entero, surgió casi simultáneamente con el cálculo tradicional. Esta emergencia fue en parte debido a la notación de Leibniz para derivadas de orden entero: ${\frac {d^{n}}{dx^{n}}}$. Gracias a esta notación, L'Hopital pudo preguntar en una carta a Leibniz sobre la interpretación de tomar $n={\frac {1}{2}}$ en una derivada. En ese momento, Leibniz no pudo proporcionar una interpretación física o geométrica para esta pregunta, por lo que simplemente respondió a L'Hopital en una carta que «... es una aparente paradoja de la cual, algún día, se derivarán consecuencias útiles».

El nombre «cálculo fraccional» se origina a partir de una pregunta histórica, ya que esta rama del análisis matemático estudia derivadas e integrales de un cierto orden $\alpha \in \mathbb {R}$. Actualmente, el cálculo fraccional carece de una definición unificada de lo que constituye una derivada fraccional. En consecuencia, cuando no es necesario especificar explícitamente la forma de una derivada fraccional, típicamente se denota de la siguiente manera:

${\frac {d^{\alpha }}{dx^{\alpha }}}.$

Los operadores fraccionales tienen varias representaciones, pero una de sus propiedades fundamentales es que recuperan los resultados del cálculo tradicional a medida que $\alpha \to n$. Considerando una función escalar $h:\mathbb {R} ^{m}\to \mathbb {R}$ y la base canónica de $\mathbb {R} ^{m}$ denotada por $\{{\hat {e}}_{k}\}_{k\geq 1}$, el siguiente operador fraccional de orden $\alpha$ se define utilizando notación de Einstein:​

$o_{x}^{\alpha }h(x):={\hat {e}}_{k}o_{k}^{\alpha }h(x).$

Denotando $\partial _{k}^{n}$ como la derivada parcial de orden $n$ con respecto al componente $k$-ésimo del vector $x$, se define el siguiente conjunto de operadores fraccionales:

$O_{x,\alpha }^{n}(h):=\left\{o_{x}^{\alpha }:\exists o_{k}^{\alpha }h(x){\text{ y }}\lim _{\alpha \to n}o_{k}^{\alpha }h(x)=\partial _{k}^{n}h(x)\ \forall k\geq 1\right\},$

cuyo complemento es:

$O_{x,\alpha }^{n,c}(h):=\left\{o_{x}^{\alpha }:\exists o_{k}^{\alpha }h(x)\ \forall k\geq 1{\text{ y }}\lim _{\alpha \to n}o_{k}^{\alpha }h(x)\neq \partial _{k}^{n}h(x){\text{ para al menos un }}k\geq 1\right\}.$

Como consecuencia, se define el siguiente conjunto:

$O_{x,\alpha }^{n,u}(h):=O_{x,\alpha }^{n}(h)\cup O_{x,\alpha }^{n,c}(h).$

Extensión a funciones vectoriales

Para una función $h:\Omega \subset \mathbb {R} ^{m}\to \mathbb {R} ^{m}$, el conjunto se define como:

${}_{m}O_{x,\alpha }^{n,u}(h):=\left\{o_{x}^{\alpha }:o_{x}^{\alpha }\in O_{x,\alpha }^{n,u}([h]_{k})\ \forall k\leq m\right\},$

donde $[h]_{k}:\Omega \subset \mathbb {R} ^{m}\to \mathbb {R}$ denota el $k$-ésimo componente de la función $h$.

Notación en cálculo en variedades

Otra notación ampliamente usada en el cálculo tensorial es la forma usada para los vectores de la base. Cuando se hace cálculo tensorial en una variedad diferencial o superficie curva, el espacio básico que sirve para definir las magnitudes es el espacio tangente a dicha variedad en cada punto. Cuando se emplean coordenadas curvilíneas $\scriptstyle (x^{1},\dots ,x^{n})$, dada la relación isomórfica que existe entre derivaciones sobre la variedad y el conjunto de elementos del espacio tangente, se puede construir una base del espacio vectorial tangente formada por las derivadas direccionales según las direcciones dadas por las coordenadas; así una base vectorial del espacio tangente en cada punto p viene dada por:

${\mathcal {B}}_{p}=\left\{{\frac {\partial }{\partial x^{1}}}{\Big |}_{p},\dots ,{\frac {\partial }{\partial x^{n}}}{\Big |}_{p}\right\}$

Por otra parte la base del espacio cotangente, que es el espacio dual del espacio tangente, se puede expresar mediante la diferencial exterior de las coordenadas consideradas como funciones reales sobre la variedad:

${\mathcal {B}}_{p}^{*}=\left\{dx^{1}{\big |}_{p},\dots ,dx^{n}{\big |}_{p}\right\}$

Álgebra de tensores

Debido a que las operaciones de los tensores de orden cero (escalares), uno (vectores) y dos (matrices) son conocidas, para los tensores se espera que solo se generalicen algunas operaciones. El conjunto de todos los tensores p-veces covariantes y q-veces contravariantes definidos sobre el espacio vectorial V se denota como $\scriptstyle {\mathcal {T}}_{q}^{p}(V)$ (algunos autores usan la notación inversa $\scriptstyle {\mathcal {T}}_{p}^{q}(V)$) forman un espacio vectorial $\scriptstyle ({\mathcal {T}}_{q}^{p}(V),+,\mathbb {R} )$ con la suma y la resta definidas como, ya que la suma está bien definida para tensores de los mismos órdenes $V_{ij...k}\,$ y $W_{ij...k}\,$; así su suma y resta estaría dada por:

$S_{ij..k}=V_{ij...k}+W_{ij...k}\;$

$D_{ij..k}=V_{ij...k}-W_{ij...k}\;$

Este espacio vectorial es de dimensión $\scriptstyle n^{q+p}$ donde $\scriptstyle n$ es la dimensión del espacio vectorial V.

Otro conjunto de operaciones importantes tienen que ver con el cambio de orden de los índices de un tensor. Si $T_{ij..k}\;$ son los componentes de un tensor, de la misma manera el conjunto formado por el intercambio de dos índices, es decir $T_{ji..k}\;$, también lo es. En términos de esos intercambios de índices pueden identificarse subespacios vectoriales:

• Se dice que el tensor es simétrico si el intercambio de cualquier par de índices no altera el tensor:

$T_{ij..k}=T_{ji..k}\;$ el conjunto de todos los tensores simétricos del espacio $\scriptstyle ({\mathcal {T}}_{q}^{p}(V),+,\mathbb {R} )$ forma un subespacio del mismo denotado como $\scriptstyle (Sym({\mathcal {T}}_{q}^{p}(V)),+,\mathbb {R} )$

• Se dice que el tensor es antisimétrico si el intercambio de cualquier par de índices altera el signo del tensor:

$T_{ij..k}=-T_{ji..k}\;$ el conjunto de todos los tensores antisimétricos de orden k de un espacio tensorial también forma un subespacio denotado como $\scriptstyle (Alt({\mathcal {T}}_{q}^{p}(V)),+,\mathbb {R} )$ es de dimensión $\scriptstyle n!/(k!(n-k)!)$

Por otra parte, un tensor arbitrario no es simétrico ni antisimétrico. Un tensor de orden 2 siempre puede expresarse como la suma de un tensor simétrico ($S_{ij}\,$) y uno antisimétrico ($A_{ij}\,$):

$T_{ij}={\frac {1}{2}}(T_{ij}+T_{ji})+{\frac {1}{2}}(T_{ij}-T_{ji})=S_{ij}+A_{ij}\;$. Esto no es posible para tensores de orden superior a 2.

Operaciones con tensores

Producto tensorial y producto exterior

Dados dos tensores se puede definir entre ellos el llamado producto tensorial cuyo resultado es un tensor de tipo más complejo cuyos componentes pueden obtenerse a partir de los tensores originales.

El producto de dos tensores es un tensor cuyo rango es la suma de los rangos dados por los dos tensores. Este producto implica la multiplicación ordinaria de los componentes de un tensor y es llamado producto exterior.

Por ejemplo:

$A_{i}^{jk}B_{m}^{l}=C_{im}^{jkl}\,$

Subir y bajar índices

En una variedad riemanniana existe la posibilidad de definir una operación sobre tensores, que en general no puede realizarse en una variedad cualquiera. Esa operación permite sustituir en los cálculos un tensor de tipo $T_{l}^{k}$ por otro de tipo $T_{l'}^{k'}$ con tal que $k+l=k'+l'$. Esta operación se denomina usualmente ley de subir o bajar índices. Esa operación se basa en la existencia de un isomorfismo entre espacios de tensores covariantes y contravariantes definidos sobre una variedad riemanniana o pseudoriemanniana $({\mathcal {M}},g_{ij})$. Por tanto para emplear la subida y bajada de índices es necesario usar el tensor métrico $g_{ij}\,$ (y su inverso $g^{ij}\,$, llamado co-tensor métrico).

Estas operaciones resultan muy útiles en la teoría general de la relatividad donde cualquier magnitud física puede ser representada por tensores covariantes o contravariantes indistintamente, y sin alterar el significado físico, según las necesidades del problema planteado. Así para cualquier magnitud física representada por un tensor de tercer rango, puede ser representado por varios conjuntos de magnitudes relacionables gracias a la operación de "subir y bajar índices":

$T_{\alpha \beta \gamma },\ T_{\alpha \beta }{}^{\gamma },\ T_{\alpha }{}^{\beta }{}_{\gamma },\ T_{\alpha }{}^{\beta \gamma },\ T^{\alpha }{}_{\beta \gamma },\ T^{\alpha }{}_{\beta }{}^{\gamma },\ T^{\alpha \beta }{}_{\gamma },\ T^{\alpha \beta \gamma }$

Contracción

La contracción de tensores es una operación que reduce el orden total de un tensor. Esta operación reduce un tensor tipo $(n,m)\,$ a otro tipo $(n-1,m-1)\,$. En términos de componentes, esta operación se logra sumando el índice de un tensor contravariante y un covariante. Por ejemplo, un tensor (1,1) $T_{j}^{i}\,$ puede ser contraído a un escalar a través de $T_{i}^{i}\,$; donde el convenio de sumación de Einstein es empleado. Cuando el tensor (1,1) se interpreta como un mapeo lineal, esta operación es conocida como la traza.

La contracción se utiliza usualmente con el producto tensorial para contraer el índice de cada tensor. La contracción puede también entenderse en términos de la definición de un tensor como un elemento de un producto tensorial de copias del espacio $V\,$ con el espacio $V^{*}\,$, descomponiendo primero el tensor en una combinación lineal de tensores más simples, y posteriormente aplicando un factor de $V^{*}\,$ a un factor de $V\,$. Por ejemplo

$T\in V\otimes V\otimes V^{*}$

puede ser escrito como la combinación lineal de

$T=v_{1}\otimes w_{1}\otimes \alpha _{1}+v_{2}\otimes w_{2}\otimes \alpha _{2}+\cdots +v_{N}\otimes w_{N}\otimes \alpha _{N}.$

La contracción de $T\,$ en el primero y último espacio es entonces el vector

$\alpha _{1}(v_{1})w_{1}+\alpha _{2}(v_{2})w_{2}+\cdots +\alpha _{N}(v_{N})w_{N}.$

Producto Interno

El producto interno de dos tensores se produce al contraer el producto exterior de los tensores. Por ejemplo, dados dos tensores $A_{k}^{ij}\,$ y $B_{m}^{l}\,$ su producto externo es $A_{k}^{ij}B_{m}^{l}\,$. Igualando índices, $k=l\,$, se obtiene el producto interno: $A_{k}^{ij}B_{m}^{k}\,$.

Dual de Hodge

El operador estrella de Hodge en un espacio vectorial V es un operador lineal en el álgebra exterior de V, intercambiando los subespacios de k-vectores y el de n−k-vectores, donde n = dim V, para 0 ≤ k ≤ n. Un ejemplo común del uso del dual de Hodge es el producto vectorial sobre un espacio euclídeo tridimensional dotado de la métrica ordinaria:

${\vec {a}}\times {\vec {b}}=*(\phi _{\vec {a}}\wedge \phi _{\vec {b}})$

Cálculo tensorial en variedades

Tanto la geometría diferencial avanzada como la teoría general de la relatividad requieren el uso de tensores construidos sobre espacios vectoriales diferentes. Esto sucede porque tanto en las superficies curvas como en el espacio-tiempo curvo el espacio tangente de diferentes puntos no coincide y es necesario "conectarlos" o construir aplicaciones entre ellos de alguna manera. Una manera de hacer cálculo tensorial en esas situaciones es definir una conexión matemática que permita definir la derivación covariante. Además la estructura diferenciable permite construir la aplicación diferencial tangente que permite construir isomorfismo entre los diferentes espacios tangentes. El cálculo tensorial en esas situaciones se construye a partir de secciones sobre fibrados tangentes asociados a cada tipo de tensor.

Aplicaciones progrediente y regrediente

Dadas dos variedades diferenciables $\scriptstyle {\mathcal {M}}$ de dimensión m y $\scriptstyle {\mathcal {N}}$ de dimensión n y una aplicación entre ellas $\scriptstyle \phi :{\mathcal {M}}\to {\mathcal {N}}$ el concepto de aplicación diferencial tangente (o pushforward) es una aplicación lineal entre los fibrados tangentes de ambas variedades.

Una aplicación entre variedades se dice diferenciable si dada una carta local $\scriptstyle (U,\psi _{U})\ (U\subset {\mathcal {M}})$ que contenga al punto $\scriptstyle p$ y $\scriptstyle (V,\psi _{V})\ (V\subset {\mathcal {N}})$ que contenga a $\scriptstyle \phi (p)$, la aplicación $\scriptstyle F:\psi _{U}(U)\subset \mathbb {R} ^{m}\to \psi _{V}(V)\subset \mathbb {R} ^{n}$es diferenciable como función de $\scriptstyle \mathbb {R} ^{m}$ a $\scriptstyle \mathbb {R} ^{n}$.

La aplicación lineal tangente (llamada frecuentemente pushforward) se puede definir para una aplicación diferenciable entre variedades. Dado un vector del espacio tangente $\scriptstyle \mathbf {v}$ en un punto, queda definida una aplicación sobre el conjunto de funciones definidas en el entorno de dicho punto, que asigna a cada función (a valores reales) la derivada direccional de la función según el vector $\scriptstyle \mathbf {v}$:

$\mathbf {v} :C^{(k)}({\mathcal {M}})\to \mathbb {R} ,\qquad f\mapsto \mathbf {v} (f)$

Teniendo presente la anterior operación de vectores sobre funciones y dada la aplicación diferenciable $\scriptstyle \phi :{\mathcal {M}}\to {\mathcal {N}}$ se define la aplicación lineal tangente:

$\phi _{*}:T{\mathcal {M}}\to T{\mathcal {N}}$

Tal que a un vector en p $\scriptstyle (p,\mathbf {v} )$ le asigna el único vector $\scriptstyle (\phi (p),\mathbf {w} )$ que hace que se cumpla que:

$\mathbf {v} ({\tilde {f}})|_{p}=\mathbf {w} (f)|_{\phi (p)},\quad \forall f:{\mathcal {N}}\to \mathbb {R}$

Donde:

${\tilde {f}}:=f\circ \phi :{\mathcal {M}}\to \mathbb {R} \quad ,\qquad \phi _{*}(\mathbf {v} )=\mathbf {w}$

Una vez definida la aplicación lineal tangente puede definirse la aplicación (diferencial) cotangente (o pullback) sobre 1-formas como:

$\phi ^{*}:T^{*}{\mathcal {N}}\to T^{*}{\mathcal {M}},\qquad \forall \omega \in T^{*}{\mathcal {N}}:\forall \mathbf {v} \in T{\mathcal {M}}:\phi ^{*}(\omega )(\mathbf {v} )=(\omega )(\phi _{*}\mathbf {v} )$

Tensor métrico

Si la variedad diferenciable tiene estructura de variedad riemanniana o pseudoriemanniana entonces se pueden definir estructuras más complejas y enriquecer el conjunto de herramientas del cálculo tensorial sobre esa variedad. Un tensor métrico g es en esencia un tensor 2-covariante y simétrico definido sobre toda la variedad y no degenerado:

1. $g(X,Y)=g(Y,X),\qquad \forall X,Y\in T_{p}{\mathcal {M}}$
2. $\det(g)\neq 0,\qquad \qquad \forall X\in T_{p}{\mathcal {M}}$

Derivada covariante

Puede probarse que una variedad riemanniana o pseudoriemanniana ${\mathcal {M}}\subset \mathbb {R} ^{n}$es localmente isométrica al espacio euclídeo si y sólo si su tensor de curvatura de Riemann se anula. Si la variedad tiene curvatura no nula puede demostrarse que la particularización de las derivadas direccionales de $\mathbb {R} ^{n}$ no tienen las propiedades de invariancia esperadas. En concreto, la derivada no covariante de un vector tangente en general no resulta en un vector tangente también a la variedad, y por lo tanto, no da lugar a un objeto tensorial definible sobre la variedad.

Para resolver esos problemas se define una conexión que permita relacionar el espacio tangente en puntos diferentes de la variedad (a diferencia del caso euclídeo si la variedad es curva la orientación del espacio tangente), considerado como subconjunto de $\mathbb {R} ^{n}$, variará de un punto a otro.

Derivada de Lie

La derivada de Lie se define como un operador en un álgebra de funciones diferenciables sobre una variedad diferenciable $\scriptstyle {\mathcal {M}}$, cuya definición puede extenderse al álgebra tensorial de la variedad, es decir, una aplicación $\scriptstyle \mathbb {R}$-lineal sobre el conjunto de tensores de tipo (r,s), que preserva el tipo tensorial y satisface la regla del producto de Leibniz y que conmuta con las contracciones.

Para definir la derivada de Lie sobre el conjunto de tensores de tipo (r,s) bastará con definir su acción sobre funciones y sobre campos de vectores. Así, si X es un campo diferenciable de vectores, se define la derivada de Lie con respecto a X como la única derivación tensorial tal que:​

• ${\mathcal {L}}_{X}f=X(f)$ para toda función diferenciable f.
• ${\mathcal {L}}_{X}Y=[X,Y]$ para todo campo diferenciable Y, y donde [,] es el corchete de Lie.

Derivación exterior

Dada una n-forma (tensor n-covariante totalmente antisimétrico):

$T=T_{i_{1}\dots ,i_{n}}\ dx^{i_{1}}\land \dots \land dx^{i_{n}}\in \Lambda ^{n}(V)$

La diferenciación exterior $\scriptstyle d$ es una aplicación en el álgebra graduada de n-formas que opera según:

$d:\Lambda ^{n}\to \Lambda ^{n+1},dT=d(T)={\frac {\partial T_{i_{1}\dots ,i_{n}}}{\partial x^{\alpha }}}\ dx^{\alpha }\land dx^{i_{1}}\land \dots \land dx^{i_{n}}\in \Lambda ^{n+1}(V)$

De forma que la diferenciación exterior es una combinación lineal de n+1 derivadas parciales de los componentes de la n-forma original. Es interesante notar que la diferenciación exterior generaliza las operaciones de gradiente, rotacional o divergencia, así cuando se considera el cálculo tensorial sobre $\scriptstyle \mathbb {R} ^{3}$:

${\begin{cases}{\mbox{grad}}\ f=df&f\in {\mathcal {C}}^{1}(\mathbb {R} ^{3})=\Lambda ^{0}(\mathbb {R} ^{3})\\{\mbox{rot}}\ \mathbf {F} =d\mathbf {F} &\mathbf {F} \in {\mathcal {C}}^{1}(\mathbb {R} ^{3},\mathbb {R} ^{3})=\Lambda ^{1}(\mathbb {R} ^{3})\\{\mbox{div}}\ \mathbf {F} =*d(*\mathbf {F} )&*\mathbf {F} \in {\mathcal {C}}^{1}(\mathbb {R} ^{3}\times \mathbb {R} ^{3},\mathbb {R} )=\Lambda ^{2}(\mathbb {R} ^{3})\end{cases}}$

Donde $*\,$ denota el operador dual de Hodge.

Notación indexada

La notación tensorial utiliza índices superiores e inferiores en objetos, que sirven para etiquetar un objeto variable como covariante (índices inferiores), contravariante (índices superiores) o covariante y contravariante mixto (que tiene índices superiores e inferiores). De hecho, en la sintaxis matemática convencional se utilizan índices covariantes cuando se trabaja con sistemas de coordenadas cartesianas $(x_{1},x_{2},x_{3})$ con frecuencia sin tener en cuenta que se trata de un uso limitado de la sintaxis tensorial como componentes indexados covariantes. Por otro lado, hay que evitar confundir el índice superior de un objeto con las operación de potenciación de la sintaxis matemática convencional.

Descomposición vectorial

La notación tensorial permite descomponer un vector (${\vec {V}}$) en una suma de Einstein que representa la contracción tensorial de una base (${\vec {Z}}_{i}$ o ${\vec {Z}}^{i}$) con un vector componente ($V_{i}$ o $V^{i}$).

${\vec {V}}=V^{i}{\vec {Z}}_{i}=V_{i}{\vec {Z}}^{i}$

Cada vector tiene dos representaciones diferentes, una denominada componente contravariante ($V^{i}$) con base covariante (${\vec {Z}}_{i}$) y la otra como componente covariante ($V_{i}$) con base contravariante (${\vec {Z}}^{i}$). Los objetos tensoriales con todos los índices superiores se denominan contravariantes y los objetos tensoriales con todos los índices inferiores se denominan covariantes. La necesidad de distinguir entre contravariante y covariante surge del hecho de que cuando se puntea un vector arbitrario con su vector base relacionado con un sistema de coordenadas particular, hay dos formas de interpretar este producto escalar, o se ve como la proyección del vector base sobre el vector arbitrario, o se ve como la proyección del vector arbitrario sobre el vector base. Ambas formas de ver el producto escalar son completamente equivalentes, pero tienen diferentes elementos componentes y diferentes vectores base:

${\vec {V}}\cdot {\vec {Z}}_{i}=V_{i}={\vec {V}}^{T}{\vec {Z}}_{i}={\vec {Z}}_{i}^{T}{\vec {V}}={\mathrm {proj} _{{\vec {Z}}^{i}}({\vec {V}})}\cdot {\vec {Z}}_{i}={\mathrm {proj} _{\vec {V}}({\vec {Z}}^{i})}\cdot {\vec {V}}$

${\vec {V}}\cdot {\vec {Z}}^{i}=V^{i}={\vec {V}}^{T}{\vec {Z}}^{i}={{\vec {Z}}^{i}}^{T}{\vec {V}}={\mathrm {proj} _{{\vec {Z}}_{i}}({\vec {V}})}\cdot {\vec {Z}}^{i}={\mathrm {proj} _{\vec {V}}({\vec {Z}}_{i})}\cdot {\vec {V}}$

Por ejemplo, en física se empieza con un campo vectorial, se descompone con respecto a la base covariante y así se obtienen las coordenadas contravariantes. Para coordenadas cartesianas ortonormales, las bases covariante y contravariante son idénticas, ya que la base establecida en este caso es solo la matriz identidad. Sin embargo, para sistemas de coordenadas no afines como polares o esféricos, es necesario distinguir entre descomposición mediante el uso de bases contravariantes o covariantes para generar los componentes del sistema de coordenadas.

Descomposición vectorial covariante

${\vec {V}}=V^{i}{\vec {Z}}_{i}$

Variable	Descripción	Tipo
${\vec {V}}$	Vector	Invariante
$V^{i}$	Componentes contravariantes (conjunto ordenado de escalares)	Variante
${\vec {Z}}_{i}$	Bases covariantes (conjunto ordenado de vectores)	Variante

Descomposición vectorial contravariante

${\vec {V}}=V_{i}{\vec {Z}}^{i}$

Variable	Descripción	Tipo
${\vec {V}}$	Vector	Invariante
$V_{i}$	Componentes covariantes (conjunto ordenado de escalares)	Variante
${\vec {Z}}^{i}$	Bases contravariantes (conjunto ordenado de covectores)	Variante

Tensor métrico

El tensor métrico representa una matriz con elementos escalares ($Z_{ij}$ o $Z^{ij}$) y es un objeto tensorial que se utiliza para subir o bajar el índice de otro objeto tensorial mediante una operación llamada contracción, permitiendo así convertir un tensor covariante en un tensor contravariante y viceversa.

Ejemplo de reducción de índice usando un tensor métrico:

$T_{i}=Z_{ij}T^{j}$

Ejemplo de aumento de índice usando un tensor métrico:

$T^{i}=Z^{ij}T_{j}$

El tensor métrico se define como:

$Z_{ij}={\vec {Z}}_{i}\cdot {\vec {Z}}_{j}$

$Z^{ij}={\vec {Z}}^{i}\cdot {\vec {Z}}^{j}$

Esto significa que si se toma cada permutación de un conjunto de vectores base y las comparamos entre sí, y luego se organizan en una matriz cuadrada, se tendría un tensor métrico. La advertencia aquí es cuál de los dos vectores en la permutación se usa para la proyección contra el otro vector, es decir, la propiedad distintiva del tensor métrico covariante en comparación con el tensor métrico contravariante.

Existen dos tipos de tensores métricos: (1) el tensor métrico contravariante ($Z^{ij}$) y (2) el tensor métrico covariante ($Z_{ij}$). Estos dos tipos de tensor métrico están relacionados por la identidad:

$Z_{ik}Z^{jk}=\delta _{i}^{j}$

Para un sistema de coordenadas cartesianas ortonormal, el tensor métrico es solo la delta de Kronecker $\delta _{ij}$ o $\delta ^{ij}$, que es solo un tensor equivalente de la matriz identidad y $\delta _{ij}=\delta ^{ij}=\delta _{j}^{i}$.

Jacobiano

Además, un tensor se puede convertir fácilmente de un sistema de coordenadas sin barras ($x$) a uno con barras (${\bar {x}}$) que tiene diferentes conjuntos de vectores base:

$f(x^{1},x^{2},\dots ,x^{n})=f{\bigg (}x^{1}({\bar {x}}),x^{2}({\bar {x}}),\dots ,x^{n}({\bar {x}}){\bigg )}={\bar {f}}({\bar {x}}^{1},{\bar {x}}^{2},\dots ,{\bar {x}}^{n})={\bar {f}}{\bigg (}{\bar {x}}^{1}(x),{\bar {x}}^{2}(x),\dots ,{\bar {x}}^{n}(x){\bigg )}$

mediante el uso de la matriz jacobiana entre el sistema de coordenadas barrado y el no barrado (${\bar {J}}=J^{-1}$). El jacobiano entre el sistema barrado y no barrado es fundamental para definir los vectores base covariantes y contravariantes, ya que para que estos vectores existan deben satisfacer la siguiente relación relativa al sistema barrado y no barrado:

Se requiere que los vectores contravariantes obedezcan las leyes siguientes:

$v^{i}={\bar {v}}^{r}{\frac {\partial x^{i}({\bar {x}})}{\partial {\bar {x}}^{r}}}$

${\bar {v}}^{i}=v^{r}{\frac {\partial {\bar {x}}^{i}(x)}{\partial x^{r}}}$

Se requiere que los vectores covariantes obedezcan las leyes siguientes:

$v_{i}={\bar {v}}_{r}{\frac {\partial {\bar {x}}^{i}(x)}{\partial x^{r}}}$

${\bar {v}}_{i}=v_{r}{\frac {\partial x^{r}({\bar {x}})}{\partial {\bar {x}}^{i}}}$

Hay dos tipos de matriz jacobiana:

1. La matriz J que representa el cambio de coordenadas sin barras a coordenadas con barras. Para encontrar J, se toma el "gradiente barrado", es decir, la derivada parcial con respecto a ${\bar {x}}^{i}$:

$J={\bar {\nabla }}f(x({\bar {x}}))$

2. La matriz ${\bar {J}}$, que representa el cambio de coordenadas barradas a coordenadas no barradas. Para encontrar ${\bar {J}}$, se toma el "gradiente sin barras", es decir, la derivada parcial con respecto a $x^{i}$:

${\bar {J}}=\nabla {\bar {f}}({\bar {x}}(x))$

Vector gradiente

El cálculo tensorial proporciona una generalización de la fórmula vectorial de gradiente del cálculo estándar, que funciona en todos los sistemas de coordenadas:

$\nabla F=\nabla _{i}F{\vec {Z}}^{i}$

donde:

$\nabla _{i}F={\frac {\partial F}{\partial Z^{i}}}$

Por el contrario, para el cálculo estándar, la fórmula del gradiente vectorial depende del sistema de coordenadas en uso (por ejemplo: la fórmula del gradiente vectorial cartesiano frente a la fórmula del gradiente vectorial polar, o frente a la fórmula del gradiente vectorial esférico). En el cálculo estándar, cada sistema de coordenadas tiene su propia fórmula específica, a diferencia del cálculo tensorial, que tiene solo una fórmula de gradiente que es equivalente para todos los sistemas de coordenadas. Esto es posible gracias a la comprensión del tensor métrico que utiliza el cálculo tensorial.

Criterios generales para la notación y operaciones con índices

Dos tensores son iguales si y solo si todos sus componentes correspondientes son iguales. Por ejemplo, el tensor A es igual al tensor B si y solo si:

$A^{\alpha }{}_{\beta \gamma }=B^{\alpha }{}_{\beta \gamma }$

para todos los α, β, γ. En consecuencia, hay facetas de la notación que son útiles para comprobar que una ecuación tiene sentido (un procedimiento análogo al análisis dimensional).

Índices libres y ficticios

Los índices que no participan en las contracciones se denominan índices libres. Los índices utilizados en las contracciones se denominan índices ficticios o índices de suma.

Una ecuación tensorial representa muchas ecuaciones ordinarias (de valor real)

Los componentes de los tensores (como A^α o B_β^γ) son solo números reales. Dado que los índices toman varios valores enteros para seleccionar componentes específicos de los tensores, una única ecuación tensorial representa muchas ecuaciones ordinarias. Si una igualdad tensorial tiene n índices libres, y si la dimensionalidad del espacio vectorial subyacente es m, la igualdad representa mⁿ ecuaciones: cada índice toma cada valor de un conjunto específico de valores.

Por ejemplo, si

$A^{\alpha }B_{\beta }{}^{\gamma }C_{\gamma \delta }+D^{\alpha }{}_{\beta }{}E_{\delta }=T^{\alpha }{}_{\beta }{}_{\delta }$

está en cuatro dimensiones (es decir, cada índice va de 0 a 3 o de 1 a 4), entonces como hay tres índices libres (α, β, δ), hay 4³ = 64 ecuaciones. Tres de estas son:

${\begin{aligned}A^{0}B_{1}{}^{0}C_{00}+A^{0}B_{1}{}^{1}C_{10}+A^{0}B_{1}{}^{2}C_{20}+A^{0}B_{1}{}^{3}C_{30}+D^{0}{}_{1}{}E_{0}&=T^{0}{}_{1}{}_{0}\\A^{1}B_{0}{}^{0}C_{00}+A^{1}B_{0}{}^{1}C_{10}+A^{1}B_{0}{}^{2}C_{20}+A^{1}B_{0}{}^{3}C_{30}+D^{1}{}_{0}{}E_{0}&=T^{1}{}_{0}{}_{0}\\A^{1}B_{2}{}^{0}C_{02}+A^{1}B_{2}{}^{1}C_{12}+A^{1}B_{2}{}^{2}C_{22}+A^{1}B_{2}{}^{3}C_{32}+D^{1}{}_{2}{}E_{2}&=T^{1}{}_{2}{}_{2}.\end{aligned}}$

Esto ilustra la compacidad y eficiencia del uso de la notación de índices: muchas ecuaciones que comparten una estructura similar se pueden recopilar en una ecuación tensorial simple.

Los índices son etiquetas reemplazables

Reemplazar cualquier símbolo de índice por otro deja la ecuación del tensor sin cambios (siempre que no haya conflicto con otros símbolos ya utilizados). Esto puede resultar útil al manipular índices, como utilizar la notación de índices para verificar identidades del cálculo vectorial o las identidades de la delta de Kronecker y del símbolo de Levi-Civita (véase más adelante). Un ejemplo de un cambio correcto es:

$A^{\alpha }B_{\beta }{}^{\gamma }C_{\gamma \delta }+D^{\alpha }{}_{\beta }{}E_{\delta }\rightarrow A^{\lambda }B_{\beta }{}^{\mu }C_{\mu \delta }+D^{\lambda }{}_{\beta }{}E_{\delta }\,,$

mientras que un cambio erróneo es:

$A^{\alpha }B_{\beta }{}^{\gamma }C_{\gamma \delta }+D^{\alpha }{}_{\beta }{}E_{\delta }\nrightarrow A^{\lambda }B_{\beta }{}^{\gamma }C_{\mu \delta }+D^{\alpha }{}_{\beta }{}E_{\delta }\,.$

En el primer reemplazo, λ reemplazó a α y μ reemplazó a γ en todas partes, por lo que la expresión todavía tiene el mismo significado. En el segundo, λ no reemplazó completamente a α, y μ no reemplazó completamente a γ (por cierto, la contracción en el índice γ se convirtió en un producto tensorial), lo cual es completamente inconsistente por las razones que se muestran a continuación.

Los índices son los mismos en todos los términos

Los índices libres en una expresión tensorial siempre aparecen en la misma posición (superior o inferior) en cada término, y en una ecuación tensorial los índices libres son los mismos en cada lado. Los índices ficticios (lo que implica una suma sobre ese índice) no tienen por qué ser iguales, por ejemplo:

$A^{\alpha }B_{\beta }{}^{\gamma }C_{\gamma \delta }+D^{\alpha }{}_{\delta }E_{\beta }=T^{\alpha }{}_{\beta }{}_{\delta }$

en cuanto a una expresión errónea:

$A^{\alpha }B_{\beta }{}^{\gamma }C_{\gamma \delta }+D_{\alpha }{}_{\beta }{}^{\gamma }E^{\delta }.$

En otras palabras, los índices no repetidos deben ser del mismo tipo en todos los términos de la ecuación. En la identidad anterior, α, β, δ se alinea en todo momento y γ aparece dos veces en un término debido a una contracción (una vez como índice superior y otra como índice inferior) y, por lo tanto, es una expresión válida. En la expresión no válida, mientras β se alinea, α y δ no lo hacen, y γ aparece dos veces en un término (contracción) y una vez en otro término, lo cual es inconsistente.

Los corchetes y la puntuación se utilizan una vez cuando están implícitos

Cuando se aplica una regla a varios índices (como por ejemplo diferenciación o simetrización, como se muestra a continuación), los símbolos de puntuación o corchetes que denotan las reglas solo se muestran en un grupo de índices al que se aplican.

Si los corchetes incluyen índices covariantes, la regla se aplica solo a todos los índices covariantes incluidos entre corchetes, no a ningún índice contravariante que se encuentre ubicado intermediamente entre los corchetes.

De manera similar, si los corchetes incluyen índices contravariantes, la regla se aplica solo a todos los índices contravariantes incluidos, no a los índices covariantes colocados en un lugar intermedio.

Partes simétricas y antisimétricas

Parte de un tensor simétrica

Los paréntesis ( ) colocados alrededor de múltiples índices, denotan la parte simetrizada del tensor. Al simetrizar índices p usando σ para abarcar permutaciones de los números 1 a p, se toma una suma de las permutaciones de esos índices α_σ(i) para i= 1, 2, 3, ..., p y luego se divide por el número de permutaciones:

$A_{(\alpha _{1}\alpha _{2}\cdots \alpha _{p})\alpha _{p+1}\cdots \alpha _{q}}={\dfrac {1}{p!}}\sum _{\sigma }A_{\alpha _{\sigma (1)}\cdots \alpha _{\sigma (p)}\alpha _{p+1}\cdots \alpha _{q}}\,.$

Por ejemplo, dos índices simétricos significan que hay dos índices para permutar y sumar:

$A_{(\alpha \beta )\gamma \cdots }={\dfrac {1}{2!}}\left(A_{\alpha \beta \gamma \cdots }+A_{\beta \alpha \gamma \cdots }\right)$

mientras que para tres índices simétricos, hay tres índices para sumar y permutar:

$A_{(\alpha \beta \gamma )\delta \cdots }={\dfrac {1}{3!}}\left(A_{\alpha \beta \gamma \delta \cdots }+A_{\gamma \alpha \beta \delta \cdots }+A_{\beta \gamma \alpha \delta \cdots }+A_{\alpha \gamma \beta \delta \cdots }+A_{\gamma \beta \alpha \delta \cdots }+A_{\beta \alpha \gamma \delta \cdots }\right)$

La simetrización es distributiva respecto a la suma

$A_{(\alpha }\left(B_{\beta )\gamma \cdots }+C_{\beta )\gamma \cdots }\right)=A_{(\alpha }B_{\beta )\gamma \cdots }+A_{(\alpha }C_{\beta )\gamma \cdots }$

Los índices no forman parte de la simetrización cuando:

• No están al mismo nivel, por ejemplo;

$A_{(\alpha }B^{\beta }{}_{\gamma )}={\dfrac {1}{2!}}\left(A_{\alpha }B^{\beta }{}_{\gamma }+A_{\gamma }B^{\beta }{}_{\alpha }\right)$

• Dentro de paréntesis y entre barras verticales (es decir |⋅⋅⋅|), modificando el ejemplo anterior

$A_{(\alpha }B_{|\beta |}{}_{\gamma )}={\dfrac {1}{2!}}\left(A_{\alpha }B_{\beta \gamma }+A_{\gamma }B_{\beta \alpha }\right)$

Aquí los índices α y γ están simetrizados, pero β no lo está.

Parte de un tensor antisimétrica o alterna

Los corchetes [ ]]] alrededor de múltiples índices denotan la parte antisimetrizada del tensor. Para índices antisimetrizantes p se toma la suma de las permutaciones de esos índices α_σ(i) multiplicada por paridad de la permutación sgn(σ) y luego se divide por el número de permutaciones:

${\begin{aligned}&A_{[\alpha _{1}\cdots \alpha _{p}]\alpha _{p+1}\cdots \alpha _{q}}\\[3pt]={}&{\dfrac {1}{p!}}\sum _{\sigma }\operatorname {sgn}(\sigma )A_{\alpha _{\sigma (1)}\cdots \alpha _{\sigma (p)}\alpha _{p+1}\cdots \alpha _{q}}\\={}&\delta _{\alpha _{1}\cdots \alpha _{p}}^{\beta _{1}\dots \beta _{p}}A_{\beta _{1}\cdots \beta _{p}\alpha _{p+1}\cdots \alpha _{q}}\\\end{aligned}}$

donde δβ₁⋅⋅⋅β_p
α₁⋅⋅⋅α_p es la delta de Kronecker de grado 2p, con la escala definida a continuación.

Por ejemplo, dos índices antisimetrizantes implican que:

$A_{[\alpha \beta ]\gamma \cdots }={\dfrac {1}{2!}}\left(A_{\alpha \beta \gamma \cdots }-A_{\beta \alpha \gamma \cdots }\right)$

mientras que tres índices antisimetrizantes implican que:

$A_{[\alpha \beta \gamma ]\delta \cdots }={\dfrac {1}{3!}}\left(A_{\alpha \beta \gamma \delta \cdots }+A_{\gamma \alpha \beta \delta \cdots }+A_{\beta \gamma \alpha \delta \cdots }-A_{\alpha \gamma \beta \delta \cdots }-A_{\gamma \beta \alpha \delta \cdots }-A_{\beta \alpha \gamma \delta \cdots }\right)$

En cuanto a un ejemplo más específico, si F representa el tensor de campo electromagnético, entonces la ecuación

$0=F_{[\alpha \beta ,\gamma ]}={\dfrac {1}{3!}}\left(F_{\alpha \beta ,\gamma }+F_{\gamma \alpha ,\beta }+F_{\beta \gamma ,\alpha }-F_{\beta \alpha ,\gamma }-F_{\alpha \gamma ,\beta }-F_{\gamma \beta ,\alpha }\right)\,$

representa la ley del magnetismo de Gauss y la ley de Faraday.

Como antes, la antisimetrización es distributiva con respecto a la suma

$A_{[\alpha }\left(B_{\beta ]\gamma \cdots }+C_{\beta ]\gamma \cdots }\right)=A_{[\alpha }B_{\beta ]\gamma \cdots }+A_{[\alpha }C_{\beta ]\gamma \cdots }$

Al igual que con la simetrización, los índices no están antisimetrizados cuando:

• No están al mismo nivel, como por ejemplo

$A_{[\alpha }B^{\beta }{}_{\gamma ]}={\dfrac {1}{2!}}\left(A_{\alpha }B^{\beta }{}_{\gamma }-A_{\gamma }B^{\beta }{}_{\alpha }\right)$

• Dentro de los corchetes y entre las barras verticales (es decir, |⋅⋅⋅|), modificando el ejemplo anterior

$A_{[\alpha }B_{|\beta |}{}_{\gamma ]}={\dfrac {1}{2!}}\left(A_{\alpha }B_{\beta \gamma }-A_{\gamma }B_{\beta \alpha }\right)$

Aquí los índices α y γ están antisimetrizados, pero β no lo está.

Suma de partes simétricas y antisimétricas

Cualquier tensor se puede escribir como la suma de sus partes simétricas y antisimétricas en dos índices:

$A_{\alpha \beta \gamma \cdots }=A_{(\alpha \beta )\gamma \cdots }+A_{[\alpha \beta ]\gamma \cdots }$

lo que puede verse sumando las expresiones anteriores para A_{(αβ)γ⋅⋅⋅} y A_{[αβ]γ⋅⋅⋅}. Esto no es válido más que para dos índices.

Diferenciación

Véanse también: Cuadrigradiente, D'Alembertiano y Derivada intrínseca.

Para que la notación sea más compacta, las derivadas pueden indicarse añadiendo índices después de una coma o punto y coma.​​

Derivada parcial

Si bien la mayoría de las expresiones del cálculo de Ricci son válidas para bases arbitrarias, las expresiones que involucran derivadas parciales de componentes tensoriales con respecto a coordenadas se aplican solo con una base holonómica, es decir, una base que se define mediante diferenciación con respecto a las coordenadas. Las coordenadas normalmente se denotan por x^μ, pero en general no forman los componentes de un vector. En el espacio-tiempo plano con coordinatización lineal, una tupla de diferencias de coordenadas, Δx^μ, puede tratarse como un vector contravariante. Con las mismas restricciones en el espacio y en la elección del sistema de coordenadas, las derivadas parciales con respecto a las coordenadas producen un resultado que es efectivamente covariante. Aparte de su uso en este caso especial, las derivadas parciales de los componentes de los tensores en general no se transforman de manera covariante, pero son útiles para construir expresiones que son covariantes, aunque todavía con una base de coordenadas si las derivadas parciales se usan explícitamente, como ocurre con la covariante exterior y las derivadas de Lie que figuran a continuación.

Para indicar una diferenciación parcial de los componentes de un campo tensorial con respecto a una variable de coordenadas x^γ, se coloca una coma antes de un índice inferior adjunto de la variable de coordenadas.

$A_{\alpha \beta \cdots ,\gamma }={\dfrac {\partial }{\partial x^{\gamma }}}A_{\alpha \beta \cdots }$

Esto puede repetirse (sin añadir más comas) de la forma siguiente:

$A_{\alpha _{1}\alpha _{2}\cdots \alpha _{p}\,,\,\alpha _{p+1}\cdots \alpha _{q}}={\dfrac {\partial }{\partial x^{\alpha _{q}}}}\cdots {\dfrac {\partial }{\partial x^{\alpha _{p+2}}}}{\dfrac {\partial }{\partial x^{\alpha _{p+1}}}}A_{\alpha _{1}\alpha _{2}\cdots \alpha _{p}}.$

Estos componentes no se transforman covariantemente, a menos que la expresión que se diferencia sea un escalar. Esta derivada se caracteriza por la regla del producto y las derivadas de las coordenadas

$x^{\alpha }{}_{,\gamma }=\delta _{\gamma }^{\alpha },$

donde δ es la delta de Kronecker.

Derivada covariante

La derivada covariante solo se define si se define una conexión. Para cualquier campo tensorial, un punto y coma (; ) colocado antes de un índice inferior (covariante) adjunto indica la diferenciación covariante. Las alternativas menos comunes al punto y coma incluyen la barra hacia adelante (/ )​ o, en un espacio curvo tridimensional, una única barra vertical ( | ).​

La derivada covariante de una función escalar, un vector contravariante y un vector covariante son:

$f_{;\beta }=f_{,\beta }$

$A^{\alpha }{}_{;\beta }=A^{\alpha }{}_{,\beta }+\Gamma ^{\alpha }{}_{\gamma \beta }A^{\gamma }$

$A_{\alpha ;\beta }=A_{\alpha ,\beta }-\Gamma ^{\gamma }{}_{\alpha \beta }A_{\gamma }\,,$

donde Γ^α_γβ son los coeficientes de conexión.

Para un tensor arbitrario:​

${\begin{aligned}T^{\alpha _{1}\cdots \alpha _{r}}{}_{\beta _{1}\cdots \beta _{s};\gamma }&\\=T^{\alpha _{1}\cdots \alpha _{r}}{}_{\beta _{1}\cdots \beta _{s},\gamma }&+\,\Gamma ^{\alpha _{1}}{}_{\delta \gamma }T^{\delta \alpha _{2}\cdots \alpha _{r}}{}_{\beta _{1}\cdots \beta _{s}}+\cdots +\Gamma ^{\alpha _{r}}{}_{\delta \gamma }T^{\alpha _{1}\cdots \alpha _{r-1}\delta }{}_{\beta _{1}\cdots \beta _{s}}\\&-\,\Gamma ^{\delta }{}_{\beta _{1}\gamma }T^{\alpha _{1}\cdots \alpha _{r}}{}_{\delta \beta _{2}\cdots \beta _{s}}-\cdots -\Gamma ^{\delta }{}_{\beta _{s}\gamma }T^{\alpha _{1}\cdots \alpha _{r}}{}_{\beta _{1}\cdots \beta _{s-1}\delta }\,.\end{aligned}}$

Una notación alternativa para la derivada covariante de cualquier tensor es el símbolo nabla con un subíndice ∇_β. Para el caso de un campo vectorial A^α:​

$\nabla _{\beta }A^{\alpha }=A^{\alpha }{}_{;\beta }\,.$

La formulación covariante de derivada direccional de cualquier campo tensorial en un vector v^γ puede expresarse como su contracción con la derivada covariante, por ejemplo:

$v^{\gamma }A_{\alpha ;\gamma }\,.$

Los componentes de esta derivada de un campo tensorial se transforman covariantemente y, por lo tanto, forman otro campo tensorial, a pesar de que las subexpresiones (la derivada parcial y los coeficientes de conexión) no se transforman covariantemente por separado.

Esta derivada se caracteriza por la regla del producto:

$(A^{\alpha }{}_{\beta \cdots }B^{\gamma }{}_{\delta \cdots })_{;\epsilon }=A^{\alpha }{}_{\beta \cdots ;\epsilon }B^{\gamma }{}_{\delta \cdots }+A^{\alpha }{}_{\beta \cdots }B^{\gamma }{}_{\delta \cdots ;\epsilon }\,.$

Tipos de conexión

Una conexión de Koszul sobre un fibrado tangente de una variedad diferenciable se llama conexión afín.

Una conexión se denomina conexión métrica cuando la derivada covariante del tensor métrico desaparece:

$g_{\mu \nu ;\xi }=0\,.$

Una conexión afín que también es una conexión métrica se llama conexión riemanniana. Una conexión de Riemann que no tiene torsión (es decir, para la que el tensor de torsión desaparece: T^α_βγ= 0) es una conexión de Levi-Civita.

Los Γ^α_βγ para una conexión de Levi-Civita en forma de coordenadas se denominan símbolos de Christoffel de segunda especie.

Derivada exterior

La derivada exterior de un campo tensorial (0, s) de tipo totalmente antisimétrico con componentes A_{α1⋅⋅⋅αs</s} (también llamado forma diferencial) es una derivada que es covariante bajo transformaciones de base. No depende ni de un tensor métrico ni de una conexión: solo requiere la estructura de una variedad diferenciable. En una base coordenada, se puede expresar como la antisimetrización de las derivadas parciales de los componentes tensoriales:​

$(\mathrm {d} A)_{\gamma \alpha _{1}\cdots \alpha _{s}}={\frac {\partial }{\partial x^{[\gamma }}}A_{\alpha _{1}\cdots \alpha _{s}]}=A_{[\alpha _{1}\cdots \alpha _{s},\gamma ]}.$

Esta derivada no está definida sobre ningún campo tensorial con índices contravariantes o que no sea totalmente antisimétrico. Se caracteriza por una regla de producto graduado.

Derivada de Lie

La derivada de Lie es covariante bajo transformaciones de bases. Al igual que la derivada exterior, no depende ni de un tensor métrico ni de una conexión. La derivada de Lie de un campo tensorial del tipo (r, s) T en (el flujo de) un campo vectorial contravariante X^ρ puede expresarse usando una base de coordenadas como​

${\begin{aligned}({\mathcal {L}}_{X}T)^{\alpha _{1}\cdots \alpha _{r}}{}_{\beta _{1}\cdots \beta _{s}}&\\=X^{\gamma }T^{\alpha _{1}\cdots \alpha _{r}}{}_{\beta _{1}\cdots \beta _{s},\gamma }&-\,X^{\alpha _{1}}{}_{,\gamma }T^{\gamma \alpha _{2}\cdots \alpha _{r}}{}_{\beta _{1}\cdots \beta _{s}}-\cdots -X^{\alpha _{r}}{}_{,\gamma }T^{\alpha _{1}\cdots \alpha _{r-1}\gamma }{}_{\beta _{1}\cdots \beta _{s}}\\&+\,X^{\gamma }{}_{,\beta _{1}}T^{\alpha _{1}\cdots \alpha _{r}}{}_{\gamma \beta _{2}\cdots \beta _{s}}+\cdots +X^{\gamma }{}_{,\beta _{s}}T^{\alpha _{1}\cdots \alpha _{r}}{}_{\beta _{1}\cdots \beta _{s-1}\gamma }\,.\end{aligned}}$

Esta derivada se caracteriza por la regla del producto y el hecho de que la derivada de Lie de un campo vectorial contravariante respecto de sí misma es cero:

$({\mathcal {L}}_{X}X)^{\alpha }=X^{\gamma }X^{\alpha }{}_{,\gamma }-X^{\alpha }{}_{,\gamma }X^{\gamma }=0\,.$

Tensores notables

Delta de Kronecker

La delta de Kronecker es como la matriz identidad cuando se multiplica y se contrae:

${\begin{aligned}\delta _{\beta }^{\alpha }\,A^{\beta }&=A^{\alpha }\\\delta _{\nu }^{\mu }\,B_{\mu }&=B_{\nu }.\end{aligned}}$

Las componentes δα
β son iguales en cualquier base y forman un tensor invariante de tipo (1, 1), es decir, la identidad del fibrado tangente sobre la función identidad del fibrado, por lo que su traza es un invariante.​ Su traza es la dimensionalidad del espacio; por ejemplo, en el espacio-tiempo de cuatro dimensiones,

$\delta _{\rho }^{\rho }=\delta _{0}^{0}+\delta _{1}^{1}+\delta _{2}^{2}+\delta _{3}^{3}=4.$

La delta de Kronecker pertenece a la familia de deltas de Kronecker generalizadas. La delta de Kronecker generalizada de grado 2p se puede definir en términos de la delta de Kronecker por (una definición común incluye un multiplicador adicional de p! a la derecha):

$\delta _{\beta _{1}\cdots \beta _{p}}^{\alpha _{1}\cdots \alpha _{p}}=\delta _{\beta _{1}}^{[\alpha _{1}}\cdots \delta _{\beta _{p}}^{\alpha _{p}]},$

y actúa como antisimetrizador en p índices:

$\delta _{\beta _{1}\cdots \beta _{p}}^{\alpha _{1}\cdots \alpha _{p}}\,A^{\beta _{1}\cdots \beta _{p}}=A^{[\alpha _{1}\cdots \alpha _{p}]}.$

Tensor de torsión

Una conexión afín tiene un tensor de torsión T^α_βγ:

$T^{\alpha }{}_{\beta \gamma }=\Gamma ^{\alpha }{}_{\beta \gamma }-\Gamma ^{\alpha }{}_{\gamma \beta }-\gamma ^{\alpha }{}_{\beta \gamma },$

donde γ^α_βγ están dados por las componentes del soporte de Lie de la base local, que desaparecen cuando es una base de coordenadas.

Para una conexión de Levi-Civita, este tensor se define como cero, y para una base de coordenadas da las ecuaciones

$\Gamma ^{\alpha }{}_{\beta \gamma }=\Gamma ^{\alpha }{}_{\gamma \beta }.$

Tensor de curvatura

Si este tensor se define como

$R^{\rho }{}_{\sigma \mu \nu }=\Gamma ^{\rho }{}_{\nu \sigma ,\mu }-\Gamma ^{\rho }{}_{\mu \sigma ,\nu }+\Gamma ^{\rho }{}_{\mu \lambda }\Gamma ^{\lambda }{}_{\nu \sigma }-\Gamma ^{\rho }{}_{\nu \lambda }\Gamma ^{\lambda }{}_{\mu \sigma }\,,$

entonces es el conmutador de la derivada covariante consigo mismo:​​

$A_{\nu ;\rho \sigma }-A_{\nu ;\sigma \rho }=A_{\beta }R^{\beta }{}_{\nu \rho \sigma }\,,$

ya que la conexión no tiene torsión, lo que significa que el tensor de torsión desaparece.

Esto se puede generalizar para obtener el conmutador para dos derivadas covariantes de un tensor arbitrario de la siguiente manera:

${\begin{aligned}T^{\alpha _{1}\cdots \alpha _{r}}{}_{\beta _{1}\cdots \beta _{s};\gamma \delta }&-T^{\alpha _{1}\cdots \alpha _{r}}{}_{\beta _{1}\cdots \beta _{s};\delta \gamma }\\&\!\!\!\!\!\!\!\!\!\!=-R^{\alpha _{1}}{}_{\rho \gamma \delta }T^{\rho \alpha _{2}\cdots \alpha _{r}}{}_{\beta _{1}\cdots \beta _{s}}-\cdots -R^{\alpha _{r}}{}_{\rho \gamma \delta }T^{\alpha _{1}\cdots \alpha _{r-1}\rho }{}_{\beta _{1}\cdots \beta _{s}}\\&+R^{\sigma }{}_{\beta _{1}\gamma \delta }T^{\alpha _{1}\cdots \alpha _{r}}{}_{\sigma \beta _{2}\cdots \beta _{s}}+\cdots +R^{\sigma }{}_{\beta _{s}\gamma \delta }T^{\alpha _{1}\cdots \alpha _{r}}{}_{\beta _{1}\cdots \beta _{s-1}\sigma }\,\end{aligned}}$

que a menudo se denominan identidades de Ricci.​

Tensor métrico

El tensor métrico g_αβ se utiliza para reducir índices y proporciona la longitud de cualquier curva en el espacio-tiempo

${\text{length}}=\int _{y_{1}}^{y_{2}}{\sqrt {g_{\alpha \beta }{\frac {dx^{\alpha }}{d\gamma }}{\frac {dx^{\beta }}{d\gamma }}}}\,d\gamma \,,$

donde γ es cualquier parametrización suave y estrictamente monótona de una trayectoria. También da la duración de cualquier curva definida en el espacio-tiempo

${\text{duración}}=\int _{t_{1}}^{t_{2}}{\sqrt {{\frac {-1}{c^{2}}}g_{\alpha \beta }{\frac {dx^{\alpha }}{d\gamma }}{\frac {dx^{\beta }}{d\gamma }}}}\,d\gamma \,,$

donde γ es cualquier parametrización suave y estrictamente monótona de la trayectoria. Véase también elemento de línea.

La matriz invertible g^αβ del tensor métrico es otro tensor importante, utilizado para elevar índices:

$g^{\alpha \beta }g_{\beta \gamma }=\delta _{\gamma }^{\alpha }\,.$

Véase también

• Convenio de sumación de Einstein
• Álgebra multilineal
• Tensor métrico
• uno-forma
• Producto tensorial
• Densidad tensorial
• Curvatura
• Geometría de Riemann
• Tensor de tensiones
• Elasticidad lineal
• Simetrización y antisimetrización

Referencias

Bibliografía

• A. I. Borisenko, I. E. Tarapov (1979), Vector and Tensor Analysis With Applications, Worth Publishers, ISBN 9780486638331. 
• K. F. Riley, M. P. Hobson, S. J. Bence (2006), Mathematical Methods for Physics and Engineering, Cambridge University Press, ISBN 9780521861533. 
• Tai L. Chow (2000), Mathematical Methods for Physicists: A Concise Introduction, Cambridge University Press, ISBN 9780521652278. 

Enlaces externos

• Introducción a tensores para estudiantes de Física e Ingeniería
• Weisstein, Eric W. «Tensores». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
• What is a tensor?
• Tensores en PlanetMath

• Datos: Q3650511