Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I want to show that every an infinite-dimensional separable (contains countable dense set) Hilbert space has a countable orthonormal basis.

I know that every orthogonal set in a separable Hilbert space is countable,it is help me with the proof?

Thanks in advance

share|cite|improve this question

Hint: Take a countable dense subset $Q$ and build an orthonormal basis of $\text{span}(Q)$.

share|cite|improve this answer
Build by Gram–Schmidt process ? – ali baba Mar 8 '13 at 9:20
How am I define Q ?: – ali baba Mar 8 '13 at 9:26
@ali baba: $ Q $ is any countable dense subset of $ \mathcal{H} $, which exists because you have assumed that $ \mathcal{H} $ is separable. – Haskell Curry Mar 8 '13 at 9:32

You can use Zorn's lemma to show that there exists a maximal orthogonal set, show that it has to be a Schauder basis. Then use what you know about orthogonal sets.

(Remark: Zorn's full power is not needed here. It's an overkill, but it's easy and convenient.)

The above hint with more details: Every Hilbert space has an orthonomal basis - using Zorn's Lemma

share|cite|improve this answer
If I assume that Hilbert space contains a uncountable ortonormal basis and shows that I get a conflict, is that acceptable? – ali baba Mar 9 '13 at 21:56
It isn't enough. Bases are not only orthonormal, but they are maximal. It might be the case that every orthonormal set is countable, but there is a point which is not in its closure. You need to show that there is a set which is not only orthonormal, but its span is dense. – Asaf Karagila Mar 9 '13 at 21:59

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.