# $(x,y)\to xy$ continuous but $x\to x^{-1}$ not

In the definition of topological groups we impose both $(x,y)\to xy$ and $x\to x^{-1}$ to be continuous.

However, I cannot find an example where the first condition holds but the second fails.

Is the second one redundant?

Thanks!

-
A paratopological group is required to satisfy only your first condition. See, e.g.: books.google.com/… – David Mitra Jan 2 '12 at 11:21
@DavidMitra thanks David! But Qiaochu gave a simple and direct answer. Enjoy it! – Hui Yu Jan 2 '12 at 11:23
Off-topic, but slightly related. If $X$ is a group and a complete metric space, and the map $(x,y) \mapsto xy$ is separately continuous, then in fact $X$ is a topological group. That is: if follows that $(x,y) \mapsto xy$ is jointly continuous and that $x \mapsto x^{-1}$ is continuous. – GEdgar Jan 2 '12 at 16:09

Take $\mathbb{Z}$ with the usual group operation and topology given by the open sets $(n, \infty), n \in \mathbb{Z}$ (together with the empty set and the entire space). The group operation is continuous since the preimage of $(n, \infty)$ is a union of the open sets $(a, \infty) \times (b, \infty)$ where $a + b = n$, but inversion is not since the preimage of $(n, \infty)$ is $(-\infty, -n)$ which is not open.
note that the operation here is addition, that $x \rightarrow -x$ is not continuous is quite clear. – Henno Brandsma Jan 2 '12 at 18:06
The proof follows from the fact that sets of the form $[a,b)$, where $a, b \in \mathbb{R}$, form the bases for the sorgenfrey line. Then inverse image of the open set $[1,2)$ under the map $x \rightarrow -x$ is $(-2,-1]$ which is not open in sorgenfrey line. So, inverse function is not continuous. – Abcd J Jan 4 '12 at 15:37