Category:Expression for Closure of Set in Topological Vector Space

This category contains pages concerning Expression for Closure of Set in Topological Vector Space:

Let $K$ be a topological field.

Let $X$ be a topological vector space over $K$.

Let $A \subseteq X$.

Let $\mathcal V$ be the set of open neighborhoods of ${\mathbf 0}_X$.

Then:

$\ds A^- = \bigcap_{V \in \mathcal V} \paren {A + V}$

where $A^-$ is the closure of $A$.