|
Thinking about it, it seems that I have no idea what extremal condition specifies a spacelike geodesic in a Lorentzian manifold. Their length function is at a saddle point, right?
This "greatest lower bound" thingy certainly applies only to definite metrics.
|