Topologische graf
Een topologische graf is een topologische ruimte die wordt opgebouwd uit een eindige verzameling punten, de zogenaamde « knopen », en een eindige verzameling onderling disjuncte gesloten intervallen in \(\mathbb{R}\), de « randen ». Deze randen worden via specifieke identificatieregels met de knopen verbonden.
De essentie van deze constructie ligt niet in de vorm van de onderdelen, maar in de manier waarop ze met elkaar verbonden zijn. De topologie van de ruimte wordt volledig bepaald door deze verbindingen. Daardoor krijgt de graf een dubbel karakter: hij is tegelijk een geometrisch object en een topologische structuur die relaties tussen knopen beschrijft.
Op deze manier kan men een topologische ruimte opbouwen die de structuur van een graf nauwkeurig weergeeft.
Opmerking : Dit is een bijzonder geval van de quotiënttopologie. Daarbij voorziet men een ruimte van een topologie om er een nieuwe ruimte uit af te leiden, de zogenaamde « geïnduceerde ruimte ». Concreet vertrekt men van eenvoudige objecten (gesloten intervallen) en identificeert men bepaalde punten met elkaar, waardoor een rijkere topologische structuur ontstaat.
Hoe construeer je een topologische graf?
De constructie verloopt in twee duidelijke stappen:
- Knopen : begin met een eindige verzameling punten, de knopen. Bijvoorbeeld A, B, C, D, E en F.
- Randen : neem vervolgens een verzameling intervallen (lijnstukken), elk met twee eindpunten. Deze eindpunten worden geïdentificeerd met bepaalde knopen. Zo ontstaan de verbindingen tussen de knopen. De lijnstukken fungeren dan als randen van de graf.
Met andere woorden, je koppelt intervallen op een gecontroleerde manier aan knopen om een structuur te vormen die men een graf noemt.
We spreken van een topologische constructie omdat alles afhangt van de manier waarop de verschillende onderdelen met elkaar worden samengevoegd.
Illustratief voorbeeld
Beschouw drie gesloten intervallen in \(\mathbb{R}\):
$$ I_1 = [0, 1], \quad I_2 = [0, 1], \quad I_3 = [0, 1] $$
Dit zijn eenvoudige lijnstukken met als eindpunten de punten \(0\) en \(1\).
Definieer vervolgens een verzameling \( G \) met drie knopen:
$$ G = \{ A, B, C \} $$
Deze knopen zijn de punten waaraan de uiteinden van de intervallen worden gekoppeld.
We identificeren nu de uiteinden van de intervallen met de knopen:
- Het uiteinde \(0\) van \(I_1\) wordt gekoppeld aan \(A\), en het uiteinde \(1\) aan \(B\).
- Het uiteinde \(0\) van \(I_2\) wordt gekoppeld aan \(B\), en het uiteinde \(1\) aan \(C\).
- Het uiteinde \(0\) van \(I_3\) wordt gekoppeld aan \(A\), en het uiteinde \(1\) aan \(C\).
Zo ontstaat een graf met drie knopen \(A\), \(B\) en \(C\), en drie randen die de paren \( (A, B) \), \( (B, C) \) en \( (A, C) \) verbinden.
Door disjuncte intervallen te nemen en hun uiteinden met knopen te identificeren, ontstaat zo een nieuwe topologische ruimte: de topologische graf.
Kort samengevat komt het erop neer dat je intervallen samenvoegt rond gekozen knopen om een relationele structuur te modelleren.
Deze aanpak kan zonder problemen worden uitgebreid naar veel complexere grafen, met meer knopen en randen.
