Accumulatiepunten in de topologie

In een topologische ruimte $X$ heet een punt $x$ een accumulatiepunt van een deelverzameling $A \subseteq X$ als elke omgeving van $x$ een punt van $A$ bevat dat verschillend is van $x$.

Met andere woorden: hoe klein je de omgeving rond $x$ ook kiest, er ligt altijd een punt van $A$ in dat niet samenvalt met $x$.

Formeler geformuleerd: $x$ is een accumulatiepunt als voor elke omgeving $U$ van $x$ geldt dat de doorsnede met $A \setminus \{x\}$ niet leeg is.

$$ U \cap (A \setminus \{x\}) \neq \emptyset $$

Let op: een accumulatiepunt hoeft niet zelf tot $A$ te behoren. Het kan dus ook buiten de verzameling liggen.

In de reële topologische ruimte $\mathbb{R}$ is dit begrip goed te visualiseren. Op de reële lijn is een punt $x$ een accumulatiepunt van een deelverzameling $A$ als elk open interval rond $x$, van de vorm $(x-\epsilon, x+\epsilon)$, een punt van $A$ bevat dat verschillend is van $x$.
illustratie van een accumulatiepunt op de reële lijn
Deze definitie geldt niet alleen op de reële lijn, maar in elke dimensie. In $\mathbb{R}^n$ spreken we van een accumulatiepunt als elke omgeving van $x$ een niet-lege doorsnede heeft met $A \setminus \{x\}$. In hogere dimensies is dit minder direct te zien, maar het idee blijft hetzelfde.

Voorbeelden
Opmerkingen

Voorbeelden

We bekijken enkele concrete situaties in $\mathbb{R}$, uitgerust met de standaardtopologie.

Voorbeeld 1

Beschouw de verzameling

$$ A = \left\{ \frac{1}{n} \mid n \in \mathbb{N}^+ \right\} $$

Dit zijn de punten $1, \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \ldots$.

We onderzoeken of $0$ een accumulatiepunt van $A$ is.

Elke open omgeving van $0$ bevat een interval $(a, b)$ met $a < 0 < b$.

Omdat $\frac{1}{n} \to 0$ als $n \to \infty$, ligt er voor voldoende grote $n$ altijd een element $\frac{1}{n}$ in $(a, b)$.

Dus elke omgeving van $0$ bevat een punt van $A$ dat verschillend is van $0$.

Daaruit volgt dat $0$ een accumulatiepunt is van $A$.

weergave van een accumulatiepunt

Voorbeeld 2

Beschouw nu de verzameling

$$ B = \left\{ n + \frac{1}{n} \mid n \in \mathbb{N}^+ \right\} $$

Dit zijn de punten $2, 2.5, 3.333\ldots, \ldots$.

We bekijken het punt $1$.

Elke open omgeving van $1$ bevat een interval $(a, b)$ met $a < 1 < b$.

Alle elementen van $B$ zijn echter strikt groter dan $1$. Er ligt dus geen enkel punt van $B$ in zo’n interval rond $1$.

Daarom is $1$ geen accumulatiepunt van $B$.

Voorbeeld 3

Beschouw de verzameling $(0, 1]$.

We bepalen de accumulatiepunten van deze verzameling.

Volgens de definitie is een punt $x$ een accumulatiepunt als elke omgeving van $x$ een punt van $(0, 1]$ bevat dat verschillend is van $x$.

Inwendige punten
Neem $x \in (0, 1]$. Elke omgeving van $x$ bevat een interval $(a, b)$ met $a < x < b$. Dit interval bevat altijd andere punten van $(0, 1)$.
Dus elk punt $x \in (0, 1]$ is een accumulatiepunt.
Randpunten
We bekijken de punten $0$ en $1$.
- Punt $0$ : Hoewel $0$ niet tot $(0, 1]$ behoort, bevat elke omgeving van $0$ positieve punten uit $(0, 1]$. Daarom is $0$ een accumulatiepunt.

