Riesz representation theorem: Difference between revisions
Undid revision 557905030 by Quentin Smith (talk) Tag: section blanking |
not sure why this was deleted? |
||
Line 1: | Line 1: | ||
{{for|the theorems relating linear functionals to measures|Riesz–Markov–Kakutani representation theorem}} |
{{for|the theorems relating linear functionals to measures|Riesz–Markov–Kakutani representation theorem}} |
||
In [[functional analysis]] the '''Riesz representation theorem''' describes the dual of a Hilbert space. It is named in honour of [[Frigyes Riesz]]. |
In [[functional analysis]] the '''Riesz representation theorem''' describes the dual of a Hilbert space. It is named in honour of [[Frigyes Riesz]]. |
||
==Statement== |
|||
If <math>H</math> a Hilbert Space then <math>H'=B(H, \mathbb{F})=\{\{(\underline{y}, \langle \underline{y}, \underline{x} \rangle ) : \underline{y} \in H \} : \underline{x} \in H \} </math> |
|||
==Proof== |
|||
"<math>\supseteq</math>": linearity comes from the fact that the inner product, by definition, is linear in the first argument and boundedness comes from the [[Cauchy-Schwartz inequality]]. |
|||
Now to deal with "<math>\subseteq</math>": Let <math>\underline{\phi} \in H'</math>; if <math>\underline{\phi}=\underline{0}</math> then <math>\underline{\phi}=\{(\underline{y}, \langle \underline{y}, \underline{0} \rangle ) : \underline{y} \in H \}</math>. |
|||
Now suppose <math>\underline{\phi} \neq \underline{0}</math> and let <math>\underline{x} \in H</math>; <math>\overline{ker(\underline{\phi})}=ker(\underline{\phi})</math> and <math>ker(\underline{\phi})\leqslant H</math> so by the [[Hilbert projection theorem]] <math>H = ker(\underline{\phi}) \oplus (ker(\underline{\phi})) ^ \perp </math>. |
|||
Well, <math>ker(\phi) \neq H</math> so <math>(ker(\underline{\phi}))^\perp \neq \{\underline{0}\}</math> so let <math>\underline{z} \in \{ \underline{z} \in (ker(\underline{\phi})) ^ \perp : \| \underline{z} \|_H = 1 \} </math> |
|||
Then by the linearity of <math>\underline{\phi}</math>, <math>\underline{z}\underline{\phi}(\underline{x})-\underline{x}\underline{\phi}(\underline{z})\in ker(\underline{\phi})</math>, and so <math>\langle \underline{z}\underline{\phi}(\underline{x})-\underline{x}\underline{\phi}(\underline{z}), \underline{z} \rangle = 0 </math> and so <math>\underline{\phi}(\underline{x}) \| \underline{z} \|_H = \langle \underline{x}\underline{\phi}(\underline{z}), \underline{z} \rangle </math> so <math>\underline{\phi}(\underline{x}) = \langle \underline{x}, \underline{z} \overline{\underline{\phi}(\underline{z})} \rangle </math> as <math>\| \underline{z} \|_H = 1</math>. |
|||
So <math>\underline{\phi}=\{(\underline{y}, \langle \underline{y}, \underline{z} \overline{\underline{\phi}(\underline{z})} \rangle ) : \underline{y} \in H \} \in \{\{(\underline{y}, \langle \underline{y}, \underline{x} \rangle ) : \underline{y} \in H \}: \underline{x} \in H \}</math> |
|||
== The Hilbert space representation theorem == |
== The Hilbert space representation theorem == |
Revision as of 22:11, 12 June 2013
In functional analysis the Riesz representation theorem describes the dual of a Hilbert space. It is named in honour of Frigyes Riesz.
Statement
If a Hilbert Space then
Proof
"": linearity comes from the fact that the inner product, by definition, is linear in the first argument and boundedness comes from the Cauchy-Schwartz inequality.
Now to deal with "": Let ; if then .
Now suppose and let ; and so by the Hilbert projection theorem .
Well, so so let
Then by the linearity of , , and so and so so as .
So
The Hilbert space representation theorem
This theorem establishes an important connection between a Hilbert space and its (continuous) dual space: if the underlying field is the real numbers, the two are isometrically isomorphic; if the field is the complex numbers, the two are isometrically anti-isomorphic. The (anti-) isomorphism is a particular natural one as will be described next.
Let H be a Hilbert space, and let H* denote its dual space, consisting of all continuous linear functionals from H into the field R or C. If x is an element of H, then the function φx, defined by
where denotes the inner product of the Hilbert space, is an element of H*. The Riesz representation theorem states that every element of H* can be written uniquely in this form.
Theorem. The mapping Φ: H → H* defined by Φ(x) = φx is an isometric (anti-) isomorphism, meaning that:
- Φ is bijective.
- The norms of x and Φ(x) agree: .
- Φ is additive: .
- If the base field is R, then for all real numbers λ.
- If the base field is C, then for all complex numbers λ, where denotes the complex conjugation of λ.
The inverse map of Φ can be described as follows. Given an element φ of H*, the orthogonal complement of the kernel of φ is a one-dimensional subspace of H. Take a non-zero element z in that subspace, and set . Then Φ(x) = φ.
Historically, the theorem is often attributed simultaneously to Riesz and Fréchet in 1907 (see references).
In the mathematical treatment of quantum mechanics, the theorem can be seen as a justification for the popular bra-ket notation. When the theorem holds, every ket has a corresponding bra , and the correspondence is unambiguous.
References
- M. Fréchet (1907). Sur les ensembles de fonctions et les opérations linéaires. C. R. Acad. Sci. Paris 144, 1414–1416.
- F. Riesz (1907). Sur une espèce de géométrie analytique des systèmes de fonctions sommables. C. R. Acad. Sci. Paris 144, 1409–1411.
- F. Riesz (1909). Sur les opérations fonctionnelles linéaires. C. R. Acad. Sci. Paris 149, 974–977.
- J. D. Gray, The shaping of the Riesz representation theorem: A chapter in the history of analysis, Archive for History in the Exact Sciences, Vol 31(2) 1984–85, 127–187.
- P. Halmos Measure Theory, D. van Nostrand and Co., 1950.
- P. Halmos, A Hilbert Space Problem Book, Springer, New York 1982 (problem 3 contains version for vector spaces with coordinate systems).
- D. G. Hartig, The Riesz representation theorem revisited, American Mathematical Monthly, 90(4), 277–280 (A category theoretic presentation as natural transformation).
- "Riesz representation theorem", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- Walter Rudin, Real and Complex Analysis, McGraw-Hill, 1966, ISBN 0-07-100276-6.
- Weisstein, Eric W. "Riesz Representation Theorem". MathWorld.
- "Proof of Riesz representation theorem for separable Hilbert spaces". PlanetMath.
- Proof of Riesz representation theorem in Hilbert spaces on Bourbawiki