Produto tensorial

Disambig grey.svg Nota: Para generalizações deste conceito, veja Produto tensorial de módulos. Para outros significados, veja Produto tensorial (desambiguação).

Em matemática, o produto tensorial VW de dois espaços vetoriais V e W (sobre o mesmo corpo) é um espaço vetorial, dotado de uma operação de composição bilinear, denotada por , de pares ordenados do produto Cartesiano V × W sobre VW, de uma maneira que generaliza o produto externo. O produto tensorial de V e W é o espaço vetorial gerado pelos símbolos vw, com vV e wW, em que as relações de bilinearidade são impostas para o produto , 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:

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:

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 concretoEditar

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,   e   como o conjunto de todos os tensores que tomam um vetor de   e um de   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:

 

em que cada notação representa a soma  

Um tensor é, então, uma aplicação   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:

 

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   e é igual a   Esse tensor resulta na matriz

 

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   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   (aqui,  jé a base do outro espaço vetorial,  têm um "1" na  -é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 livreEditar

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   pode ser escrito na forma de uma soma dupla

 

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   é algum conjunto, que poderia ser chamado de uma base abstrata. Agora considere todas as expressões formais do tipo

 

de comprimento   arbitrário, mas finito, e nas quais os a_j são escalares e os \beta_j são elementos de 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   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 é

 

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   Observe que os elementos de  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   e   representam "vetores de base abstratos" de dois conjuntos   e   por exemplo, que " "e " " então os pares destes vetores no produto cartesiano   ou seja,   são tomados como sendo os produtos tensoriais   (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   e   como sendo algo (ainda a ser decidido) que é isomorfo a  

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

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   e   cujo produto tensorial   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   e   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   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   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   com a base canônica, que é suficientemente pequeno mas não trivial, pode-se considerar que o tensor formado pelos vetores   e   isto é,

 

também poderia ser representado por outras somas, tais como a soma usando tensores básicos   como por exemplo

 

Estas expressões, embora sejam iguais no caso concreto, seriam elementos distintos do espaço vetorial livre   a saber

 

no primeiro caso, e

 

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):

 
 
 

Se o objetivo for relacionar o produto externo   com, por exemplo,  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  

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

 
 

e que por meio da substituição em

 

obtêm-se

 

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   e    etc, e isso, finalmente, é o que leva à definição formal do produto tensorial.

A definição do produto tensorial abstratoEditar

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

 

em que   é a relação de equivalência de igualdade formal, que é gerada pela suposição de que para cada   e   tomadas como expressões formais no espaço vetorial livre vale o seguinte:

Identidade.  
Distributividade.   e  
Múltiplos escalares.   e  

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   e   a classe de equivalência   é indicada por  

PropriedadesEditar

NotaçãoEditar

Muitas vezes os elementos de VW são chamados de tensores, embora este termo se refira a muitos outros conceitos relacionados.[1] Se v pertence a V e w pertence a W, então a classe de equivalência de (v, w) é denotada por vw, e é denominado o produto tensorial de v com w. Em engenharia, o uso do símbolo "⊗" refere-se, especificamente, à operação de produto externo; o resultado do produto externo vw é uma das maneiras usuais de representar a classe de equivalência vw.[2] Um elemento de VW que pode ser escrito na forma vw é 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 v1 e v2 são linearmente independentes, e w1 e w2 também são linearmente independentes, então v1w1 + v2w2 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 (1, 1) (elementos do espaço VV), ele coincide com o posto da matriz.

DimensãoEditar

Dada bases {vi} e {wj} para V e W , respectivamente, os tensores {viwj} formam uma base para VW. Portanto, se V e W têm dimensão finita, a dimensão do produto é o produto das dimensões dos espaços originais; por exemplo, RmRn é isomorfo a Rmn.

Produto tensorial de transformações linearesEditar

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

 

definida por

 

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

Se S e T são ambas injectivas, sobrejetivas ou contínuas então ST é, respectivamente, injetiva, sobrejetiva ou contínua.

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

 

respectivamente, o produto tensorial destas duas matrizes será

 

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 universalEditar

 
Este diagrama comutativo apresenta a propriedade universal do produto tensorial. Aqui   e   são bilineares, considerando que   é linear.

No contexto de espaços vetoriais, o produto tensorial e a transformação bilinear   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,   é a transformação bilinear mais geral definida em  

O espaço vetorial   e a transformação bilinear associada   têm a propriedade de que toda transformação bilinear   de   para qualquer espaço vetorial   pode ser fatorada unicamente através de   Ao dizer que "  é fatorada unicamente através de  ", o que se quer dizer é que existe uma única transformação linear   tal que  

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:

 

Para construir, por exemplo, uma transformação de   para  basta que seja dada uma aplicação bilinear   que leve   em   Então a propriedade universal de   quer dizer que   pode ser fatorada em um aplicação   Uma aplicação   no sentido oposto, é definida da mesma forma, e se verifica que as duas transformações lineares   e   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

 

Portanto, costuma-se omitir os parênteses e escrever  

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.[4]

Potências tensoriais e trançasEditar

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

 

Uma permutação σ do conjunto {1, 2, ..., n} determina uma função da n-ésima potência cartesiana de V como segue:

 

Seja

 

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

 

tal que

 

O isomorfismo τσ é chamado de aplicação trança associada à permutação σ.

Produto de tensoresEditar

Dados os números inteiros não negativos r e s, um tensor do tipo (r,s) em um espaço vetorial V é um elemento de

 

Aqui V é o espaço vetorial dual (que consiste de todas as transformações lineares f de V para o corpo de escalares K).

Há uma aplicação produto, chamado de produto (tensorial) de tensores[5]

 

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

 

A escolha de uma base de V e da base dual correspondente de V induz, naturalmente, uma base para Tr
s
(V)
(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 F e G são dois tensores covariantes de postos m e n, respectivamente (ou seja, FT 0
m
, e GT 0
n
) então as componentes de seu produto tensorial são dados por

 

[6] Assim, as componentes do produto tensorial de dois tensores são o produto ordinário das componentes de cada tensor. Outro exemplo: seja U um tensor do tipo (1, 1) com componentes Uαβ, e seja V um tensor do tipo (1, 0) com componentes Vγ. Então,

 

e

 

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

Relação com o espaço dualEditar

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

 

que é definida nos tensores elementares por

 

A função resultante

 

é chamada de contração do tensor (para r, s > 0 ).

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

 

em que v1, ..., vn é qualquer base de V, e vi é a sua base dual. Surpreendentemente, esta aplicação não depende da base escolhida.[7]

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.[8]

Produto tensorial vs. HomEditar

Dados dois espaços vetoriais de dimensão finita U, V sobre o mesmo corpo K, denote o espaço dual de U por U*e o K-espaço vetorial de todas as transformações lineares de U em V por Hom(U,V). Tem-se a seguinte relação:

 

um isomorfismo pode ser definido por   pela ação em tensores puro

 

o seu "inverso" pode ser definido de uma maneira similar como acima (Relação com o espaço dual) usando base dual  

 

Este resultado implica

 

que automaticamente dá o importante fato de que   forma uma base para   em que   são bases de U e V.

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

 

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

Representação adjuntaEditar

O tensor   pode ser visto naturalmente como um módulo para a álgebra de Lie End(V), por meio da ação diagonal: por simplicidade, suponha que r = s = 1, então, para cada u ∈ End(V),

 

em que u em End(V) é a transposta de u, isto é, em termos do emparelhamento óbvio em VV,

 

Há um isomorfismo canônico   definido por

 

Sob este isomorfismo, cada u em End(V) pode ser visto primeiramente como um endomorfismo de   e, então, como um endomorfismo de End(V). Na verdade, ele é a representação adjunta ad(u) de End(V).

Produtos tensoriais de módulos sobre um anelEditar

O produto tensorial de dois módulos A e B sobre um anel comutativo R é definido exatamente da mesma maneira que p produto tensorial de espaços vetoriais sobre um corpo:

 

onde agora F(A × B) é o R-módulo livre gerado pelo produto cartesiano e G é o R-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 (abba). Neste caso, A tem que ser um R-módulo à direita e B é R-módulo à esquerda e, em vez das duas últimas relações acima, é imposta a relação

 

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

A propriedade universal também é adaptada quase sem modificação: a aplicação φ : A × BAR B definida por (a, b) ↦ ab é uma transformação linear intermediária (chamada de "transformação linear intermediária canônica".[9]); isto é,[10] que satisfaz:

 

As duas primeiras propriedades fazem de φ uma transformação bilinear do grupo abeliano A × B. Para qualquer transformação linear intermediária ψ de A × B, um único homomorfismo de grupos f de AR B satisfaz ψ = fφ, e esta propriedade determina   a menos de isomorfismos de grupo. Veja o artigo principal para obter detalhes.

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

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

 

onde   é um grupo abeliano livre sobre   e G é um subgrupo de   gerado pelas relações

 

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

 

Então, há uma única aplicação   tal que   para cada  

Além disso, pode-se definir em   uma estrutura de módulo sob algumas condições extras.

1) Se A é um (S,R)-bimódulo, então,   é um S-módulo à esquerda em que  
2) Se B é um (R,S)-bimódulo, então   é um S-módulo à direita em que  
3) Se R é um anel comutativo, então A e B são (R,R)-bimódulos em que   e   1),   é um R-módulo à esquerda. Por 2),   é um R-módulo à direita. Assim, pode-se concluir que   é um (R,R)-bimódulo.

