9.10.2 Tensor Coordinate Tuple Dimension Relation

Tensor Coordinate Tuple Dimension Relation is the requirement that the number of entries in a coordinate tuple exactly equal the dimension of the space being coordinatized, so that neither more nor fewer numbers than there are independent directions in the space are ever used to specify a single point; it is the precise numerical link tying the length of a coordinate tuple to a specific structural fact about the space itself, rather than to an arbitrary choice made when the coordinate system was set up.

Stating the Relation

Tuple Length Equals Dimension

For a space of dimension n, a valid coordinate tuple representing a point must have exactly n entries, one for each of the n independent coordinate functions making up the coordinate system.

Neither Too Few Nor Too Many Entries Are Admissible

A tuple with fewer entries than the dimension fails to specify a point uniquely, since some independent direction of variation is left unaccounted for, while a tuple with more entries than the dimension either duplicates information already given or introduces a value with no independent coordinate function to correspond to; both cases fall outside what the dimension relation permits.

Why This Relation Must Hold

The Coordinate Map Must Be a Genuine Correspondence

Because the coordinate map linking points to tuples is required to be one-to-one within its domain, and the space itself has exactly n independent directions of variation, the target of this map must be n-tuples precisely; any mismatch between the number of tuple entries and the dimension would prevent the coordinate map from being a genuine one-to-one correspondence.

Each Basis Vector Requires Its Own Coordinate

The tensor coordinate basis system attaches one coordinate basis vector to each coordinate function, so the number of basis vectors spanning the tangent space at a point equals the number of coordinate functions in use; since a basis must contain exactly as many vectors as the dimension of the space, the dimension relation for coordinate tuples follows directly from this requirement on the basis.

Consequences When the Relation Is Violated

Redundant Coordinates Signal a Dependent Choice

If a coordinate tuple is ever proposed with more entries than the dimension of the space, at least one of the coordinate functions used must be expressible in terms of the others, meaning the coordinate functions chosen were not independent to begin with and do not constitute a genuine coordinate system as intended.

Insufficient Coordinates Signal an Incomplete Description

If a coordinate tuple has fewer entries than the dimension, some independent direction of the space is left without a coordinate value, meaning the tuple fails to pin down a unique point and cannot serve as a coordinate representation of that space.

Diagram of the Dimension Relation

Consequences of the Dimension Relation for Tensor Calculations

It Fixes the Range of Every Free Index

Because the tuple dimension relation ties the coordinate label set's size directly to the dimension of the space, every free index appearing in a tensor component array is guaranteed to range over exactly as many values as there are coordinates, with no additional convention needed to determine this range separately.

It Provides an Immediate Consistency Check

Whenever a coordinate tuple or a tensor component array is presented, comparing its number of entries against the known dimension of the space provides an immediate check for consistency, catching cases where an incorrect number of coordinates has been used before any further calculation is carried out.