Produto tensorial

Em matemática, o produto tensorial Predefinição:Math de dois espaços vetoriais Predefinição:Math e Predefinição:Math (sobre o mesmo corpo) é um espaço vetorial, dotado de uma operação de composição bilinear, denotada por Predefinição:Math, de pares ordenados do produto Cartesiano Predefinição:Math sobre Predefinição:Math, de uma maneira que generaliza o produto externo. O produto tensorial de Predefinição:Math e Predefinição:Math é o espaço vetorial gerado pelos símbolos Predefinição:Math, com Predefinição:Math e Predefinição:Math, em que as relações de bilinearidade são impostas para o produto Predefinição:Math, e não são assumidas quaisquer outras relações. O espaço produto tensorial é, assim, o espaço vetorial "mais livre" (ou o mais geral), no sentido de ter o menor número de restrições.

O produto tensorial de espaços vetoriais (de dimensão finita) tem dimensão igual ao produto das dimensões dos dois fatores:

$$\dim (V\otimes W)=\dim V\times \dim W.$$

Em particular, isto distingue o produto tensorial da soma direta de espaços vetoriais, cuja dimensão é a soma das dimensões das duas parcelas:

$$\dim (V\oplus W)=\dim V+\dim W.$$

De modo mais geral, o produto tensorial pode ser estendido a outras categorias de objetos matemáticos, além de espaços vetoriais, tais como matrizes, tensores, álgebras, espaços vetoriais topológicos, e módulos. Em cada caso, a operação de produto tensorial é caracterizada por uma propriedade universal semelhante: ela é a operação bilinear mais livre. O conceito geral de um "produto tensorial" é capturado por categorias monoidais, isto é, a classe de todas as coisas que têm um produto tensorial é uma categoria monoidal.

Motivação intuitiva e o produto tensorial concreto

A motivação intuitiva para o produto tensorial baseia-se no conceito mais geral de tensor. Em particular, um tensor é um objeto que pode ser considerado como um tipo especial de função multilinear, que recebe um certo número de vetores (sua ordem) e gera um escalar. Tais objetos são úteis em várias áreas de aplicação, tais como a geometria Riemanniana, famosa por seu uso na teoria geral da relatividade de Albert Einstein na física moderna, onde o tensor métrico é um conceito fundamental: em particular, o tensor métrico pega dois vetores, que podem ser pensados aproximadamente como pequenas setas que partem de um ponto específico dentro de um espaço curvo, ou variedade, e retorna um produto escalar local deles em relação àquele ponto particular - uma operação que codifica aproximadamente os comprimentos dos vetores assim como o ângulo entre eles. Como o produto escalar é um escalar, o tensor métrico é visto então como merecedor de seu nome. Existe um tensor métrico em cada ponto da variedade, e a variação no tensor métrico codifica, assim, o modo como os conceitos de distância e de ângulo, e, portanto, as leis da geometria analítica , variam ao longo da variedade.

Pode-se considerar o produto de dois espaços vetoriais, $V$ e $W$ como o conjunto de todos os tensores que tomam um vetor de $V$ e um de $W$ e retorna um escalar dentro de seu corpo base comum (e, portanto, só pode ser definido se eles têm um corpo de base). Os dois espaços podem ser o mesmo—no exemplo acima eles são vetores no espaço tangente em um ponto: aproximadamente o espaço plano com o qual um pequeno pedaço da variedade mais se "parece" quando você aumenta o zoom muito, muito perto de um determinado ponto dela, e, assim, o tensor métrico vive no produto tensorial daquele espaço com si mesmo. Mas eles também podem ser diferentes.

Se temos uma base para os espaços vetoriais, e o espaço vetorial tem dimensão finita, pode-se representar os vetores em termos de componentes em relação àquela base de vetores:

$$𝐯=\left[\begin{array}{c}{v}_1\\ v_2\\ ⋮\\ v_n\end{array}\right],𝐰=\left[\begin{array}{c}{w}_1\\ w_2\\ ⋮\\ w_m\end{array}\right].$$

em que cada notação representa a soma $𝐯=v_1{𝐞}_1+v_2{𝐞}_2+\cdots +v_n{𝐞}_n.$

Um tensor é, então, uma aplicação $T(𝐯,𝐰)$ que funciona como acima, retornando um escalar e que é linear em seus dois argumentos. Tal tensor pode ser representado usando uma multiplicação de matrizes:

$$T(𝐯,𝐰)={𝐯}^T𝐓𝐰$$

em que o sobrescrito T denota a transposição de matrizes , que leva o vetor $𝐯$ em seu vetor dual.

Dados dois vetores, podemos formar um tensor a partir deles de forma bastante natural utilizando-se do produto externo, que é indicado por $𝐯\otimes 𝐰$ e é igual a $𝐯{𝐰}^T.$ Esse tensor resulta na matriz

$$𝐯\otimes 𝐰=\left[\begin{array}{ccccccc}{v}_1{w}_1& & v_1{w}_2& & \cdots & & v_1{w}_m\\ v_2{w}_1& & v_2{w}_2& & \cdots & & v_2{w}_m\\ ⋮& & ⋮& & \ddots & & ⋮\\ v_n{w}_1& & v_n{w}_2& & \cdots & & v_n{w}_m\end{array}\right]$$

