In the chapter on completions in Atiyah Macdonald, they define a topological abelian group. Let $G$ be such a group. Denote $H$ to be the set of intersection of neighbourhoods of $0$. Then it is shown that $H$ is a subgroup. Then they say $G/H$ is Hausdorff because points are closed. I don't quite understand this.
Hausdorffness of a topological abelian group
-
0Why points are closed implies $G/H$ is $T_2$? – 2011-02-02
3 Answers
Suppose $G$ is a topological group such that $\{1\}$ is a closed set. Let $x$, $y\in G$ be two distinct elements. Since $x^{-1}y\neq1$ and $\{1\}$ is closed, there exists an open neighborhood $U$ of $1$ such that $x^{-1}y\not\in U$, so that $y\not\in xU$.
Now, it is easy to prove using the axioms of topological groups that there exists an open neighborhood $V$ of $1$ such that $VV^{-1}\subseteq U$. And, finally, one can see easily that $xV\cap yV=\emptyset$, so that $xV$ and $yV$ are disjoint open neighborhoods of $x$ and $y$, respectively. $G$ is therefore Hausdorff.
In fact, on a topological group even the fact that the topology be $T_0$ (a weaker condition that $T_1$,which is the one we used above) is enough to prove that it is Hausdorff. You can do that as an exercise :)
-
0OK. I guess if you choose a $V$ as above, then consider the neighbourhood of $1$ given by $V\cap (G-{{xy^{-1}}})$, then the intersection in my comment above is nonempty. – 2011-02-02
G/H will be Hausdorff, essentially because quotienting by H identifies all the points that can't be discerned from 0.
Lemma : If $U \subset G$ is open, $U = U+H$ :
Let $x \in U$. $U-x$ is a neighboorhood of 0, so $H \subset U-x$. Thus $H+x \subset U-x+x = U$. Since we have this for all $x$, $U = U+H$.
Let $x$ be an element of G/H. $x$ is the projection of some $y$ from G, with $y \not\in H$. Since $y \not\in H$, it means that there exists a neighboorhood $U$ of 0 that doesn't contain $y$. Then, as Mariano said, since the application $x \rightarrow x-x$ is continuous, there exists an open $V$ containing 0 such that $V-V \subset U$. Finally, since we have $y \not\in V-V$, $y+V \cap V = \emptyset$, and $y+V+H \cap V+H = \emptyset$.
This shows that, in the quotient G/H, 0 and x are separated.
-
1You should edit your answer to mark the erroneous claims. – 2011-02-02
Other ways to go about it:
Topological groups $G$ are homogeneous (for every $x$ and $y$ in $G$ we have a homeomorphism of $G$ that maps $x$ to $y$) and homogeneous $T_0$ spaces are $T_1$ (easy exercise). Suppose there is a net $(x_i), i \in I$ that converges to 2 points $x, y$. Then the net $((x_i)^{-1} * x_i), i \in I$ is constantly $e$ but also converges (using continuity of the group operations) to $x * y^{-1}$ which must equal $e$ as $\{e\}$ is closed in a $T_1$ space. Hence $x = y$ and $G$ is Hausdorff (unique net limits).
In fact we can get Tychonoff (completely regular, $T_{3\frac{1}{2}}$) and the most general way to go about that is to use that the topology is induced by a uniformity. All uniform spaces that are $T_0$ are Tychonoff.
-
0@Theo, thanks, I forgot about that one. – 2011-02-02