2.14.3 Tensor Linear Independence Dimension Relation

Tensor Linear Independence Dimension Relation is the fact that the maximum possible number of linearly independent vectors that can be selected from a vector space equals the dimension of that space, so dimension can be understood not only as basis cardinality but equivalently as the largest size achievable by any independent collection. This relation ties the qualitative property of independence to the quantitative invariant of dimension, giving two complementary ways of arriving at the same number.

Formal Statement

Independent Sets Cannot Exceed the Dimension

Any linearly independent collection of vectors drawn from a finite dimensional vector space contains at most as many vectors as the dimension of the space.

Dimension Achieved Exactly by a Basis

Equality between the size of an independent collection and the dimension is achieved precisely when that collection is a basis, since a basis is itself the largest possible independent collection, being independent while also spanning the space.

Why the Bound Holds

Exchange Argument Justification

The bound on independent set size follows from an exchange argument, in which any collection larger than a known basis can be shown to contain a nontrivial dependency, since there are not enough basis directions to accommodate more independent vectors than the dimension allows.

Consistency With Basis Cardinality Invariance

This dimension bound is consistent with, and in fact a direct consequence of, the earlier established fact that all bases of a vector space share the same cardinality, since that shared cardinality is exactly the ceiling that independent collections cannot exceed.

Consequences of the Relation

Detecting Automatic Dependence

Any collection of vectors containing more members than the dimension of the space is automatically linearly dependent, without needing to examine the specific vectors involved, since it necessarily exceeds the maximum size permitted for independence.

Fast Verification of Basis Candidates

If a collection has exactly as many vectors as the dimension of the space and is already known to be linearly independent, it is automatically a basis, since an independent collection of maximum possible size must also span the space.

Role in Tensor Construction

Bounding the Number of Independent Basis Directions per Factor

The dimension relation places a firm limit on how many independent basis vectors can be selected from each factor vector space contributing to a tensor construction, directly shaping how many index values are available along that factor within the tensor's component structure.

Supporting Efficient Basis Verification for Tensor Coordinates

Before assigning coordinates for tensor construction, this relation allows a quick check, based simply on counting vectors against the known dimension, to help confirm or rule out whether a proposed collection can possibly serve as a valid basis.

Summary of Key Properties

Dimension as the Ceiling for Independent Collections

Tensor Linear Independence Dimension Relation establishes dimension as the exact upper bound on how many linearly independent vectors a vector space can contain.

Basis as the Point Where the Bound Is Met

This relation identifies a basis precisely as the case in which an independent collection reaches this maximum size, unifying the concepts of independence, spanning, and dimension into one coherent picture.