e essa matriz corresponde ao tensor pela construção anterior, que é um resquício de como ela corresponde a uma transformação linear (pela multiplicação em apenas um lado). Esses mesmos tensores geram um espaço vetorial por meio de suas somas e de sua multiplicação por escalares como é feito normalmente para matrizes e funções, e a coleção de todos os tensores produzidos deste modo é o produto tensorial $V\otimes W$ dos dois espaços vetoriais. De fato, esse espaço equivale ao espaço das transformações representadas por todas as matrizes possíveis do tamanho acima, como se pode ver ao observar que os simples produtos de tensores ${\mathbf{\text{e}}}_i\otimes {\mathbf{\text{f}}}_j$ (aqui, ${\mathbf{\text{f}}}_j$jé a base do outro espaço vetorial, $W$têm um "1" na $(i,j)$-ésima posição e um "0" s nas demais posições, o que permite que eles sejam multiplicados por qualquer número e, então, somados para obter uma matriz com entradas arbitrárias.

O propósito das próximas seções é encontrar uma definição que seja equivalente a esta onde é aplicável, mas que não exija uma escolha específica de base e que também possa ser aplicada mais facilmente a situações de dimensão infinita em que os conceitos de base usuais (base de Hamel) podem ser mal-comportados. Não requerer uma base específica é útil do ponto de vista teórico, já que embora todo espaço vetorial tenha uma base, nem todas as bases são necessariamente construtíveis, e além disso o próprio resultado depende da aceitação do axioma da escolha que pode ser rejeitado em alguns sistemas da matemática. Além disso, é útil encontrar uma construção abstrata para análise do ponto de vista da teoria das categorias, a teoria do "grande quadro da matemática" e como todos os objetos matemáticos se relacionam uns com os outros em um sentido muito geral. Um uso muito importante na vida real de uma definição como essa pode ser encontrado em outro campo da física moderna chamado mecânica quântica: o produto tensorial nesta forma nos permite falar da função de onda de um sistema de duas partículas como um vetor de espaço de Hilbert abstrato sem ter que especificar uma base específica de observáveis .

Pequeno passo em direção ao produto tensorial abstrato: o espaço vetorial livre

O primeiro passo a ser considerado envolve a introdução de algo que é chamado de "espaço vetorial livre" sobre um determinado conjunto. O impulso por trás dessa ideia consiste basicamente no que foi dito no último ponto: como um tensor $T$ pode ser escrito na forma de uma soma dupla

$T=\sum _{i=1}^n\sum _{j=1}^m(v_i{w}_j)({𝐞}_i\otimes {𝐟}_j)$

o jeito mais natural de abordar este problema é, de alguma forma, descobrir como se pode "esquecer" sobre a escolha específica das bases $𝐞$ e $𝐟$ que são usadas aqui. Em matemática, a maneira de "esquecer" os detalhes da representação de alguma coisa é estabelecer uma identificação que diga que duas coisas diferentes que devem ser consideradas representações da mesma coisa são de fato assim, isto é, que, dadas tais coisas diga "sim, elas são a mesma" ou então "não, elas não são a mesma", e então "juntam" todas as representações como se constituíssem a "coisa representada" sem referência a qualquer uma em particular, reunindo-as todas em um único conjunto. Em termos formais, primeiro é construída uma relação de equivalência e, então, toma-se o conjunto quociente definido por essa relação.

Mas antes de ser possível fazer isso, primeiro é preciso desenvolver sobre o que será definida a relação de equivalência. Isso é feito abordar o problema no sentido inverso, de baixo para cima: uma vez que não se tem garantida uma base, pelo menos construtível, quando se começa a partir de espaços vetoriais arbitrários, pode-se tentar começar garantindo que há uma - isto é, considera-se, em primeiro lugar, uma "base" isoladamente, como dada, e então construindo o espaço vetorial a partir dela. Para esse fim, faz-se o seguinte: supõe-se que $B$ é algum conjunto, que poderia ser chamado de uma base abstrata. Agora considere todas as expressões formais do tipo

$$𝐯=a_1{\beta }_1+a_2{\beta }_2+\cdots +a_n{\beta }_n$$

de comprimento $n$ arbitrário, mas finito, e nas quais os a_j são escalares e os \beta_j são elementos de B$B.$ Intuitivamente, isso é uma combinação linear dos vetores da base no sentido usual de expandir um elemento de um espaço vetorial. Isso é chamado de "expressão formal" pois tecnicamente a multiplicação ${\alpha }_j{\beta }_j$ não é permitida já que não há uma operação de multiplicação definida por padrão em um conjunto arbitrário e um corpo de escalares arbitrário. Em vez disso, pretende-se (de modo similar ao que se faz para definir os números imaginários) que isso se refere a algo e então procede-se com a sua manipulação de acordo com as regras que são esperadas de um espaço vetorial, como por exemplo, que a soma de duas sequências de mesmo comprimento é

$$(a_1{\beta }_1+a_2{\beta }_2+\cdots +a_n{\beta }_n)+(b_1{\beta }_1+b_2{\beta }_2+\cdots +b_n{\beta }_n)=(a_1+b_1){\beta }_1+(a_2+b_2){\beta }_2+\cdots +(a_n+b_n){\beta }_n$$

onde foram usadas as leis associativa, comutativa e distributiva para reorganizar a primeira soma e transformá-la na segunda. Continuando desta forma com os os múltiplos escalares e com as combinações de vetores de comprimentos diferentes é possível construir uma adição de vetores e uma multiplicação por escalar sobre este conjunto de expressões formais, e ele é chamado de espaço vetorial livre sobre B, e denotado por $F(B).$ Observe que os elementos de $B$considerados como expressões formais de comprimento um com coeficiente 1 na frente, formam uma base de Hamel para este espaço.

A expresso do produto tensorial é então abstraída considerando-se que se ${\beta }_j$ e ${\gamma }_j$ representam "vetores de base abstratos" de dois conjuntos $B$ e $G,$ por exemplo, que "${\beta }_j={𝐞}_j$"e "${\gamma }_j={𝐟}_j$" então os pares destes vetores no produto cartesiano $B\times G,$ ou seja, $({\beta }_i,{\gamma }_j)$ são tomados como sendo os produtos tensoriais ${𝐞}_i\otimes {𝐟}_j.$ (Note que os produtos tensoriais na expressão são, em algum sentido, "atômicos", isto é, as adições e multiplicações por escalares não os dividem em qualquer outra coisa, então eles podem ser substituídos por algo diferente, sem alterar a estrutura matemática.) Com tal identificação, pode-se, assim, definir o produto tensorial de dois espaços vetoriais $F(B)$ e $F(G)$ como sendo algo (ainda a ser decidido) que é isomorfo a $F(B\times G).$

Usando o espaço vetorial livre para "esquecer" da base

A definição acima realmente funcionará para qualquer espaço vetorial em que seja possível especificar uma base, uma vez que ele pode ser reconstruído como o espaço vetorial livre sobre aquela base: o procedimento acima reflete exatamente a forma como os vetores são representados por meio de uma base de Hamel, por construção. Na verdade, não houve qualquer ganho... até que foi feito isso.

Como não está sendo suposto que se tem acesso a uma base para cada espaço vetorial $V$ e $W$ cujo produto tensorial $V\otimes W$ se pretende construir, utiliza-se a melhor opção disponível que, em certo sentido, é algo que garantidamente pode ser feito, independentemente de quaisquer preocupações ou problemática em encontrar uma base específica: usar a totalidade de $V$ e $W$ como "base" para construir os tensores—o que corresponde ao que, na verdade, foi feito na última parte do "Seção sobre a motivação intuitiva", em que foi considerada a adição de produtos tensoriais arbitrários $𝐯\otimes 𝐰$ de vetores arbitrários dos dois espaços. A única diferença aqui é que, se for usada a construção do espaço vetorial livre para formar o produto óbvio $F(V)\otimes F(W)=F(V\times W)$ ele terá muitas versões redundantes do que deve ser o mesmo tensor, em outras palavras, voltando ao caso em que havia uma base, se for considerado o exemplo bastante específico em que $V=W={ℝ}^2$ com a base canônica, que é suficientemente pequeno mas não trivial, pode-se considerar que o tensor formado pelos vetores $𝐯={\left[\begin{array}{ccc}0& & 3\end{array}\right]}^T$ e $𝐰={\left[\begin{array}{ccc}5& & -3\end{array}\right]}^T,$ isto é,

$$T:=𝐯\otimes 𝐰=\left[\begin{array}{ccc}0& & 0\\ 15& & -9\end{array}\right]$$

também poderia ser representado por outras somas, tais como a soma usando tensores básicos ${𝐞}_i\otimes {𝐞}_j,$ como por exemplo

$$T=0({𝐞}_1\otimes {𝐞}_1)+0({𝐞}_1\otimes {𝐞}_2)+15({𝐞}_2\otimes {𝐞}_1)-9({𝐞}_2\otimes {𝐞}_2).$$

Estas expressões, embora sejam iguais no caso concreto, seriam elementos distintos do espaço vetorial livre $F(V\times W),$ a saber

$$T=(v,w)$$

no primeiro caso, e

$$T=0(e_1,e_1)+0(e_1,e_2)+15(e_2,e_1)-9(e_2,e_2)$$

no segundo caso. Assim, deve-se agrupá-los—e aqui que a relação de equivalência entra em jogo. O truque para a construção é observar que, dado qualquer vetor $𝐯$ em um espaço vetorial, é sempre possível representá-lo como a soma de dois outros vetores $𝐚$ e $𝐛$ diferentes do vetor original. No mínimo pode-se tomar qualquer vetor $𝐚$ e definir $𝐛:=𝐯-𝐚$—o que também mostra que, se for dado um vetor e, então, um segundo vetor, pode-se escrever o primeiro vetor em termos do segundo, juntamente com um terceiro vetor adequado (de fato, em de muitas maneiras—basta considerar os múltiplos escalares do segundo vetor na mesma subtração.).

Isso é útil, porque o produto externo satisfaz as seguintes propriedades de linearidade, que podem ser comprovadas pela simples manipulação algébrica das matrizes correspondentes às expressões (os vetores abaixo são genéricos, não os do exemplo acima):

$$(𝐯+𝐰)\otimes 𝐮=𝐯\otimes 𝐮+𝐰\otimes 𝐮$$ $$𝐮\otimes (𝐯+𝐰)=𝐮\otimes 𝐯+𝐮\otimes 𝐰$$ $$c(𝐯\otimes 𝐮)=(c𝐯)\otimes 𝐮=𝐯\otimes (c𝐮)$$

Se o objetivo for relacionar o produto externo $𝐯\otimes 𝐰$ com, por exemplo, ${𝐞}_{\mathrm{𝟏}}\otimes 𝐰$pode-se usar a primeira relação acima, juntamente com uma expressão adequada de $𝐯$ como uma soma de alguns vetores e algum múltiplo escalar de ${𝐞}_{\mathrm{𝟏}}.$

A igualdade entre dois tensores concretos é obtida então se usando as regras acima há como transformar uma das somas dos produtos externos na outra, por meio de decomposições apropriadas dos vetores—independentemente de realmente haver uma base de vetores. Aplicando-se isso ao exemplo acima, observa-se que

$$𝐯=0{𝐞}_1+3{𝐞}_2$$ $$𝐰=5{𝐞}_1-3{𝐞}_2$$

e que por meio da substituição em

$$T=𝐯\otimes 𝐰$$

obtêm-se

$$T=(0{𝐞}_1+3{𝐞}_2)\otimes (5{𝐞}_1-3{𝐞}_2)$$

e o uso criterioso das propriedades distributivas permite que sejam reorganizados da forma desejada. Do mesmo modo, há uma manipulação correspondente espelhada em termos dos elementos do espaço vetorial livre, como $(v,w)$ e $(e_1,e_1),$ $(e_1,e_2)$etc, e isso, finalmente, é o que leva à definição formal do produto tensorial.

A definição do produto tensorial abstrato

O produto tensorial abstrato de dois espaços vetoriais $V$ e $W$ sobre um corpo base comum é o espaço vetorial quociente

$$V\otimes W:=F(V\times W)/\sim$$

em que $\sim$ é a relação de equivalência de igualdade formal, que é gerada pela suposição de que para cada $(v,w)$ e $(v^{\prime },w^{\prime })$ tomadas como expressões formais no espaço vetorial livre vale o seguinte:

Identidade. $(v,w)\sim (v,w).$

Distributividade. $(v,w)+(v^{\prime },w)\sim (v+v^{\prime },w)$ e $(v,w)+(v,w^{\prime })\sim (v,w+w^{\prime }).$

Múltiplos escalares. $c(v,w)\sim (cv,w)$ e $c(v,w)\sim (v,cw)$

e então testando a equivalência de expressões formais genéricas através de manipulações adequadas baseadas nestas equivalências. A aritmética é definida sobre o produto tensorial escolhendo elementos representativos, aplicando-se as regras aritméticas, e, finalmente, obtendo a classe de equivalência. Além disso, dados quaisquer dois vetores $𝐯\in V$ e $𝐰\in W,$ a classe de equivalência $[(v,w)]$ é indicada por $𝐯\otimes 𝐰.$

Propriedades

Notação

Muitas vezes os elementos de Predefinição:Math são chamados de tensores, embora este termo se refira a muitos outros conceitos relacionados. Se Predefinição:Math pertence a Predefinição:Math e Predefinição:Math pertence a Predefinição:Math, então a classe de equivalência de Predefinição:Math é denotada por Predefinição:Math, e é denominado o produto tensorial de Predefinição:Math com Predefinição:Math. Em engenharia, o uso do símbolo Predefinição:Math refere-se, especificamente, à operação de produto externo; o resultado do produto externo Predefinição:Math é uma das maneiras usuais de representar a classe de equivalência Predefinição:Math. Um elemento de Predefinição:Math que pode ser escrito na forma Predefinição:Math é chamado de um tensor simples ou puro. Em geral, um elemento do espaço produto tensorial não é um tensor puro, mas sim uma combinação linear finita de tensores puros. Por exemplo, se Predefinição:Math e Predefinição:Math são linearmente independentes, e Predefinição:Math e Predefinição:Math também são linearmente independentes, então Predefinição:Math não pode ser escrito como um tensor puro. O número de tensores simples necessários para expressar um elemento de um produto tensorial é chamado posto do tensor (não confundir com a ordem do tensor, que é o número de espaços dos quais se tomou o produto, neste caso, 2; na notação, o número de índices), e para operadores lineares ou matrizes, pensados como tensores Predefinição:Math (elementos do espaço Predefinição:Math), ele coincide com o posto da matriz.

Dimensão

Dada bases Predefinição:Math} e Predefinição:Math} para Predefinição:Math e Predefinição:Math , respectivamente, os tensores Predefinição:Math formam uma base para Predefinição:Math. Portanto, se Predefinição:Math e Predefinição:Math têm dimensão finita, a dimensão do produto é o produto das dimensões dos espaços originais; por exemplo, Predefinição:Math é isomorfo a Predefinição:Math.

