Locus de Corte

Para un punto base fijado en una variedad riemanniana (o, más generalmente, en un espacio métrico geodésico), el locus de corte es el conjunto de puntos en los que las geodésicas minimizantes desde el punto base dejan de ser únicas o dejan de prolongarse como minimizadoras; equivalentemente, es la frontera del dominio maximal donde la aplicación exponencial en el punto base es inyectiva y preserva