3.11.3 Tensor Finite Dual Dimension Case

Tensor Finite Dual Dimension Case is the setting, standard throughout applied tensor algebra, in which the vector space V under consideration has a finite dimension n, guaranteeing that its dual space V* shares that same dimension n and behaves in every practical respect as a well-matched, symmetric partner to V. Examining this case across a range of concrete dimensions clarifies why finite-dimensional tensor algebra is so much more tractable than its infinite-dimensional counterpart, and why nearly every worked example in the subject assumes it by default.

The Case n = 1: Scalars and Self-Duality

A One-Dimensional Space and Its Dual

If V has dimension 1, spanned by a single basis vector e_1, its dual space V* also has dimension 1, spanned by the single dual basis covector e^1 satisfying e^1(e_1) = 1. Every covector on V is then simply a scalar multiple of e^1, and every vector is a scalar multiple of e_1, so both V and V* are naturally identified with the field F itself once the basis vector e_1 is fixed.

Evaluation Reduces to Ordinary Multiplication

For f = c \cdot e^1 and v = d \cdot e_1, evaluation gives f(v) = cd, exactly ordinary multiplication of the two scalars c and d, showing that the general pairing formula specializes, in the simplest possible dimension, to the most basic arithmetic operation available in the field.

The Case n = 2: Plane Covectors

Explicit Dual Basis in Two Dimensions

For V = R^2 with standard basis e_1 = (1, 0), e_2 = (0, 1), the dual basis consists of the coordinate functionals e^1(x, y) = x and e^2(x, y) = y. Any covector f(x, y) = ax + by is described completely by the pair (a, b), and the dimension-matching guarantees that every such pair corresponds to exactly one covector, with no covectors left over and none missing.

Geometric Picture

Each nonzero covector in this two-dimensional case corresponds to a family of parallel lines, the level sets f(x, y) = c for varying c, with the kernel of f being the specific line through the origin on which f vanishes, giving a direct geometric meaning to the two-dimensional dual space that mirrors the geometric picture of V itself.

The Case n = 3: Covectors and Cross Products

Coordinates in Three Dimensions

For V = R^3, the dual basis gives three coordinate functionals, and a general covector f(x, y, z) = ax + by + cz is described by exactly three numbers, matching the three degrees of freedom of a vector in V. This matching dimension is what allows a covector in three dimensions to be informally associated with a vector of the same three components, an identification made rigorous by fixing the standard inner product, though this identification is not canonical in the sense discussed for general dual pairings.

Kernel as a Plane

The kernel of a nonzero covector on R^3 is a two-dimensional subspace, a plane through the origin, illustrating the general pattern that the kernel of a nonzero covector on an n-dimensional space has dimension n - 1, one less than the ambient space, precisely because the matching finite dimension guarantees a full-rank, surjective functional whenever it is nonzero.

General Pattern Across Finite Dimensions

Matching Degrees of Freedom

In every finite dimension n, a covector's n independent components exactly match the n independent components of a vector, ensuring that the coordinate assignment between V* and F^n is neither wasteful, missing potential covectors, nor incomplete, missing potential coordinate tuples. This exact matching is what allows so many finite-dimensional tensor identities to be verified by straightforward component bookkeeping.

Stability of Dimension Under Tensor Operations

Because dim(V*) = dim(V) = n in every finite case, tensor spaces built from combinations of V and V*, such as T^p_q(V), always have the predictable finite dimension n^{p+q}, regardless of how the p and q factors are distributed, a stability that would not hold if V and V* had different dimensions.

Why This Case Is the Default Assumption

Predictability and Computability

The finite dual dimension case guarantees that every covector can be fully described by finitely many numbers, that dual bases can be explicitly constructed and verified, and that isomorphisms between V and V* exist, even if not canonically, all of which make finite-dimensional tensor algebra amenable to direct computation in a way that the infinite-dimensional case, with its strictly larger and less constructive dual dimension, is not.

Applications Overwhelmingly Favor This Case

Applications in geometry, physics, and engineering typically involve vector spaces of small, fixed finite dimension, such as two or three dimensions for spatial problems or four dimensions for spacetime, making the finite dual dimension case not merely a convenient simplification but the setting that directly matches the overwhelming majority of practical uses of tensor algebra.

Diagrammatic Summary

The diagram lists small concrete finite dimensions alongside the geometric role of covectors in each, reinforcing the exact dimension match that holds throughout the finite case.