Álgebra tensorial

Álgebra tensorial

En matemática, el álgebra tensorial es (dentro del álgebra abstracta) una construcción de un álgebra asociativa \scriptstyle (\text{T}(V),+,\otimes) partiendo de un espacio vectorial \scriptstyle (V,\mathbb{K},+) (sobre el cuerpo \scriptstyle \mathbb{K}).

Si tomamos una base vectorial para \scriptstyle V, se convierten en variables que no conmutan en \scriptstyle \text{T}(V), ni sujetos a ninguna restricción (más allá de la asociatividad, de la ley distributiva y las \scriptstyle \mathbb{K}-linealidades, donde \scriptstyle \text{T}(V) está definido sobre el cuerpo \scriptstyle \mathbb{K}). Por lo tanto, \scriptstyle \text{T}(V), mirada en términos que no son intrínsecos, se puede ver como el álgebra de polinomios en n variables que no conmutan sobre K, si V tiene dimensión n. Otras álgebras de interés tales como el álgebra exterior aparecen como cocientes de \scriptstyle \text{T}(V), como relaciones impuestas por generadores.

La construcción de \scriptstyle \text{T}(V) es una suma directa de partes graduadas Tk para k = 0, 1, 2,...:

\text{T}(V) = \bigoplus_k \text{T}^k(V) =
\text{T}^0(V) \oplus \text{T}^1(V) \oplus \text{T}^2(V) \oplus \dots

Donde Tk es el producto tensorial de V con sí mismo k veces:

\text{T}^k(V) = \overbrace{V\otimes \dots \otimes V}^k

y \scriptstyle \text{T}^0(V) = \mathbb{K} es un espacio vectorial unidimensional. La función de multiplicación en Ti y Tj mapea a T i + j y es la yuxtaposición natural de los tensores puros, ampliados por bilinealidad. Es decir, el álgebra tensorial es representante de las álgebras con tensores covariantes que se forman de V y de cualquier rango. Para tener el álgebra completa de tensores, contravariantes así como covariantes, se debe tomar \scriptstyle \text{T}(W) donde \scriptstyle W es la suma directa de \scriptstyle V y de su espacio dual - esto consistirá en todos los tensores TIJ con los índices superiores J e índices inferiores I, en la notación clásica.

Uno también se puede referir a \scriptstyle \text{T}(V) como el álgebra libre sobre el espacio vectorial \scriptstyle V. De hecho,el funtor que lleva una K-álgebra A a su espacio K-vectorial subyacente está en un par de funtores adjuntos con T, que es su adjunto izquierdo. El punto de vista de álgebra libre es útil para construcciones como la de un álgebra de Clifford o un álgebra envolvente universal, donde la pregunta sobre la existencia se puede resolver comenzando con T(V) e imponiendo después las relaciones requeridas.

La construcción se generaliza fácilmente al álgebra tensorial de cualquier módulo M sobre un anillo conmutativo.

Álgebra tensorial de una variedad

Dada una variedad diferenciable puede definirse localmente un espacio tangente a partir del cual se puede definir un álgebra tensorial. Como en cada punto se puede definir un espacio tangente, y dados dos puntos sus respectivos espacios tangentes son isomorfos, puede construirse un álgebra tensorial asociada a toda la variedad diferenciable.


Wikimedia foundation. 2010.

Игры ⚽ Нужен реферат?

Mira otros diccionarios:

  • Álgebra tensorial — En matemáticas, el álgebra tensorial es (dentro del álgebra abstracta) una construcción de un álgebra asociativa T(V) partiendo de un espacio vectorial V. Si tomamos vectores de base para V, se convierten en variables que no conmutan en T(V), ni… …   Enciclopedia Universal

  • Álgebra de Clifford — Las álgebras de Clifford son álgebras asociativas de importancia en matemáticas, en particular en teoría de la forma cuadrática y del grupo ortogonal y en la física. Se nombran así por William Kingdon Clifford. Definición formal Sea V un espacio… …   Wikipedia Español

  • Álgebra libre — En álgebra abstracta, el álgebra libre es el análogo no conmutativo del anillo de polinomios. Sea R un anillo. El álgebra libre en n indeterminadas, X1..., Xn, es el anillo generado por todas las combinaciones lineales de los productos de las… …   Wikipedia Español

  • Álgebra multilineal — En la matemática, el álgebra multilineal es una área de estudio que generaliza los métodos del álgebra lineal. Los objetos de estudio son los productos tensoriales de espacios vectoriales y las transformaciones multi lineales entre los espacios.… …   Wikipedia Español

  • Cálculo tensorial — Un tensor de segundo orden, en tres dimensiones. En matemáticas y en física, 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… …   Wikipedia Español

  • Producto tensorial — Saltar a navegación, búsqueda En matemáticas, el producto tensorial, denotado por , se puede aplicar en diversos contextos a vectores, matrices, tensores y espacios vectoriales. En cada caso la significación del símbolo es la misma: la operación… …   Wikipedia Español

  • Campo tensorial — Saltar a navegación, búsqueda Un campo tensorial es una asignación de una aplicación multilineal a cada punto de un dominio del espacio. En física llamamos también campo tensorial a cualquier magnitud física que puede ser representada por una… …   Wikipedia Español

  • Base (álgebra) — Saltar a navegación, búsqueda En álgebra lineal, se dice que un conjunto ordenado B es base de un espacio vectorial V si se cumplen las siguientes condiciones: Todos los elementos de la base B deben ser linealmente independientes. Todos los… …   Wikipedia Español

  • Derivada de Lie — Saltar a navegación, búsqueda En matemática, una derivada de Lie es una derivación en el álgebra de funciones diferenciables sobre una variedad M, cuya definición puede extenderse al álgebra tensorial de la variedad. Obtenemos entonces lo que en… …   Wikipedia Español

  • Introducción matemática a la relatividad general — La teoría de la relatividad general es una teoría métrica de la gravitación que incorpora además una descripción básica de los sistemas de referencia totalmente generales. Matemáticamente la teoría de la relatividad describe los efectos del campo …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”