Tensors as multi-dimensional arrays

In a given basis, a pure tensor of type \({(m,n)}\) can be written using component notation in the form

\(\displaystyle v^{1}\otimes\dotsb\otimes v^{m}\otimes\varphi_{1}\otimes\dotsb\otimes\varphi_{n}\equiv T^{\mu_{1}\dots\mu_{m}}{}_{\lambda_{1}\dots\lambda_{n}}e_{\mu_{1}}\otimes\dotsb\otimes e_{\mu_{m}}\otimes\beta^{\lambda_{1}}\otimes\dotsb\otimes\beta^{\lambda_{n}}, \)

where the Einstein summation convention is used in the second expression. Note that the collection of terms into \({T}\) is only possible due to the defining property of the tensor product being linear over addition. The tensor product between basis elements is often dropped in such expressions. Also note that this means that in terms of the tensor as a multilinear mapping we have

\(\displaystyle T^{\mu_{1}\dots\mu_{m}}{}_{\lambda_{1}\dots\lambda_{n}}=T\left(\beta^{\mu_{1}},\dotsb,\beta^{\mu_{m}},e_{\lambda_{1}},\dotsb,e_{\lambda_{n}}\right). \)

A general tensor is a sum of such pure tensor terms, so that any tensor \({T}\) can be represented by a \({\left(m+n\right)}\)-dimensional array of scalars. For example, any tensor of order 2 is a matrix, and type \({(1,1)}\) tensors are linear mappings operating on vectors or forms via ordinary matrix multiplication if they are all expressed in terms of components in the same basis. Basis-independent quantities from linear algebra such as the trace and determinant are then well-defined on such tensors.

Δ A potentially confusing aspect of component notation is the basis vectors \({e_{\mu}}\), which are not components of a 1-form but rather vectors, with \({\mu}\) a label, not an index. Similarly, the basis 1-forms \({\beta^{\lambda}}\) should not be confused with components of a vector.

The Latin letters of abstract index notation (e.g. \({T^{ab}{}_{cd}}\)) can thus be viewed as placeholders for what would be indices in a particular basis, while the Greek letters of component notation represent an actual array of scalars that depend on a specific basis. The reason for the different notations is to clearly distinguish tensor identities, true in any basis, from equations true only in a specific basis.

Δ In general relativity both abstract and index notation are abused to represent objects that are non-tensorial. We will see this in the chapter on Riemannian manifolds.
Δ Note that if abstract index notation is not being used, Latin and Greek indices are often used to make other distinctions, a common one being between indices ranging over three space indices and indices ranging over four spacetime indices.
Δ Note that “rank” and “dimension” are overloaded terms across these constructs: “rank” is sometimes used to refer to the order of the tensor, which is the dimensionality of the corresponding multi-dimensional array; the dimension of a tensor is that of the underlying vector space, and so is the length of a side of the corresponding array (also sometimes called the dimension of the array). However, the rank of a order 2 tensor coincides with the rank of the corresponding matrix.

Recalling the transformation of the top exterior product of basis vectors, we can derive an expression for the unit \({n}\)-vector in an arbitrary basis \({e_{\mu}=M^{\nu}{}_{\mu}\hat{e}_{\nu}}\) of the same orientation by using the component array of a metric of signature \({(r,s)}\) in that basis:

\begin{aligned}g_{\mu\nu} & =g\left(e_{\mu},e_{\nu}\right)\\
& =g\left(M^{\lambda}{}_{\mu}\hat{e}_{\lambda},M^{\sigma}{}_{\nu}\hat{e}_{\sigma}\right)\\
& =\sum_{\lambda}M^{\lambda}{}_{\mu}M^{\lambda}{}_{\nu}g\left(\hat{e}_{\lambda},\hat{e}_{\lambda}\right)\\
& =\left(M^{T}\tilde{M}\right)_{\mu\nu}\\
\Rightarrow\det\left(g\right) & =\det\left(M^{T}\tilde{M}\right)\\
& =\pm\left(\det\left(M\right)\right)^{2}\\
\Rightarrow e_{1}\wedge\dotsb\wedge e_{n} & =\sqrt{\left|\det\left(g\right)\right|}\:\hat{e}_{1}\wedge\dotsb\wedge\hat{e}_{n}\\
\Rightarrow\hat{\beta}^{1}\wedge\dotsb\wedge\hat{\beta}^{n} & =\sqrt{\left|\det\left(g\right)\right|}\:\beta^{1}\wedge\dotsb\wedge\beta^{n}
\end{aligned}

Here \({\tilde{M}}\) is \({M}\) with negative entries for every row \({\lambda}\) where \({g\left(\hat{e}_{\lambda},\hat{e}_{\lambda}\right)=-1}\), whose determinant is thus changed by a sign when \({s}\) is odd.

Δ It is important to remember that \({\det\left(g\right)}\) is the determinant of the matrix with element \({g_{\mu\nu}}\) in row \({\mu}\) and column \({\nu}\).
Δ The symbol \({g}\) is frequently used to denote \({\mathrm{det}(g)}\), and sometimes \({\sqrt{\left|\mathrm{det}(g)\right|}}\), in addition to denoting the metric tensor itself.

An Illustrated Handbook