Mostrar código-fonte de Tensor

[[Imagem:Components stress tensor cartesian.svg|300px|direita|miniatura|Figura 1. Tensão mecânica ou estresse: um tensor de segunda ordem. Os componentes do tensor, em um sistema tridimensional de coordenadas cartesianas, formam a matriz

<math>\scriptstyle\sigma = \begin{bmatrix}\mathbf{T}^{(\mathbf{e}_1)} \mathbf{T}^{(\mathbf{e}_2)} \mathbf{T}^{(\mathbf{e}_3)}\end{bmatrix} = \begin{bmatrix} \sigma_{11} & \sigma_{12} & \sigma_{13} \\ \sigma_{21} & \sigma_{22} & \sigma_{23} \\ \sigma_{31} & \sigma_{32} & \sigma_{33} \end{bmatrix}</math>

cujas colunas são as forças que atuam sobre as faces <math>\mathbf{e}_1</math>, <math>\mathbf{e}_2</math>, e <math>\mathbf{e}_3</math> do cubo]]

'''Tensores''' são entidades geométricas introduzidas na [[matemática]] e na [[física]] para generalizar a noção de [[Grandeza escalar|escalares]], [[Espaço vetorial|vetores]] e [[Matriz (matemática)|matrizes]]. Assim como tais entidades, um tensor é uma forma de representação associada a um conjunto de operações tais como a soma e o produto.<ref>{{citar web |título=What is a Tensor? |website=Dissemination of IT for the Promotion of Materials Science |publicado=[[Universidade de Cambridge]] |url=http://www.doitpoms.ac.uk/tlplib/tensors/what_is_tensor.php}}</ref> Um exemplo mais sofisticado é o [[tensor tensão de Cauchy]] '''T''', que toma uma direção '''v''' como entrada e produz a tensão '''T'''<sup>('''v''')</sup> sobre a superfície normal a '''v''' como saída, expressando assim uma relação entre estes dois vetores, mostrada na figura (direita).

Muitas grandezas físicas são melhor representadas como a correspondência entre um conjunto de vetores e outra. Por exemplo, a [[Tensão (mecânica)]] ou estresse (figura 1) toma uma direção (vetor) como entrada e produz a tensão sobre a superfície normal a este vetor como saída e, assim, expressa a relação entre estes dois vetores.

É possível obter um tensor examinando o que ele faz para uma coordenada base. A quantidade resultante é então organizada como uma matriz multi-dimensional. A independência de coordenadas de um tensor toma a forma da transformação que relaciona a matriz de um sistema de coordenadas para o outro.

De um modo mais formal, tensores são a generalização dos conceitos de vetor, funcional linear, [[transformação linear]], forma bilinear, e, de modo geral, aplicações n-lineares que levam n<sub>1</sub> vetores a n<sub>2</sub> vetores. Tensores são essenciais em diversas áreas da física, como [[mecânica clássica]], [[electromagnetismo]] e a [[teoria da Relatividade]]. Exemplos:

* '''Mecânico''' - Acima o tensor da [[Tensão (mecânica)]] está representada em apenas duas dimensões. Mais corretamente (figura 1) a tensão é modelada pelo tensor de Cauchy com nove componentes, três para cada dimensão. O tensor das tensões de Cauchy é usado para análise de tensões dos corpos materiais experimentando [http://en.wikipedia.org/wiki/Infinitesimal_strain_theory pequenas deformações].
* '''Elétrico''' - Na figura abaixo, uma [[carga elétrica]] produz um [[campo escalar]] de [[Potencial elétrico|potenciais elétricos]], um campo vetorial ([[campo elétrico]]) e um campo tensorial de [[Tensão (mecânica)|estresses]]. '''Campo tensorial''' é uma generalização de [[campo vetorial]], em que, a cada ponto, temos não um vetor mas um tensor.

[[Imagem:Tensor.PNG|thumb|centro|400px|Escalares, vetores e tensor]]

* '''Eletromagnético''' - Uma carga elétrica também gera um campo de [http://en.wikipedia.org/wiki/Electromagnetic_tensor tensores eletromagnéticos], conceito explorado na teoria da relatividade. Neste caso o tensor resulta da interação em cada ponto do campo elétrico e magnético. O tensor eletromagnético é dado por:

::<math>F^{\mu\nu} = \begin{bmatrix}
0 & -E_x/c & -E_y/c & -E_z/c \\
E_x/c & 0 & -B_z & B_y \\
E_y/c & B_z & 0 & -B_x \\
E_z/c & -B_y & B_x & 0
\end{bmatrix}
</math>.

* '''Gravidade''' - O mesmo se aplicaria a um corpo e seu [[Campo gravitacional]]. Neste caso teríamos um campo de [[Tensor métrico|tensores métricos]] descrito nas [[Equações de campo de Einstein]]. O tensor métrico em um [[espaço de Minkowski]] é:

::<math>g_{\mu \nu}=\begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \end{pmatrix} </math>.

== Ordem ==
A ordem (ou grau) de um tensor é a dimensionalidade da matriz necessária para representá-lo. Um tensor de ordem n em um espaço com três dimensões possui 3<sup>n</sup> componentes. A figura 1 mostra um tensor de ordem 2 e seus nove componentes. Um vetor e um escalar são casos particulares de tensores, respectivamente de ordem um e zero. Um número é uma matriz de dimensão 0, por isso para representar um escalar usamos um tensor de ordem 0. Raramente um tensor possui ordem diferente de 2 salvo, naturalmente, um vetor ou escalar.

== Covariância e contravariância ==
Assim como os componentes de um vetor mudam quando mudamos a [[Base (álgebra linear)|base]] do espaço vetorial, os componentes de
um tensor também mudam sob tal transformação. Se um índice de um tensor em uma mudança de base se transforma como um vetor com o inverso da transformação de base (por exemplo, a posição e a velocidade variam de forma oposta ao da nova base) ele é dito contravariante e é tradicionalmente denotado com um índice (sobrescrito) superior. Um índice que se transforma com a transformação própria base é chamado covariante e é indicado com um índice
inferior (subscrito)
([http://en.wikipedia.org/wiki/Covariance_and_contravariance_of_vectors covariância e contravariância]).

Um tensor de ordem ''m'' com ''n'' índices contravariantes e ''m-n'' índices covariantes é dito de ordem ou tipo  {{Nowrap|(''n'',''m-n'')}}. Um tensor <math>T^{i\dots n}</math> é dito um tensor contravariante de ordem ''n'' (ou ''n'' vezes contravariante) onde ''n'' é o número de índices sobrescritos. Analogamente <math>T_{i\dots m}</math> é um vetor covariante de ordem ''m'' (ou ''m'' vezes covariante) e <math>T^{i\dots n}_{j\dots m}</math> um tensor de ordem ''n+m'', ou um tensor ''n'' vezes contravariante e ''m'' vezes covariante.

=== Definição informal ===
Um objeto com componentes <math>T^{i j \dots n}</math> em um referencial <math>x^{i}</math> e componentes <math>T^{i\prime j'\dots n\prime}</math> em um referencial <math>x^{i\prime}</math> é chamado de '''tensor contravariante''' se é transformado de acordo com

:<math>T^{i\prime j\prime \dots n\prime}=T^{i j \dots n} p^{i\prime}_{i}p^{j\prime}_{j}\dots p^{n\prime}_{n}</math>

onde <math>p^{i\prime}_{i}</math> é definido como

:<math>p^{i\prime}_{i}=\frac{\partial x^{i\prime}}{\partial x^{i}}</math>.

É chamado de '''tensor covariante''' o objeto matemático do tipo <math>T_{i j \dots n}</math> em um referencial <math>x^{i}</math> e componentes <math>T_{i\prime j\prime\dots n\prime}</math> em um referencial <math>x^{i\prime}</math> que se transforma da seguinte maneira

:<math>T_{i\prime j\prime \dots n\prime}=T_{i j \dots n} p^{i}_{i\prime}p^{j}_{j\prime}\dots p^{n}_{n\prime}</math>.

Temos, então, que um '''tensor''' é, de forma geral, a entidade matemática do tipo <math>T^{i \dots n}_{l \dots m}</math> em um dado referencial <math>x^{i}</math> que se transforma para um referencial <math>x^{i\prime}</math> da seguinte forma

:<math>T^{i \dots n}_{l \dots m}=p^{i\prime}_{i}\dots p^{n\prime}_{n}p^{l}_{l\prime}\dots p^{m}_{m\prime}T^{i\prime \dots n\prime}_{l\prime \dots m\prime}</math> e <math>T^{i\dots n}_{j\dots m}</math>.

== Convenção de Einstein ==
A [[Notação de Einstein]] ou convenção somatória de Einstein é uma convenção que simplifica o tratamento de fórmulas com vetores e tensores introduzida por Albert Einstein em 1916. De acordo com esta convenção, quando uma variável de índice aparece duas vezes em um único termo, uma vez em um (sobrescrita) superior e uma vez em uma posição inferior (subscrito), isso implica que estamos somando sobre todos os seus possíveis valores. Em aplicações típicas, os valores de índice são 1,2,3 (que representam as três dimensões da física espaço euclidiano), Ou 0,1,2,3 ou 1,2,3,4 (representando as quatro dimensões do espaço-tempo, ou espaço de Minkowski), Mas pode ter qualquer alcance, até mesmo (em algumas aplicações) um conjunto infinito. Assim, em três dimensões

:<math> y  = c_i x^i \,</math>

significa

:<math> y = \sum_{i=1}^3 c_i x^i = c_1 x^1 + c_2 x^2 + c_3 x^3.</math>

e

:<math> y  = c_i x^i d_j x^j \,</math>

significa

:<math> y = \sum_{i=1}^3 c_i x^i \sum_{j=1}^3 d_j x^j.</math>

== Operações ==
Há uma série de operações básicas que podem ser realizadas com tensores que mais uma vez produzem um tensor. A natureza linear do tensor implica que dois tensores do mesmo tipo podem ser somados, tensores podem ser multiplicados por um escalar com resultados análogos aos de um vetor. Estas operações são realizadas componente a componente e não alteram o tipo de tensor, embora existam também operações que mudam o tipo de tensor.

=== Soma de tensores ===
A soma dos tensores S + T é calculada de maneira intuitiva componente a componente. Os tensores devem ter a mesma ordem e tipo.

Por exemplo, para tensores de segunda ordem:

:<math>  \mathbf{[S + T]}_{ij} = S_{ij} + T_{ij}</math>

onde Sij e Tij representam as componentes ij dos tensores S e T respectivamente.

=== Produto tensorial ===
O [[Produto tensorial]] ou externo toma dois tensores, ''S'' e ''T'' e produz um novo tensor, ''S <math>\otimes</math> T'', cuja ordem é a soma das ordens dos tensores originais.

Para dois vetores (tensores de 1<sup>a</sup> ordem) S e T, o produto tensorial S <math>\otimes</math> T resulta em um tensor P de 2<sup>a</sup> ordem cujos componentes são:

:<math>P = (S \otimes T)_{ij} = S_i \, T_j </math>.

O produto de um vetor e um tensor de 2<sup>a</sup> ordem resulta em um tensor de 3<sup>a</sup> ordem:

:<math>P = (S \otimes T)_{ijk} = S_i \, T_{jk} </math>.

O produto de dois tensores de 2<sup>a</sup> ordem resulta em um tensor de 4<sup>a</sup> ordem:

:<math>P = (S \otimes T)_{ijkl} = S_{ij} \, T_{kl} </math>.

Ou, genericamente, e de acordo com a notação covariante-contravariante:

:<math>P = (S\otimes T)^{i_1\ldots i_l i_{l+1}\ldots i_{l+m}}_{j_1\ldots j_k j_{k+1}\ldots j_{k+n}} =
S^{i_1\ldots i_l}_{j_1\ldots j_k} T^{i_{l+1}\ldots i_{l+m}}_{j_{k+1}\ldots j_{k+n}},</math>

Sendo ''S'' do tipo (''k'',''l'') e ''T'' do tipo (''n'',''m''), o produto é do tipo (''k''+''n'',''l''+''m'').

=== Contração ===
Contração de um tensor ([http://en.wikipedia.org/wiki/Tensor_contraction contração tensorial]) é uma operação que reduz o total da ordem de um tensor por dois. A operação é realizada somando um (ou mais) índice contravariante com um índice covariante do tensor.

Por exemplo, um tensor (1,1) é contraído em um escalar por meio da fórmula
:<math>T_i^i</math>.

Que significa (para três dimensões):

:<math>T_i^i = \sum_{i=1}^3 T_i^i</math>.

Este valor é conhecido como traço do tensor T e é designado por tr'''T'''. Genericamente o traço é igual à soma dos elementos da diagonal.

Um tensor de 4<sup>a</sup> ordem <math>T_{kl}^{ij}</math> pode ser contraído igualando i e k, resultando no tensor de 2<sup>a</sup> ordem <math>T_{il}^{ij}</math>.

=== Produto interno ===
O produto interno de dois tensores, ''S'' e ''T''  é obtido pela combinação do produto externo com uma ou mais contrações.

Primeiro calculamos <math>S \otimes T </math>. Para dois tensores de 2<sup>a</sup> ordem:

:<math>(S \otimes T)_{kl}^{ij} = S_{k}^{i} \, T_{l}^{j} </math>

e, em seguida realizamos uma contração (por exemplo, i = l):

:<math>(S T)_{k}^{j} = (S \otimes T)_{ki}^{ij}</math>.

* Para dois tensores de 1<sup>a</sup> ordem (dois vetores), não é difícil perceber que isto resulta no [[produto escalar]] dos vetores (S T = S<sub>i</sub> T<sup>i</sup>).
* Para dois tensores de 2ª ordem, o produto interno pode ser obtido pelo produto de duas matrizes:

:<math>P^i_k = S^i_j \, T^j_k = \sum_{j=1}^N S_{ij} T_{jk}</math>

* '''Subir ou descer um índice'''. Quando em um espaço vetorial está definido o produto interno (ou métrica como é conhecida, neste contexto), existem operações que convertem um índice contravariante (superior) em um índice covariante (inferior) e vice-versa. Veja [http://en.wikipedia.org/wiki/Raising_and_lowering_indices Raising and lowering indices].

== Pseudotensores ==
Pseudotensores são uma classe matemática que generalizam vetores axiais da mesma maneira que tensores generalizam vetores polares.<ref>{{citar livro |url=https://books.google.com.br/books?id=8eO7AQAAQBAJ&dq=%22C+is+a+pseudovector.+Note+that%22&hl=pt-BR |título=Vector and Tensor Analysis with Applications |primeiro1=A. I. |último1=Borisenko |primeiro2=I. E. |último2=Tarapov |isbn=9780486131900 |ano=2012 |editora=Dover |local=New York |língua=en}}</ref>

Um pseudotensor de ordem ''n'' representa a quantidade especificada por 3<sup>''n''</sup> números reais (os respectivos componentes do pseudotensor) os quais se transformam sob mudanças de sistemas de coordenadas de acordo com a lei:

<math>A'_{i_1i_2...i_n} = \alpha_{i_1'k_1}\alpha_{i_2'k_2}...\alpha_{i_n'k_n} A_{k_1k_2...kn}\Delta</math>.

Onde <math>A_{k_1k_2...k_n}, A'_{i_1i_2...i_n}</math>são as componentes do pseudotensor no antigo e no novo sistema de coordenadas ''K'' e ''K','' respectivamente, <math>\alpha_{i_1'k_1}</math>é o cosseno do ângulo entre o i<sub>1</sub>ésimo eixo de K' e o k<sub>1</sub>ésimo eixo de K (o mesmo vale para <math>\alpha_{i_2'k_2...i_n'k_n}</math>), e Δ é o determinante. A lei que rege a transformação se difere da lei de um tensor comum apenas pela presença do fator Δ. Portanto, pseudotensores se comportam da mesma maneira que tensores normais sob transformações apropriadas, mas as leis de transformação diferem se as transformações são impróprias.

=== Propriedades ===
# A soma de dois pseudotensores de ordem ''n'' é um pseudotensor de ordem ''n;''
# O produto de dois pseudotensores de ordens ''m'' e ''n'' é um tensor comum de ordem ''m'' + ''n;''
# O produto de um pseudotensor de ordem ''m'' e um tensor de ordem ''n'' é um pseudotensor de ordem ''m'' + ''n;''
# A contração de um pseudotensor dá um pseudotensor de ordem menor.
{{Referências}}

== Ligações externas ==
*{{Link||2=http://www.grc.nasa.gov/WWW/K-12/Numbers/Math/documents/Tensors_TM2002211716.pdf |3=An Introduction to Tensors for Students of Physics and Engineering |4=, released by [[NASA]]}}
*{{Link||2=http://nrich.maths.org/askedNRICH/edited/2604.html |3=A discussion of the various approaches to teaching tensors, and recommendations of textbooks}}
*{{Link||2=http://arxiv.org/abs/math.HO/0403252 |3=A Quick Introduction to Tensor Analysis |4=by R. A. Sharipov.}}
*{{Link||2=http://www.e.kth.se/~joakimds |3=Introduction to Tensors |4=by Joakim Strandberg.}}
{{Controle de autoridade}}
{{Tensores}}

[[Categoria:Álgebra multilinear]]