Symmetric tensor: Difference between revisions

Content deleted Content added
m Capitalising short description "tensor invariant under permutations of vectors it acts on" per WP:SDFORMAT (via Bandersnatch)
Decomposition: example of curvature tensor
Line 39:
 
Ellipsoids are examples of [[algebraic varieties]]; and so, for general rank, symmetric tensors, in the guise of [[homogeneous polynomial]]s, are used to define [[projective varieties]], and are often studied as such.
 
Given a Riemannian manifold <math>(M,g)</math> equipped with its Levi-Civita connection <math>\nabla</math>, the [[Riemann curvature tensor#Coordinate expression|covariant curvature tensor]] is a symmetric order 2 tensor over the vector space <math display="inline">V = \Omega^2(M) = \bigwedge^2 T^*M</math> of differential 2-forms. This corresponds to the fact that, viewing <math>R_{ijk\ell} \in (T^*M)^{\otimes 4}</math>, we have the symmetry <math>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>R_{jik\ell} = - R_{ijk\ell} = R_{ij\ell k}</math>.<ref>{{Cite book |last=Carmo |first=Manfredo Perdigão do |url=https://www.worldcat.org/oclc/24667701 |title=Riemannian geometry |date=1992 |publisher=Birkhäuser |others=Francis J. Flaherty |isbn=0-8176-3490-8 |___location=Boston |oclc=24667701}}</ref>
 
==Symmetric part of a tensor==
Line 82 ⟶ 84:
 
==Decomposition==
In analogy with the theory of [[symmetric matrix|symmetric matrices]], a (real) symmetric tensor of order 2 can be "diagonalized". More precisely, for any tensor ''T''&nbsp;&isin;&nbsp;Sym<sup>2</sup>(''V''), there areis an integer ''r'', non-zero unit vectors ''v''<sub>1</sub>,...,''v''<sub>''r''</sub>&nbsp;&isin;&nbsp;''V'' and weights ''&lambda;''<sub>1</sub>,...,''&lambda;''<sub>''r''</sub> such that
:<math>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 axis theorem|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]].