You are here
Home βΊproof of Riesz representation theorem for separable Hilbert spaces
Primary tabs
proof of Riesz representation theorem for separable Hilbert spaces
Let be an orthonormal basis for the Hilbert space . Define
The linear map is continuous if and only if it is bounded, i.e. there exists a constant such that . Then
Simplifying, . Hence converges to an element in .
For every basis element, . By linearity, it will also be true that
Any vector in the Hilbert space can be written as the limit of a sequence of finite superpositions of basis vectors hence, by continuity,
It is easy to see that is unique. Suppose there existed two vectors and such that . Then for all vectors . But then, which is only possible if , i.e. if .
Type of Math Object:
Proof
Major Section:
Reference
Parent:
Groups audience:
Mathematics Subject Classification
46C99 None of the above, but in MSC2010 section 46Cxx- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: Solving the word problem for isomorphic groups by mairiwalker
new image: LineDiagrams.jpg by m759
new image: ProjPoints.jpg by m759
new image: AbstrExample3.jpg by m759
new image: four-diamond_figure.jpg by m759
May 16
new problem: Curve fitting using the Exchange Algorithm. by jeremyboden
new question: Undirected graphs and their Chromatic Number by Serchinnho
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: Solving the word problem for isomorphic groups by mairiwalker
new image: LineDiagrams.jpg by m759
new image: ProjPoints.jpg by m759
new image: AbstrExample3.jpg by m759
new image: four-diamond_figure.jpg by m759
May 16
new problem: Curve fitting using the Exchange Algorithm. by jeremyboden
new question: Undirected graphs and their Chromatic Number by Serchinnho



Comments
generalisation
I wanted to add a proof for the general case, but you might like to change your entry to have only one proof for the theorem.
Re: generalisation
I suggest you post your proof as an addition to the entry --- the proof I give is specific to Hilbert spaces insofar as it makes use of the inner product in an essential way. I think it would be good to have both proofs here, your proof for the general case and my proof using a method adapted to this special case.