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

Help me please with this question.

Let's $Y$ be Banach space, $Z$ - Normed vector space and $(T_{n})_{\mathbb{N}}$ - the sequence in $B(Y,Z)$ so that all sequence $(y_{n})_{\mathbb{N}}$ in Y holds:

if $\left \| y_n \right \|_{n \to \infty }\rightarrow 0$ then $\left \| T_ny_n \right \|_{n \to \infty }\rightarrow 0$.

Prove that: $ \underset{\mathbb{N}}{\sup}\left \| T_n \right \|< \infty $


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

Suppose not: then we can find a subsequence $\{T_{n_k}\}$ such that $\lVert T_{n_k}\rVert\geq 2k$. Pick $x_{n_k}$ of norm $1$ such that $\lVert T_{n_k}(x_{n_k})\rVert\geq \frac{\lVert T_{n_k}\rVert}2$. Then the sequence $\{y_{n_k}:=\frac 1{\lVert T_{n_k}\rVert}x_{n_k}\}$ converges to $0$. But $$\lVert Ty_{n_k}\rVert =\lVert T_{n_k}\left(\frac 1{\lVert T_{n_k}\rVert}x_{n_k}\right)\rVert=\frac 1{\lVert T_{n_k}\rVert}\lVert T_{n_k}(x_{n_k})\rVert\geq\frac 12,$$ a contradiction.

Note that we don't need $Y$ to be a Banach space.

share|cite|improve this answer
How do you prove the existence of a $y_{n_k}$ with norm 1 since for large $n$ we have $\|y_n\|<1$? – Mercy King Jun 23 '12 at 10:55
$y_n$ is not a good notation, I will change it. Done now. – Davide Giraudo Jun 23 '12 at 11:05
Thanks for your answer! – Mushka Jun 24 '12 at 10:09

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.