Produto tensorial de transformações lineares

O produto tensorial também opera sobre transformações lineares entre espaços vetoriais. Especificamente, dadas as transformações lineares Predefinição:Math e Predefinição:Math entre espaços vetoriais, o produto tensorial das transformações lineares Predefinição:Math e Predefinição:Math é uma transformação linear

$$S\otimes T:V\otimes W\to X\otimes Y$$

definida por

$$(S\otimes T)(v\otimes w)=S(v)\otimes T(w).$$

Desta forma, o produto tensorial se torna um bifuntor da categoria dos espaços vetoriais sobre si mesma, covariante em ambos os argumentos.

Se Predefinição:Math e Predefinição:Math são ambas injectivas, sobrejetivas ou contínuas então Predefinição:Math é, respectivamente, injetiva, sobrejetiva ou contínua.

Escolhendo bases de todos os espaços vetoriais envolvidos, as transformações lineares Predefinição:Math e Predefinição:Math podem ser representadas por matrizes. Então a matriz que descreve o produto Predefinição:Math é o produto de Kronecker das duas matrizes. Por exemplo, se os espaços Predefinição:Math, e Predefinição:Math acima são todos bidimensionais e forem fixadas bases para todos eles, e Predefinição:Math e Predefinição:Math forem dados pelas matrizes

