Utente:SilsisScalaZarli/Connessione dei grafi
Grafo connesso
[modifica | modifica wikitesto]Un grafo G si dice connesso se due suoi vertici qualsiasi sono connessi in G, cioè se sono collegati da un cammino. Si dice componente connessa di un grafo G un sottografo connesso massimale di G, cioe' un sottografo di G che sia connesso e non sia propriamente contenuto in un sottografo connesso di G. (vedere figura da inserire).
Una pista tale che e (vertici) sono distinti dicesi ciclo elementare.
Si definisce vertice di taglio del grafo G un vertice v di G tale che il numero di componenti del grafo G-v è maggiore del numero di componenti di G.
Un sottografo di G che sia connesso e privo di vertici di taglio e che non sia propriamente contenuto in nessuno sottografo di G anch'esso connesso e privo di vertici di taglio si dice blocco. Gli spigoli del grafo G mostrato in figura, con i loro estremi, sono blocchi di G, mentre lo spigolo a non è un blocco essendo propriamente contenuto nel triangolo T( T è connesso e privo di vertici di taglio). I blocchi di G sono T, , B, D, .
La rappresentazione di un grafo in o in ha un significato differente. Ci sono grafi non rappresentabili nel piano in modo che due spigoli non si intersechino in punti diversi dai loro vertici comuni. Si possono fare costruzioni in modo da evitare questo, ciò è possibile se si ricorre al concetto di realizzazione topologica di un grafo. La coppia di insiemi ottenuta trasformando i vertici e gli spigoli di G in punti e archi è la sua rappresentazione geometrica. Si possono, quindi, costruire più rappresentazioni geometriche. Allora una rappresentazione topologica di un grafo G altro non è che una rappresentazione geometrica in in modo che agli spigoli corrispondono archi aperti a due a due disgiunti, e se agli archi consideriamo pure gli estremi essendo disgiunti si intersecano solo negli estremi comuni.
Quindi quando si parlerà di grafo, faremo sempre riferimento anche alla sua rappresentazione geometrica o topologica. Dato che ogni arco è un insieme di punti ogni realizzazione topologica di un grafo è dunque un insieme di punti. Allora due qualsiasi realizzazioni topologiche di uno stesso grafo sono tra loro omeomorfe. Due qualsiasi relizzazioni topologiche di grafi che siano suddivisioni di uno stesso grafo, sono omeomorfe.
Sia G un grafo ( pensiamo anche alla rappresentazione topologica) e sia E un sottospazio di , allora diremo che G può essere immerso in E se esiste un omeomorfismo di G in un sottospazio di E. Un omeomorfismo di questo tipo dicesi immersione di G in E. Se un grafo ha un'immersione in diremo che esso è un grafo planare. Non tutti i grafi si possono immergere in , mentre è sempre possibile in .
Ricordiamo che si dice albero un grafo connesso e privo di cicli. Chiaramente un grafo è un albero se e solo per ogni coppia di suoi vertici esiste un solo cammino che li connette. Ogni grafo connesso G possiede un sottografo che è un albero.
Abbiamo visto che è sempre possibile immergere un grafo nello spazio . Si consideri la superficie sferica S appoggiata sul piano euclideo e sia il punto di S che è diametralmente opposto al punto di contatto di S con . La trasformazione dell'insieme dei punti di S dal quale è stato tolto il punto z, nell'insieme dei punti ed è definita da se e soltanto se i punti sono allineati, dove x e y sono punti di e di . Questa trasformazione prende il nome di proiezione stereografica di S sul piano dal punto(polo) z. La proiezione stereografica è un'applicazione invertibile dell'insieme dei punti della superficie sferica privata del punto z nell'insieme dei punti del piano euclideo. Ma è più in generale un omeomorfismo, e allora la sfera privata di un punto ed il piano sono topologicamente equivalenti.
Un grafo planare è per definizione un grafo avente immersione nel piano. Poiché il piano euclideo è omeomorfo alla sfera privata di un punto, possiamo dire che un grafo G è planare se si può immergere in una superficie sferica S. Il risultato si può invertire in generale, cioè se abbiamo un grafo su una superficie sferica esso è senz'altro planare.