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 $T$ be a bounded operator from a Banach Space $X$ to a normed space $Y$ such that $T$ is not onto, but $R(T)\subset Y$ is dense. Prove that $R(T)$ is of first category and not no-where dense.

Since $\mathring{\overline{R(T)}}=\mathring{Y}=Y\not=\emptyset$ the range is not nowhere dense but how to see that it is of first category?

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

We can write $R(T)=\bigcup_{n=1}^{+\infty}T(B(0,n))$. We have to show that $T(B(0,n))$ is nowhere dense. Otherwise, the closure of $T(B(0,1))$ would have a non-empty interior, and we would have $B(0,r)\subset \overline{T(B(0,1)}$ for some $r>0$. Considering $T/r$ if necessary, we can assume that $r=1$. Let $y\in Y$ such that $y\notin R(T)$ of norm $1$. We can construct, by induction on $n$, a sequence $\{x_k\}\subset B(0,1)$ such that for each $n$, $$\left\lVert y-T\left(\sum_{j=1}^n\frac{x_j}{2^j}\right)\right\rVert\in (0,2^{-(n+1)}).$$ Indeed, take $x_1\in B(0,1)$ such that $\lVert y-Tx_1\rVert\leq \frac 12$. Then $y-Tx_1\notin R(T)$, and is of norm $\leq 1/2$. Take $x_2'$ of norm $\leq 1/2$ such that $Tx'_2$ approaches $y-Tx_1$ up to $1/4$ and take $x_2=2x_2'$. If $x_1,\dots,x_n$ are construct, we have that $y-T\left(\sum_{j=1}^n\frac{x_j}{2^j}\right)\notin R(T)$. Let $x'_{n+1}$ of norm $\leq 2^{-(n+1)}$ such that $$\left\lVert y-T\left(\sum_{j=1}^n\frac{x_j}{2^j}\right)-T'x_{n+1}\right\rVert\leq 2^{-(n+1)},$$ and take $x_{n+1}=2^{n+1}x'_{n+1}$. Let $s_n:=\sum_{k=1}^n2^{-k}x_k$. Since $\lVert x_k\rVert\leq 1$, we have $\lVert s_{m+n}-s_n\rVert\leqslant 2^{-n}$, hence $(s_n,n\geqslant 1)$ is a Cauchy sequence, which converges, by completeness of $X$ to some $x$. By boundedness of $T$, we would have $y=Tx$ (because $s_n\to x$ and $Ts_n\to y$), a contradiction.

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.