- Punt $1$ : Omdat $1$ wel tot $(0, 1]$ behoort, bevat elke omgeving van $1$ punten uit $(0, 1)$ die verschillend zijn van $1$. Dus ook $1$ is een accumulatiepunt.
Punten buiten $[0, 1]$
Neem een punt $x \notin [0, 1]$. Dan kun je altijd een omgeving van $x$ kiezen die geen enkel punt van $(0, 1]$ bevat.

Als $x < 0$, kies bijvoorbeeld een interval $(x - \epsilon, x + \epsilon)$ dat volledig links van $0$ ligt. Als $x > 1$, kies een interval dat volledig rechts van $1$ ligt. In beide gevallen bevat de omgeving geen punten van $(0, 1]$. Dus zulke punten zijn geen accumulatiepunten.

Conclusie: de accumulatiepunten van $(0, 1]$ in $\mathbb{R}$ met de standaardtopologie zijn precies alle punten van het gesloten interval $[0, 1]$.

Voorbeeld 4

We bekijken nu een iets minder intuïtieve situatie: de verzameling accumulatiepunten van $ A = (0, 1] $ in de ondergrens-topologie op $ \mathbb{R} $.

De ondergrens-topologie, ook bekend als de Sorgenfrey-topologie, wordt op $ \mathbb{R} $ gedefinieerd met behulp van intervallen van de vorm $[a, b)$ met $ a < b $. Open verzamelingen zijn willekeurige unies van zulke intervallen.

Zoals altijd is een punt $x$ een accumulatiepunt van een verzameling $A$ als elke omgeving van $x$ een punt van $A$ bevat dat verschillend is van $x$.

We analyseren de verschillende gevallen afzonderlijk.

Voor $x \in (0, 1)$
Elke omgeving van $x$ bevat een basisomgeving van de vorm $[x, x + \epsilon)$. In zo'n interval liggen altijd oneindig veel punten van $A$.
Daarom is elk punt in $(0, 1)$ een accumulatiepunt van $A$.
Voor $x = 1$
Hoewel intervallen van de vorm $(1 - \epsilon, 1]$ geen rol spelen in deze topologie, bevatten omgevingen van $1$ wel intervallen zoals $[1 - \epsilon, 1)$. Deze bevatten punten van $A$.
Dus ook $1$ is een accumulatiepunt van $A$.
Voor $x = 0$
Elke omgeving van $0$ bevat een interval $[0, \epsilon)$, en daarin liggen oneindig veel punten van $A$.
Dus ook $0$ is een accumulatiepunt van $A$.
Voor $x < 0$ of $x > 1$
In deze gevallen kun je een omgeving $[x, x + \epsilon)$ kiezen die volledig buiten $A$ ligt.
Zulke punten zijn dus geen accumulatiepunten.

We krijgen dus een duidelijk resultaat: de accumulatiepunten van $ A = (0, 1] $ in deze topologie zijn precies de punten van het interval $[0, 1]$.

Met andere woorden, ook in de ondergrens-topologie blijft de verzameling accumulatiepunten gelijk aan $[0, 1]$.

Opmerkingen

Enkele belangrijke inzichten die helpen om accumulatiepunten beter te begrijpen:

De afsluiting van een verzameling
De afsluiting van een deelverzameling $A$ van een topologische ruimte $X$ bestaat uit alle punten van $A$ samen met al haar accumulatiepunten:
$$ \text{Cl}(A) = A \cup A' $$ Dit betekent dat de afsluiting precies de "grenspunten" toevoegt die je benadert met punten uit $A$.
Convergentie naar een accumulatiepunt
Als $x$ een accumulatiepunt is van $A \subseteq \mathbb{R}$, dan bestaat er een rij $ \{x_i\} \subseteq A \setminus \{x\} $ die naar $x$ convergeert.
Let op: $x$ hoeft zelf niet in $A$ te liggen.
Uniciteit van limieten
In de standaardtopologie op $ \mathbb{R} $ heeft een convergente rij altijd één unieke limiet.
In andere topologieën, bijvoorbeeld niet-Hausdorff-ruimten, kan eenzelfde rij echter naar meerdere punten convergeren.
De uniciteit van limieten hangt dus af van de structuur van de ruimte.

Deze voorbeelden en opmerkingen laten zien hoe fundamenteel accumulatiepunten zijn voor het begrijpen van topologische structuren.