We show that the space P/G of orbits of a proper action of a Lie group G on a locally compact differential space P is a locally compact differential space with quotient topology. Applying this result to reduction of symmetries of Hamiltonian systems, we prove the reduction by stages theorem.
展开▼
