1
$\begingroup$

I'm wanting to say that if $V$ is open and $g$ is a group action acting on this set is it true that $g(V)$ is open?

Under theorem 8.1.2 of the following http://www.math.toronto.edu/mat1300/covering-spaces.pdf

this seems to be suggested. It makes sense, but intuition can be deceptive often in mathematics.

$\endgroup$
3
  • $\begingroup$ If the group is not acting continuously, then there is no reason for this. In any case, is $V$ the whole space on which the group acts? $\endgroup$
    – Mariano Suárez-Álvarez
    Nov 12, 2016 at 18:17
  • $\begingroup$ If the group action is continuous, yes, because then each action is also a homeomorphism. $\endgroup$
    – Thomas Andrews
    Nov 12, 2016 at 18:17
  • $\begingroup$ Given that the link you've given is about covering spaces, maybe you have something more specific in mind about what a group action is? $\endgroup$
    – Thomas Andrews
    Nov 12, 2016 at 18:19

2 Answers 2

Reset to default
2
$\begingroup$

The group actions as defined in that article are topological group actions, hence continuous.

The map:

$$\phi_g:x\mapsto gx$$

is a homeomorphism - it is a continuous map that has a continuous inverse:

$$\phi_{g^{-1}}:x\mapsto g^{-1}x$$

This means, in particular, that if $V$ is an open subset of $X$ then $\phi_g(V)=gV$ is an open subset of $X$.

$\endgroup$
1
  • $\begingroup$ Thank you for your answer. Is my attempt below correct too? I want to phrase it in my own language so that I really know I understand it, thank you for your time. $\endgroup$
    – user351797
    Nov 12, 2016 at 19:55
0
$\begingroup$

Thank you Thomas Andrews.... put another way, we have the following:

$\phi_{g^{-1}} = (\phi_g)^{-1}$ since $$(\phi_{g^{-1}}\cdot\phi_g)x=\phi_{g^{-1}}(gx) = g^{-1}gx=x$$ And $$(\phi_{g}\cdot\phi_{g^{-1}})x=\phi_{g}(g^{-1}x) = gg^{-1}x=x$$

And since each action is continuous it follows that $\phi_{g^{-1}}$ is continuous and hence $\phi_{g}$ is open.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .