If G is a Lie group and X a differentiable manifold, then the subspace of smooth points for the action is the set of points x ∈ X such that the map g ↦ g ⋅ x is smooth. There is a well-developed theory of Lie group actions, i.e. action which are smooth on the whole space.