Clculo tensorial

Un tensor de segundo orden, en tres dimensiones.

En matemticas y en fsica, un tensor es cierta clase de entidad algebraica de varias

componentes, que generaliza los conceptos de escalar, vector y matriz de una manera que
sea independiente de cualquier sistema de coordenadas elegido. En adelante utilizaremos
el convenio de sumacin de Einstein.
Una vez elegida una base vectorial, las componentes de un tensor en una base vendrn
dadas por una multimatriz. El orden de un tensor ser el nmero de ndices necesario para
especificar sin ambigedad una 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.

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, emplendola para lo que actualmente se conoce
como mdulo y fue Woldemar Voigt en 1899 quien la emple en su acepcin actual. La
palabra tensor proviene del latn tensus, participio pasado de tendere 'estirar, extender'. El
nombre se extendi porque la teora de la elasticidad fue una de las primeras aplicaciones
fsicas donde se usaron tensores.
Gregorio Ricci-Curbastro en 1890 desarroll la notacin actual con el nombre de geometra
diferencial absoluta, y se populariz con la publicacin de Clculo Diferencial
Absoluto de Tullio Levi-Civita en 1900. Con la introduccin de la teora de la relatividad
general por parte de Albert Einstein alrededor de 1915 se encontr su aplicacin ms
pragmtica. La Relatividad General es netamente tensorial. Einstein haba aprendido del
mismo Levi-Civita el uso de tensores con gran dificultad.

Caractersticas y uso
Las cantidades geomtricas y fsicas pueden ser categorizadas considerando los grados de
libertad inherentes a su descripcin. Las cantidades escalares son las que se pueden
representar por un solo nmero, por ejemplo masa y temperatura. Hay tambin cantidades
tipo vector, por ejemplo fuerza, que requieren una lista de nmeros para su descripcin.
Finalmente, las cantidades tales como formas cuadrticas requieren naturalmente una matriz
con ndices mltiples para su representacin. Estas ltimas cantidades se pueden concebir
solamente como tensores.
Realmente, la nocin tensorial es absolutamente general. Los escalares y los vectores son
casos particulares de tensores. La propiedad que distingue un escalar de un vector, y
distingue ambos de una cantidad tensorial ms general es el nmero de ndices en la matriz
de la representacin. Este nmero se llama rango de un tensor. As, los escalares son los
tensores de rango cero (sin ndices), y los vectores son los tensores de rango uno.

Uso de tensores
No todas las relaciones en la naturaleza son lineales, pero la mayora es diferenciable y as se
pueden aproximar localmente con sumas de funciones multilineales. As la mayora de
las magnitudes en fsica se pueden expresar como tensores.
Un ejemplo simple es la descripcin de una fuerza aplicada al movimiento de una nave en el
agua. La fuerza es un vector, y la nave responder con una aceleracin, que es tambin un
vector. La aceleracin en general no estar en la misma direccin que la fuerza, debido a la
forma particular del cuerpo de la nave. Sin embargo, resulta que la relacin entre la fuerza y la
aceleracin es lineal. Tal relacin 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 nmeros que
representan un vector cambiarn si uno cambia el conjunto de coordenadas, los nmeros en
la matriz que representa el tensor tambin cambiarn cuando se cambie el conjunto de
coordenadas.
En la ingeniera, las tensiones en el interior de un slido rgido o lquido tambin son descritas
por un tensor. Si un elemento superficial particular dentro del material se selecciona, 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 orientacin de la superficie de una
manera lineal. Esto es descrito por un tensor del tipo (2, 0), o ms 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 geometra son las formas cuadrticas, y
el tensor de curvatura. Algunos ejemplos de tensores fsicos son el tensor de energa-
momento, el tensor de polarizacin y el tensor dielctrico.

Conceptos bsicos
En un sentido prctico un tensor es objeto matemtico representado por un cierto conjunto de
componentes. Para definir un tensor es necesario partir de un espacio fsico o variedad
diferenciable que define cul es el espacio vectorial base V sobre el que se construirn
tensores de diferente tipo y orden. En mecnica clsica por ejemplo el espacio es , aunque en
la teora de la relatividad especial el espacio base es isomorfo a y en la teora general de la
relatividad es el espacio tangente a una variedad lorentziana de cuatro dimensiones. En
matemticas lo ms usual es construir la teora sobre una variedad riemanniana o variedad
pseudoriemanniana n-dimensional.

Tratamiento clsico de los tensores

El enfoque clsico visualiza los tensores como "matrices" de orden superior que son
generalizaciones n-dimensionales de los escalares, vectores de 1 dimensin y matrices de 2
dimensiones. En este enfoque los nmeros reales que aparecen en dichas "matrices" son las
componentes del tensor en una base concreta. Si bien para los casos prcticos este modo de
representacin puede ser muy intuitivo dificulta la manipulacin formal para otros fines menos
prcticos.
Las "componentes" tensoriales son los ndices del arreglo. Esta idea puede ser generalizada
an ms a los campos tensoriales, donde los elementos del tensor son funciones, o
incluso diferenciales. La teora del campo tensorial se puede ver, grosso modo, en este
enfoque, como otra extensin 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 tpicas del lgebra multilineal. Sus propiedades bien conocidas se
pueden derivar de sus definiciones, como funciones lineales o incluso ms generales; y las
reglas para las manipulaciones de tensores se presentan como extensin 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 libre de componentes ms moderno de
vectores substituye el tratamiento basado en componentes tradicional, aunque el tratamiento
basado en componentes se haya utilizado para proporcionar una motivacin elemental para el
concepto de un vector. Se podra decir que el lema es 'tensores son elementos de un cierto
espacio tensorial'.
El enfoque moderno est ms estrechamente asociado al tratamiento que los matemticos
han hecho del clculo tensorial en el que las notaciones generalmente representan el objeto
tensorial y secundariamente las componentes. Esto contrasta con el tratamiento clsico de los
tensores en las ciencias fsicas y la ingeniera que suele representar los tensores mediante
sus componentes y enfatiza mucho las propiedades asociadas a la transformacin de
coordenadas al pasar de un sistema de referencia a otro, o cuando se cambian las
coordenadas.