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'm working on this exercise (not homework) and I would gladly welcome some hints for how to solve it!

Excercise: $X$ is a reflexive Banach space and $\{x_n \} \in X$.

Prove that if $\{f(x_n)\}$ is Cauchy $\forall f \in X^\ast$ then $\exists x \in X : x_n \rightarrow x$ weakly (i.e. $f(x_n) \rightarrow f(x), \forall f \in X^\ast$)

My Idea: We have this mapping $T:X \rightarrow X^{\ast \ast}$ defined by $x \mapsto \hat{x}$ where $\hat{x}(f) = f(x)$ for $f \in X^\ast$. We know that it is isometric and $X$ is reflexive means nothing other than $T$ is surjective. So we can identify $X$ with $X^{\ast \ast}$.

Since $f(x_n) = \widehat{x_n}(f)$ we have that $\{\widehat{x_n}(f)\}$ is a Cauchy sequence for every $f \in X^\ast$. I realize we need to somehow move over to $X$ and utilize the completeness, but I don't know how to do this formally.

Any help is appreciated!

Thanks in advance

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

Define $L(f):=\lim_{n\to +\infty}f(x_n)$: it's a linear functional on $X^*$. Show that this one is bounded using Baire categories theorem with the closed sets $$F_n:=\bigcap_{k\geqslant 1}\{f\in X^*,|f(x_k)|\leqslant n\}.$$

share|cite|improve this answer
Thanks, that was just about the amount of help I needed :) – DoubleTrouble Dec 18 '12 at 23:02

Since $\{\hat{x}_n(f)\}$ is Cauchy for fixed $f\in X^*$ you can show that there exist a limit $\hat{x}(f)$. You need to work a little to show that $\hat{x}\in X^{**}$. Then $T^{-1}(\hat{x})$ is the desired limit of $\{x_n\}$.

share|cite|improve this answer
Thanks Norbert! – DoubleTrouble Dec 18 '12 at 23:02

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.