If $G$ is a topological group, are inversion $G \to G$ and multiplication $G\times G \to G$ open mappings? More concretely, I try to show that division of complex numbers $\{(z,w) \in \mathbb{C}^2;\; w \neq 0\} \to \mathbb{C},\; (z,w) \mapsto \tfrac{z}{w}$ is an open mapping. I want to use this to construct charts on $\mathbb{CP}^1 = (\mathbb{C}^2\setminus\{0\})/\mathbb{C}^{\times}$. I don't know where to begin.
Are inversion and multiplicaton open?
4
$\begingroup$
topological-groups
-
0By the way there's another [open question](http://math.stackexchange.com/questions/200483/complex-projective-line-hausdorff-as-quotient-space) (no pun intended) I'm still very interested in, which is also related to this one. I hope it's okay to advertise a bit. – 2012-10-03
2 Answers
3
Yes, open maps. The inversion $g\mapsto g^{-1}$ is in fact a homeomorphism, continuous by def. and its inverse is itself.
For the product, if $U,V\subseteq G$ open subsets, then the image of $(U,V)$ under multiplication is the complex product $U\cdot V =\{u\cdot v\mid u\in U,v\in V\} =\bigcup_{u\in U}(u\cdot V)$ is a union of open sets.
-
0Exactly. For example $U\cdot\{1\} = U$. – 2012-10-03
2
Take $O_1$ and $O_2$ two open subsets ot $G$. As the inversion $i$ is an homeorphism and an involution, $i(O_1)=i^{-1}(O_1)$ is open. Denote $m$ the multiplication map. Then $m(0_1\times O_2)=\bigcup_{y\in O_2}O_1y$ is open. We deal with the general case using the definition of product topology.