共役点

測地線 $\gamma\colon[0,a]\to M$ 上の点 $\gamma(t_0)$（$0<t_0\le a$）が $\gamma(0)$ に共役であるとは、$J(0)=0$、$J(t_0)=0$ となる $0$ でない Jacobi 場 $J$ が存在することをいう。