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$.
Asked
Active
Viewed 173 times
0
-
4... and? – user2345215 Jan 02 '15 at 18:45
-
2Are you really trying? – Jihad Jan 02 '15 at 18:50
-
Please write your result. – niki Jan 02 '15 at 18:51
-
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". – MPW Jan 02 '15 at 18:58
-
(+ and - work the same way here; or just replace $B$ by $-B$) – Jan 02 '15 at 19:07
-
1Don't bother filling your post with anything you don't intended to write. You will always get an answer here, regardless. – Pp.. Jan 02 '15 at 19:15
1 Answers
2
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}$
Alex Ravsky
- 106,166