Proposition 10.7.2.label Let $E$ be a TVS over $K \in \RC$, $M \subset E$ be a subspace, then $E/M$ is separated if and only if $M$ is closed.
Proof. The space $M$ is closed if and only if
\[M = \bigcap_{V \in \cn(0)}M + V\]
which is equivalent to $E/M$ being separated.$\square$
Post a Comment