9.17.5 Tensor Basis Independent Coordinate Boundary

Tensor Basis Independent Coordinate Boundary is the demarcation separating the basis-independent facts that can be stated about a tensor from the coordinate-dependent information that necessarily requires a chosen basis before it can be expressed at all. It identifies precisely where a purely abstract, coordinate free statement about a tensor must stop and where the introduction of coordinates becomes unavoidable.

Locating the Boundary

Statements That Lie Entirely Within the Boundary

Assertions about a tensor's type, its multilinearity, its behavior under full contraction, and its symmetry or antisymmetry properties all lie within the basis independent side of the boundary, since each can be stated and verified without ever selecting a basis.

Statements That Necessarily Cross the Boundary

Assertions about specific component values, the numerical size of any single component, or the ordering of indices in a component array all require crossing to the coordinate-dependent side, since these notions have no meaning until a basis has been fixed.

Behavior at the Boundary

One-Way Crossing from Coordinate Free to Coordinate Based

Crossing the boundary from the coordinate free side to the coordinate dependent side is always possible, simply by choosing a basis and evaluating the tensor against its basis vectors and dual basis covectors to produce components.

Restricted Return Crossing

Moving back from the coordinate dependent side to the coordinate free side is only valid for quantities that are already invariant under basis change, such as full contractions; individual raw components cannot be carried back across the boundary as basis-independent facts, since they are only meaningful relative to the basis that produced them.

Testing Whether a Quantity Lies Within the Boundary

The Transformation Invariance Test

A quantity computed from components can be checked for basis independence by applying the transformation law for a change of basis and verifying whether the quantity's value remains unchanged; if it does, the quantity lies on the basis independent side of the boundary despite having been computed through components.

Full Index Saturation as a Marker

As a practical marker, a quantity formed by fully saturating every free index of a tensor expression, so that no free indices remain, typically lies on the basis independent side, while any expression retaining free indices lies on the coordinate dependent side.

Significance of the Boundary

Preventing Overreach in Basis Independent Claims

Recognizing the boundary prevents the error of asserting that a coordinate-dependent fact, such as a particular component being large or small, constitutes a basis independent property of the tensor, when it may only reflect the particular basis chosen.

Guiding When a Basis Must Be Introduced

The boundary marks the precise point in a derivation or discussion at which a basis must be introduced if the desired conclusion requires coordinate-dependent information, clarifying that any earlier introduction of a basis was unnecessary and any later avoidance of one is impossible.