Sum of Closures is Subset of Closure of Sum in Topological Vector Space/Proof 2
Theorem
Let $K$ be a topological field.
Let $X$ be a topological vector space over $K$.
Let $A, B \subseteq X$.
Then:
- $A^- + B^- \subseteq \paren {A + B}^-$
where $A^-$, $B^-$ and $\paren {A + B}^-$ denote the closures of $A$, $B$ and $A + B$.
Proof
Let $x \in A^-$ and $y \in B^-$.
From Point in Set Closure iff Limit of Net, there exists directed sets $\struct {\Lambda_1, \preceq_1}$ and $\struct {\Lambda_2, \preceq_2}$ and nets $\sequence {x_\lambda}_{\lambda \mathop \in \Lambda_1}$ valued in $A$ and $\sequence {y_\lambda}_{\lambda \mathop \in \Lambda_2}$ valued in $B$ such that:
- $\sequence {x_\lambda}_{\lambda \mathop \in \Lambda_1}$ converges to $x$
- $\sequence {y_\lambda}_{\lambda \mathop \in \Lambda_2}$ converges to $y$.
Define a relation $\sqsubseteq$ on $\Lambda_1 \times \Lambda_2$ by:
- $\tuple {\lambda_1, \lambda_2} \sqsubseteq \tuple {\mu_1, \mu_2}$
for $\tuple {\lambda_1, \lambda_2}, \tuple {\mu_1, \mu_2} \in \Lambda_1 \times \Lambda_2$ if and only if:
- $\lambda_1 \preceq_1 \mu_1$ and $\lambda_2 \preceq_2 \mu_2$
From Product of Directed Sets is Directed Set, $\struct {\Lambda_1 \times \Lambda_2, \sqsubseteq}$ is a directed set.
Define:
- $x'_{\tuple {\lambda, \mu} } = x_\lambda$
and:
- $y'_{\tuple {\lambda, \mu} } = y_\mu$
for each $\tuple {\lambda, \mu} \in \Lambda_1 \times \Lambda_2$.
We show that $\langle {x'_{\tuple {\lambda, \mu} } \rangle}_{\tuple {\lambda, \mu} \mathop \in \Lambda_1 \times \Lambda_2}$ converges to $x$.
Fix $\mu_0 \in \Lambda_2$.
Let $U$ be an open neighborhood of $x$.
Since $\sequence {x_\lambda}_{\lambda \mathop \in \Lambda_1}$, there exists $\lambda_0 \in \Lambda$ such that for all $\lambda \in \Lambda$ with $\lambda \succeq \lambda_0$, we have $x_\lambda \in U$.
Then, if $\tuple {\lambda, \mu} \in \Lambda_1 \times \Lambda_2$ has $\tuple {\lambda, \mu} \sqsupseteq \tuple {\lambda_0, \mu_0}$, we in particular have $\lambda \succeq \lambda_0$ and so $x'_{\tuple {\lambda, \mu} } \in U$.
Since $U$ was arbitrary, $\sequence {x'_{\tuple {\lambda, \mu} } }_{\tuple {\lambda, \mu} \mathop \in \Lambda_1 \times \Lambda_2}$ converges to $x$.
Similarly, $\sequence {y'_{\tuple {\lambda, \mu} } }_{\tuple {\lambda, \mu} \mathop \in \Lambda_1 \times \Lambda_2}$ converges to $y$.
From Sum of Convergent Nets in Topological Vector Space is Convergent, $\sequence {x'_{\tuple {\lambda, \mu} } + y'_{\tuple {\lambda, \mu} } }_{\tuple {\lambda, \mu} \mathop \in \Lambda_1 \times \Lambda_2}$ converges to $x + y$.
Since $x'_{\tuple {\lambda, \mu} } \in A$ and $y'_{\tuple {\lambda, \mu} } \in B$ for all $\tuple {\lambda, \mu} \in \Lambda_1 \times \Lambda_2$, we have that $x'_{\tuple {\lambda, \mu} } + y'_{\tuple {\lambda, \mu} } \in A + B$ for each $\tuple {\lambda, \mu} \in \Lambda_1 \times \Lambda_2$.
So $x + y$ is the limit of a net valued in $A + B$.
So by Point in Set Closure iff Limit of Net, we have $x + y \in \paren {A + B}^-$.
So, we have $A^- + B^- \subseteq \paren {A + B}^-$.
$\blacksquare$