Orbit of a group action

The set of points reachable from a given point under a group action.
Orbit of a group action

Consider a of a Lie group GG on a manifold MM.

For xMx\in M, the orbit of xx (under the action of GG) is the subset

Gx:={gxgG}M. G\cdot x := \{ g\cdot x \mid g\in G\}\subseteq M.

Equivalently, GxG\cdot x is the image of the Φx:GM\Phi^x:G\to M, ggxg\mapsto g\cdot x.

Two points x,yMx,y\in M lie in the same orbit if and only if there exists gGg\in G with y=gxy=g\cdot x; this is an equivalence relation whose equivalence classes are precisely the orbits, and the corresponding quotient is the M/GM/G.

Examples

  1. Rotations in the plane. For the SO(2)SO(2)-action on R2\mathbb{R}^2, the orbit of a nonzero vector is a circle of radius x\|x\|, while the orbit of 00 is {0}\{0\}.
  2. Conjugacy classes. For the conjugation action of GG on itself, gh:=ghg1g\cdot h := ghg^{-1}, the orbit of hh is its conjugacy class.
  3. Linear actions. For the natural GL(n,R)GL(n,\mathbb{R})-action on Rn\mathbb{R}^n, the orbit of any nonzero vector is Rn{0}\mathbb{R}^n\setminus\{0\}, and the orbit of 00 is {0}\{0\}.