Het snijpunt van een verzameling met haar rand in de topologie
Het snijpunt van de rand \( \partial A \) van een verzameling met de verzameling zelf \( A \) is leeg dan en slechts dan als \( A \) een open verzameling is: $$ \partial A \cap A = \emptyset \Leftrightarrow A \text{ is open} $$
In eenvoudige bewoordingen betekent dit het volgende: een verzameling \( A \) is open precies dan wanneer geen enkel punt van \( A \) op haar rand ligt.
Een open verzameling raakt haar rand dus nergens, zij blijft er volledig van gescheiden.
Een concreet voorbeeld
Neem het open interval \((0, 1)\) in de meest bekende topologische context, namelijk de reële getallenlijn \(\mathbb{R}\) met de gebruikelijke topologie.
$$ A = (0, 1) $$
Deze verzameling is open.
De rand van \( A \) definiëren we als het snijpunt van de sluiting van \( A \) met de sluiting van haar complement \( \mathbb{R} \setminus A \):
$$ \partial A = \text{Cl}(A) \cap \text{Cl}(\mathbb{R} - A) $$
De sluiting van \( A \) is het gesloten interval \([0, 1]\):
$$ \text{Cl}(A) = [0, 1] $$
De sluiting van het complement is:
$$ \text{Cl}(\mathbb{R} - A) = (-\infty, 0] \cup [1, \infty) $$
Daaruit volgt dat de rand van \( A \) bestaat uit:
$$ \partial A = [0, 1] \cap \left((-\infty, 0] \cup [1, \infty)\right) $$
$$ \partial A = \{0, 1\} $$
We bekijken nu het snijpunt van deze rand met de verzameling zelf:
$$ \partial A \cap A = \{0, 1\} \cap (0, 1) = \emptyset $$
Zoals verwacht bevat het open interval \((0, 1)\) geen enkel randpunt. Dit bevestigt op een concrete manier dat \( A \) inderdaad een open verzameling is.
Voorbeeld 2
We vergelijken dit nu met het gesloten interval \( B = [0, 1] \), opnieuw binnen de gebruikelijke topologie op \(\mathbb{R}\).
$$ B = [0, 1] $$
De verzameling \( B \) is gesloten.
Ook hier bepalen we de rand via de sluitingen van \( B \) en van haar complement:
$$ \partial B = \text{Cl}(B) \cap \text{Cl}(\mathbb{R} - B) $$
We hebben:
$$ \text{Cl}(B) = [0, 1] $$
En:
$$ \text{Cl}(\mathbb{R} - B) = (-\infty, 0] \cup [1, \infty) $$
Daaruit volgt opnieuw:
$$ \partial B = \{0, 1\} $$
In dit geval is het snijpunt met de verzameling niet leeg:
$$ \partial B \cap B = \{0, 1\} \cap [0, 1] = \{0, 1\} $$
Dit laat zien dat het gesloten interval \([0, 1]\) wel degelijk randpunten bevat en daarom geen open verzameling is.
Bewijs van de equivalentie
We onderbouwen de bovenstaande uitspraak nu stap voor stap.
(⇒) Als \( \partial A \cap A = \emptyset \), dan is \( A \) open
Veronderstel dat geen enkel punt van \( A \) op de rand ligt:
$$ \partial A \cap A = \emptyset $$
Dan geldt voor elk punt \( x \in A \) dat er een omgeving bestaat die volledig in \( A \) ligt. Precies dat is de definitie van een open verzameling.
Daaruit volgt meteen dat \( A \) open is.
(⇐) Als \( A \) open is, dan geldt \( \partial A \cap A = \emptyset \)
Neem nu aan dat \( A \) open is.
Elk punt van \( A \) beschikt dan over een omgeving die volledig binnen \( A \) blijft. Zo’n punt kan dus niet op de overgang tussen \( A \) en haar complement liggen.
Geen enkel punt van \( A \) behoort daarom tot de rand van \( A \).
Hieruit volgt:
$$ \partial A \cap A = \emptyset $$
Conclusie
Een verzameling is open precies dan wanneer zij geen enkel randpunt bevat. In symbolen:
$$ \partial A \cap A = \emptyset \Leftrightarrow A \text{ is open} $$
Deze karakterisering biedt een helder en praktisch criterium om open verzamelingen in de topologie te herkennen.
