12.22.3 Tensor Basis Change Operation Boundary

Tensor Basis Change Operation Boundary is the specific form of tensor operation boundary that limits how a change of basis may be applied to a tensor, marking the point beyond which a proposed transformation ceases to correspond to a valid basis change and instead produces an object inconsistent with the original tensor it was meant to re-express.

The Basis Change Operation

Purpose of a Basis Change

A basis change re-expresses the components of a fixed tensor relative to a new basis, using a transformation matrix relating the old and new bases, without altering the underlying tensor itself, only the numerical values used to describe it.

The Role of the Transformation Matrix

The transformation matrix connecting the old and new bases must be invertible, since a basis change that cannot be reversed would fail to guarantee that the new set of basis vectors spans the same space with the same dimension as the original basis.

Conditions Defining the Boundary

Requirement of Invertibility

The basis change operation boundary requires that the matrix relating the two bases possess a nonzero determinant, since a singular transformation would collapse the space onto a lower-dimensional subspace and fail to define a genuine change of basis.

Requirement of Consistent Application Across All Indices

The boundary requires that the same transformation matrix, or its appropriate inverse, be applied consistently to every contravariant index and every covariant index of the tensor, so that partial or inconsistent application of the transformation to only some indices lies outside the boundary.

Requirement That Dimension Be Preserved

The boundary requires that the new basis span a space of the same dimension as the original, since a transformation altering the dimension of the underlying space would not constitute a change of basis but rather a mapping between distinct spaces.

Consequences of Operating Outside the Boundary

Loss of Correspondence to the Original Tensor

An attempted basis change using a singular or otherwise invalid transformation matrix produces a set of components that no longer corresponds to the same underlying tensor, since the invertibility required to recover the original components from the new ones would be absent.

Failure of Invariance Under Reapplication

A transformation applied outside the boundary typically fails to satisfy the property that applying the transformation and then its inverse returns the original components, which is a direct consequence of the noninvertibility that placed the transformation outside the boundary in the first place.

Relationship to Tensor Operation Verification

Role in Input Verification

Before a basis change is carried out, input verification confirms that the proposed transformation matrix is square and has a nonzero determinant, applying the basis change operation boundary as one of the specific conditions checked during the input verification stage.

Role in Invariance Verification

After a basis change is carried out, invariance verification confirms that the resulting components, when transformed back using the inverse matrix, reproduce the original components, thereby confirming after the fact that the transformation respected the operation's boundary.

Relationship to Tensor Operation Notation

The basis change operation boundary is expressed through the same index and transformation matrix notation used generally to describe how contravariant and covariant components change under a change of basis, so that the conditions marking the boundary, invertibility and consistent index-wise application, are read directly from the placement of the transformation matrix and its inverse within that notation.