2.9.2 Tensor Dimension Coordinate Length

Tensor Dimension Coordinate Length is the fact that the number of components in the coordinate tuple assigned to a vector, once a basis has been fixed, is exactly equal to the dimension of the vector space, so that coordinate length is not an arbitrary choice but a direct readout of the space's dimension. This equality ties the abstract invariant of dimension to the concrete, countable structure of coordinate tuples used in tensor computation.

Formal Statement

Coordinate Tuple Length Matches Dimension

For a finite dimensional vector space with a fixed basis, each vector's coordinate tuple contains exactly as many entries as the dimension of the space.

Independence of Coordinate Length From Basis Choice

Even though the numeric coefficients within a coordinate tuple change when a different basis is used, the count of entries in the tuple remains fixed at the dimension of the space, because every basis has that same cardinality.

Why the Equality Holds

One Coefficient per Basis Vector

Coordinate length matches dimension because the coordinate representation assigns exactly one coefficient to each basis vector used in the linear combination that reconstructs the original vector, and the number of basis vectors is, by definition, the dimension.

No Coefficients Without a Corresponding Basis Vector

There is no room for extra or missing coordinate entries, since every coefficient in the tuple corresponds to precisely one basis vector, and every basis vector contributes precisely one coefficient slot, producing a strict one-to-one correspondence.

Consequences for Tensor Computation

Fixed-Size Arrays for Vector Representation

Because coordinate length equals dimension, vectors from a given finite dimensional space can be stored and manipulated using fixed-size arrays of coefficients, with the array length determined once the dimension of the space is known.

Compatibility Requirement for Vector Operations

Operations such as addition of coordinate vectors require that both operands have coordinate tuples of the same length, and dimension coordinate length guarantees that vectors from the same vector space automatically satisfy this requirement.

Role in Tensor Vector Space Dimension Structure

Concrete Manifestation of an Abstract Invariant

Within the broader dimension structure, coordinate length is the concrete, countable manifestation of the abstract dimension invariant, translating a statement about basis cardinality into a statement about how many numbers are needed to describe a vector.

Basis for Multiplicative Tensor Size Reasoning

Because coordinate length reflects dimension directly, it feeds into calculations of total tensor component counts, where the lengths of coordinate tuples from each tensor factor multiply together to determine the size of the combined tensor representation.

Summary of Key Properties

Exact Correspondence With Dimension

Tensor Dimension Coordinate Length establishes an exact numeric correspondence between the abstract dimension of a vector space and the practical length of coordinate tuples used to describe its vectors.

Stability Across Basis Changes

Although coordinate values shift under a change of basis, the length of the coordinate tuple stays constant, reflecting the underlying dimension of the space rather than any property specific to a chosen basis.