Cálculo do produto tensorialEditar

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

 

Mais geralmente, dada uma presentação de um R-módulo M, isto é, um número de geradores miM, iI, juntamente com relações   em que ajiR, o produto tensorial pode ser calculado como a seguir cokernel:

 

Aqui NJ := ⨁jJ N e a aplicação é determinada levando algum nN na j-ésima cópia de NJ para ajin (em NI). Coloquialmente, isso pode ser reformulado dizendo que uma presentação de M dá origem a uma presentação de MR N. Isso é descrito dizendo-se que produto é um funtor exato à direita. Ele não é, em geral, exato à esquerda, isto é, dada uma aplicação injetiva de R-módulos M1M2, o produto tensorial

 

geralmente não é injetivo. Por exemplo, calculando-se o produto tensorial da aplicação (injetiva) com a multiplicação com n, n : ZZ com Z/nZ produz a aplicação nula 0 : Z/nZZ/nZ, 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 álgebrasEditar

Seja R um anel comutativo. O produto tensorial de R-módulos aplica-se, em particular, se A e B são R-álgebras. Neste caso, o produto tensorial AR B é ele próprio uma R-álgebra, colocando

 

Por exemplo,

 

Um exemplo específico é quando A e B são corpos que contêm um subcorpo comum R. O produto tensorial de corpos está intimamente relacionado com a teoria de Galois: se, por exemplo, A = R[x] / f(x), onde f é algum polinômio irredutível com coeficientes em R, o produto tensorial pode ser calculado como

 

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

 

