Gescheiden verzamelingen

In de topologie en andere deelgebieden van de wiskunde zijn gescheiden verzamelingen paren van deelverzamelingen van een gegeven topologische ruimte die elkaar niet overlappen en elkaar niet raken. Elk van de beide gescheiden deelverzamelingen is disjunct met de afsluiting van de andere. De beide afsluitingen hoeven echter niet disjunct te zijn. De eigenschap speelt een rol bij samenhangende ruimten (en hun samenhangende componenten), en ook bij de scheidingsaxioma's voor topologische ruimten.

Twee in de topologie van een topologische ruimte gescheiden deelverzamelingen zijn ook verzamelingtheoretisch disjunct. Het omgekeerde geldt echter niet algemeen.

Definitie

bewerken

Laat   en   deelverzamelingen zijn van de topologische ruimte  , en   en   de respectievelijke topologische afsluitingen.

Gescheiden verzamelingen

Men noemt   en   gescheiden verzamelingen, als   en  .

De intervallen   en   in de reële getallen   zijn in de gewone topologie gescheiden. Wel ligt het getal 0 in elk van beider afsluitingen.

Er zijn nog andere vormen van gescheiden verzamelingen.

Door omgevingen gescheiden

  en   heten door omgevingen gescheiden, als er disjuncte omgevingen   van   en   van   zijn.

Soms wordt geëist dat de omgvingen open zijn, maar dat is equivalent met deze definitie.

Door omgevingen gescheiden verzamelingen zijn ook gescheiden verzamelingen.

De intervallen   en   in   zijn in de gewone topologie ook door omgevingen gescheiden, bijvoorbeeld door de omgevingen   en  

Door gesloten omgevingen gescheiden

  en   heten door gesloten omgevingen gescheiden, als er disjuncte gesloten omgevingen   van   en   van   zijn,

Door gesloten omgevingen gescheiden verzamelingen zijn uiteraard ook door omgevingen gescheiden verzamelingen.

De intervallen   en   in   zijn in de gewone topologie niet door gesloten omgevingen gescheiden. Van elk zal een gesloten omgeving het getal 0 bevatten.

Door een functie gescheiden

  en   heten door een functie gescheiden, als er een continue functie   is waarvoor   en  .

Door een functie gescheiden verzamelingen zijn ook door gesloten omgevingen gescheiden verzamelingen.

De intervallen   en   in   zijn in de gewone topologie niet door gesloten omgevingen gescheiden en dus ook niet door een functie gescheiden. Duidelijk is dat een functie die op   de waarde 0 heeft en op   de waarde 1, niet continu kan zijn.

Scherp door een functie gescheiden

  en   heten scherp (Duits: scharf, Engels: precisely) door een functie gescheiden, als er een continue functie   is waarvoor   en  .

Verzamelingen die scherp door een functie gescheiden worden, zijn ook door een functie gescheiden verzamelingen.