In mathematics, a symmetric tensor is an unmixed tensor that is invariant under a permutation of its vector arguments:
T ( v 1 , v 2 , … , v r ) = T ( v σ 1 , v σ 2 , … , v σ r ) {\displaystyle T(v_{1},v_{2},\ldots ,v_{r})=T(v_{\sigma 1},v_{\sigma 2},\ldots ,v_{\sigma r})}
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
T i 1 i 2 ⋯ i r = T i σ 1 i σ 2 ⋯ i σ r . {\displaystyle T_{i_{1}i_{2}\cdots i_{r}}=T_{i_{\sigma 1}i_{\sigma 2}\cdots i_{\sigma r}}.}
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.
Definition Let V be a vector space and
T ∈ V ⊗ k {\displaystyle T\in V^{\otimes k}}
a tensor of order k. Then T is a symmetric tensor if
τ σ T = T {\displaystyle \tau _{\sigma }T=T\,}
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
T = ∑ i 1 , … , i k = 1 N T i 1 i 2 ⋯ i k e i 1 ⊗ e i 2 ⊗ ⋯ ⊗ e i k {\displaystyle T=\sum _{i_{1},\ldots ,i_{k}=1}^{N}T_{i_{1}i_{2}\cdots i_{k}}e^{i_{1}}\otimes e^{i_{2}}\otimes \cdots \otimes e^{i_{k}}}
for some unique list of coefficients T i 1 i 2 ⋯ i k {\displaystyle T_{i_{1}i_{2}\cdots i_{k}}} (the components of the tensor in the basis) that are symmetric on the indices. That is to say
T i σ 1 i σ 2 ⋯ i σ k = T i 1 i 2 ⋯ i k {\displaystyle T_{i_{\sigma 1}i_{\sigma 2}\cdots i_{\sigma k}}=T_{i_{1}i_{2}\cdots i_{k}}}
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
dim Sym k ( V ) = ( N + k − 1 k ) . {\displaystyle \dim \operatorname {Sym} ^{k}(V)={N+k-1 \choose k}.}
… excerpt ends here. Continue reading the full article.
