Sum of closed subspaces of normed linear space

Look at the quotient space $X/M$. Because $M$ is known to be closed, then $Y=X/M$ is a normed space under the quotient norm. Let $\phi : X\rightarrow X/M$ be the quotient map. Then $\phi$ is continuous because $\|\phi(x)\|_{X/M}\le \|x\|_{X}$. Furthermore, $\phi(M+N)$ is finite-dimensional and, hence, closed in $X/M$. Therefore $M+N=\phi^{-1}(\phi(M+N))$ is closed.


Word to the wise: the sum of closed subspaces is not necessarily closed, sadly. If one is finite-dimensional, however, this is true.

To prove this: suppose $N \cap M = \{0\}$. Since $N$ is finite-dimensional, we have that $S_N = \{v \in N \mid |v| = 1\}$ is compact. So, because $S_N$ and $M$ are disjoint and $v \mapsto d(v, M) = \inf\{|v - m \mid m \in M\}$ is continuous, $$ \alpha(N, M) := \inf_{v \in S_N} d(v,M) > 0 $$ Now you want to show that the projection $P : N \oplus M \to N$ is bounded. We compute $$ |P| = \sup_{v = m + n,m \in M, n \in N, v \neq 0} \frac{|n|}{|m + n|} = \sup_{|n| = 1, m \in M} \frac{1}{|n - m|} = \frac{1}{\alpha(N, M)} < \infty $$ The boundedness of $P$ implies that $M \oplus N$ is closed; to see this, note that $z_n \in M \oplus N, z_n \to z$ implies $P z_n, (I -P) z_n$ both converge.