$$\left[\begin{array}{cc}{a}_{1,1}& a_{1,2}\\ a_{2,1}& a_{2,2}\end{array}\right],\left[\begin{array}{cc}{b}_{1,1}& b_{1,2}\\ b_{2,1}& b_{2,2}\end{array}\right],$$

respectivamente, o produto tensorial destas duas matrizes será

$$\left[\begin{array}{cc}{a}_{1,1}& a_{1,2}\\ a_{2,1}& a_{2,2}\end{array}\right]\otimes \left[\begin{array}{cc}{b}_{1,1}& b_{1,2}\\ b_{2,1}& b_{2,2}\end{array}\right]=\left[\begin{array}{cc}{a}_{1,1}\left[\begin{array}{cc}{b}_{1,1}& b_{1,2}\\ b_{2,1}& b_{2,2}\end{array}\right]& a_{1,2}\left[\begin{array}{cc}{b}_{1,1}& b_{1,2}\\ b_{2,1}& b_{2,2}\end{array}\right]\\ & \\ a_{2,1}\left[\begin{array}{cc}{b}_{1,1}& b_{1,2}\\ b_{2,1}& b_{2,2}\end{array}\right]& a_{2,2}\left[\begin{array}{cc}{b}_{1,1}& b_{1,2}\\ b_{2,1}& b_{2,2}\end{array}\right]\end{array}\right]=\left[\begin{array}{cccc}{a}_{1,1}{b}_{1,1}& a_{1,1}{b}_{1,2}& a_{1,2}{b}_{1,1}& a_{1,2}{b}_{1,2}\\ a_{1,1}{b}_{2,1}& a_{1,1}{b}_{2,2}& a_{1,2}{b}_{2,1}& a_{1,2}{b}_{2,2}\\ a_{2,1}{b}_{1,1}& a_{2,1}{b}_{1,2}& a_{2,2}{b}_{1,1}& a_{2,2}{b}_{1,2}\\ a_{2,1}{b}_{2,1}& a_{2,1}{b}_{2,2}& a_{2,2}{b}_{2,1}& a_{2,2}{b}_{2,2}\end{array}\right].$$

O posto resultante é no máximo 4, e, portanto, a dimensão resultante é 4. Aqui o posto refere-se ao posto do tensor (número de índices exigidos), enquanto que o posto da matriz conta o número de graus de liberdade na matriz resultante.

Um produto diádico é o caso especial do produto tensorial entre dois vetores de mesma dimensão.

Propriedade universal

Este diagrama comutativo apresenta a propriedade universal do produto tensorial. Aqui $\phi$ e $h$ são bilineares, considerando que $\tilde{h}$ é linear.

No contexto de espaços vetoriais, o produto tensorial e a transformação bilinear $\phi :V\times W\to V\otimes W$ são caracterizados a menos de isomorfismo por uma propriedade universal sobre transformações bilineares. (Lembre-se que uma transformação bilinear é uma função que é separadamente linear em cada um de seus argumentos.) Informalmente, $\phi$ é a transformação bilinear mais geral definida em $V\times W.$

O espaço vetorial $V\otimes W$ e a transformação bilinear associada $\phi :V\times W\to V\otimes W$ têm a propriedade de que toda transformação bilinear $h:V\times W\to Z$ de $V\times W$ para qualquer espaço vetorial $Z$ pode ser fatorada unicamente através de $\phi .$ Ao dizer que "$h$ é fatorada unicamente através de $\phi$", o que se quer dizer é que existe uma única transformação linear $\tilde{h}:V\otimes W\to Z$ tal que $h=\tilde{h}\circ \phi .$

Esta caracterização pode simplificar demonstrações sobre o produto tensorial. Por exemplo, o produto tensorial é simétrico, ou seja, há um isomorfismo canônico:

$$V\otimes W\cong W\otimes V.$$

