$S^3=\{(z_1, z_2) \in \mathbb{C^2} \mid |z_1|^2 + |z_2|^2 = 1 \}$
Show that $S^1$ acts on $S^3$ by $z \cdot (z_1, z_2)=(zz_1, zz_2)$
An action of a topological group $G$ on a topological space $X$ (by homeomorphisms) is a continuous map $F : G \times X \rightarrow X$ such that the following $3$ conditions hold:
- For each fixed $g \in G$ the map $F(g, \cdot) : X \rightarrow X$ is a homeomorphism
- The identity element acts as identity map
- Product is respected: $F(gh, a)=F(g, F(h, a))$
So in this case, I think $G=S^1$ and $X=S^3$
- Is $z \cdot (z_1, z_2)=(zz_1, zz_2)$ a homeomorphism? I believe it is due to continuity and bijectivity... but I do not know about an inverse? Could someone help me with that?
- $e \in S^1$ gives $e \cdot (z_1, z_2)=(ez_1, ez_2)$ so I think this works...
- And products seem to be respected
I am not sure if I am misunderstanding these criteria, if someone could help me outline this in more detail that would be great