Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|improve this question
add comment

1 Answer

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|improve this answer
add comment

Your Answer

 
discard

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.