Difference between revisions of "Interior"

From Maths
Jump to: navigation, search
(Created page with "==Definition== Given a set {{M|U\subseteq X}} and an arbitrary metric space, {{M|(X,d)}} or topological space, {{M|(X,\mathcal{J})}} the ''interior'' of {{M|U}}, denot...")
(No difference)

Revision as of 03:41, 29 November 2015

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[1][2]:

  • [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

References

  1. Introduction to Topology - Theodore W. Gamelin & Robert Everist Greene
  2. Introduction to Topology - Bert Mendelson