Graf kao topološki prostor

Topološki graf je topološki prostor koji nastaje od konačnog skupa tačaka, nazvanih « čvorovi », i konačnog skupa međusobno disjunktnih zatvorenih intervala u \(\mathbb{R}\), koji se nazivaju « grane ». Krajnje tačke tih intervala identifikuju se sa čvorovima prema jasno definisanim pravilima.

Ključna ideja je jednostavna: način na koji povezujemo intervale sa čvorovima u potpunosti određuje topologiju prostora. Upravo zbog toga graf ima dvostruku prirodu. Može se posmatrati i kao geometrijski objekat, ali i kao topološka struktura koja opisuje odnose između čvorova.

Na taj način dobija se prostor koji verno modeluje strukturu jednog grafa, ali u strogo topološkom smislu.

Napomena : Ova konstrukcija je poseban slučaj kvocijentne topologije. Polazi se od disjunktne unije intervala, a zatim se njihove krajnje tačke identifikuju sa određenim čvorovima. Rezultat tog postupka je novi prostor, takozvani « kvocijentni prostor ». Drugim rečima, složenija struktura nastaje iz jednostavnih elemenata zahvaljujući pravilima identifikacije.

Kako se konstruiše graf kao topološki prostor

Konstrukcija se može razumeti kroz dva osnovna koraka:

1. Čvorovi : najpre se uzima konačan skup tačaka, koji čine čvorove grafa. Na primer, mogu se označiti sa A, B, C, D, E i F.
2. Grane : zatim se uzima skup zatvorenih intervala. Svaki interval ima dve krajnje tačke, koje se identifikuju sa izabranim čvorovima. Time se uspostavljaju veze između čvorova i intervali postaju grane grafa.

Drugim rečima, graf nastaje tako što se intervali « priključuju » čvorovima prema određenim pravilima. Upravo ta pravila određuju strukturu celog prostora.

Konstrukcija se naziva topološkom jer zavisi isključivo od načina povezivanja, a ne od konkretnih dužina ili oblika intervala.

Ilustrativni primer

Posmatrajmo tri međusobno disjunktna zatvorena intervala u \(\mathbb{R}\) :

$$ I_1 = [0, 1], \quad I_2 = [0, 1], \quad I_3 = [0, 1] $$

Svaki od ovih intervala je segment sa krajnjim tačkama \(0\) i \(1\).

Zatim definišimo skup čvorova:

$$ G = \{ A, B, C \} $$

To su tačke na koje će biti « prikačene » krajnje tačke intervala.

Sada identifikujemo krajnje tačke intervala sa čvorovima:

1. Tačka \(0\) intervala \(I_1\) povezuje se sa \(A\), a tačka \(1\) sa \(B\).
2. Tačka \(0\) intervala \(I_2\) povezuje se sa \(B\), a tačka \(1\) sa \(C\).
3. Tačka \(0\) intervala \(I_3\) povezuje se sa \(A\), a tačka \(1\) sa \(C\).

Na taj način dobija se graf sa tri čvora \(A\), \(B\) i \(C\), i tri grane koje povezuju parove : \( (A, B) \), \( (B, C) \) i \( (A, C) \).

Polazeći od odvojenih intervala i njihovim povezivanjem sa čvorovima, dobija se nova celina : graf kao topološki prostor.

U suštini, cela konstrukcija se svodi na jednu ideju: identifikaciju krajnjih tačaka intervala sa čvorovima, čime se modeluju odnosi između elemenata.

Ovaj pristup se lako proširuje na složenije grafove, sa većim brojem čvorova i grana.