3.12.4 Tensor Double Dual Finite Dimension Relation

Tensor Double Dual Finite Dimension Relation is the theorem, together with its full justification, that the canonical embedding ι : V -> V** is a linear isomorphism precisely when V is finite-dimensional, examined here with particular attention to why the proof requires only elementary linear algebra, and to the categorical sense in which this relation is natural rather than merely an isomorphism that happens to exist.

Statement and Proof of the Relation

Statement

For a finite-dimensional vector space V over a field F, the canonical map ι : V -> V** is a linear isomorphism.

Proof by Dimension Count and Injectivity

The map ι is linear, as established by its compatibility with addition and scalar multiplication. It is injective for any vector space, finite-dimensional or not: if v ≠ 0, extend v to a basis of V and let e^1 be the corresponding dual basis element satisfying e^1(v) = 1 ≠ 0, showing ι(v) ≠ 0. Applying the dimension equality twice, dim(V**) = dim(V*) = dim(V), and using the standard fact that an injective linear map between vector spaces of equal finite dimension is automatically surjective, ι must also be surjective. Being linear, injective, and surjective, ι is an isomorphism.

Why No Further Machinery Is Needed

Notably, this proof uses only the finite-dimensional dual dimension equality and a basic linear algebra fact about injective maps between equal-dimensional spaces; it requires no additional analytic structure, no topology, and no special hypothesis on the field F beyond it being a field, making the relation elementary and universally applicable across all finite-dimensional vector spaces over any field.

The Relation Does Not Require the Axiom of Choice

Contrast with Basis Existence in General

Constructing a basis for an arbitrary, possibly infinite-dimensional vector space in general requires the axiom of choice. However, once V is known to be finite-dimensional, its basis can be constructed by ordinary, choice-free finite induction, and every step of the proof of the double dual relation, including the construction of the dual basis used to establish injectivity, remains fully explicit and constructive.

Practical Reassurance

This means the finite-dimensional double dual relation is not merely an abstract existence statement resting on nonconstructive foundations; given any explicit finite-dimensional vector space and an explicit basis, the isomorphism ι and its inverse can be written down and computed with directly.

Naturality of the Relation

What Naturality Means Here

Beyond simply being an isomorphism, ι is natural in the categorical sense: for any linear map T : V -> W between finite-dimensional vector spaces, the double-dual map T** : V** -> W** obtained by dualizing twice satisfies

meaning it does not matter whether T is applied first and then the embedding, or the embedding is applied first and then T**; both routes agree. This commuting square, holding for every linear map T and every pair of finite-dimensional spaces, is the precise statement that ι forms a natural transformation between the identity functor and the double-dual functor on the category of finite-dimensional vector spaces.

Contrast with V and V* Directly

No such natural transformation exists directly between V and V*, because the dual space construction is contravariant: a linear map T : V -> W induces a map T^* : W^* -> V^* running in the opposite direction, making it impossible to compare V and V* functorially without an extra reversal of arrows. The double dual construction, applying the contravariant functor twice, becomes covariant again, restoring the possibility of a natural transformation, which is exactly ι.

Significance for Tensor Algebra

Justifying Symmetric Treatment of V and V**

The naturality of the finite-dimensional double dual relation is what allows tensor algebra to treat V and V** as literally identical, not merely isomorphic in some ad hoc way, across every construction, every linear map, and every tensor built from V, without needing to separately verify compatibility in each new context.

Foundation for Tensor Symmetry Arguments

Many arguments showing that tensor operations are well-defined independent of certain choices ultimately rely on this natural finite-dimensional relation, since it guarantees that identifying vectors with double-dual functionals never introduces inconsistency when combined with other linear maps or further tensor constructions built on top of V.

Diagrammatic Summary

The diagram shows the commuting square that defines naturality: applying T then ι_W gives the same result as applying ι_V then T**, for every linear map T between finite-dimensional spaces.