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 normed space and $(x'_n) \subseteq X'$ a sequence of functionals where $x_n'$ has $x'$ has its limit in the *-weak topology in $X'$. Show that $$ ||x'|| \le \operatorname{lim inf}_{n\to \infty} ||x'_n||. $$ I have no glue how to show this, do you have any hints?

share|cite|improve this question

Fix $N$ an integer, and let $v_N$ of norm $1$ such that $\lVert x'(v_N)\rVert\geqslant \lVert x'\rVert -N^{—1}$.

Then write $$\lVert x'\rVert\leqslant N^{-1}+\liminf_{n\to +\infty}\lVert x'_n(v_N)\rVert$$

share|cite|improve this answer

Let $L=\liminf_{n\to\infty}\|x_n\|$. Consider a subsequence $x_{n_k}'$ so $\|x_{n_k}\|<L+\epsilon$. This converges to *-weakly $x'$. By Banach-Alaoglu, $\|x'\|\leq L+\epsilon$. Of course, $\epsilon$ can be chosen arbitrarily small. [This is less elementary than the first solution proposed, but can easily be adapted to nets.]

[It is false that $\|x_n'\|\to \|x'\|$, as suggested below. Consider any orthonormal sequence in an infinite-dimensional Hilbert space, which necessarily *-weakly converges to $0$.]

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.