黎曼几何
The splitting theorem is a classical theorem in Riemannian geometry.