Interior

The largest open set contained in a given set
Interior

Let (X,d)(X,d) be a metric space and let EXE\subset X.

The interior of EE, denoted int(E)\operatorname{int}(E) or EE^\circ, is defined by

int(E):={GEG is open}. \operatorname{int}(E):=\bigcup\{\,G\subset E \mid G \text{ is open}\,\}.

Equivalently, int(E)\operatorname{int}(E) is the largest contained in EE.

A pointwise characterization is given by .

Examples:

  • In R\mathbb{R}, int([0,1])=(0,1)\operatorname{int}([0,1])=(0,1).
  • If EE is open, then int(E)=E\operatorname{int}(E)=E.
  • If EE has empty interior (e.g., the rationals in R\mathbb{R}), then int(E)=\operatorname{int}(E)=\emptyset.