An orthonormal subset of a Hilbert space is closed.

1.6k Views Asked by At

In Rudin Real and Complex Analysis there is an exercise (6, Ch. 4) that asks to show that a countably infinite orthonormal set $\{u_n:n\in\mathbb{N}\}$ in a Hilbert space $H$ is closed and bounded but not compact.

That it is bounded and not compact is easy, but I really can't figure out why it is necessarily closed. If $\|u_{n_k}-x\|\to 0$ for some $x\in H$, why would $x\in\{u_n\}$?

2

There are 2 best solutions below

0
On BEST ANSWER

If $u_{n_k}$ converges in $H$ it is in particular Cauchy. Hence, there exists $N\in\mathbb{N}$ such that $\|u_{n_{i}}-u_{n_{j}}\|<1$ for all $i,j\geq N$. But if $u_{n_i}\neq u_{n_j}$ we have $$\|u_{n_i}-u_{n_j}\|^2=\|u_{n_i}\|^2+\|u_{n_j}\|^2=2,$$ so the sequence is eventually constant. Hence its limit is in $\{u_n:n\in\mathbb{N}\}$.

2
On

For each $u_n, u_m$ in your set, where $n\neq m$,

$$||u_n - u_m||^2 = \langle u_n, u_n\rangle + \langle u_m, u_m\rangle - 2Re \langle u_n, u_m\rangle = 2$$

That means, if $(y_k)_{k=1}^\infty \in \{u_n \in \mathbb N\}$ is a sequence such that $y_k \to y$ as $k \to \infty$, then $y_k = u_N$ for all $k$ large enough. Thus $y = u_N$ and so $\{ u_n : n\in \mathbb N\}$ is closed.