Interior and closure of a convex set are convex

In a normed space, convexity is preserved under interior and closure
Interior and closure of a convex set are convex

Proposition. Let XX be a and let ΩX\Omega\subset X be . Then:

  • the int(Ω)\mathrm{int}(\Omega) is convex (possibly empty),
  • the Ω\overline{\Omega} is convex.

Context. Convexity is stable under two basic topological operations in normed spaces, which is essential for analyzing convex feasible regions.

Proof sketch. For Ω\overline{\Omega}, approximate points by sequences in Ω\Omega and use convexity plus limit arguments. For int(Ω)\mathrm{int}(\Omega), if x,yint(Ω)x,y\in\mathrm{int}(\Omega) then small balls around xx and yy lie in Ω\Omega; convex combinations of these balls give a neighborhood of λx+(1λ)y\lambda x+(1-\lambda)y contained in Ω\Omega, so the combination lies in int(Ω)\mathrm{int}(\Omega).