# Convexity radius

From Diffgeom

## Definition

### Definition with symbols

Let be a point in a Riemannian manifold . Then, the convexity radius at is defined as the supremum of all radii for which the following two conditions hold:

- Any metric ball contained in the metric ball is strongly convex
- Any geodesic segment contained in is a minimal geodesic joining its endpoints