I am just trying to learn what transitive group action is. It seems I understand the definition, but I still have an issue.
We read on Wikipedia that (emphasis added): "The group action is transitive if and only if it has only one orbit, i.e. if there exists x in X with G.x = X. This is the case if and only if G.x = X for all x in X".
Direct implication of another definition I have (from the source I learn from) is that group action is transitive if for every x in X : G.x = X.
According to Wikipedia (and later on in my source), it seems to be enough only for one x to have G.x = X to deduce transitivity.
In short, I don't see how G.x = X for one x in X => G.x = X for every x in X.
P.S: I have yet to learn what orbit is. So please avoid using orbits to explain the issue.
Best Answer
Suppose that $\exists x\in X$ $\forall y \in X \exists g\in G \ : g(x)=y $.
Now let $y_1$, $y_2 \in X$. Choose $g_1$, $g_2$ such that $g_1(x)=y_1$ and $g_2(x)=y_2$ which you can do by original assumption. Set $g=g_2 g_1 ^ {-1}$. Clearly $g(y_1)=y_2$.
Therefore the two definitions of transitivity are in fact equivalent, even though one of them seems weaker at first.
The way to think about transitivity is that by acting with a group, you can get anywhere in your set from any starting point. Orbits of the group are precisely sets of points that you can reach with your group action from some starting point. Hence transitivity means that there is only one orbit. For example if you consider group of rotations with respect to fixed point acting on Euclidean space, orbits are just spheres of constant radius with respect to that point. Group action restricted to these spheres is transitive.