1

Let $G$ be a group acting on a topological space $X$. Prove that if $G$ is finite, then any neighborhood of a
$G$-invariant subset of $X$ contains a $G$-invariant neighborhood.

I have no idea even how to start. Can anyone please help me by giving a hint?

Stefan Hamcke
  • 27,733
Extremal
  • 5,785

1 Answers1

4

Let $U$ be an open neighborhood of the $G$-invariant subset $A$. Now define $W=\bigcap_{g\in G}gU$. Can you show that this set is a $G$-invariant neighborhood of $A$?

Stefan Hamcke
  • 27,733