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 smooth action of a Lie group on a manifold .
For , the orbit of (under the action of ) is the subset
Equivalently, is the image of the orbit map , .
Two points lie in the same orbit if and only if there exists with ; this is an equivalence relation whose equivalence classes are precisely the orbits, and the corresponding quotient is the orbit space .
Examples
- Rotations in the plane. For the -action on , the orbit of a nonzero vector is a circle of radius , while the orbit of is .
- Conjugacy classes. For the conjugation action of on itself, , the orbit of is its conjugacy class.
- Linear actions. For the natural -action on , the orbit of any nonzero vector is , and the orbit of is .