2.9.1 Tensor Dimension Basis Cardinality

Tensor Dimension Basis Cardinality explores the size and structure of tensor spaces, linking basis elements to their cardinality in algebraic contexts.

Tensor Dimension Basis Cardinality is the theorem guaranteeing that every basis of a given vector space contains exactly the same number of vectors, so that the cardinality of a basis is not an accident of which basis happens to be chosen but a fixed invariant of the vector space itself. This invariance is what makes it meaningful to speak of "the" dimension of a vector space rather than a dimension relative to a particular basis.

Formal Statement

Equal Cardinality Across Bases

If two collections of vectors each qualify as a basis for the same vector space, their cardinalities must coincide.

B_{1}, B_{2} bases of V \Rightarrow | B_{1} | = | B_{2} |

Dimension Defined From This Invariant

Because the cardinality is shared across all bases, the dimension of the vector space can be defined unambiguously as this common cardinality.

dim (V) := | B | for any basis B

Reasoning Behind the Invariance

Exchange Argument for the Finite Case

In the finite dimensional setting, the equal cardinality of bases follows from an exchange argument, in which vectors of one basis can be substituted one at a time for vectors of another while preserving spanning and independence, showing neither basis can be strictly larger than the other.

Extension to the Infinite Case

For infinite dimensional vector spaces, the same conclusion holds using cardinal arithmetic and the axiom of choice to compare the cardinalities of Hamel bases, so the invariance is not limited to finite dimensional spaces.

Consequences of Fixed Basis Cardinality

Well-Defined Coordinate Length

Since every basis has the same cardinality, the length of the coordinate tuple used to represent vectors is the same no matter which basis is selected, even though the actual coefficient values differ from basis to basis.

Comparability of Vector Spaces by Dimension

Fixed basis cardinality allows vector spaces to be compared and classified by a single number, or cardinal, permitting statements such as two vector spaces being isomorphic whenever they share the same dimension over the same field.

Role in Tensor Vector Space Dimension Structure

Justifying the Use of a Single Dimension Value

Within the broader dimension structure of a vector space used for tensor construction, basis cardinality invariance is the fact that justifies treating dimension as a single fixed quantity throughout all subsequent tensor computations, regardless of which particular basis is used operationally.

Supporting Multiplicative Tensor Size Formulas

Formulas describing the dimension of tensor products as a product of factor dimensions rely on each factor space having one unambiguous dimension value, which is guaranteed precisely by basis cardinality invariance.

Summary of Key Properties

Basis-Independent Notion of Size

Tensor Dimension Basis Cardinality shows that the "size" of a vector space, measured in basis vectors, does not depend on the particular basis examined, making dimension a genuine property of the space.

Foundation for Consistent Tensor Algebra

This invariance underlies the consistency of tensor algebra computations, since it ensures that dimension counts used across different bases and different stages of a tensor construction always agree.