Para construir, por exemplo, uma transformação de $V\otimes W$ para $W\otimes V$basta que seja dada uma aplicação bilinear $h:V\times W\to W\otimes V$ que leve $(v,w)$ em $w\otimes v.$ Então a propriedade universal de $V\otimes W$ quer dizer que $h$ pode ser fatorada em um aplicação $\tilde{h}:V\otimes W\to W\otimes V.$ Uma aplicação $\tilde{g}:W\otimes V\to V\otimes W$ no sentido oposto, é definida da mesma forma, e se verifica que as duas transformações lineares $\tilde{h}$ e $\tilde{g}$ são inversas uma da outra usando novamente suas propriedades universais.

Um raciocínio semelhante pode ser usado para mostrar que o produto é associativo, ou seja, que existem isomorfismos naturais

$$V_1\otimes (V_2\otimes V_3)\cong (V_1\otimes V_2)\otimes V_3.$$

Portanto, costuma-se omitir os parênteses e escrever $V_1\otimes V_2\otimes V_3.$

A categoria dos espaços vetoriais com o produto tensorial é um exemplo de uma categorial monoidal simétrica.

A definição de um produto tensorial por sua propriedade universal é válida em mais categorias além da categoria dos espaços vetoriais. No lugar das transformações multilineares (bilineares), a definição geral de produto tensorial utiliza multimorfismos.

Potências tensoriais e tranças

Seja Predefinição:Math um número inteiro não negativo. A Predefinição:Math-ésima potência tensorial do espaço vetorial Predefinição:Math é o produto tensorial de Predefinição:Math cópias de Predefinição:Math com si próprio, isto é,

$$V^{\otimes n}\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}\underset{n}{\underbrace{V\otimes \cdots \otimes V}}.$$

Uma permutação Predefinição:Math do conjunto Predefinição:Math} determina uma função da Predefinição:Math-ésima potência cartesiana de Predefinição:Math como segue:

