5
$\begingroup$

I have numbered this question as (1) because I will be posting series of questions where I don't understand. I hope its allowed. I want to prove the following :

If $X$ is a topological vector space then : If $A\subset X $ then $\bar A = \cap(A+V)$, where $V$ runs through all nbd of $0$.

I tried like this : $x\in \bar A\subset A+V$ $\implies x\in A+V $ for all V. The other way , $x\in A+V$ $\implies$ $x\in A$ which means $x\in \bar A$.

Is my argument correct? If it fails what should I take care of? Thank you very much.

  • 0
    @J.J : How can i argue to give a reasonable answer ?2012-06-14

4 Answers 4

4

For the other direction it's helpful to remember that $x \in \bar{A}$ if and only if every neighbourhood $U$ of $x$ intersects $A$. So let $U$ be an arbitrary neighbourhood of $0$, whence $x + U$ is an arbitrary neighbourhood of $x$. If $x \in \bigcap (A + V)$, then in particular $x \in A - U$ so that we can write $x = a - u$ for some $a \in A$, $u \in U$. Thus $a \in x + U$ and we see that $x + U$ intersects $A$.

  • 0
    I am getting confused with complements and addition :(.2012-06-14
4

We assume that $x\in A+V$ for all neighborhood $V$ of $0$. Let $W$ a neighborhood of $x$. We have to show that $W\cap A\neq\emptyset$. We can write $W=x+W'$, where $W'$ is a neighborhood of $0$. $x\in A+W'$ hence $x=a+w'$ where $a\in A$ and $w'\in W'$. We have $x-w'=a\in A$ and $x-w'\in W$ if we assume $W$ symmetric (without loss of generality, just substituting $W$ by $W\cap (-W)$.

4

The main ingredients:

  1. Show that $\bigcap_{V\text{ a nbhd of }0}(A+V)=\bigcap_{V\text{ a symmetric}\atop \text{nbhd of }0}(A+V)\;.$

  2. Show that if $V$ is a symmetric nbhd of $0$, then $x\in A+V$ iff $A\cap(x+V)\ne\varnothing$.

  3. Show that $x\in\operatorname{cl}A$ iff $A\cap(x+V)\ne\varnothing$ for every nbhd of $0$ iff $A\cap(x+V)\ne\varnothing$ for every symmetric nbhd of $0$.

1

We need to recall the following:

Let $X$ be a topological space , $A\subseteq X$ and $x\in X.$ Then $x\in \overline{A}$ iff for any nbd $U$ of $x$, $U\cap A \ne \varnothing$. Also, if $X$ is a TVS with topology $\tau$, then it is known that $a+G$ and $tG$ belong to $\tau$ whenever $a\in X$, $G\in \tau$ and $t\ne 0$. We call this, the invariant property. We now prove that $ \overline{A} = \bigcap_{V\in \mathcal{V}}(A+V). $ where $\mathcal{V}$ denotes the collection of all nbs of 0.

First, let $x\in \overline{A}$ and let $V\in \mathcal{V}$. Then $-V$ is nbd of 0. Hence, $x+(-V)=x-V$ is nbd of $x$. Thus, $(x-V)\cap A \ne \varnothing$. Choose $y\in x-V$ and $y\in A$. Then it follows that $x\in A+V$. Hence, $x\in A+V$ for every $V\in \mathcal{V}$. This implies that $x\in \displaystyle{\bigcap_{V\in \mathcal{V}}(A+V)}$.

Next, let $x\in \displaystyle{\bigcap_{V\in \mathcal{V}}(A+V)}$. We want to show that $x\in \overline{A}$. Let $U$ be any nbd of $x$. Then $-x+U$ is nbd of 0 and so is $-(x+U)=x-U$. Hence, $x-U\in \mathcal{V}$. Thus, $x\in A+(x-U)$. Hence, there exist $a\in A$ and $u\in U$ such that $x=a+(x-u)$. This implies that $a=u$. Hence, $U\cap A \ne \varnothing$. Thus, $x\in \overline{A}$. This completes the proof.

juniven