2.9.4 Tensor Dimension Infinite Case

Tensor Dimension Infinite Case is the situation in which a vector space used for tensor construction has no finite basis, so that its dimension is described by an infinite cardinal number rather than a natural number, and coordinate descriptions of vectors must be understood relative to an infinite, though not necessarily countable, collection of basis vectors. This case governs vector spaces such as spaces of polynomials, sequences, or functions that arise when tensor algebra is extended beyond finite dimensional settings.

Formal Statement

Absence of a Finite Basis

A vector space falls into the infinite dimensional case when every linearly independent spanning set for the space is infinite, meaning no finite collection of vectors can simultaneously span the space and remain independent.

Dimension as an Infinite Cardinal

In this case, the dimension of the vector space, still defined as the common cardinality of any basis, is an infinite cardinal number, which may be countably infinite or uncountably infinite depending on the space.

Coordinate Behavior in the Infinite Case

Finitely Supported Coefficient Tuples

Even though the basis, called a Hamel basis in this context, is infinite, any individual vector is still expressed as a linear combination involving only finitely many basis vectors with nonzero coefficients, so coordinate representations remain finitely supported despite the infinite basis size.

No General Requirement for Convergent Infinite Sums

Because pure vector space structure does not include a notion of limits, the infinite dimensional case discussed here does not require infinite sums to converge; it only requires that each vector uses finitely many nonzero terms drawn from the infinite basis.

Contrast With the Finite Case

Loss of Simple Enumeration

Unlike the finite case, where coordinate tuples can be listed in full as a fixed-length array, the infinite case requires indexing coordinates by an infinite index set, with the understanding that all but finitely many indices carry a zero coefficient for any given vector.

Existence Still Guaranteed by the Basis Theorem

Despite the added complexity, the basis theorem, which relies on the axiom of choice for general vector spaces, still guarantees that a Hamel basis exists for every vector space, including infinite dimensional ones, preserving the coordinate framework in a generalized form.

Role in Tensor Vector Space Dimension Structure

Boundary Case Within Dimension Structure

Within the overall dimension structure, the infinite case marks the boundary where straightforward finite techniques, such as explicit matrix representations, must be replaced or supplemented by more careful cardinal and set-theoretic reasoning.

Implications for Tensor Construction

When one or more factor spaces in a tensor product are infinite dimensional, the resulting tensor space is likewise infinite dimensional, and component enumeration must be handled using indexed families rather than finite index ranges.

Summary of Key Properties

Infinite Cardinal as the Governing Dimension

Tensor Dimension Infinite Case replaces the natural number dimension of the finite case with an infinite cardinal, while preserving the requirement that individual vectors use only finitely many nonzero coordinate entries.

Extension Rather Than Contradiction of Finite Dimensional Principles

The infinite case does not overturn the principles established in the finite case, such as basis cardinality invariance or the coordinate correspondence, but extends them to settings where the basis itself is infinite in size.