9.18.5 Tensor Coordinate Free Representation Boundary

Tensor Coordinate Free Representation Boundary is the limit marking how far a tensor can be written down, manipulated, and communicated using bare symbols and map descriptions before the notation itself forces the introduction of a basis in order to proceed further. It concerns the boundary of the notation and representation used to express tensors, as opposed to the boundary of which facts about a tensor are basis independent.

Where the Representation Reaches Its Limit

What Bare Symbolic Notation Can Express

Coordinate free representation, using unindexed symbols and multilinear map notation, can express a tensor's existence, its type, its combination with other tensors through operations such as addition and tensor product, and general relationships stated as equalities between such symbols.

What Bare Symbolic Notation Cannot Express

The same bare notation cannot express a specific numerical value belonging to any particular component, since no component exists in the notation at all until a basis has been chosen and indices have been introduced to label the resulting array.

The Point of Necessary Transition

Explicit Computation Forces the Transition

Whenever a calculation requires an actual number, a matrix representation, or a listing of specific values, the coordinate free representation must be abandoned at that point in favor of an indexed, basis-dependent representation, since bare symbols alone contain no mechanism for producing individual numerical entries.

Operations That Do Not Force the Transition

Operations such as forming sums, tensor products, and abstract contractions between named tensors can be carried out and reasoned about entirely within the coordinate free representation, without ever requiring the transition to indexed notation.

Directionality of the Transition

Straightforward Movement Toward Coordinates

Moving from the coordinate free representation to an indexed representation is always straightforward once a basis is fixed, since evaluating the tensor against the chosen basis vectors and dual basis covectors directly produces the needed components.

Constrained Movement Back to Coordinate Free Form

Moving back from an indexed representation to a coordinate free one is only meaningful when the components in question are recognized as arising from a well-defined tensor and basis; an arbitrary array of numbers without a specified basis cannot be reinterpreted as a coordinate free tensor.

Practical Consequences of the Boundary

Choosing the Representation to Match the Task

Recognizing this representation boundary guides the choice of notation for a given task: theoretical derivations and general statements are best kept on the coordinate free side, while numerical computation and explicit examples necessarily require crossing into indexed representation.

Avoiding Unnecessary or Premature Crossings

Awareness of the boundary also helps avoid introducing a basis and indexed notation prematurely, when a coordinate free statement would suffice, as well as avoiding attempts to state genuinely numerical facts using only bare, unindexed symbols where such facts cannot be expressed.