Riemannian distance, geodesically convex sets

This lecture covers the structure of Riemannian manifolds, defining geodesic convexity and the Riemannian distance function. It explains the metric space topology, completeness, and the notion of geodesic curves. The lecture also discusses convex sets, length of curves, and the relationship between geodesic completeness and metric completeness.