6
$\begingroup$

Let $X$ and $Y$ be a Banach spaces and let $T: X\rightarrow Y$ be linear, injective and bounded operator. Denote $R(T):= \left\{ Tx \ : \ x\in X\right\}$. Show that $T^{-1}: R(T)\rightarrow X $ is bounded iff $R(T)$ is closed.

I proved the implication from the right side to the left one. (If range is closed,then it is a Banach space, and using inverse mapping theorem we get the statement.) How to prove this in the second direction?

$\endgroup$
2
  • $\begingroup$ This may be useful. $\endgroup$ Commented Sep 12, 2017 at 16:18
  • $\begingroup$ Honestly I don't see how it works :) $\endgroup$
    – Yelon
    Commented Sep 12, 2017 at 18:16

1 Answer 1

7
$\begingroup$

Suppose $T^{-1}$ is bounded. Then for some $M>0$ we have $\|T^{-1}y\|\leq M\|y\|$ for all $y\in R(T)$. This implies that $T$ is bounded below, which implies $R(T)$ is closed. In case you're not familiar with this result, I'll include a proof:

Suppose $(y_n)$ is a Cauchy sequence in $R(T)$, and write $x_n=T^{-1}y_n$. Given $\varepsilon>0$, there is some $N\in\mathbb N$ such that $\|y_n-y_m\|<\varepsilon/M$ for $n,m\geq N$. Then $$\|x_n-x_m\|\leq M\|y_n-y_m\|<\varepsilon$$ for $n,m\geq N$, so $(x_n)$ is Cauchy, and thus convergent to some $x\in X$. Put $y=Tx$. Now there is some $N\in\mathbb N$ such that $\|x_n-x\|<\varepsilon/\|T\|$ for all $n\geq N$, and thus $$\|y_n-y\|\leq\|T\|\|x_n-x\|<\varepsilon$$ for $n\geq N$, and thus $y_n\to y$. Thus $R(T)$ is complete, and therefore closed.

$\endgroup$
2
  • $\begingroup$ Dear Sir , Can you suggest some applications of above excersise? $\endgroup$ Commented Jul 3, 2019 at 16:34
  • $\begingroup$ @SRJ Off the top of my head, I believe it can be used in the construction of pseudoinverses of Fredholm operators (i.e., if $T$ is Fredholm, this can be used to construct $S:Y\to X$ with $ST-I_X$ and $TS-I_Y$ compact). $\endgroup$
    – Aweygan
    Commented Jul 3, 2019 at 16:38

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .