Classical treatment of tensors

The following is a component-based "classical" treatment of tensors. See Component-free treatment of tensors for a modern abstract treatment, and Intermediate treatment of tensors for an approach which bridges the two.

The Einstein summation convention is used throughout this page. For help with notation, refer to the table of mathematical symbols.

---

A tensor is a generalization of the concept of vector and matrices. Tensors allow one to express physical laws in a form that applies to any coordinate system. For this reason, they are used extensively in continuum mechanics and the theory of relativity.

A tensor is an invariant multi-dimensional transformation, that takes forms in one coordinate system into another. It takes the form:

<math>T^{\left[i_1,i_2,i_3,...i_n\right]}_{\left[j_1,j_2,j_3,...j_n\right]}</math>

The new coordinate system is represented by being 'barred'(<math>\bar{x}^i</math>), and the old coordinate system is unbarred(<math>x^i</math>).

The upper indices [<math>i_1,i_2,i_3,...i_n</math>] are the contravariant components, and the lower indices [<math>j_1,j_2,j_3,...j_n</math>] are the covariant components.

Table of contents 1 Contravariant and covariant tensors 2 General tensors 3 More about tensors 4 Further Reading

Contravariant and covariant tensors A contravariant tensor of order 1(<math>T^i</math>) is defined as:

<math>\bar{T}^i = T^r\frac{\partial \bar{x}^i}{\partial x^r}</math>

A covariant tensor of order 1(<math>T_i</math>) is defined as:

<math>\bar{T}_i = T_r\frac{\partial x^r}{\partial \bar{x}^i}</math>

General tensors A multi-order (general) tensor is simply the tensor product of single order tensors:

<math>T^{\left[i_1,i_2,...i_p\right]}_{\left[j_1,j_2,...j_q\right]} = T^{i_1} \otimes T^{i_2} ... \otimes T^{i_p} \otimes T_{j_1} \otimes T_{j_2} ... \otimes T_{j_p}</math>

such that:

<math>\bar{T}^{\left[i_1,i_2,...i_p\right]}_{\left[j_1,j_2,...j_q\right]} =

T^{\left[r_1,r_2,...r_p\right]}_{\left[s_1,s_2,...s_q\right]} \frac{\partial \bar{x}^{i_1}}{\partial x^{r_1}} \frac{\partial \bar{x}^{i_2}}{\partial x^{r_2}} ... \frac{\partial \bar{x}^{i_p}}{\partial x^{r_p}} \frac{\partial x^{s_1}}{\partial \bar{x}^{j_1}} \frac{\partial x^{s_2}}{\partial \bar{x}^{j_2}} ... \frac{\partial x^{s_q}}{\partial \bar{x}^{j_q}} </math>

More about tensors

• tensor product
• tensor derivative[?]
• absolute differentation[?]
• curvature
• Riemannian geometry

Further Reading

• Schaum's Outline of Tensor Calculus
• Synge and Schild, Tensor Calculus, Toronto Press: Toronto, 1949