$$\{\begin{array}{c}\sigma :V^n\to V^n\\ \sigma (v_1,v_2,\cdots ,v_n)=(v_{\sigma (1)},v_{\sigma (2)},\cdots ,v_{\sigma (n)})\end{array}$$

Seja

$$\phi :V^n\to V^{\otimes n}$$

a imersão multilinear natural da potência cartesiana de Predefinição:Math na potência tensorial de Predefinição:Math. Então, pela propriedade universal, há um único isomorfismo

$${\tau }_{\sigma }:V^{\otimes n}\to V^{\otimes n}$$

tal que

$$\phi \circ \sigma ={\tau }_{\sigma }\circ \phi .$$

O isomorfismo Predefinição:Math é chamado de aplicação trança associada à permutação Predefinição:Math.

Produto de tensores

Dados os números inteiros não negativos Predefinição:Math e Predefinição:Math, um tensor do tipo Predefinição:Math em um espaço vetorial Predefinição:Math é um elemento de

$$T_s^r(V)=\underset{r}{\underbrace{V\otimes \dots \otimes V}}\otimes \underset{s}{\underbrace{V^{*}\otimes \dots \otimes V^{*}}}=V^{\otimes r}\otimes V^{*\otimes s}.$$

Aqui Predefinição:Math é o espaço vetorial dual (que consiste de todas as transformações lineares Predefinição:Math de Predefinição:Math para o corpo de escalares Predefinição:Math).

Há uma aplicação produto, chamado de produto (tensorial) de tensoresPredefinição:Refn

$$T_s^r(V){\otimes }_K{T}_{s^{\prime }}^{r^{\prime }}(V)\to T_{s+s^{\prime }}^{r+r^{\prime }}(V).$$

Ela é definida pelo agrupamento de todas as ocorrências de "fatores" Predefinição:Math: escrevendo-se Predefinição:Math para um elemento de Predefinição:Math e Predefinição:Math para elementos do espaço dual,

$$(v_1\otimes f_1)\otimes (v{\text{'}}_1)=v_1\otimes v{\text{'}}_1\otimes f_1.$$

A escolha de uma base de Predefinição:Math e da base dual correspondente de Predefinição:Math induz, naturalmente, uma base para Predefinição:Math (esta base é descrita no artigo sobre produtos de Kronecker). Em termos dessas bases, as componentes de um produto (tensorial) de dois (ou mais) tensores podem ser calculadas. Por exemplo, se Predefinição:Math e Predefinição:Math são dois tensores covariantes de postos Predefinição:Math e Predefinição:Math, respectivamente (ou seja, Predefinição:Math, e Predefinição:Math) então as componentes de seu produto tensorial são dados por

$$(F\otimes G{)}_{i_1{i}_2\dots i_{m+n}}=F_{i_1{i}_2\dots i_m}{G}_{i_{m+1}{i}_{m+2}{i}_{m+3}\dots i_{m+n}}.$$

Assim, as componentes do produto tensorial de dois tensores são o produto ordinário das componentes de cada tensor. Outro exemplo: seja Predefinição:Math um tensor do tipo Predefinição:Math com componentes Predefinição:Math, e seja Predefinição:Math um tensor do tipo Predefinição:Math com componentes Predefinição:Math. Então,

$$U^{\alpha }{}_{\beta }{V}^{\gamma }=(U\otimes V{)}^{\alpha }{}_{\beta }{}^{\gamma }$$

e

$$V^{\mu }{U}^{\nu }{}_{\sigma }=(V\otimes U{)}^{\mu \nu }{}_{\sigma }.$$

Os produtos de tensores formam uma álgebra, chamada de álgebra tensorial.

Relação com o espaço dual

Um exemplo particular é o produto tensorial de um espaço vetorial Predefinição:Math com seu espaço dual Predefinição:Math (que consiste em todas as transformações lineares Predefinição:Math de Predefinição:Math ao campo terrestre Predefinição:Math ). Neste caso, existe uma função de avaliação canônica

$$V\otimes V^{*}\to K$$

que é definida nos tensores elementares por $$v\otimes f\mapsto f(v).$$

A função resultante $$T_s^r(V)\to T_{s-1}^{r-1}(V)$$

é chamada de contração do tensor (para Predefinição:Math ).

Por outro lado, se Predefinição:Math tem dimensão finita, há uma aplicação canônica na outra direção (chamada aplicação de coavaliação)

$$K\to V\otimes V^{*},\lambda \mapsto \sum _i\lambda v_i\otimes v_i^{*}.$$

em que Predefinição:Math é qualquer base de Predefinição:Math, e Predefinição:Math é a sua base dual. Surpreendentemente, esta aplicação não depende da base escolhida.

A interação entre as aplicações de avaliação e de coavaliação pode ser usado para caracterizar os espaços vetoriais de dimensão finita sem se referir às bases.

Produto tensorial vs. Hom

Dados dois espaços vetoriais de dimensão finita Predefinição:Math, Predefinição:Math sobre o mesmo corpo Predefinição:Math, denote o espaço dual de Predefinição:Math por Predefinição:Mathe o Predefinição:Math-espaço vetorial de todas as transformações lineares de Predefinição:Math em Predefinição:Math por Predefinição:Math. Tem-se a seguinte relação:

$$U^{*}\otimes V\cong \mathrm{H}\mathrm{o}\mathrm{m}(U,V),$$

um isomorfismo pode ser definido por $\alpha :U^{*}\otimes V\to \mathrm{H}\mathrm{o}\mathrm{m}(U,V),$ pela ação em tensores puro

$$u^{*}\otimes v\mapsto (u^{*}\otimes v)(u)=u^{*}(u)v,$$

o seu "inverso" pode ser definido de uma maneira similar como acima (Relação com o espaço dual) usando base dual $\{u_i^{*}\},$

$$\mathrm{H}\mathrm{o}\mathrm{m}(U,V)\to U^{*}\otimes V,f(\cdot )\mapsto \sum _i{u}_i^{*}\otimes f(u_i).$$

Este resultado implica

$$\dim (U\otimes V)=\dim (U)\dim (V)$$

que automaticamente dá o importante fato de que $\{u_i\otimes v_j\}$ forma uma base para $U\otimes V$ em que $\{u_i\},\{v_j\}$ são bases de Predefinição:Math e Predefinição:Math.

Além disso, dados três espaços vetoriais Predefinição:Math, Predefinição:Math, Predefinição:Math o produto tensorial está ligado ao espaço vetorial de todas as transformações lineares, como segue:

$$\mathrm{H}\mathrm{o}\mathrm{m}(U\otimes V,W)\cong \mathrm{H}\mathrm{o}\mathrm{m}(U,\mathrm{H}\mathrm{o}\mathrm{m}(V,W)).$$

Este é um exemplo de funtor adjunto: o produto tensorial é "adjunto à esquerda" de Hom.

Representação adjunta

O tensor $T_s^r(V)$ pode ser visto naturalmente como um módulo para a álgebra de Lie Predefinição:Math, por meio da ação diagonal: por simplicidade, suponha que Predefinição:Math, então, para cada Predefinição:Math,

$$u(a\otimes b)=u(a)\otimes b-a\otimes u^{*}(b),$$

em que Predefinição:Math em Predefinição:Math é a transposta de Predefinição:Math, isto é, em termos do emparelhamento óbvio em Predefinição:Math,

$$⟨u(a),b⟩=⟨a,u^{*}(b)⟩.$$

Há um isomorfismo canônico $T_1^1(V)\to \mathrm{E}\mathrm{n}\mathrm{d}(V)$ definido por

$$(a\otimes b)(x)=⟨x,b⟩a.$$

Sob este isomorfismo, cada Predefinição:Math em Predefinição:Math pode ser visto primeiramente como um endomorfismo de $T_1^1(V)$ e, então, como um endomorfismo de Predefinição:Math. Na verdade, ele é a representação adjunta Predefinição:Math de Predefinição:Math.

Produtos tensoriais de módulos sobre um anel

O produto tensorial de dois módulos Predefinição:Math e Predefinição:Math sobre um anel comutativo Predefinição:Math é definido exatamente da mesma maneira que p produto tensorial de espaços vetoriais sobre um corpo:

$$A{\otimes }_{R}B:=F(A\times B)/G$$

onde agora Predefinição:Math é o [[free module|Predefinição:Math-módulo livre]] gerado pelo produto cartesiano e Predefinição:Math é o Predefinição:Math-módulo gerado pelas mesmas relações acima.

De modo mais geral, o produto tensorial pode ser definido mesmo se o anel não for comutativo (Predefinição:Math). Neste caso, Predefinição:Math tem que ser um Predefinição:Math-módulo à direita e Predefinição:Math é Predefinição:Math-módulo à esquerda e, em vez das duas últimas relações acima, é imposta a relação

$$(ar,b)-(a,rb).$$

Se Predefinição:Math não é comutativo, isso não é mais um Predefinição:Math-módulo, e sim apenas um grupo abeliano.

A propriedade universal também é adaptada quase sem modificação: a aplicação Predefinição:Math definida por Predefinição:Math é uma transformação linear intermediária (chamada de "transformação linear intermediária canônica".); isto é, que satisfaz:

$$\begin{array}{c}\varphi (a+a^{\prime },b)=\varphi (a,b)+\varphi (a^{\prime },b)\\ \varphi (a,b+b^{\prime })=\varphi (a,b)+\varphi (a,b^{\prime })\\ \varphi (ar,b)=\varphi (a,rb)\end{array}$$

As duas primeiras propriedades fazem de Predefinição:Math uma transformação bilinear do grupo abeliano Predefinição:Math. Para qualquer transformação linear intermediária Predefinição:Math de Predefinição:Math, um único homomorfismo de grupos Predefinição:Math de Predefinição:Math satisfaz Predefinição:Math, e esta propriedade determina $\varphi$ a menos de isomorfismos de grupo. Veja o artigo principal para obter detalhes.

Produto de módulos ao longo de um não-comutativa anel

Seja A um R-módulo à direita e B um R-módulo à esquerda. O produto tensorial de A e B é um grupo abeliano definido por

$$A{\otimes }_{R}B:=F(A\times B)/G$$

onde $F(A\times B)$ é um grupo abeliano livre sobre $A\times B$ e G é um subgrupo de $F(A\times B)$ gerado pelas relações

$$\begin{array}{cc}& \mathrm{\forall }a,a_1,a_2\in A,\mathrm{\forall }b,b_1,b_2\in B,\mathrm{\forall }r\in R:\\ & (a_1,b)+(a_2,b)-(a_1+a_2,b),\\ & (a,b_1)+(a,b_2)-(a,b_1+b_2),\\ & (ar,b)-(a,rb).\\ \end{array}$$

A propriedade universal pode ser expressa da seguinte forma. Seja G um grupo abeliano com uma aplicação $q:A\times B\to G$ que é bilinear, no sentido de que

$$\begin{array}{cc}& q(a_1+a_2,b)=q(a_1,b)+q(a_2,b),\\ & q(a,b_1+b_2)=q(a,b_1)+q(a,b_2),\\ & q(ar,b)=q(a,rb).\end{array}$$

Então, há uma única aplicação $\bar{q}:A\otimes B\to G$ tal que $\bar{q}(a\otimes b)=q(a,b)$ para cada $a\in A,b\in B.$

Além disso, pode-se definir em $A{\otimes }_{R}B$ uma estrutura de módulo sob algumas condições extras.

1) Se A é um (S,R)-bimódulo, então, $A{\otimes }_{R}B$ é um S-módulo à esquerda em que $s(a\otimes b):=(sa)\otimes b.$

2) Se B é um (R,S)-bimódulo, então $A{\otimes }_{R}B$ é um S-módulo à direita em que $(a\otimes b)s:=a\otimes (bs).$

