0
$\begingroup$

Let $G$ be finite topological group, and acts freely over the hausdorff topological space $X$, i want to prove that every element $x$ in $X$ has an open neighborhood $U_x$ such that:

$g\star U_{x}\cap U_{x} \neq \phi$ and $g\in G$ implies that $g=e_{G}$

my best regards

1 Answers 1

2

For each $g \ne e$ in $G$ and $x \in X$, the fact that $G$ acts freely means $gx \ne x$. Since $X$ is Hausdorff, there are disjoint open neighbourhoods $V_{g,x}$ and $W_{g,x}$ of $gx$ and $x$ respectively.
Take $U_x$ to be the intersection of $g^{-1}V_{g,x} \cap W_{g,x}$ for all $g \ne e$. I'll let you verify that this satisfies the requirements.

  • 0
    It has to be assumed that the maps $x \to gx$ are continuous. This should be part of the definition of a group acting on a topological space.2012-10-19