Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Possible Duplicate:
If $\sum a_n b_n <\infty$ for all $(b_n)\in \ell^2$ then $(a_n) \in \ell^2$

I have a question, can anyone help me?

Let $\{ a_i\} _{i=1} ^ { + \infty }$ be a sequence of positive real numbers such that for every sequence $\{ b_i\} _{i=1} ^ { + \infty }$ of positive real numbers satisfying the condition $\sum {b_n ^2} <+ \infty$ we have $\sum {a_n b_n} < + \infty$ . Prove that $\sum {a_n^2} < + \infty$.

It appeared in Iran's 3rd round Olympiad exam 2009, but I think it's a well-known result.

share|improve this question

marked as duplicate by Davide Giraudo, Aryabhata, JavaMan, Nate Eldredge, Did Feb 2 '12 at 19:07

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

1  
Another nice proof is at math.stackexchange.com/a/58567/822. –  Nate Eldredge Feb 2 '12 at 18:19

1 Answer 1

up vote 3 down vote accepted

For any $x \in \ell^2$, $\sum_n a_n x_n$ converges absolutely, and therefore converges. Now apply the Uniform Boundedness Principle to the sequence of "partial sum" functionals $x \to \sum_{n \le N} a_n x_n$, together with the Riesz-Fischer theorem that identifies bounded linear functionals on $\ell^2$ as members of $\ell^2$.

If you consider all this too functional-analytic for an Olympiad problem, a more elementary way would be this. If $\sum_n a_n^2 = \infty$, consider an increasing sequence $N_j$ such that $N_1 = 1$ and $c_j = \sum_{n=N_j}^{N_{j+1}-1} a_n^2 > 1$. Define a sequence $b_n$ by $b_n = a_n/(j \sqrt{c_j})$ for $N_j \le n < N_{j+1}$. Note that $\sum_{n=N_j}^{N_{j+1}-1} b_n^2 = 1/j^2$ and $\sum_{n=N_j}^{N_{j+1}-1} a_n b_n = \sqrt{c_j}/j > 1/j$, so $\sum_n b_n$ converges but $\sum_n a_n b)n$ diverges.

share|improve this answer

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