# functional analysis complementary subspace

Let $Y$ and $Z$ be closed subspaces in a Banach space $X$. Show that each $x \in X$ has a unique decomposition $x = y + z$, $y\in Y$, $z\in Z$ iff $Y + Z = X$ and $Y\cap Z = \{0\}$. Show in this case that there is a constant $\alpha>0$ such that $ǁyǁ + ǁzǁ \leq\alphaǁxǁ$ for every $x \in X$

-
help me to solve this problem i am really in trouble with this problem – math Oct 22 '12 at 22:23
What part of it are you stuck on? – Robert Israel Oct 22 '12 at 22:24

I think that the constant part requires the Open Mapping Theorem.

Consider the space $Y\oplus Z$ with the norm $\|y\oplus z\|_1=\|y\|+\|z\|$. It is easy to see that it is a Banach space. Then we define the map $T:Y\oplus Z\to X$ given by $T(y\oplus z)=y+z$. This map is clearly linear and bijective. Moreover, $$\|T(y\oplus z)\|=\|y+z\|\leq\|y\|+\|z\|=\|y\oplus z\|_1,$$ so $T$ is bounded. By the Open Mapping Theorem $T$ is open, which means that $T^{-1}$ is bounded. So, given $x\in X$ with $x=y+z$, $y\in Y$, $z\in Z$, there exists $\alpha=\|T^{-1}\|>0$ such that $$\|y\|+\|z\|=\|y\oplus z\|_1=\|T^{-1}(x)\|_1\leq\alpha\|x\|.$$

For the sake of completeness, here is a proof for the first part of the question. Note that both sides of the implication have the assertion $X=Y+Z$, so what we have to prove is $$\mbox{unique decomposition }\iff\ Y\cap Z=\{0\}.$$

So assume first that $X=Y+Z$ with unique decomposition, and let $w\in Y\cap Z$. By the decomposition, $w=y+z$, $y\in Y$, $z\in Z$. But as $w\in Y$, we get $z=w-y\in Y$. So $w=(y+z)+0$ is another decomposition of $w$; by the uniqueness, $z=0$. A similar argument shows that $y=0$, and thus $w=0+0=0$. This shows that $Y\cap Z=\{0\}$.

Conversely, suppose that $Y\cap Z=\{0\}$. If $x=y_1+z_1=y_2+z_2$ with $y_1,y_2\in Y$, $z_1,z_2\in Z$, then we have $y_1-y_2=z_2-z_1\in Z$, so $y_1-y_2\in Y\cap Z$ and $y_1=y_2$. A similar argument shows that $z_1=z_2$. So the decomposition is unique.

-
thank u i did not solve yet. do i have to combine this. or could u eleborate the first part too – math Oct 23 '12 at 2:40

Hint: Assume that $Y\cap Z=\{0\}$. If $z+y=x=z'+y'$ s.t. $z,z'\in Z$, $y,y'\in Y$ then $z-z'=y'-y$.
For the other direction, if $y\in Y\cap Z$ then $0+0=y+(-y)$.

-
can you eloberate it more this is my home work question and tomorrow is my due date – math Oct 22 '12 at 22:40
how to prove the norm part – math Oct 22 '12 at 22:45
i appreciate your help but still i am confuse with this problem – math Oct 22 '12 at 22:50
hello can some one eloberate this a bit so i can solve it – math Oct 22 '12 at 23:23
Did you finish proving everything except the norm? – Dennis Gulko Oct 22 '12 at 23:39