リーマン幾何学
The splitting theorem is a classical theorem in Riemannian geometry.