This is a study of the manifold
structure of the focal set of an immersed submanifold in a real space form M. A
typical result is the following:
Theorem. Let M be an orientable (immersed) hypersurface inMwhich is completewith respect to the induced metric. Let λ be a differentiable principal curvature ofconstant multiplicity ν > 1 on M. Then the focal map fλfactors through animmersion of the (n − ν)-dimensional manifold MλintoM. In this way, fλ(M) isan immersed submanifold ofM.