Konvexitätsradius
Definition
Am Punkt p einer riemannschen Mannigfaltigkeit ist der Konvexitätsradius die größte r>0, sodass die geodätische Kugel B(p,r) (stark) geodätisch konvex ist: je zwei Punkte in B(p,r) werden durch eine eindeutige minimierende Geodäte verbunden, die vollständig in B(p,r) liegt.