3
$\begingroup$

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.

  • 0
    Why points are closed implies $G/H$ is $T_2$?2011-02-02

3 Answers 3

5

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 :)

  • 0
    OK. 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
1

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.

  • 1
    You should edit your answer to mark the erroneous claims.2011-02-02
1

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