On Riemannian submersions

Abstract

We prove that the image of a real analytic Riemannian manifold under a smooth Riemannian submersion is necessarily real analytic.