Open mapping, inverse mapping and boundness

181 Views Asked by At

Let $(X,\| \cdot \|_X)$, $(Y,\| \cdot \|_Y)$ be normed linear spaces and $T: X \rightarrow Y$ be a surjective linear operator. Show that the following are equivalent:

(1) $T$ is open, i.e. for any open set $U$ in $X$, $T(U)$ is an open set in $Y$.

(2) There is $M>0$ such that for every $y \in Y$, there is a $x \in X$ with

$T(x) = y \text{ and } \| y \|_Y \ge M\| x \|_X$

My idea: If $T$ is also injective, then (1) implies $T^{-1}$ is continuous. Hence $T^{-1}$ is bounded and (2) is very similar with the form of boundness.

(I know this question is related to open mapping theorem. But I haven't learn it yet and it is unnecessary here.)

It's just a very initial idea but I don't know how to figure it out clearly. Thanks for your reply!

2

There are 2 best solutions below

0
On BEST ANSWER

(1) implies (2): Take $U$ to be the open unit ball. Then $T(U)$ is an open set containing $T0=0$. So there exists $r >0$ such that $B(0,r) \subset T(U)$. [I will omit subscripts $X$ and $Y$ for the norms and for open balls for ease of typing]. Let $y \neq 0$ in $Y$. Choose $n$ such that $\frac 1 {n\|y\|}y \in B(0,r) \subset T(U)$. (i.e. $n >\frac 1 r$). We can write $\frac 1 {n\|y\|}y=Tx'$ with $x' \in U$. Let $x=n\|y\|x'$. Then $y=Tx$ and $\|x\|\leq n\|y\|$. [The case $y=0$ is trivial].

(2) implies (1): Let $U$ be open and $y_0\in T(U)$. We can write $y_0=Tx_0$ with $x_0 \in U$ Since $U$ is open there exists $t>0$ such that $B(x_0,t) \subset U$. Suppose $y \in B(y_0,Mt)$. Apply (2) to $y-y_0$. We can write $y-y_0=T(x)$ with $\|y-y_0\| \geq M\|x\|$. Now $y=T(x_0+x)$ and $x+x_0 \in B(x_0,t)$ because $Mt >\|y-y_0\|\geq M\|x\|$. Hence, $x+x_0 \in U$. We have proved that $y\in T(U)$. Thus $B(y_0,Mt) \subset T(U)$. This completes then proof of (1).

I have corrected some notations.

2
On

If $T$ is open and since $T$ is surjective, there exists $R>0$ such that $$\overline{B_Y(0,R)}\subset T(\overline{B_X(0,1)}).$$ Let $y\in Y\backslash\{0\}$, then $\frac{y}{\|y\|_YR}\in\overline{B_Y(0,R)}$, so there exists $z\in \overline{B_X(0,1)}$ such that $$\frac{y}{\|y\|_YR}=T(z).$$ Set $x=z\|y\|_Y R$, you have $\|x\|_X\leq \|y\|_Y R$, hence the conclusion (if $y=0$, (2) is trivial).