Interior

Redirect to:

• Interior (topology)

Grade: (Unknown)

This page requires some work to be carried out

Some aspect of this page is incomplete and work is required to finish it

OLD PAGE

Definition

Given a set [ilmath]U\subseteq X[/ilmath] and an arbitrary metric space, [ilmath](X,d)[/ilmath] or topological space, [ilmath](X,\mathcal{J})[/ilmath] the interior of [ilmath]U[/ilmath], denoted [ilmath]\text{Int}(U)[/ilmath] is defined as:

• [ilmath]\text{Int}(U):=\{x\in X\vert\ x\text{ is interior to }U\}[/ilmath] - (see interior point for the definition of what it means to be interior to)

Note that, unlike interior point which is basically a synonym for neighbourhood (taking the definition of neighbourhood as discussed on its page) the interior is a meaningful and distinct definition. In accordance with the topological definition of interior point (requiring that [ilmath]U[/ilmath] be a neighbourhood to some [ilmath]x\in X[/ilmath]) we see that:

• [ilmath]\text{Int}(U)[/ilmath] is the set of all points [ilmath]U[/ilmath] is a neighbourhood to.

Immediate properties

Let [ilmath]U\subseteq X[/ilmath] be an arbitrary subset of a topological space [ilmath](X,\mathcal{J})[/ilmath] (as all metric spaces are topological, they are included), then:

Claim 1: [ilmath]\text{Int}(U)[/ilmath] is open

---

Recall that for [ilmath]U[/ilmath] to be open we require that [ilmath]\text{Int}(U)=U[/ilmath], so for [ilmath]\text{Int}(U)[/ilmath] to be open we require that:

• [ilmath]\text{Int}(\text{Int}(U))=\text{Int}(U)[/ilmath]

---

TODO: Be bothered to fill in this proof

---

See also

• Open set
• Interior point
• Topological space