PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] proof of Riesz representation theorem for separable Hilbert spaces (Proof)

Let $\lbrace {\bf e}_0, {\bf e}_1, {\bf e}_2, \ldots \rbrace$ be an orthonormal basis for the Hilbert space $\mathcal{H}$ . Define $$c_i = f({\bf e}_i)\qquad \mbox{ and } \qquad v = \sum_{k=0}^n {\bar c}_i {\bf e}_i.$$ The linear map $f$ is continuous if and only if it is bounded, i.e. there exists a constant $C$ such that $|f(v)| \le C \|v\|$ . Then $$f(v) = \sum_{k=0}^n {\bar c}_k f({\bf e}_k) = \sum_{k=0}^n |c_k|^2 \le C \sqrt{\sum_{k=0}^n |c_k|^2}.$$ Simplifying, $\sum_{k=0}^n |c_k|^2 \le C^2$ . Hence $\sum_{k=0}^\infty c_k {\bf e}_k$ converges to an element $u$ in $H$ .

For every basis element, $f({\bf e}_i) = c_k = \langle u, {\bf e}_i \rangle$ . By linearity, it will also be true that $$f(v) = \langle u, v \rangle\mbox{ if $v$ is a finite superposition of basis vectors.}$$ Any vector in the Hilbert space can be written as the limit of a sequence of finite superpositions of basis vectors hence, by continuity, $$f(v) = \langle u, v \rangle\mbox{ for all }v \in \mathcal{H}$$

It is easy to see that $u$ is unique. Suppose there existed two vectors $u_1$ and $u_2$ such that $f(v) = \langle u_1, v \rangle = \langle u_2, v \rangle$ . Then $\langle u_1 - u_2, v \rangle = 0$ for all vectors $v \in \mathcal{H}$ . But then, $\langle u_1 - u_2, u_1 - u_2 \rangle = 0$ which is only possible if $u_1 - u_2 = 0$ , i.e. if $u_1 = u_2$ .




"proof of Riesz representation theorem for separable Hilbert spaces" is owned by asteroid. [ full author list (2) | owner history (2) ]
(view preamble | get metadata)

View style:

Keywords:  Hilbert, Riesz, representation

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: easy to see, finite, sequence, limit, vector, basis, converges, bounded, continuous, Hilbert space, orthonormal basis

This is version 3 of proof of Riesz representation theorem for separable Hilbert spaces, born on 2004-09-03, modified 2007-10-30.
Object id is 6130, canonical name is ProofOfRieszRepresentationTheoremForSeparableHilbertSpaces.
Accessed 6617 times total.

Classification:
AMS MSC46C99 (Functional analysis :: Inner product spaces and their generalizations, Hilbert spaces :: Miscellaneous)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy
generalisation by scineram on 2006-02-25 13:00:16
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.
[ reply | up ]

Interact
post | correct | update request | add example | add (any)