Category:Translation of Closed Set in Topological Vector Space is Closed Set

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Translation of Closed Set in Topological Vector Space is Closed Set:


Let $K$ be a topological field.

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

Let $F$ be a closed set in $X$.

Let $x \in X$.


Then $F + x$ is a closed set in $X$.

Pages in category "Translation of Closed Set in Topological Vector Space is Closed Set"

The following 3 pages are in this category, out of 3 total.