10.4.4 Tensor Change Matrix Invertibility Requirement

Understanding when tensor change matrices are invertible is crucial for preserving structure in multilinear transformations.

Tensor Change Matrix Invertibility Requirement is the necessary condition that a change-of-basis matrix must have a nonzero determinant, guaranteeing that it possesses a well-defined inverse and therefore that the transformation it represents can be reversed, a requirement without which the entire structure of tensor component transformation collapses.

Why Invertibility Is Required

Both Directions Must Be Well-Defined

A valid change of basis must allow conversion in either direction, from source to target and back again; this bidirectional requirement forces the matrix (A) to be invertible, since only an invertible matrix guarantees the existence of a well-defined matrix (A^{-1}) for the reverse conversion.

A A^{- 1} = A^{- 1} A = I

Both Bases Must Genuinely Be Bases

Since the columns of (A) are the coordinates of the target basis vectors, invertibility of (A) is exactly the linear-algebra condition equivalent to the target vectors being linearly independent and therefore forming a genuine basis; a singular matrix would correspond to a dependent, invalid target set.

\det (A) \neq 0 \Leftrightarrow target vectors are independent

Consequences of the Requirement Failing

No Well-Defined Contravariant Transformation

If (A) were singular, the formula for transforming contravariant components, which relies explicitly on (A^{-1}), would simply not exist, since a singular matrix has no inverse; the entire contravariant transformation law is therefore contingent on this requirement being satisfied.

v^{i}' = {(A^{- 1})}_{j}^{i} v^{j}

Loss of Object Preservation

A singular transformation would also fail to preserve the tensor as an invariant object, since a dependent target set cannot uniquely represent every vector, meaning some tensors would have no consistent target-basis component representation at all.

Verifying the Requirement in Practice

The Determinant Test

The standard practical test for invertibility is computing the determinant of (A) directly and confirming it is nonzero; this single number serves as a complete, conclusive check of the requirement for a square matrix.

\det (A) \neq 0

The Jacobian Case in Coordinate Transformations

In the coordinate transformation setting, where (A) is replaced by a Jacobian matrix built from partial derivatives, the invertibility requirement becomes a pointwise condition, needing to be checked separately at every point since the Jacobian may be invertible at some points and singular at others.

\det (\frac{\partial x^{i}'}{\partial x^{j}}) \neq 0

Relation to Coordinate Singularities

Where the Requirement Fails Physically

Points where the Jacobian fails the invertibility requirement, such as the origin of polar coordinates, are exactly the coordinate singularities discussed elsewhere in tensor coordinate theory; the invertibility requirement is the precise algebraic condition underlying the geometric notion of a coordinate system breaking down.

Visual Illustration

Why This Requirement Is Non-Negotiable

The invertibility requirement is not a technical formality but the precise condition ensuring that a change of basis is legitimate in the first place: it guarantees that both the source and target sets qualify as genuine bases, that the transformation can be reversed, and that the standard component transformation formulas, which explicitly involve (A^{-1}), are even mathematically defined. Any proposed basis change failing this requirement must be rejected outright rather than patched or approximated.