3.12.3 Tensor Double Dual Evaluation Role

Tensor Double Dual Evaluation Role is the recognition that evaluation, the same basic operation underlying the pairing between V and V*, is not merely one property of the double dual construction but is in fact the defining mechanism from which the entire double dual space, its canonical embedding, and its finite-dimensional isomorphism with V are all built. Every structural fact established about V**, from its vector space operations to its naturality, traces back to this single underlying act of evaluation applied one level higher than the original pairing.

Evaluation as the Generator of the Double Dual Construction

From Pairing to Embedding

The double dual embedding ι : V -> V** is defined entirely through evaluation: ι(v) is the rule that evaluates any given covector f at the fixed vector v, ι(v)(f) = f(v). No part of this definition introduces any new operation beyond the evaluation already used to define the natural pairing between V and V*; the double dual construction simply reuses that evaluation, holding the vector fixed and letting the covector vary.

Every Element of V** Is, at Its Core, an Evaluation Rule

Whether or not a given element of V** arises from a vector via ι, every element of V** is fundamentally the same kind of object as ι(v): a way of assigning scalars to covectors. What evaluation contributes specifically to the finite-dimensional case is the guarantee that every such assignment rule is realized by evaluation at some particular vector, with no additional, non-evaluation type of rule persisting once dimension is finite.

Evaluation and the Proof of the Finite-Dimensional Isomorphism

Injectivity Rests on Evaluation Separating Vectors

The injectivity of ι is a direct statement about evaluation: it says that if two vectors v_1 ≠ v_2 are given, some covector must evaluate differently on them, that is, some f satisfies f(v_1) ≠ f(v_2). This separating power of evaluation, guaranteed by the existence of enough covectors in V*, specifically the dual basis, is what rules out two distinct vectors ever being confused by the embedding.

Surjectivity Rests on Evaluation Exhausting All Functionals

Surjectivity, in the finite-dimensional case, says that every linear functional on V* is realized by evaluation at some vector. This is where the double dual construction most directly leverages the dimension equality established for the ordinary dual, since a counting argument, rather than evaluation alone, is what confirms no additional functionals beyond evaluation-type ones can exist once the dimension is finite.

Evaluation as the Unifying Operation Across the Duality Hierarchy

One Operation, Applied at Every Level

The same evaluation operation appears at every stage of the duality hierarchy built from V: pairing a vector in V with a covector in V* produces a scalar; pairing a covector in V* with a double-dual element in V** produces a scalar; and, once the finite-dimensional identification is made, pairing an element of V**, reinterpreted as a vector, with a covector reproduces exactly the original pairing. Evaluation is thus not a separate tool introduced at each new level but a single recurring operation applied consistently throughout.

Consistency of Symbolic Notation

This is the deeper reason the symmetric notation <v, f> = <f, v> is legitimate: both expressions describe the identical evaluation operation, differing only in whether the vector or the covector is regarded, at that moment, as the object doing the evaluating rather than the object being evaluated.

Practical Consequences of Recognizing Evaluation's Central Role

Simplifying Proofs About the Double Dual

Recognizing that every structural claim about V**, its vector space operations, the linearity of ι, its injectivity, and its surjectivity in finite dimensions, reduces to properties of evaluation allows proofs about the double dual to be organized economically around a single core idea, rather than treated as a collection of unrelated facts requiring separate justification.

Guiding Generalization to Higher Tensor Structures

This same evaluation-centered perspective extends directly to understanding contraction operations on higher-rank tensors, since every contraction between an upper and a lower index is, at its core, another application of this same evaluation operation, now embedded within a larger tensor expression rather than standing alone.

Diagrammatic Summary

The diagram shows evaluation as the single recurring operation that generates the pairing between V and V*, the double dual embedding, and, once identified in finite dimensions, folds back into the same original pairing.