Dense subspace (source code)

= Dense subspace
{title2=$\overline D=X$}

A dense subspace of a <topological vector space> $X$ is a <linear subspace> $D$ whose closure is all of $X$. It permits continuous operators to be determined or extended from values on $D$. For a normed space, every vector in $X$ is a limit of vectors from $D$.