Symmetric tensor

Short description: Tensor invariant under permutations of vectors it acts on

In mathematics, a symmetric tensor is a tensor that is invariant under a permutation of its vector arguments:

[math]\displaystyle{ T(v_1,v_2,\ldots,v_r) = T(v_{\sigma 1},v_{\sigma 2},\ldots,v_{\sigma r}) }[/math]

for every permutation σ of the symbols {1, 2, ..., r}. Alternatively, a symmetric tensor of order r represented in coordinates as a quantity with r indices satisfies

[math]\displaystyle{ T_{i_1i_2\cdots i_r} = T_{i_{\sigma 1}i_{\sigma 2}\cdots i_{\sigma r}}. }[/math]

The space of symmetric tensors of order r on a finite-dimensional vector space V is naturally isomorphic to the dual of the space of homogeneous polynomials of degree r on V. Over fields of characteristic zero, the graded vector space of all symmetric tensors can be naturally identified with the symmetric algebra on V. A related concept is that of the antisymmetric tensor or alternating form. Symmetric tensors occur widely in engineering, physics and mathematics.

## Contents

* 1 Definition
* 2 Examples
* 3 Symmetric part of a tensor
* 4 Symmetric product
* 5 Decomposition
* 6 See also
* 7 Notes
* 8 References
* 9 External links

## Definition

Let V be a vector space and

[math]\displaystyle{ T\in V^{\otimes k} }[/math]

a tensor of order k. Then T is a symmetric tensor if

[math]\displaystyle{ \tau_\sigma T = T\, }[/math]

for the braiding maps associated to every permutation σ on the symbols {1,2,...,k} (or equivalently for every transposition on these symbols).

Given a basis {ei} of V, any symmetric tensor T of rank k can be written as

[math]\displaystyle{ T = \sum_{i_1,\ldots,i_k=1}^N T_{i_1i_2\cdots i_k} e^{i_1} \otimes e^{i_2}\otimes\cdots \otimes e^{i_k} }[/math]

for some unique list of coefficients [math]\displaystyle{ T_{i_1i_2\cdots i_k} }[/math] (the components of the tensor in the basis) that are symmetric on the indices. That is to say

[math]\displaystyle{ T_{i_{\sigma 1}i_{\sigma 2}\cdots i_{\sigma k}} = T_{i_1i_2\cdots i_k} }[/math]

for every permutation σ.

The space of all symmetric tensors of order k defined on V is often denoted by Sk(V) or Symk(V). It is itself a vector space, and if V has dimension N then the dimension of Symk(V) is the binomial coefficient

[math]\displaystyle{ \dim\operatorname{Sym}^k(V) = {N + k - 1 \choose k}. }[/math]

We then construct Sym(V) as the direct sum of Symk(V) for k = 0,1,2,...

[math]\displaystyle{ \operatorname{Sym}(V)= \bigoplus_{k=0}^\infty \operatorname{Sym}^k(V). }[/math]

## Examples

There are many examples of symmetric tensors. Some include, the metric tensor, [math]\displaystyle{ g_{\mu\nu} }[/math], the Einstein tensor, [math]\displaystyle{ G_{\mu\nu} }[/math] and the Ricci tensor, [math]\displaystyle{ R_{\mu\nu} }[/math].

Many material properties and fields used in physics and engineering can be represented as symmetric tensor fields; for example: stress, strain, and anisotropic conductivity. Also, in diffusion MRI one often uses symmetric tensors to describe diffusion in the brain or other parts of the body.

Ellipsoids are examples of algebraic varieties; and so, for general rank, symmetric tensors, in the guise of homogeneous polynomials, are used to define projective varieties, and are often studied as such.

Given a Riemannian manifold [math]\displaystyle{ (M,g) }[/math] equipped with its Levi-Civita connection [math]\displaystyle{ \nabla }[/math], the covariant curvature tensor is a symmetric order 2 tensor over the vector space [math]\displaystyle{ V = \Omega^2(M) = \bigwedge^2 T^*M }[/math] of differential 2-forms. This corresponds to the fact that, viewing [math]\displaystyle{ R_{ijk\ell} \in (T^*M)^{\otimes 4} }[/math], we have the symmetry [math]\displaystyle{ R_{ij\, k\ell} = R_{k\ell\, ij} }[/math] between the first and second pairs of arguments in addition to antisymmetry within each pair: [math]\displaystyle{ R_{jik\ell} = - R_{ijk\ell} = R_{ij\ell k} }[/math].[1]

## Symmetric part of a tensor

