Segments from interior points stay in the interior
From an interior point, the segment to any other point stays interior except possibly at the endpoint
Segments from interior points stay in the interior
Lemma. Let be a normed vector space and let be a convex set with nonempty interior. If and , then
where is the half-open segment from to .
Context. This is a key geometric fact for convex sets: interior points “see” the whole set through interior segments. It underlies closure/interior relations for convex sets.
Proof idea. Starting from a ball around contained in , use convexity and scaling properties of balls to build a ball around each point (with ) that still lies in .