2.16.2 Tensor Infinite Coordinate System

The Tensor Infinite Coordinate System extends tensor algebra to infinite dimensions, enabling advanced mathematical modeling in physics and abstract spaces.

Tensor Infinite Coordinate System is the scheme by which vectors and tensors over an infinite-dimensional vector space are assigned numerical coordinates relative to a chosen basis, along with the specific structural property, finite support, that keeps this assignment consistent with the purely algebraic tensor framework even though the underlying index set is infinite. Where a coordinate system on a finite-dimensional space assigns each vector a finite tuple of numbers, a coordinate system on an infinite-dimensional space must assign each vector a function on a possibly infinite index set, and the behavior of that function, rather than its length, becomes the object of study.

Coordinates Relative to a Hamel Basis

The Coordinate Map

Given a Hamel basis B = {e_α}_{α∈A} of V indexed by a set A, every vector v ∈ V is uniquely expressed as a finite linear combination v = Σ c_α e_α, and the coordinate map sends v to the function α ↦ c_α on A. This function is called the coordinate representation of v relative to B.

The Finite Support Property

Because the defining property of a Hamel basis requires every vector to be a finite linear combination of basis elements, the coordinate function α ↦ c_α is zero for all but finitely many values of α, regardless of how large or uncountable the index set A is. This finite support property is what makes the infinite-dimensional coordinate system compatible with algebraic operations such as addition and scalar multiplication, which are always computed entrywise and terminate after finitely many nonzero contributions.

v = \sum_{α \in A} c_{α} e_{α}, c_{α} \neq 0 for only finitely many α

Contrast With Square-Summable Coordinate Systems

Sequence Spaces as a Different Kind of Coordinate System

Certain infinite-dimensional spaces, such as the sequence space ℓ² of square-summable sequences, come equipped with a countable orthonormal set that behaves like a coordinate system but is not a Hamel basis: an element of ℓ² is a sequence (c_1, c_2, ...) satisfying Σ|c_k|² < ∞, and this condition allows infinitely many nonzero coordinates, unlike the finite-support requirement of a Hamel coordinate system.

\sum_{k = 1}^{\infty} {(c_{k})}^{2} < \infty

This square-summability condition, rather than finite support, is what defines valid coordinate sequences in ℓ², and the underlying orthonormal set spans ℓ² only in the topological sense of norm-convergent infinite sums, not in the finite-linear-combination sense that defines a Hamel basis.

The Two Notions Are Genuinely Different

The finite-support Hamel coordinates and the square-summable topological coordinates are not compatible descriptions of the same set of vectors: the set of vectors with finite-support coordinates relative to a countable orthonormal set is a proper, dense, but not closed subspace of ℓ², strictly smaller than ℓ² itself, which also contains vectors like (1, 1/2, 1/4, 1/8, ...) whose coordinate sequences never terminate.

Coordinate Tuples for Tensors

Extending Coordinates to Tensor Products

A type (p, q) tensor T in the algebraic tensor product T^p_q(V) has coordinates indexed by tuples (α_1, ..., α_p, β_1, ..., β_q) drawn from A^{p+q}, and the same finite-support principle applies: only finitely many index tuples carry a nonzero coefficient, since T is by construction a finite sum of simple tensor products of basis elements.

Coordinate Functionals and Continuity

Each coordinate c_α can be recovered from v by applying a linear functional, the coordinate functional dual to e_α. In the purely algebraic setting these functionals always exist and are well-defined, but when V carries a topology, such as a norm, the coordinate functionals associated with a Hamel basis are typically not continuous, meaning small changes in v under the norm do not guarantee small changes in any individual coordinate c_α, a phenomenon that has no counterpart in finite dimension where all linear functionals are automatically continuous.

Diagram of Finite Support Within an Infinite Index Set

Why This Matters for Tensor Algebra

Preserving Algebraic Consistency

The finite-support property of Hamel-basis coordinates is precisely what allows the algebraic definitions of vector addition, scalar multiplication, and tensor product to be carried out entrywise on coordinate representations without ever confronting an infinite sum, keeping the infinite-dimensional algebraic tensor theory formally identical in structure to the finite-dimensional theory, at the cost of the basis itself being uncountable and largely inexplicit.