Suppose [math]\displaystyle{ V }[/math] is a vector space over a field of characteristic 0\. If T ∈ V⊗k is a tensor of order [math]\displaystyle{ k }[/math], then the symmetric part of [math]\displaystyle{ T }[/math] is the symmetric tensor defined by

[math]\displaystyle{ \operatorname{Sym}\, T = \frac{1}{k!}\sum_{\sigma\in\mathfrak{S}_k} \tau_\sigma T, }[/math]

the summation extending over the symmetric group on k symbols. In terms of a basis, and employing the Einstein summation convention, if

[math]\displaystyle{ T = T_{i_1i_2\cdots i_k}e^{i_1}\otimes e^{i_2}\otimes\cdots \otimes e^{i_k}, }[/math]

then

[math]\displaystyle{ \operatorname{Sym}\, T = \frac{1}{k!}\sum_{\sigma\in \mathfrak{S}_k} T_{i_{\sigma 1}i_{\sigma 2}\cdots i_{\sigma k}} e^{i_1}\otimes e^{i_2}\otimes\cdots \otimes e^{i_k}. }[/math]

The components of the tensor appearing on the right are often denoted by

[math]\displaystyle{ T_{(i_1i_2\cdots i_k)} = \frac{1}{k!}\sum_{\sigma\in \mathfrak{S}_k} T_{i_{\sigma 1}i_{\sigma 2}\cdots i_{\sigma k}} }[/math]

with parentheses () around the indices being symmetrized. Square brackets [] are used to indicate anti-symmetrization.

## Symmetric product

If T is a simple tensor, given as a pure tensor product

[math]\displaystyle{ T=v_1\otimes v_2\otimes\cdots \otimes v_r }[/math]

then the symmetric part of T is the symmetric product of the factors:

[math]\displaystyle{ v_1\odot v_2\odot\cdots\odot v_r := \frac{1}{r!}\sum_{\sigma\in\mathfrak{S}_r} v_{\sigma 1}\otimes v_{\sigma 2}\otimes\cdots\otimes v_{\sigma r}. }[/math]

In general we can turn Sym(V) into an algebra by defining the commutative and associative product ⊙.[2] Given two tensors T1 ∈ Symk1(V) and T2 ∈ Symk2(V), we use the symmetrization operator to define:

[math]\displaystyle{ T_1\odot T_2 = \operatorname{Sym}(T_1\otimes T_2)\quad\left(\in\operatorname{Sym}^{k_1+k_2}(V)\right). }[/math]

It can be verified (as is done by Kostrikin and Manin[2]) that the resulting product is in fact commutative and associative. In some cases the operator is omitted: T1T2 = T1 ⊙ T2.

In some cases an exponential notation is used:

[math]\displaystyle{ v^{\odot k} = \underbrace{v \odot v \odot \cdots \odot v}_{k\text{ times}}=\underbrace{v \otimes v \otimes \cdots \otimes v}_{k\text{ times}}=v^{\otimes k}. }[/math]

Where v is a vector. Again, in some cases the ⊙ is left out:

[math]\displaystyle{ v^k=\underbrace{v\,v\,\cdots\,v}_{k\text{ times}}=\underbrace{v\odot v\odot\cdots\odot v}_{k\text{ times}}. }[/math]

## Decomposition

In analogy with the theory of symmetric matrices, a (real) symmetric tensor of order 2 can be "diagonalized". More precisely, for any tensor T ∈ Sym2(V), there is an integer r, non-zero unit vectors v1,...,vr ∈ V and weights λ1,...,λr such that

[math]\displaystyle{ T = \sum_{i=1}^r \lambda_i \, v_i\otimes v_i. }[/math]

The minimum number r for which such a decomposition is possible is the (symmetric) rank of T. The vectors appearing in this minimal expression are the principal axes of the tensor, and generally have an important physical meaning. For example, the principal axes of the inertia tensor define the Poinsot's ellipsoid representing the moment of inertia. Also see Sylvester's law of inertia.

For symmetric tensors of arbitrary order k, decompositions

[math]\displaystyle{ T = \sum_{i=1}^r \lambda_i \, v_i^{\otimes k} }[/math]

are also possible. The minimum number r for which such a decomposition is possible is the symmetric rank of T.[3] This minimal decomposition is called a Waring decomposition; it is a symmetric form of the tensor rank decomposition. For second-order tensors this corresponds to the rank of the matrix representing the tensor in any basis, and it is well known that the maximum rank is equal to the dimension of the underlying vector space. However, for higher orders this need not hold: the rank can be higher than the number of dimensions in the underlying vector space. Moreover, the rank and symmetric rank of a symmetric tensor may differ.[4]

