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

If we have an orthonormal family, $\{u_n\}_{i=1}^\infty$ in a Hilbert Space $H$, I need to show that for $x\in H$ we have the following inequality:

$$\left|\left\{n|\langle x, u_n \rangle > \frac{1}{m}\right\}\right|\leqslant m^2||x||^2.$$

The only thing that seems relavent to me is the Bessel inequality $\sum_{n=1}^{\infty} |\langle mx,u_n\rangle |\leq ||mx||^2$ but this leads to trying to show that $\sum_{n=1}^{\infty} |\langle mx,u_n\rangle \geq |\{n||\langle x, u_n \rangle > \frac{1}{m}\}|$ which doesn't really help me.

It would be great if somebody could give me a hint as to how to go about this.

Thanks very much for any help.

share|cite|improve this question
up vote 1 down vote accepted

Let $S_m:=\{n\mid, \langle x,u_n\rangle >m^{—1}\}$. Then $S_m\subset \{n\mid, |\langle x,u_n\rangle|^2 >m^{-2}\}$. This gives, by Bessel's inequality, that $$\langle x,x\rangle^2\geqslant \sum_{j\in S_m}|\langle x,u_n\rangle|^2\geqslant \sum_{j\in S_m}m^{-2}=|S_m|m^{-2},$$ what we wanted.

share|cite|improve this answer

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.