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

Let $X$ be a Banach space and let $x_n \overbrace{\rightarrow}^w x$ and $x_n \overbrace{\rightarrow}^s z$ can we then say that $x = z$? My try:

$$\| x- z\| = \sup_{\ell \leq 1} |\ell(x-z)| = \sup_{\ell \leq 1} |\ell x -\ell z| \leq \epsilon$$

Where $\ell$ is a continuous functional in $X'$ Is this correct? is there any easier way? Thanks Btw if this already is correct, should I delete the post or what do I do?

share|cite|improve this question
What is $\varepsilon$? And in the supremum, you should write you take it over the linear continuous functionals of norm $\leqslant 1$. – Davide Giraudo Dec 29 '12 at 14:43
$\epsilon$ is arbitrary small number? Will the choice of $\ell$ affect my result? – Johan Dec 29 '12 at 14:55
No problem as the norm is bounded by $1$. But the las inequality deserves an additional step introducing the sequence $\{x_n\}$ (hence you don't really need $\varepsilon$). – Davide Giraudo Dec 29 '12 at 14:59
up vote 5 down vote accepted

Yes. If $ x_{n} \to z $ strongly, then $ x_{n} \to z $ weakly also. Since the weak topology is Hausdorff, we have uniqueness of the limit. Therefore, $ z = x $.

share|cite|improve this answer
the strong topology is finer than the weak – user52188 Dec 29 '12 at 14:49
why is weak topology hausdorff? – Koushik Dec 29 '12 at 14:53
you can use Hahn–Banach (second geometric form) to prove that weak topology is hausdorff – user52188 Dec 29 '12 at 15:02

If $x_n\to x$ weakly and $x_n\to z$ weakly, it follows that $f(x)=f(z)$ for any $f\in X^{*}$. Hence $f(x-z)=0$ for any $f\in X^{*}$. An immediate application of Hahn-Banach implies $x=z$. Indeed, otherwise we can build a functional $g_0$ on span$\{x-z\}$ such that $g_0(x-z)=1$, and use Hahn-Banach extend it to a functional $g$ on $X$. For this $g\in X^{*}$ we would have $g(x-z)=1$.

share|cite|improve this answer
this is a nice soln – Koushik Dec 30 '12 at 8:16

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.