If $(X,||\cdot||)$ is a Banach space and $K$ is a closed subspace, then $X/K$ becomes a Banach space when endowed with the quotient norm. Is it also true that if $(X,||\cdot||)$ is a normed space and $K$ is a complete subspace with $X/K$ complete, then $X$ is complete?
Normed Vector Space with Complete Subspace and Quotient Space
analysisbanach-spacesnormed-spacesquotient-spaces
Best Answer
I propose the following proof:
Let $(x_n)_{n \geq 1}$ be a Cauchy sequence in $X$. Then $x_n \to x$ for some $x \in \overline{X}$. Notice that the sequence $(x_n + K)_{n \geq 1}$ in $X/K$ is Cauchy, and therefore converges to $x' + K \in X/K$. Since $K$ is complete in $X$, $K$ is also complete in $\overline{X}$, and is therefore closed in $\overline{X}$, allowing us to consider the quotient space $\overline{X}/K$ equipped with the suitable norm. Since $x_n \to x$, we also have that $x_n + K \to x+K$, and so $x + K = x' + K$. Thus, $x-x' \in K$, allowing us to conclude that $x \in X$.