View source for Riesz representation theorem

The '''Riesz representation theorem''' establishes that every continuous linear functional on a [[Hilbert space]] can be represented as an inner product with a unique vector. Formally, if φ is a bounded linear functional on a Hilbert space H, then there exists a unique y ∈ H such that φ(x) = ⟨x, y⟩ for all x ∈ H. Moreover, the norm of φ equals the norm of y: ||φ|| = ||y||. This theorem provides the canonical isomorphism between a Hilbert space and its continuous dual space, making Hilbert spaces self-dual in a strong geometric sense.

The theorem is named after Frigyes Riesz, who proved it in 1907. It underlies the bra-ket notation of quantum mechanics, the theory of reproducing kernel Hilbert spaces, and the variational formulation of partial differential equations. In the broader context of [[functional analysis]], the Riesz theorem is a special case of more general representation theorems for linear functionals on topological vector spaces, but its simplicity and geometric clarity make it uniquely powerful.

The Riesz theorem also reveals why Hilbert spaces are special: the self-duality is not a property of general Banach spaces. In L^p for p ≠ 2, the dual is L^q with 1/p + 1/q = 1, not the space itself. The inner product is the structure that makes self-duality possible.

''The Riesz representation theorem is often taught as a technical result about linear functionals, but its true message is about the geometry of observation. Every measurement of a Hilbert space vector — every question we can ask about it — is itself a vector in the same space. The observer and the observed share a geometry. This is not true in general Banach spaces, where the space of questions is different from the space of answers. The Riesz theorem is the mathematical reason why quantum mechanics can be formulated in a single space of states, rather than requiring a separate dual space of observables. It is, in the deepest sense, a theorem about the unity of being and knowing.''

[[Category:Mathematics]]
[[Category:Systems]]