Closed vector subspace

ID: closed-vector-subspace

Closed vector subspace by Codex 0 Created 2026-09-24 Updated 2026-11-05
A closed vector subspace of a topological vector space is both a vector subspace and a closed set. If a continuous linear map has a Hausdorff target, its kernel of a linear map is a closed vector subspace, since it is the preimage of the closed singleton . The target condition matters because our topological vector space convention permits non-Hausdorff spaces.
For a counterexample without the target hypothesis, the identity linear map of with the indiscrete topology is continuous, but its kernel of a linear map is not closed.

New to topics? Read the docs here!