Banach-Schauder Theorem

From ProofWiki
Jump to navigation Jump to search


Let $\struct {X, \norm \cdot_X}$ and $\struct {Y, \norm \cdot_Y}$ be Banach spaces.

Let $T : X \to Y$ be a surjective bounded linear transformation.

Then $T$ is an open mapping.


For each $x \in X$ and $r > 0$, let $\map {B_X} {x, r}$ be the open ball in $\struct {X, \norm \cdot_X}$ with centre $x$ and radius $r$.

For each $y \in Y$ and $r > 0$, let $\map {B_Y} {y, r}$ be the open ball in $\struct {Y, \norm \cdot_Y}$ with centre $y$ and radius $r$.

Note that we can write:

$\ds X = \bigcup_{n \mathop = 1}^\infty \map {B_X} {0, n}$

From Image of Union under Mapping: General Result, we have:

$\ds T \sqbrk X = \bigcup_{n \mathop = 1}^\infty T \sqbrk {\map {B_X} {0, n} }$

Since $T$ is surjective, we have $T \sqbrk X = Y$, and so:

$\ds Y = \bigcup_{n \mathop = 1}^\infty T \sqbrk {\map {B_X} {0, n} }$

Since $\struct {Y, \norm \cdot_Y}$ is a Banach space, by the Baire Category Theorem it is also a Baire space.

From Baire Space is Non-Meager:

$Y$ is non-meager.


$Y$ is not the countable union of nowhere dense subsets of $Y$.

So, we must have:

$T \sqbrk {\map {B_X} {0, m} }$ is not nowhere dense for some $m \in \N$.

So the topological closure of $T \sqbrk {\map {B_X} {0, m} }$ has non-empty interior.

So, there exists a open set $U \subseteq X$ such that:

$U \subseteq \paren {T \sqbrk {\map {B_X} {0, m} } }^-$

where $\paren {T \sqbrk {\map {B_X} {0, m} } }^-$ denotes the topological closure of $T \sqbrk {\map {B_X} {0, m} }$

Let $y \in U$.

Since $U$ is open set, there exists an open ball $\map {B_Y} {y, r}$ such that $r > 0$ and:

$\map {B_Y} {y, r} \subseteq U \subseteq \paren {T \sqbrk {\map {B_X} {0, m} } }^-$

Lemma 1

$\map {B_Y} {0, r} \subseteq \paren {T \sqbrk {\map {B_X} {0, m} } }^-$


Lemma 2

$\map {B_Y} {0, r} \subseteq T \sqbrk {\map {B_X} {0, 2 m} }$


Now let $V \subseteq X$ be an arbitrary open set.

We aim to show that $T \sqbrk V$ is open in $Y$.

Let $y \in T \sqbrk V$, then there exists $x \in V$ such that $y = T x$.

Since $V$ is open there exists $\delta > 0$ such that $\map {B_X} {x, \delta} \subseteq V$.

We show that:

$\ds \map {B_Y} {T x, \frac \delta {2 m} r} \subseteq T \sqbrk V$


$\ds v \in \map {B_Y} {T x, \frac \delta {2 m} r}$


$\ds \norm {v - T x}_Y < \frac \delta {2 m} r$


$\ds \norm {\frac {2 m} \delta \paren {v - T x} }_Y < r$


$\ds \frac {2 m} \delta \paren {v - T x} \in \map {B_Y} {0, r}$

Then, from Lemma 2, we have:

$\ds \frac {2 m} \delta \paren {v - T x} \in T \sqbrk {\map {B_X} {0, 2 m} }$


$\ds \frac {2 m} \delta \paren {v - T x} = \map T {2 m u} = 2 m T u$

for some $u$ with $\norm u_X < 1$.


$\ds \frac {v - T x} \delta = T u$


$v - T x = \map T {\delta u}$

with $\norm {\delta u}_X < \delta$.


$v = \map T {x + \delta u}$

with $x + \delta u \in \map {B_X} {x, \delta}$.


$v \in T \sqbrk {\map {B_X} {x, \delta} }$

Then $v = T x'$ for some $x' \in \map {B_X} {x, \delta}$.

Since $\map {B_X} {x, \delta} \subseteq V$, we have $x' \in V$.

So $v \in T \sqbrk V$.


$\ds \map {B_Y} {T x, \frac \delta {2 m} r} \subseteq T \sqbrk V$

That is:

$\ds \map {B_Y} {y, \frac \delta {2 m} r} \subseteq T \sqbrk V$

So $T \sqbrk V$ is open in $Y$.

We have now shown that for each open set $V \subseteq X$, $T \sqbrk V$ is open in $Y$.

So $T$ is an open mapping.


Also known as

This theorem is also known as the open mapping theorem.

Source of Name

This entry was named for Stefan Banach and Juliusz Paweł Schauder.