3) Se R é um anel comutativo, então A e B são (R,R)-bimódulos em que $ra:=ar$ e $br:=rb.$ 1), $A{\otimes }_{R}B$ é um R-módulo à esquerda. Por 2), $A{\otimes }_{R}B$ é um R-módulo à direita. Assim, pode-se concluir que $A{\otimes }_{R}B$ é um (R,R)-bimódulo.

Cálculo do produto tensorial

Para espaços vetoriais, o produto tensorial Predefinição:Math é calculado rapidamente já que bases de Predefinição:Math de Predefinição:Math imediatamente determinam uma base de Predefinição:Math, como foi mencionado acima. Para os módulos sobre um anel (comutativo) arbitrário, e nem todo módulo é livre. Por exemplo, Predefinição:Math não é um grupo abeliano livre (= Predefinição:Math-módulo). O produto tensorial com Predefinição:Math por

$$M{\otimes }_{𝐙}𝐙/n𝐙=M/nM.$$

Mais geralmente, dada uma presentação de um Predefinição:Math-módulo Predefinição:Math, isto é, um número de geradores Predefinição:Math, juntamente com relações $\sum _{j\in J}{a}_{ji}{m}_i=0,$ em que Predefinição:Math, o produto tensorial pode ser calculado como a seguir cokernel:

$$M{\otimes }_{R}N=\mathrm{coker}(N^J\to N^I)$$

Aqui Predefinição:Math e a aplicação é determinada levando algum Predefinição:Math na Predefinição:Math-ésima cópia de Predefinição:Math para Predefinição:Math (em Predefinição:Math). Coloquialmente, isso pode ser reformulado dizendo que uma presentação de Predefinição:Math dá origem a uma presentação de Predefinição:Math. Isso é descrito dizendo-se que produto é um funtor exato à direita. Ele não é, em geral, exato à esquerda, isto é, dada uma aplicação injetiva de Predefinição:Math-módulos Predefinição:Math, o produto tensorial

$$M_1{\otimes }_{R}N\to M_2{\otimes }_{R}N$$

geralmente não é injetivo. Por exemplo, calculando-se o produto tensorial da aplicação (injetiva) com a multiplicação com Predefinição:Math, Predefinição:Math com Predefinição:Math produz a aplicação nula Predefinição:Math, que não é injetiva. Os funtores Tor de ordem mais alta medem o defeito do produto tensorial não ser exato à esquerda. Todos os funtores Tor de ordem mais alta são montados no produto tensorial derivado.

Produto tensorial de álgebras

Seja Predefinição:Math um anel comutativo. O produto tensorial de Predefinição:Math-módulos aplica-se, em particular, se Predefinição:Math e Predefinição:Math são [[Álgebra sobre um corpo|Predefinição:Math-álgebras]]. Neste caso, o produto tensorial Predefinição:Math é ele próprio uma Predefinição:Math-álgebra, colocando

$$(a_1\otimes b_1)\cdot (a_2\otimes b_2)=(a_1\cdot a_2)\otimes (b_1\cdot b_2).$$

Por exemplo,

$$R[x]{\otimes }_{R}R[y]\cong R[x,y].$$

Um exemplo específico é quando Predefinição:Math e Predefinição:Math são corpos que contêm um subcorpo comum Predefinição:Math. O produto tensorial de corpos está intimamente relacionado com a teoria de Galois: se, por exemplo, Predefinição:Math, onde Predefinição:Math é algum polinômio irredutível com coeficientes em Predefinição:Math, o produto tensorial pode ser calculado como

$$A{\otimes }_{R}B\cong B[x]/f(x)$$

em que Predefinição:Math é interpretado como o mesmo polinômio, mas com seus coeficientes considerados como elementos de Predefinição:Math. No corpo maior Predefinição:Math, o polinômio pode se tornar redutível, o que traz a teoria de Galois. Por exemplo, se Predefinição:Math é uma extensão de Galois de Predefinição:Math, então

$$A{\otimes }_{R}A\cong A[x]/f(x)$$

é isomorfo (como uma Predefinição:Math-álgebra) a Predefinição:Math.

Autoconfigurações de tensores

Matrizes quadradas Predefinição:Math, com entradas em um corpo Predefinição:Math representam transformações lineares entre espaços vetoriais, por exemplo $K^n\to K^n$e, portanto, transformações lineares $\psi :{\mathbb{P}}^{n-1}\to {\mathbb{P}}^{n-1}$ entre espaços projetivos sobre $K.$ Se Predefinição:Math é não singular, então $\psi$ é bem definida em todos os lugares, e os autovetores de $A$ correspondem aos pontos fixos de $\psi .$ A autoconfiguração de Predefinição:Math consiste de n pontos de ${\mathbb{P}}^{n-1},$ desde que $A$ seja genérica e Predefinição:Math seja algebricamente fechado. Os pontos fixos de transformações não lineares são os autovetores de tensores. Seja $A=(a_{i_1{i}_2\cdots i_d})$ um tensor de dimensão $d$ com o formato $n\times n\times \cdots \times n$ e com entradas $(a_{i_1{i}_2\cdots i_d})$ pertencentes a um corpo algebricamente fechado $K$ de característica zero. Tal tensor $A\in (K^n{)}^{\otimes d}$ define funções polinomiais $K^n\to K^n$ e ${\mathbb{P}}^{n-1}\to {\mathbb{P}}^{n-1}$ com coordenadas

$${\psi }_i(x_1,...,x_n)=\sum _{j_2=1}^n\sum _{j_3=1}^n\cdots \sum _{j_d=1}^n{a}_{i{j}_2{j}_3\cdots j_d}{x}_{j_2}{x}_{j_3}\cdots x_{j_d}\text{for }i=1,...,n$$

