Sei:formula_26die Menge aller Vektoren, für die die Geodäte formula_4 auf dem ganzen Intervall formula_28 definiert ist. ###>This is because it relies on the theorem on existence and uniqueness for ordinary differential equations which is local in nature.