Group action

Orbit space

Given a group 𝐺 acting on a space 𝑋, the orbit space1 or quotient 𝑋/𝐺 is the set of orbits partitioning 𝑋. group If 𝑋 is a topological space, 𝑋/𝐺 is typically endowed with the quotient topology induced by the projection 𝑝 :π‘₯ ↦𝐺π‘₯.

Properties


tidy | en | SemBr

Footnotes

  1. German Bahnenraum. ↩