Elementary Operations with Tensors
Tensor operations are operations on tensors that result in quantities that are still tensors. A simple way of establishing whether or not a quantity is a tensor, is to see how it transforms under a coordinate transformation. For example, we can deduce directly from the transformation law that two tensors of the same type can be added together to give a tensor of the same type, e.g.
The same holds true for subtraction and scalar multiplication.
A covariant tensor of rank 2 is said to be symmetric if
in which case it has only independently components (check this by establishing how many independent components there are of a symmetric matrix of order n). A similar definition holds for a contravariant tensor . The tensor is said to be anti-symmetric or skew symmetric if
which has only independently components; this is again a tensorial property. A notation frequently used to denote the symmetric part of a tensor is
and the anti-symmetric part is
In general the symmetrization of a tensor relative to its covariant indices can be written:
In general the antisymmetrization of a tensor relative to its covariant indices can be written:(2.1.7)
For example, consider the covariant rank 3 antisymmetric tensor
(A way to remember the above expression is to note that the positive terms are obtained by cycling the indices to the right and the corresponding negative terms by flipping the last two indices). A totally symmetric tensor is defined to be one equal to its symmetric part, and a totally anti-symmetric tensor is one equal to its anti-symmetric part.
We can multiply two tensors of type and together and obtain a tensor of type , e.g.
In particular, a tensor of type when multiplied by a scalar field is again a tensor of type . Given a tensor of mixed type , we can form a tensor of type by the process of contraction, which simply involves setting a raised and lowered index equal. For example,
i.e. A tensor of type has become a tensor of type . Notice that we can contract a tensor by multiplying by the Kronecker-Delta tensor , e.g.
In effect, multiplying by turns the index into (or equivalently the index into ).