Hoofdmenu openen

In de topologie, een deelgebied van de wiskunde, wordt een topologische ruimte samenhangend genoemd, als het niet mogelijk is de ruimte op te delen in twee disjuncte, niet-lege, open deelverzamelingen. Ook een deelruimte van een topologische ruimte kan samenhangend zijn, en wel als de deelruimte samenhangend is onder de geïnduceerde topologie.

In de gewone topologie van een deel van het vlak of van de driedimensionale ruimte betekent samenhang wat er gewoonlijk onder verstaan wordt, namelijk dat de verzameling één geheel is, niet in twee of meer delen te splisen waartussen "ruimte" zit.

Inhoud

DefinitieBewerken

Een topologische ruimte   heet samenhangend als er geen twee open, niet-lege, deelverzamelingen   en   zijn, waarvoor geldt dat   en  .

In deze definitie mag "open" ook vervangen worden door "gesloten". Een equivalente definitie luidt: Een topologische ruimte   heet samenhangend als   en de lege verzameling de enige clopen (zowel open als gesloten) deelverzamelingen zijn. Om te bepalen of een deelverzameling van   open is, beperken we ons tot de deelruimtetopologie.

VoorbeeldenBewerken

  •   met de gewone metriek is samenhangend voor elke  .
  • Elk interval in   met de gewone metriek is samenhangend. Op homeomorfie na zijn er vijf samenhangende deelruimten van  :
    • de open intervallen, inclusief de open halfrechten en de hele   (er kan geen enkel punt verwijderd worden met behoud van de samenhang)
    • de halfopen intervallen, inclusief de gesloten halfrechten (er is één punt dat verwijderd kan worden met behoud van de samenhang)
    • de gesloten intervallen (er zijn twee punten die verwijderd kunnen worden met behoud van de samenhang)
    • de singletons
    • de lege verzameling
  • De deelverzameling   van   met de gewone metriek is niet samenhangend. Kies bijvoorbeeld   en  . Duidelijk is dat   en   beide open en niet leeg zijn, en er geldt dat   en  .

WegsamenhangendheidBewerken

Het is vrij lastig om aan te tonen of een verzameling samenhangend is of niet. Daarom wordt het begrip wegsamenhangendheid of padsamenhangendheid ingevoerd. Daarmee wordt een samenhang gedefinieerd die inhoudt dat elke twee punten in de topologische ruimte door een pad (of weg) verbonden zijn.

Eerst moet men definiëren wat onder een pad verstaan wordt.

Een functie   heet een pad tussen de punten   en   uit een topologische ruimte   als   continu is,   en  .

Een topologische ruimte   heet dan wegsamenhangend of padsamenhangend als er voor elke twee punten   een pad bestaat.

Wegsamenhang en samenhangBewerken

Wegsamenhangendheid blijkt over het algemeen wat gemakkelijker aan te tonen dan samenhangendheid. De begrippen zijn echter niet equivalent. Wegsamenhangendheid blijkt wel samenhang te impliceren, maar omgekeerd hoeft samenhangendheid niet wegsamenhang te impliceren.

Een voorbeeld is de topologische sinuscurve,

 ,

die wel samenhangend is, maar niet wegsamenhangend.

De ruimte   is een eenvoudig voorbeeld van een ruimte die wegsamenhangend is.

Samenhang en wegsamenhang zijn continu-invariante eigenschappen. Dit houdt in dat het continue beeld van een verzameling met een continu-invariante eigenschap ook die eigenschap heeft.

Samenhangende deelverzamelingenBewerken

Uit de definitie volgt dat de lege verzameling, evenals alle singletons samenhangend zijn. Een topologische ruimte waarvan alle deelruimten, met uitzondering van de lege verzameling en de singletons, onsamenhangend zijn, heet totaal onsamenhangend.

Een discrete topologie is totaal onsamenhangend. Een ander voorbeeld vormen de rationale getallen met de gewone topologie.

Voorbeelden van wegsamenhangBewerken

  • In   met de gewone metriek is elke samenhangende deelruimte ook wegsamenhangend.
  • Voorbeelden in   van topologisch verschillende wegsamenhangende deelruimten:
    • Als in  , maar dan in plaats van een interval een niet-zelfdoorsnijdende kromme (naast het singleton en de lege verzameling weer drie topologisch verschillende varianten; de vijf zijn topologisch gelijk aan die in  ).
    • Krommen met vertakkingen (veel topologisch verschillende varianten).
    • Een cirkelschijf met rand, en alles wat daarmee homeomorf is, dus om te vormen met continu strekken, buigen, rekken en plooien, zonder inknippen of plakken.
    • Idem zonder rand.
    • Idem met gedeeltelijke, aaneengesloten rand.
    • Een cirkelschijf met rand, met een er vanuitgaande niet-zelfdoorsnijdende kromme (topologisch verschillende varianten naargelang de kromme een eindpunt heeft).
    • Twee cirkelschijven met rand, met een gemeenschappelijk punt.
    • Twee cirkelschijven met rand, verbonden door een niet-zelfdoorsnijdende kromme.
    • Een cirkelschijf met gaten (topologisch verschillende varianten qua buitenrand en aantal gaten, en als een cirkelschijf is uitgespaard: qua randen van het gat).
    • Een cirkel (en topologisch gelijk: elke niet-zelfdoorsnijdende gesloten kromme).

Zie ookBewerken