Published online by Cambridge University Press: 19 September 2008
A differentiable G-space is introduced, for a Lie group G, into which every countably separated Borel G-space can be imbedded. The imbedding can be a continuous map if the space is a separable metric space. Such a G-space is called a universal G-space. This universal G-space has a local product structure for the action of G. That structure is inherited by invariant subspaces, giving a local product structure on general G-spaces. This information is used to prove that G-spaces are stratified by the subsets consisting of points whose orbits have the same dimension, to prove that G-spaces with stabilizers of constant dimension are foliated, to give a short proof that closed subgroups of Lie groups are Lie groups, to give a new proof and a stronger version of the Ambrose—Kakutani Theorem and to give a new proof of the existence of near-slices at points having compact stabilizers and hence of the existence of slices for Cartan G-spaces.