0
$\begingroup$

This question already has an answer here:

I am trying to prove that for any $A$ compact, $B$ closed sets $\Rightarrow A-B = \{a-b | a\in A, b\in B\}$ is also closed, where A and B are subsets of a topological vector space $X$.

$\endgroup$

marked as duplicate by saz, user147263, Mark Bennet, 6005, André Nicolas Jan 2 '15 at 19:53

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • 4
    $\begingroup$ ... and?​​​​​​​ $\endgroup$ – user2345215 Jan 2 '15 at 18:45
  • 2
    $\begingroup$ Are you really trying? $\endgroup$ – Jihad Jan 2 '15 at 18:50
  • $\begingroup$ Please write your result. $\endgroup$ – niki Jan 2 '15 at 18:51
  • $\begingroup$ You should indicate what you have tried and where you are having trouble. If you don't, the readers will vote to close your "question". $\endgroup$ – MPW Jan 2 '15 at 18:58
  • 1
    $\begingroup$ Don't bother filling your post with anything you don't intended to write. You will always get an answer here, regardless. $\endgroup$ – Pp.. Jan 2 '15 at 19:15
2
$\begingroup$

It seems the following.

This result holds for any Hausdorff topological group $G$. Indeed, let $c\in G\setminus AB^{-1}$ be an arbitrary point. It follows that the sets $cB$ and $A$ are disjoint. For every point $x\in A$ there exists a neighborhood $V(x)$ of the unit such that $V(x)x\cap cB=\varnothing$. Let $U(x)$ be a neighborhood of the unit such that $U(x)^2\subset V(x)$. There exists a finite family $\mathcal X$ such that $A\subset\bigcup\{U(x)x:x\in\mathcal X\}$. Put $U=\bigcap\{U(x):x\in\mathcal X\}$. Then $$UA\cap cB\subset U\bigcup\{U(x)x:x\in\mathcal X\}\cap cB \subset \bigcup\{U(x)^2x:x\in\mathcal X\}\cap cB=\varnothing.$$ Then $U^{-1}c$ is a neighborhood of the point $c$, which does not intersect with the set $AB^{-1}$

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.