Rand (topologie)

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

In de topologie, een deelgebied van de wiskunde, bestaat de rand van een verzameling uit de punten die willekeurig dicht bij zowel de verzameling als haar complement liggen. Anders gezegd: in de buurt van een randpunt liggen zowel punten van binnen de verzameling zelf, alsook van buiten de verzameling.

Definitie[bewerken]

Zij (X,\mathcal{T}) een topologische ruimte en zij A een deelverzameling van X. De rand van A, genoteerd \delta(A)\!, bestaat uit de punten van X die willekeurig dicht benaderd worden zowel door punten van A als door punten van haar complement Ac. Dit wil zeggen dat een punt p tot de rand van A behoort als elke willekeurig kleine omgeving van p zowel A als Ac snijdt.

\delta(A)=\{p\in X|\forall V\in\mathcal{V}(p):V\cap A\neq\emptyset\and V\setminus A\neq\emptyset\}

De rand van A is niet noodzakelijk een deelverzameling van A, zoals uit onderstaande voorbeelden blijkt.

Randpunt[bewerken]

De punten van de rand \delta(A) worden randpunten van A genoemd.

Voorbeelden[bewerken]

Op de reële getallenas met zijn gewone topologie bestaat de rand van een eindig interval met positieve lengte uit het paar van de twee randpunten, ongeacht of het een gesloten, halfopen of open interval betreft.

\delta[a,b]=\delta(a,b)=\delta(a,b]=\delta[a,b)=\{a,b\}\!

Op diezelfde getallenas bestaat de rand van verzameling der rationale getallen (breuken) uit de hele reële as, want elk reëel getal kan geschreven worden als een limiet van breuken, maar ook als een limiet van irrationale getallen.

De rand van X zelf is leeg, omdat het complement van X in zichzelf leeg is.

De rand van de lege verzameling is leeg.

In de discrete topologie is de rand van elke verzameling leeg.

In de indiscrete topologie (triviale topologie \{\emptyset,X\}) is de rand van elke verzameling de hele ruimte X, behalve van de lege verzameling en van de ruimte X zelf, die allebei een lege rand hebben.

In de figuur hieronder is een deelverzameling A van het vlak in het groen weergegeven. Een rode kleur geeft uitdrukkelijk aan dat sommige punten van het vlak niet tot A behoren. Daaronder staat een schets van de rand van A in het blauw. De rand van A bevat limietpunten van rijen in A waarvan de limiet niet tot A behoort. De rand bevat eveneens limietpunten van rijen in het complement van A waarvan de limiet tot A behoort.

De groene deelverzameling A van het vlak, met daaronder in het blauw een schets van de rand van A

Elementaire eigenschappen[bewerken]

De rand van een gesloten verzameling is een deel van die gesloten verzameling.

De rand van een open verzameling is disjunct met die open verzameling.

Een verzameling en haar complement hebben dezelfde rand.

De rand is disjunct met de inwendige.

De afsluiting is de vereniging van het inwendige met de rand. De rand is dus het verschil van de afsluiting met het inwendige.

De rand van A is een gesloten verzameling van X.

Een willekeurige deelverzameling van X is gesloten als en slechts als ze haar eigen rand bevat. Een willekeurige deelverzameling van X is open als en slechts als ze disjunct is met haar eigen rand. Hieruit volgt dat de relatie \delta\! "heeft als rand" op de machtsverzameling 2X volledig de topologie van X vastlegt.

De rand van een gesloten verzameling heeft leeg inwendige.

Een verzameling is gelijk aan haar eigen rand als en slechts als ze gesloten is en een leeg inwendige heeft.

De rand van de rand van A is een deelverzameling van de rand van A

\delta(\delta(A))\subset\delta(A)

(omdat deze laatste gesloten is). Soms betreft het een strikte deelverzameling, zoals blijkt uit het voorbeeld van de rationale getallen.

De rand van de rand van A heeft een leeg inwendige, zodat hij op zijn beurt gelijk is aan zijn eigen rand:

\delta(\delta(\delta(A)))=\delta(\delta(A))\!

Afhankelijkheid van X[bewerken]

De rand is geen intrinsieke topologische eigenschap van A, maar hangt af van de inbedding in de ruimte X. Zo is bijvoorbeeld de rand van A in zichzelf, opgevat als een topologische ruimte met de deelruimtetopologie, steeds leeg.