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 XX be a and let ΩX\Omega\subset X be a set with nonempty interior. If aint(Ω)a\in \mathrm{int}(\Omega) and bΩb\in\Omega, then

[a,b)int(Ω), [a,b)\subset \mathrm{int}(\Omega),

where [a,b)[a,b) is the half-open from aa to bb.

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 aa contained in Ω\Omega, use convexity and scaling properties of balls to build a ball around each point λa+(1λ)b\lambda a+(1-\lambda)b (with λ(0,1]\lambda\in(0,1]) that still lies in Ω\Omega.