Lieu de Coupure
Définition
Pour un point base donné d'une variété riemannienne (ou, plus généralement, d'un espace métrique géodésique), le lieu de coupure est l'ensemble des points où les géodésiques minimisantes issues du point base cessent d'être uniques ou ne se prolongent plus comme minimisantes ; on peut voir cela comme le bord du domaine maximal où l'application exponentielle au point base est injective et préserve l