é isomorfo (como uma A-álgebra) a Adeg(f).

Autoconfigurações de tensoresEditar

Matrizes quadradas A, com entradas em um corpo K representam transformações lineares entre espaços vetoriais, por exemplo  e, portanto, transformações lineares   entre espaços projetivos sobre   Se A é não singular, então   é bem definida em todos os lugares, e os autovetores de   correspondem aos pontos fixos de   A autoconfiguração de A consiste de n pontos de   desde que   seja genérica e K seja algebricamente fechado. Os pontos fixos de transformações não lineares são os autovetores de tensores. Seja   um tensor de dimensão   com o formato   e com entradas   pertencentes a um corpo algebricamente fechado   de característica zero. Tal tensor   define funções polinomiais   e   com coordenadas

 

Assim, cada uma das  n coordenadas de   é um polinômio homogêneo   de grau   em   Os autovetores de   são as soluções da restrição

 

e a autoconfiguração é dada pela variedade dos menores   desta matriz.[11]

Outros exemplos de produtos tensoriaisEditar

Produto tensorial de espaços de HilbertEditar

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ógicoEditar

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 graduadosEditar

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çõesEditar

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 formas quadráticasEditar

Produto tensorial de multilinear formasEditar

Dadas duas formas multilineares   e   sobre um espaço vetorial   sobre o campo   o seu produto tensorial é a forma multilinear

 
[12]

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 feixes de módulosEditar

Produto tensorial de fibrados de retasEditar

Produto tensorial de corposEditar

Produto tensorial de grafosEditar

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 monoidaisEditar

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 álgebrasEditar

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 V, o produto exterior   é definido como

 

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

 

A imagem de   no produto exterior é geralmente denotada por   e satisfaz, por construção,   São possíveis construções semelhantes para   (com n fatores), dando origem a  a n-ésima potência exterior de V. O último conceito é a base das n-formas diferenciais.

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

 

Mais geralmente

 

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çãoEditar

Matriz de linguagens de programaçãoEditar

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émEditar

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

NotasEditar

  1. Ver Tensor ou Tensor (definição intrínseca).
  2. Isto é semelhante a como o uso do operador " " por engenheiros retorna especificamente o resto, um dos muitos elementos da classe de equivalência  .
  3. Hazewinkel, Michiel; Gubareni, Nadezhda Mikhaĭlovna; Gubareni, Nadiya; Kirichenko, Vladimir V. Algebras, rings and modules. [S.l.: s.n.] ISBN 978-1-4020-2690-4 
  4. «Cópia arquivada»  Obtido em 2 de setembro de 2017.[fonte gerada pelo usuário]
  5. Bourbaki (1989), p. 244 define o uso de "produto tensorial de x e y", elementos dos respectivos módulos.
  6. Fórmulas análogas também valem para tensores contravariantes, bem como tensores de variância mista. Embora a distinção seja irrelevante em muitos casos, como quando há um produto interno definido.
  7. «The Coevaluation on Vector Spaces». The Unapologetic Mathematician 
  8. Ver Categoria fechada compacta.
  9. Hungerford, Thomas W. Algebra. [S.l.: s.n.] ISBN 0-387-90518-9 
  10. Chen, Jungkai Alfred (2004), «Tensor product» (PDF), Advanced Algebra II, National Taiwan University, cópia arquivada (PDF) em 4 de março de 2016 
  11. Abo, H.; Seigal, A.; Sturmfels B. arXiv:1505.05729 [matemática.AG]
  12. Tu, L. W. An Introduction to Manifolds. Col: Universitext. [S.l.: s.n.] ISBN 978-1-4419-7399-3 

ReferênciasEditar