A family of results identifying continuous linear functionals on particular function spaces with concrete representers: on a Hilbert space every continuous linear functional is inner-product with a unique element; for certain continuous function spaces, duals correspond to measures.

Principle

Continuity plus the appropriate topological/vector structure implies representability: in inner-product (Hilbert) settings the Riesz map gives an isometric isomorphism between the space and its continuous dual; in locally compact Hausdorff settings the dual of C_0 is the space of regular Borel measures.

Demonstration

In L^2(Ω) any bounded linear functional L can be written L(f)=∫ g* f = ⟨g,f⟩ for a unique g∈L^2(Ω); for C_c(X) or C_0(X) on a locally compact space X the dual can be identified with finite regular Borel measures, so linear functionals are integrals against measures.

Misapplication

Assuming the Riesz representation form in arbitrary Banach spaces (e.g., L^p with p≠2) is incorrect; treating distributions or noncontinuous functionals as representable by single elements in the original space neglects the required completeness, inner-product, or topological hypotheses.

Consequence

Gives explicit descriptions of dual spaces, enables constructive proofs and computations (e.g., representing linear functionals by kernels or measures), and supplies isomorphisms that simplify operator theory and variational analysis.

Reversal

In the absence of an inner product or the required topological structure, duals may be much larger (distributions, signed measures with extra structure) and cannot be represented by single elements of the primal space.

Boundary

Valid for Hilbert spaces and for specific function-space settings (locally compact Hausdorff spaces, C_0, L^2, etc.); does not hold generally for all Banach spaces or for noncontinuous linear functionals, and the exact statement depends on the underlying topology and completeness assumptions.

Semantic Tension

Contrasts with general duality results like Hahn–Banach which guarantee extensions but not concrete representation; tension also appears with reflexivity and with specialized dual descriptions for L^p spaces (p≠2) where duals are different spaces.

Synthesis

The Riesz representation results convert abstract continuous linear functionals into concrete representers (inner-product vectors or measures) under the appropriate structural hypotheses, providing explicit dual identifications crucial for analysis and applications.