Invariant manifolds in mechanics I: The general construction of coarse theories from fine theories