En matemáticas , el producto tensorial de dos espacios vectoriales V y W (sobre el mismo campo ) es un espacio vectorial al que está asociado un mapa bilineal que asigna un par a un elemento de denotado .
Un elemento de la forma se llama producto tensorial de v y w . Un elemento de es un tensor , y el producto tensorial de dos vectores a veces se denomina tensor elemental o tensor descomponible . Los tensores elementales abarcan en el sentido de que cada elemento de es una suma de tensores elementales. Si se dan bases para V y W , una base de está formada por todos los productos tensoriales de un elemento base de V y un elemento base de W.
El producto tensorial de dos espacios vectoriales captura las propiedades de todos los mapas bilineales en el sentido de que un mapa bilineal desde otro espacio vectorial Z factoriza únicamente a través de un mapa lineal (ver Propiedad universal ).
El producto tensorial de dos espacios vectoriales es un espacio vectorial que se define hasta un isomorfismo . Hay varias formas equivalentes de definirlo. La mayoría consiste en definir explícitamente un espacio vectorial que se llama producto tensorial y, generalmente, la prueba de equivalencia resulta casi inmediatamente de las propiedades básicas de los espacios vectoriales así definidos.
El producto tensorial también se puede definir mediante una propiedad universal ; ver § Propiedad universal, más abajo. Como ocurre con toda propiedad universal, todos los objetos que satisfacen la propiedad son isomorfos mediante un isomorfismo único que es compatible con la propiedad universal. Cuando se utiliza esta definición, las otras definiciones pueden verse como construcciones de objetos que satisfacen la propiedad universal y como pruebas de que hay objetos que satisfacen la propiedad universal, es decir, que existen productos tensoriales.
El producto tensorial de V y W es un espacio vectorial que tiene como base el conjunto de todos con y . Esta definición se puede formalizar de la siguiente manera (esta formalización rara vez se usa en la práctica, ya que la definición informal anterior generalmente es suficiente): es el conjunto de funciones del producto cartesiano a F que tienen un número finito de valores distintos de cero. Las operaciones puntuales forman un espacio vectorial. La función que se asigna a 1 y los otros elementos de a 0 se denota .
Entonces, el conjunto es directamente una base de , que se llama producto tensorial de las bases y .
Podemos definirlo de manera equivalente como el conjunto de formas bilineales que son distintas de cero en solo un número finito de elementos de . Para ver esto, dada una forma bilineal , podemos descomponer y en las bases y como:
donde solo un número finito de 's y ' son distintos de cero, y encontrar por la bilinealidad de eso:
Por tanto, vemos que el valor de for any está única y totalmente determinado por los valores que adopta . Esto nos permite extender los mapas definidos como antes a mapas bilineales , permitiendo:
Entonces podemos expresar cualquier forma bilineal como una combinación lineal formal (potencialmente infinita) de los mapas de acuerdo con:
hacer estos mapas similares a una base de Schauder para el espacio vectorial de todas las formas bilineales en . Para que sea una base de Hamel adecuada , solo queda agregar el requisito de que sea distinto de cero en un número finito de elementos de y, en su lugar, considerar el subespacio de dichos mapas.
En cualquier construcción, el producto tensorial de dos vectores se define a partir de su descomposición en las bases. Más precisamente, tomando las descomposiciones de bases de y como antes:
Esta definición se deriva claramente de los coeficientes de en la expansión por bilinealidad del uso de las bases y , como se hizo anteriormente. Entonces es sencillo verificar que con esta definición, el mapa es un mapa bilineal desde hasta que satisface la propiedad universal que satisface cualquier construcción del producto tensorial (ver más abajo).
Si se organiza en una matriz rectangular, el vector de coordenadas de es el producto exterior de los vectores de coordenadas de y . Por tanto, el producto tensorial es una generalización del producto exterior, es decir, una abstracción del mismo más allá de los vectores de coordenadas.
Una limitación de esta definición del producto tensorial es que, si se cambia de base, se define un producto tensorial diferente. Sin embargo, la descomposición en una base de los elementos de la otra base define un isomorfismo canónico entre los dos productos tensoriales de espacios vectoriales, lo que permite identificarlos. Además, a diferencia de las dos definiciones alternativas siguientes, esta definición no se puede ampliar a una definición del producto tensorial de módulos sobre un anillo .
Como espacio cociente
Se puede obtener una construcción del producto tensorial independiente de la base de la siguiente manera.
Se considera primero un espacio vectorial L que tiene como base el producto cartesiano . Es decir, los elementos base de L son los pares con y . Para obtener dicho espacio vectorial , se puede definir como el espacio vectorial de las funciones que tienen un número finito de valores distintos de cero e identificarse con la función que toma el valor 1 y 0 en caso contrario.
Sea R el subespacio lineal de L que está abarcado por las relaciones que debe satisfacer el producto tensorial. Más precisamente, R está abarcado por los elementos de una de las formas:
donde y .
Entonces, el producto tensorial se define como el espacio cociente :
y la imagen de en este cociente se denota .
Es sencillo demostrar que el resultado de esta construcción satisface la propiedad universal que se considera a continuación. (Se puede utilizar una construcción muy similar para definir el producto tensorial de módulos ).
propiedad universal
Propiedad universal del producto tensorial: si h es bilineal, existe un mapa lineal único~heso hace que el diagrama sea conmutativo (es decir, h =~h∘ φ ).
En esta sección se describe la propiedad universal que satisface el producto tensorial. Como ocurre con toda propiedad universal, dos objetos que satisfacen la propiedad están relacionados por un isomorfismo único . De ello se deduce que esta es una forma (no constructiva) de definir el producto tensorial de dos espacios vectoriales. En este contexto, las construcciones anteriores de productos tensoriales pueden verse como pruebas de la existencia del producto tensorial así definido.
Una consecuencia de este enfoque es que cada propiedad del producto tensorial puede deducirse de la propiedad universal y que, en la práctica, uno puede olvidar el método que se ha utilizado para demostrar su existencia.
La "definición de propiedad universal" del producto tensorial de dos espacios vectoriales es la siguiente (recuerde que una aplicación bilineal es una función que es lineal por separado en cada uno de sus argumentos):
El producto tensorial de dos espacios vectoriales V y W es un espacio vectorial denotado como , junto con un mapa bilineal de a , tal que, para cada mapa bilineal , hay un mapa lineal único , tal que (es decir, para cada y ).
Linealmente disjunto
Al igual que la propiedad universal anterior, la siguiente caracterización también se puede utilizar para determinar si un espacio vectorial dado y un mapa bilineal dado forman o no un producto tensorial. [1]
Teorema : Sea y espacios vectoriales complejos y sea un mapa bilineal. Entonces es un producto tensorial de y si y solo si [1] la imagen de abarca todo de (es decir, ), y también y son -linealmente disjuntos , lo que por definición significa que para todos los números enteros positivos y todos los elementos y similares que ,
si todos son linealmente independientes entonces todos son .
De manera equivalente, y son linealmente disjuntos si y solo si para todas las secuencias linealmente independientes en y todas las secuencias linealmente independientes en , los vectores son linealmente independientes.
Por ejemplo, se deduce inmediatamente que si y son números enteros positivos, entonces y el mapa bilineal definido enviando para formar un producto tensorial de y . [2] A menudo, este mapa se denotará por so that denota el valor de este mapa bilineal en .
Como otro ejemplo, supongamos que es el espacio vectorial de todas las funciones de valores complejos en un conjunto con la suma y la multiplicación escalar definidas puntualmente (lo que significa que es el mapa y es el mapa ). Sea y cualquier conjunto y para cualquiera y , denotemos la función definida por . Si y son subespacios vectoriales, entonces el subespacio vectorial de junto con el mapa bilineal:
forman un producto tensorial de y . [2]
Propiedades
Dimensión
Si V y W son espacios vectoriales de dimensión finita , entonces es de dimensión finita y su dimensión es el producto de las dimensiones de V y W.
Esto resulta del hecho de que una base de se forma tomando todos los productos tensoriales de un elemento base de V y un elemento base de W.
asociatividad
El producto tensorial es asociativo en el sentido de que, dados tres espacios vectoriales , existe un isomorfismo canónico:
que se asigna a .
Esto permite omitir paréntesis en el producto tensorial de más de dos espacios vectoriales o vectores.
Conmutatividad como operación en el espacio vectorial
El producto tensorial de dos espacios vectoriales y es conmutativo en el sentido de que existe un isomorfismo canónico:
que se asigna a .
Por otro lado, incluso cuando , el producto tensorial de vectores no es conmutativo; es decir , en general.
El mapa desde hacia sí mismo induce un automorfismo lineal que se llamamapa de trenzado . De manera más general y como es habitual (verálgebra tensorial), denotemoselproducto tensorial dencopias del espacio vectorialV.Para cadapermutaciónsde los primerosnenteros positivos, el mapa:
induce un automorfismo lineal de , que se llama mapa de trenzado.
Producto tensorial de mapas lineales.
Dado un mapa lineal y un espacio vectorial W , el producto tensorial:
es el único mapa lineal tal que:
El producto tensorial se define de manera similar.
Dados dos mapas lineales y , su producto tensorial:
es el único mapa lineal que satisface:
Uno tiene:
En términos de teoría de categorías , esto significa que el producto tensorial es un bifunctor de la categoría de espacios vectoriales hacia sí mismo. [3]
Al elegir las bases de todos los espacios vectoriales involucrados, los mapas lineales f y g pueden representarse mediante matrices . Luego, dependiendo de cómo se vectorice el tensor, la matriz que describe el producto del tensor es el producto de Kronecker de las dos matrices. Por ejemplo, si V , X , W e Y anteriores son todos bidimensionales y se han fijado bases para todos ellos, y f y g están dados por las matrices:
respectivamente, entonces el producto tensorial de estas dos matrices es:
El rango resultante es como máximo 4 y, por tanto, la dimensión resultante es 4. Aquí el rango denota el rango del tensor , es decir, el número de índices necesarios (mientras que el rango de la matriz cuenta el número de grados de libertad en la matriz resultante). .
Un producto diádico es el caso especial del producto tensorial entre dos vectores de la misma dimensión.
Tensores generales
Para enteros no negativos r y s, un tensor de tipo en un espacio vectorial V es un elemento de:
Aquí está el espacio vectorial dual (que consta de todos los mapas lineales f desde V hasta el campo terrestre K ).
Hay un mapa de productos, llamado producto (tensorial) de tensores : [4]
Se define agrupando todos los "factores" V que ocurren : escribiendo para un elemento de V y para un elemento del espacio dual:
Si V es de dimensión finita, entonces elegir una base de V y la correspondiente base dual de naturalmente induce una base de (esta base se describe en el artículo sobre productos Kronecker ). En términos de estas bases, se pueden calcular los componentes de un producto (tensorial) de dos (o más) tensores . Por ejemplo, si F y G son dos tensores covariantes de orden m y n respectivamente (es decir, y ), entonces los componentes de su producto tensorial vienen dados por: [5]
Por tanto, los componentes del producto tensorial de dos tensores son el producto ordinario de los componentes de cada tensor. Otro ejemplo: sea U un tensor de tipo (1, 1) con componentes , y sea V un tensor de tipo con componentes . Entonces
y:
Los tensores equipados con su operación producto forman un álgebra , llamada álgebra tensorial .
Mapa de evaluación y contracción tensorial.
Para tensores de tipo (1, 1) existe un mapa de evaluación canónico:
definido por su acción sobre tensores puros:
De manera más general, para tensores de tipo , con r , s > 0 , existe un mapa, llamado contracción tensorial :
(Deben especificarse las copias de y sobre las cuales se aplicará este mapa).
Por otro lado, si es de dimensión finita , existe una aplicación canónica en la otra dirección (llamada aplicación de coevaluación ):
donde es cualquier base de , y es su base dual . Este mapa no depende de la elección de la base. [6]
La interacción de evaluación y coevaluación se puede utilizar para caracterizar espacios vectoriales de dimensión finita sin hacer referencia a bases. [7]
Representación adjunta
El producto tensorial puede verse naturalmente como un módulo para el álgebra de Lie mediante la acción diagonal: por simplicidad supongamos , entonces, para cada ,
dónde está la transpuesta de u , es decir, en términos de emparejamiento obvio en ,
Existe un isomorfismo canónico dado por:
Bajo este isomorfismo, cada u in puede verse primero como un endomorfismo de y luego como un endomorfismo de . De hecho, es la representación adjunta ad( u ) de .
Mapas lineales como tensores.
Dados dos espacios vectoriales de dimensión finita U , V sobre el mismo campo K , denota el espacio dual de U como U* , y el espacio vectorial K de todos los mapas lineales de U a V como Hom( U , V ) . Existe un isomorfismo:
definido por una acción del tensor puro sobre un elemento de ,
Su "inversa" se puede definir utilizando una base y su base dual como en la sección "Mapa de evaluación y contracción tensorial" anterior:
Este resultado implica: lo que
automáticamente da el hecho importante de que forma una base de dónde están las bases de U y V.
Además, dados tres espacios vectoriales U , V , W, el producto tensorial está vinculado al espacio vectorial de todos los mapas lineales, de la siguiente manera:
Este es un ejemplo de funtores adjuntos : el producto tensorial está "contiguo izquierdo" a Hom.
Productos tensoriales de módulos sobre un anillo.
El producto tensorial de dos módulos A y B sobre un anillo conmutativo R se define exactamente de la misma manera que el producto tensorial de espacios vectoriales sobre un campo:
donde ahora está el módulo R libre generado por el producto cartesiano y G es el R -módulo generado por estas relaciones .
De manera más general, el producto tensorial se puede definir incluso si el anillo no es conmutativo . En este caso, A tiene que ser un módulo R derecho y B es un módulo R izquierdo , y en lugar de las dos últimas relaciones anteriores,
se impone la relación:. Si R no es conmutativo, ya no es un módulo R , sino simplemente un grupo abeliano .
La propiedad universal también se mantiene, ligeramente modificada: el mapa definido por es un mapa lineal medio (denominado "el mapa lineal medio canónico" [8] ); es decir, satisface: [9]
Las dos primeras propiedades hacen de φ un mapa bilineal del grupo abeliano . Para cualquier mapa lineal medio de , un homomorfismo de grupo único f de satisface , y esta propiedad determina el isomorfismo dentro del grupo. Consulte el artículo principal para obtener más detalles.
Producto tensorial de módulos sobre un anillo no conmutativo
Sea A un módulo R derecho y B un módulo R izquierdo . Entonces el producto tensorial de A y B es un grupo abeliano definido por:
donde es un grupo abeliano libre y G es el subgrupo de relaciones generadas por:
La propiedad universal se puede enunciar de la siguiente manera. Sea G un grupo abeliano con una aplicación bilineal, en el sentido de que:
Luego hay un mapa único para todos y .
Además, podemos dar una estructura de módulo bajo algunas condiciones adicionales:
Si A es un bimódulo ( S , R ), entonces es un módulo S izquierdo , donde .
Si B es un bimódulo ( R , S ), entonces es un módulo S recto , donde .
Si A es un bimódulo ( S , R ) y B es un bimódulo ( R , T ), entonces es un bimódulo ( S , T ), donde las acciones izquierda y derecha se definen de la misma manera que las dos anteriores. ejemplos.
Si R es un anillo conmutativo, entonces A y B son ( R , R )-bimódulos donde y . Por 3), podemos concluir que es un bimódulo ( R , R ).
Calcular el producto tensorial
Para espacios vectoriales, el producto tensorial se calcula rápidamente ya que las bases de V de W determinan inmediatamente una base de , como se mencionó anteriormente. Para módulos sobre un anillo general (conmutativo), no todos los módulos son gratuitos. Por ejemplo, Z / n Z no es un grupo abeliano libre ( módulo Z ). El producto tensorial con Z / n Z viene dado por:
De manera más general, dada una presentación de algún R -módulo M , es decir, un número de generadores junto con relaciones:
el producto tensorial se puede calcular como el siguiente cokernel :
Aquí , y el mapa se determina enviando algunos en la j -ésima copia de a (en ). Coloquialmente, esto se puede reformular diciendo que una presentación de M da lugar a una presentación de . Se hace referencia a esto diciendo que el producto tensorial es un funtor exacto recto . En general, no es exacto a la izquierda, es decir, dado un mapa inyectivo de R -módulos , el producto tensorial:
no suele ser inyectivo. Por ejemplo, tensar el mapa (inyectivo) dado por la multiplicación con n , n : Z → Z con Z / n Z produce el mapa cero 0 : Z / n Z → Z / n Z , que no es inyectivo. Los functores Tor más altos miden el defecto del producto tensorial que no se deja exacto. Todos los funtores Tor superiores se ensamblan en el producto tensorial derivado .
Producto tensorial de álgebras
Sea R un anillo conmutativo. El producto tensorial de R -módulos se aplica, en particular, si A y B son R -álgebras . En este caso, el producto tensorial es un R -álgebra en sí mismo poniendo:
Por ejemplo:
Un ejemplo particular es cuando A y B son campos que contienen un subcampo común R. El producto tensorial de campos está estrechamente relacionado con la teoría de Galois : si, digamos, A = R [ x ] / f ( x ) , donde f es algún polinomio irreducible con coeficientes en R , el producto tensorial se puede calcular como:
donde ahora f se interpreta como el mismo polinomio, pero con sus coeficientes considerados como elementos de B . En el campo más grande B , el polinomio puede volverse reducible, lo que trae consigo la teoría de Galois. Por ejemplo, si A = B es una extensión de Galois de R , entonces:
es isomorfo (como un A -álgebra) a .
Configuraciones propias de tensores.
Las matrices cuadradas con entradas en un campo representan mapas lineales de espacios vectoriales , digamos , y por tanto mapas lineales de espacios proyectivos sobre . Si no es singular, entonces está bien definido en todas partes y los vectores propios de corresponden a los puntos fijos de . La configuración propia de consta de puntos en , siempre que sea genérica y algebraicamente cerrada . Los puntos fijos de los mapas no lineales son los vectores propios de los tensores. Sea un tensor de formato -dimensional con entradas que se encuentran en un campo algebraicamente cerrado de característica cero. Tal tensor define aplicaciones polinómicas y con coordenadas:
Así cada una de las coordenadas de es un polinomio homogéneo de grado en . Los vectores propios de son las soluciones de la restricción:
y la configuración propia viene dada por la variedad de los menores de esta matriz. [10]
Otros ejemplos de productos tensoriales
Productos tensores topológicos
Los espacios de Hilbert generalizan espacios vectoriales de dimensión finita a dimensiones arbitrarias. Existe una operación análoga , también llamada "producto tensorial", que convierte los espacios de Hilbert en una categoría monoidal simétrica . Básicamente se construye como la terminación del espacio métrico del producto tensorial algebraico discutido anteriormente. Sin embargo, no satisface la analogía obvia de la propiedad universal que define los productos tensoriales; [11] los morfismos para esa propiedad deben restringirse a los operadores de Hilbert-Schmidt . [12]
En situaciones en las que la imposición de un producto interno es inapropiada, todavía se puede intentar completar el producto tensorial algebraico, como un producto tensorial topológico . Sin embargo, dicha construcción ya no se especifica de forma única: en muchos casos, existen múltiples topologías naturales en el producto tensorial algebraico.
Producto tensorial de espacios vectoriales graduados
Algunos espacios vectoriales se pueden descomponer en sumas directas de subespacios. En tales casos, el producto tensorial de dos espacios se puede descomponer en sumas de productos de los subespacios (en analogía a la forma en que la multiplicación se distribuye sobre la suma).
Producto tensorial de representaciones.
Los espacios vectoriales dotados de una estructura multiplicativa adicional se denominan álgebras . El producto tensorial de tales álgebras se describe mediante la regla de Littlewood-Richardson .
Producto tensorial de formas cuadráticas.
Producto tensorial de formas multilineales.
Dadas dos formas multilineales y en un espacio vectorial sobre el campo, su producto tensorial es la forma multilineal: [13]
Este es un caso especial del producto de tensores si se ven como aplicaciones multilineales (ver también tensores como aplicaciones multilineales ). Por tanto, los componentes del producto tensorial de formas multilineales pueden calcularse mediante el producto de Kronecker .
La configuración más general para el producto tensorial es la categoría monoidal . Capta la esencia algebraica del tensor, sin hacer ninguna referencia específica a lo que se está tensor. Por tanto, todos los productos tensoriales pueden expresarse como una aplicación de la categoría monoidal a algún entorno particular, que actúa sobre algunos objetos particulares.
El álgebra exterior se construye a partir del producto exterior . Dado un espacio vectorial V , el producto exterior se define como:
Cuando el campo subyacente de V no tiene la característica 2, entonces esta definición equivale a:
La imagen de en el producto exterior generalmente se denota y satisface, por construcción, . Son posibles construcciones similares para ( n factores ), dando lugar a , la enésima potencia exterior de V . Esta última noción es la base de las n -formas diferenciales .
El álgebra simétrica se construye de manera similar, a partir del producto simétrico :
Más generalmente:
Es decir, en el álgebra simétrica se pueden intercambiar dos vectores adyacentes (y por tanto todos). Los objetos resultantes se llaman tensores simétricos .
Producto tensorial en programación.
Lenguajes de programación de matrices
Los lenguajes de programación de matrices pueden tener este patrón integrado. Por ejemplo, en APL el producto tensorial se expresa como ○.×(por ejemplo A ○.× Bo A ○.× B ○.× C). En J, el producto tensorial es la forma diádica de */(por ejemplo a */ bo a */ b */ c).
El tratamiento de J también permite la representación de algunos campos tensoriales, como ay bpueden ser funciones en lugar de constantes. Este producto de dos funciones es una función derivada, y si ay bson diferenciables , entonces a */ bes diferenciable.
Sin embargo, este tipo de notación no está presente universalmente en los lenguajes de matrices. Otros lenguajes de matrices pueden requerir un tratamiento explícito de índices (por ejemplo, MATLAB ) y/o pueden no admitir funciones de orden superior como la derivada jacobiana (por ejemplo, Fortran /APL).
Ver también
Busque producto tensorial en Wikcionario, el diccionario gratuito.
Diádica : tensor de segundo orden en álgebra vectorial
^ Hazewinkel, Michiel; Gubareni, Nadezhda Mikhaĭlovna; Gubareni, Nadiya; Kirichenko, Vladimir V. (2004). Álgebras, anillos y módulos . Saltador. pag. 100.ISBN 978-1-4020-2690-4.
^ Bourbaki (1989), pág. 244 define el uso "producto tensorial de xey " , elementos de los respectivos módulos.
^ Fórmulas análogas también son válidas para tensores contravariantes , así como para tensores de varianza mixta. Aunque en muchos casos, como cuando hay un producto interno definido, la distinción es irrelevante.
^ "La coevaluación de espacios vectoriales". El matemático sin complejos . 2008-11-13. Archivado desde el original el 2 de febrero de 2017 . Consultado el 26 de enero de 2017 .
^ Hungerford, Thomas W. (1974). Álgebra . Saltador. ISBN0-387-90518-9.
^ Chen, Jungkai Alfred (primavera de 2004), "Producto tensorial" (PDF) , Álgebra avanzada II (notas de la conferencia), Universidad Nacional de Taiwán, archivado (PDF) del original el 4 de marzo de 2016{{citation}}: CS1 maint: location missing publisher (link)
^ Arriba, H.; Seigal, A.; Sturmfels, B. (2015). "Configuraciones propias de tensores". arXiv : 1505.05729 [matemáticas.AG].
^ Garrett, Paul (22 de julio de 2010). «Inexistencia de productos tensoriales de espacios de Hilbert» (PDF) .
Aguiar, M.; Mahajan, S. (2010). Funtores monoidales, especies y álgebras de Hopf . Serie de monografías de CRM Vol 29. ISBN 978-0-8218-4776-3.
Trèves, François (2006) [1967]. Espacios vectoriales topológicos, distribuciones y núcleos . Mineola, Nueva York: Publicaciones de Dover. ISBN 978-0-486-45352-1. OCLC 853623322.
"Bibliografía sobre el producto tensor nobeliano de grupos".