## See also

* Antisymmetric tensor
* Ricci calculus
* Schur polynomial
* Symmetric polynomial
* Transpose
* Young symmetrizer

## Notes

1. ↑ Carmo, Manfredo Perdigão do (1992). Riemannian geometry. Francis J. Flaherty. Boston: Birkhäuser. ISBN 0-8176-3490-8. OCLC 24667701. https://www.worldcat.org/oclc/24667701.
2. ↑ 2.0 2.1 Kostrikin, Alexei I.; Manin, Iurii Ivanovich (1997). Linear algebra and geometry. Algebra, Logic and Applications. 1. Gordon and Breach. pp. 276–279. ISBN 9056990497.
3. ↑ Comon, P.; Golub, G.; Lim, L. H.; Mourrain, B. (2008). "Symmetric Tensors and Symmetric Tensor Rank". SIAM Journal on Matrix Analysis and Applications 30 (3): 1254. doi:10.1137/060661569.
4. ↑ Shitov, Yaroslav (2018). "A Counterexample to Comon's Conjecture" (in en-US). SIAM Journal on Applied Algebra and Geometry 2 (3): 428–443. doi:10.1137/17m1131970. ISSN 2470-6566. https://epubs.siam.org/action/captchaChallenge?redirectUri=/doi/10.1137/17M1131970.

## References

* Bourbaki, Nicolas (1989), Elements of mathematics, Algebra I, Springer-Verlag, ISBN 3-540-64243-9 .
* Bourbaki, Nicolas (1990), Elements of mathematics, Algebra II, Springer-Verlag, ISBN 3-540-19375-8 .
* Greub, Werner Hildbert (1967), Multilinear algebra, Die Grundlehren der Mathematischen Wissenschaften, Band 136, Springer-Verlag New York, Inc., New York .
* Sternberg, Shlomo (1983), Lectures on differential geometry, New York: Chelsea, ISBN 978-0-8284-0316-0 .

## External links

* Cesar O. Aguilar, The Dimension of Symmetric k-tensors

* v
* t
* e

Tensors

Glossary of tensor theory

Scope|

| Mathematics|

* coordinate system
* multilinear algebra
* Euclidean geometry
* tensor algebra
* dyadic algebra
* differential geometry
* exterior calculus
* tensor calculus

|

* Physics
* Engineering

* continuum mechanics
* electromagnetism
* transport phenomena
* general relativity
* computer vision

Notation|

* index notation
* multi-index notation
* Einstein notation
* Ricci calculus
* Penrose graphical notation
* Voigt notation
* abstract index notation
* tetrad (index notation)
* Van der Waerden notation

Tensor
definitions|

* tensor (intrinsic definition)
* tensor field
* tensor density
* tensors in curvilinear coordinates
* mixed tensor
* antisymmetric tensor
* symmetric tensor
* tensor operator
* tensor bundle
* two-point tensor

Operations|

* tensor product
* exterior product
* tensor contraction
* transpose (2nd-order tensors)
* raising and lowering indices
* Hodge star operator
* covariant derivative
* exterior derivative
* exterior covariant derivative
* Lie derivative

Related
abstractions|

* dimension
* basis
* vector, vector space
* multivector
* covariance and contravariance of vectors
* linear transformation
* matrix
* spinor
* Cartan formalism
* differential form
* exterior form
* connection form
* geodesic
* manifold
* fiber bundle
* Levi-Civita connection
* affine connection

Notable tensors|

| Mathematics|

* Kronecker delta
* Levi-Civita symbol
* metric tensor
* nonmetricity tensor
* Christoffel symbols
* Ricci curvature
* Riemann curvature tensor
* Weyl tensor
* torsion tensor

|

Physics|

* moment of inertia
* angular momentum tensor
* spin tensor
* Cauchy stress tensor
* stress–energy tensor
* EM tensor
* gluon field strength tensor
* Einstein tensor
* metric tensor (GR)

Mathematicians|

* Leonhard Euler
* Carl Friedrich Gauss
* Augustin-Louis Cauchy
* Hermann Grassmann
* Gregorio Ricci-Curbastro
* Tullio Levi-Civita
* Jan Arnoldus Schouten
* Bernhard Riemann
* Elwin Bruno Christoffel
* Woldemar Voigt
* Élie Cartan
* Hermann Weyl
* Albert Einstein

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Symmetric tensor. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Symmetric_tensor&oldid=3357020"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template