2.10.3 Tensor Coordinate Vector Ordering
Tensor Coordinate Vector Ordering defines how tensor components are arranged in coordinate systems, establishing a structured framework for tensor algebra operations.
Tensor Coordinate Vector Ordering is the requirement that the basis vectors used to build a coordinate representation be arranged in a fixed sequence, so that each position in a coordinate tuple has an unambiguous meaning tied to a specific basis vector rather than to an unordered collection. Ordering turns a basis, which is fundamentally a set, into an ordered basis, which is what coordinate vectors actually require to be well defined.
Formal Statement
Ordered Basis as a Sequence
An ordered basis is a basis in which the vectors are indexed by position, so that the same set of vectors can give rise to different ordered bases depending on the sequence chosen.
Position Determines Coordinate Meaning
The coordinate in position i of a coordinate vector is defined as the coefficient of the basis vector occupying position i in the ordered basis, so ordering fixes which coefficient corresponds to which basis vector.
Consequences of Reordering
Permuting the Basis Permutes the Coordinates
If the same basis vectors are listed in a different order, the coordinate tuple of a fixed vector is permuted correspondingly, with each coefficient following its associated basis vector to its new position.
The Represented Vector Is Unaffected
Reordering the basis changes the arrangement of the coordinate tuple but never changes the vector being represented, since the underlying linear combination of basis vectors and coefficients remains the same regardless of the order in which the terms are listed.
Why Ordering Is Necessary
Ambiguity Without a Fixed Sequence
Without a fixed ordering, referring to "the first coordinate" or "the third component" of a vector would be meaningless, since a set of basis vectors carries no inherent notion of first, second, or third.
Requirement for Matrix and Array Representations
Any representation of vectors as columns, rows, or arrays inherently assumes a fixed order, since these structures are indexed by position, making ordering a prerequisite for using standard linear algebra notation and computational data structures.
Role in Tensor Construction
Consistent Indexing Across Tensor Factors
When several vector spaces each carry an ordered basis, tensor construction relies on this ordering to assign a consistent multi-index to each tensor component, with each index position corresponding to the ordered basis of one specific factor space.
Compatibility With Coordinate Vector Column Form
Ordering is what makes it meaningful to write a coordinate vector as a column of numbers in coordinate vector column form, since the vertical position in the column directly reflects the ordering of the underlying basis.
Summary of Key Properties
Positional Meaning Assigned by Sequence
Tensor Coordinate Vector Ordering assigns a definite positional meaning to each entry of a coordinate vector by fixing the sequence of the underlying basis vectors.
Prerequisite for Well-Defined Coordinate Structures
Ordering is a quiet but essential prerequisite underlying coordinate vector representation, component lists, and column form, since none of these structures are meaningful without an agreed-upon order for the basis.