Assim, cada uma das$n$ n coordenadas de $\psi$ é um polinômio homogêneo ${\psi }_i$ de grau $d-1$ em $𝐱=(x_1,...,x_n).$ Os autovetores de $A$ são as soluções da restrição

$$\text{rank}\left(\begin{array}{cccc}{x}_1& x_2& \cdots & x_n\\ {\psi }_1(𝐱)& {\psi }_2(𝐱)& \cdots & {\psi }_n(𝐱)\end{array}\right)\le 1$$

e a autoconfiguração é dada pela variedade dos menores $2\times 2$ desta matriz.

Outros exemplos de produtos tensoriais

Produto tensorial de espaços de Hilbert

Espaços de Hilbert generalizam espaços vetoriais de dimensão finita para dimensão infinita contável. O produto tensorial ainda é definido; ele é o produto tensorial de espaços de Hilbert.

Produto tensorial topológico

Quando a base de um espaço vetorial não é mais contável, então a formalização axiomática adequada para o espaço vetorial é a de um espaço vetorial topológico. O produto tensorial ainda está definido, e é o produto tensorial topológico.

Produto tensorial de espaços vetoriais graduados

Alguns espaços vetoriais pode ser decompostos em somas diretas de subespaços. Em tais casos, o produto tensorial de dois espaços pode ser decomposto em somas de produtos dos subespaços (de forma análoga à forma como a multiplicação se distribui em relação à adição).

Produto tensorial de representações

Espaços vetoriais dotados de uma estrutura multiplicativa adicional são chamados de álgebras. O produto tensorial de tais álgebras é descrito pela regra de Littlewood–Richardson.

Produto tensorial de multilinear formas

Dadas duas formas multilineares $f(x_1,\dots ,x_k)$ e $g(x_1,\dots ,x_m)$ sobre um espaço vetorial $V$ sobre o campo $K,$ o seu produto tensorial é a forma multilinear

$$(f\otimes g)(x_1,\dots ,x_{k+m})=f(x_1,\dots ,x_k)g(x_{k+1},\dots ,x_{k+m}).$$

Este é um caso especial do produto de tensores se eles são vistos como aplicações multilineares (ver também tensores como aplicações multilineares). Assim, as componentes do produto tensorial de formas multilineares pode ser calculado pelo produto de Kronecker.

Produto tensorial de grafos

Deve ser mencionado que, apesar de ser chamado de "produto tensorial", este não é um produto tensorial de grafos no sentido acima; na verdade, é o produto categorial na categoria de grafos e homomorfismos de grafos. No entanto, ele é, na verdade, o produto tensorial de Kronecker das matrizes de adjacência dos grafos. Compare também com a seção produto tensorial de transformações lineares acima.

Categorias monoidais

O contexto mais geral para o produto tensorial é a categoria monoidal. Ela captura a essência algébrica dos tensores, sem fazer qualquer referência específica ao que está sendo multiplicado tensorialmente. Assim, todos os produtos tensoriais podem ser expressos como uma aplicação da categoria monoidal para algum contexto determinado, atuando sobre alguns objetos particulares.

Quociente de álgebras

Um número de subespaços importantes da álgebra tensorial podem ser construídos como quocientes: estes incluem a álgebra exterior, a álgebra simétrica, a álgebra de Clifford, a álgebra de Weyl, e a álgebra envelopante universal em geral.

A álgebra exterior é construída a partir do produto exterior. Dado um espaço vetorial Predefinição:Math, o produto exterior $V\wedge V$ é definido como

$$V\wedge V:=V\otimes V/(v\otimes v\text{ for all }v\in V).$$

Observe que, quando o corpo subjacente de Predefinição:Math não tem característica 2, esta definição é equivalente a

$$V\wedge V:=V\otimes V/(v_1\otimes v_2+v_2\otimes v_1\text{ for all }{v}_1,v_2\in V).$$

A imagem de $v_1\otimes v_2$ no produto exterior é geralmente denotada por $v_1\wedge v_2$ e satisfaz, por construção, $v_1\wedge v_2=-v_2\wedge v_1.$ São possíveis construções semelhantes para $V\otimes \dots \otimes V$ (com Predefinição:Math fatores), dando origem a ${\mathrm{\Lambda }}^{n}V$a Predefinição:Math-ésima potência exterior de Predefinição:Math. O último conceito é a base das [[Forma diferencial|Predefinição:Math-formas diferenciais]].

A álgebra simétrica é construída de forma semelhante, a partir do produto simétrico

$$V\odot V:=V\otimes V/(v_1\otimes v_2-v_2\otimes v_1\text{ for all }{v}_1,v_2\in V).$$

Mais geralmente

$${\mathrm{Sym}}^{n}V:=\underset{n}{\underbrace{V\otimes \dots \otimes V}}/(\dots \otimes v_i\otimes v_{i+1}\otimes \dots -\dots \otimes v_{i+1}\otimes v_i\otimes \dots )$$

Isto é, na álgebras imétrica ois vetores adjacentes (e, portanto, todos eles) podem ser ipermutados Os objetos resultantes são chamados de tensores simétricos.

Álgebras adicionais resultam do quociente por outros polinômios; o caso geral é dado pelas álgebras envelopantes universais.

Produto tensorial em programação

Matriz de linguagens de programação

Linguagens de programação matriciais podem ter este padrão disponível por padrão. Por exemplo, em APL o produto tensorial é expresso por ○.× (por exemplo, A ○.× B ou A ○.× B ○.× C). Em J o produto tensorial é a forma diádica de */ (por exemplo A */ b ou a */ b */ c).

Note que o tratamento feito em J também permite a representação de alguns corpos tensoriais, já que a e b podem ser funções, em vez de constantes. Este produto de duas funções é uma função derivada, e se a e b são diferenciáveis, então a */ b é diferenciável.

No entanto, estes tipos de notação não estão presentes universalmente nas linguagens matriciais. Outras linguagens matriciais podem exigir o tratamento explícito dos índices (por exemplo, MATLAB), e/ou podem não suportar funções de ordem superior, tais como a derivada jacobiana (por exemplo, Fortran/APL).

Ver também

• Produto diádico
• Extensão de escalares
• Álgebra tensorial
• Contração tensorial
• Produto tensorial topológico
• Categoria monoidal

Referências

• Predefinição:Citar livro
• Predefinição:Citar web
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citation
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar web