From the Wikipedia article on geodesics:
In Riemannian geometry geodesics are not the same as “shortest curves” between two points, though the two concepts are closely related. The difference is that geodesics are only locally the shortest distance between points [...]. Going the “long way round” on a great circle between two points on a sphere is a geodesic but not the shortest path between the points.
My question is:
Can the construction of the real projective plane be understood – among other things – as an attempt to force shortest paths to be unique? (Like it can be understood as an attempt to force all straight lines to intersect.)
Antipodal points on a sphere are exactly those points for which shortest paths are not unique. Identifying them does make shortest paths unique.
[Find a follow-up question here.]