Graf topologic
Un graf topologic este un tip de spațiu topologic construit din două tipuri de elemente simple: un număr finit de puncte, numite „vârfuri”, și un număr finit de intervale închise, două câte două disjuncte, din \(\mathbb{R}\), numite „muchii”. Capetele acestor intervale sunt atașate unor vârfuri conform unor reguli precise de conexiune.
Topologia spațiului obținut depinde în întregime de modul în care sunt realizate aceste conexiuni. Din acest motiv, un graf topologic are o natură dublă: este în același timp o structură geometrică și una topologică, deoarece descrie modul în care vârfurile sunt legate între ele.
Prin acest procedeu se construiește un spațiu topologic care reproduce fidel structura unui graf.
Observație : Această construcție este un caz particular de topologie quotient. Într-o astfel de situație, unui spațiu i se atribuie o topologie pentru a obține un nou spațiu, numit „spațiu indus”. În cazul grafului topologic, acest spațiu apare prin conectarea unor intervale la un ansamblu de vârfuri. Cu alte cuvinte, pornim de la elemente simple (intervale închise) pe care le transformăm prin identificarea capetelor lor cu anumite puncte, obținând astfel o structură topologică mai complexă.
Construcția unui graf topologic
Construirea unui graf topologic poate fi descrisă în două etape principale :
- Vârfuri : se pornește de la un ansamblu finit de puncte, numite vârfuri. De exemplu, acestea pot fi notate A, B, C, D, E și F.
- Muchii : se consideră apoi un ansamblu de intervale (segmente), fiecare având două capete. Aceste capete sunt identificate cu anumite vârfuri, stabilind astfel conexiunile dintre ele. În acest mod, segmentele devin muchiile grafului.
În esență, intervalele sunt atașate vârfurilor într-un mod controlat, pentru a construi o structură numită graf.
Construcția este numită „topologică” deoarece se bazează pe modul în care sunt conectate și combinate diferitele subspații care formează structura finală.
Exemplu ilustrativ
Să considerăm trei intervale închise distincte din \(\mathbb{R}\) :
$$ I_1 = [0, 1], \quad I_2 = [0, 1], \quad I_3 = [0, 1] $$
Acestea sunt trei segmente simple ale căror capete sunt punctele \(0\) și \(1\).
Definim apoi o mulțime \( G \) alcătuită din trei vârfuri, pe care le notăm \(A\), \(B\) și \(C\) :
$$ G = \{ A, B, C \} $$
Aceste vârfuri reprezintă punctele la care vor fi atașate capetele intervalelor.
Aplicăm acum principiul topologiei quotient, identificând capetele intervalelor cu anumite vârfuri:
- Capătul \(0\) al intervalului \(I_1\) este identificat cu \(A\), iar capătul \(1\) cu \(B\).
- Capătul \(0\) al intervalului \(I_2\) este identificat cu \(B\), iar capătul \(1\) cu \(C\).
- Capătul \(0\) al intervalului \(I_3\) este identificat cu \(A\), iar capătul \(1\) cu \(C\).
În acest fel obținem un graf format din trei vârfuri \(A\), \(B\), \(C\) și trei muchii care leagă perechile de vârfuri : \( (A, B) \), \( (B, C) \) și \( (A, C) \).
Pornind de la intervale separate și conectând capetele lor la vârfuri, se obține astfel o nouă structură: graful topologic.
Pe scurt, construirea unui graf topologic înseamnă asamblarea unor intervale în jurul unor vârfuri alese, pentru a descrie o rețea de relații.
Același procedeu poate fi extins fără dificultate la grafuri mult mai complexe, care conțin un număr mai mare de vârfuri și de muchii.
