Brontekst bekijken van Inwendig punt

[[Afbeelding:Interior illustration.svg|thumb|Het punt <math>x</math> is een inwendig punt binnen <math>S</math>, aangezien <math>x</math> binnen <math>S</math> ligt. Het punt <math>y</math> ligt op de rand van <math>S</math>.]]

Een '''inwendig punt''' van een deelverzameling van een [[topologische ruimte]] (en daarmee ook van een deelverzameling van een [[euclidische ruimte]] en een [[metrische ruimte]]) is een [[Punt (wiskunde)|punt]] dat geheel door andere punten van die verzameling is [[Omgeving (wiskunde)|omgeven]], voor zover daar punten van de ruimte zijn. De verzameling van deze inwendige punten  heet het [[Inwendige (topologie)|inwendige]] van die verzameling. De ruimte kan zo worden ingedeeld in het inwendige van de deelverzameling, het inwendige van het complement, en de [[rand (topologie)|rand]].

De 'deelverzameling' kan ook de hele ruimte zijn. Het inwendige is dan ook de hele ruimte.

== Definitie ==
=== Euclidische ruimte ===
Het punt <math>x</math> in een deelverzameling <math>S</math> van een [[euclidische ruimte]] heet inwendig punt van <math>S</math> als er een [[Bol (lichaam)|open bol]] bestaat met <math>x</math> als [[Middelpunt (meetkunde)|middelpunt]] die helemaal in <math>S</math> ligt.

Als de ruimte de gewone ruimte van de reële getallen is, en S de verzameling rationale getallen, heeft zowel S als zijn complement geen inwendige punten, want elk open interval van reële getallen met een lengte groter dan 0 bevat zowel rationale als irrationale getallen. De rand van S is de hele ruimte.

=== Metrische ruimte ===
Als <math>X</math> een [[metrische ruimte]] is met metriek <math>d</math>, dan is <math>x</math> een inwendig punt van een deelverzameling <math>S</math> als er een bol om <math>x</math> bestaat met [[Straal (wiskunde)|straal]] <math>r > 0</math> die helemaal in <math>S</math> ligt.

Een deelverzameling van een metrische ruimte kan worden ingedeeld in het inwendige van de deelverzameling, het inwendige van het complement van de deelverzameling, en de rand ervan.

Voorbeeld:

Voor de reële getallen met de gewone metriek heeft de deelverzameling [3,4) als inwendige (3,4), als inwendige van het complement (-∞,3) <math>\cup</math> (4,∞), en als rand {3,4}.

=== Topologische ruimte ===
Deze definitie geldt ook in een [[topologische ruimte]], maar daarin wordt de bol door een [[Omgeving (wiskunde)|omgeving]] vervangen. Laat <math>S</math> een [[deelverzameling]] van een topologische ruimte <math>X</math> zijn. Dan heet <math>x</math> inwendig punt van <math>S</math>, als er een omgeving van <math>x</math> bestaat, die in <math>S</math> ligt. Merk op dat deze definitie niet van de vraag afhangt of het een vereiste is dat omgevingen al of niet open zijn. Als het niet is vereist dat omgevingen open zijn, is <math>S</math> wanneer <math>x</math> in <math>S</math> ligt altijd een omgeving van <math>x</math>.

Dit betekent dat een inwendig punt van <math>A</math> zich niet op de [[rand (topologie)|rand]] van <math>A</math> kan bevinden. Als <math>A</math> een [[open verzameling]] is, is ieder [[Element (wiskunde)|element]] van <math>A</math> een inwendig punt.

[[Categorie:Topologie]]