• Non ci sono risultati.

Diseguaglianza di Whitney F. Pugliese October 18, 2016

N/A
N/A
Protected

Academic year: 2021

Condividi "Diseguaglianza di Whitney F. Pugliese October 18, 2016"

Copied!
3
0
0

Testo completo

(1)

Diseguaglianza di Whitney

F. Pugliese

October 18, 2016

In questa nota dimostriamo una diseguaglianza, dovuta a H. Whitney (1932), che mette in relazione la connettivit`a e la lato-connettivit`a di un grafo connesso. Prima di tutto, ricordiamo le definizione di connettivit`a. Nel seguito sup-porremo sempre che i grafi siano finiti, semplici, non orientati.

Definition 1 Sia G = (V, E) un grafo connesso. G si dice k-connesso se k <

|G| ed `e connesso il grafo G−W , per ogni sottoinsieme W ⊂ V tale che |W | < k

In altre parole, G `e k-connesso se, per sconnetterlo, bisogna togliergli almeno

k vertici (e i lati ad essi incidenti, ovviamente). Notiamo che se G `e k-connesso,

allora `e anche h-connesso, per ogni h < k.

Definition 2 Sia G = (V, E) un grafo connesso. La connettivit`a di G `e il

numero intero

κ(G)def= max{k ∈ N | G `e k-connesso}

In altri termini, κ(G) `e il minimo numero di vertici da togliere a G per sconnetterlo.

Analoghe definizioni valgono quando si tolgono lati invece di vertici. Definition 3 Sia G = (V, E) un grafo connesso. G si dice l-lato-connesso se `e

connesso il grafo G − F , per ogni sottoinsieme F ⊂ E tale che |F | < l

In altre parole, G `e l-lato-connesso se, per sconnetterlo, bisogna togliergli almeno l lati. Anche in questo caso, se G `e l-lato-connesso, allora `e anche

h-lato-connesso, per ogni h < l.

Definition 4 Sia G = (V, E) un grafo connesso. La lato-connetivit`a di G `e il

numero intero

λ(G)def= max{l ∈ N | G `e l-lato-connesso}

In altri termini, λ(G) `e il minimo numero di lati da togliere a G per scon-netterlo.

Possiamo ora enunciare la dieguaglianza di Whitney. Denotiamo con δ(G) il grado minimo di un vertice di G.

(2)

Theorem 5 Per ogni grafo connesso G = (V, E) vale

κ(G) ≤ λ(G) ≤ δ(G)

Dimostrazione. La seconda diseguaglianza segue immediatamente dal fatto che i lati incidenti a un vertice v di G separano v dagli altri vertici; dunque, per sconnettere G `e sufficiente cancellare tali lati, il cui numero `e maggiore o uguale a δ(G).

Passiamo alla prima diseguaglianza. Sia F ⊂ E tale che G − F sia sconnesso e |F | = λ(G). Questo implica, in particolare, che G − F0 deve essere connesso,

per ogni sottoinsieme proprio F0⊂ F (in quanto |F0| < |F | = λ(G)). Vogliamo

costruire, a partire da F , un sottoinsieme WF ⊂ V tale che: a) G − WF sia

sconnesso (sicch`e κ(G) ≤ |WF|); b) |WF| ≤ |F | = λ(G). Per farlo, osserviamo,

prima di tutto che vale la seguente propriet`a.

Lemma 6 Per ogni e ∈ F , gli estremi di e devono appartenere a componenti

connesse distinte di G − F

Dim. del lemma. Supponiamo, per assurdo, che esista un lato e = z1z2∈ F tale che entrambi gli estremi z1, z2 appartengano alla stessa componente con-nessa C di G − F . Poich`e F separa C dal resto di G − F , esistono un vertice

a ∈ C e un vertice b ∈ G − C tali che ogni cammino in G fra a e b attraversi

almeno un lato di F . Sia P uno di tali cammini, e sia F0 = F − e, vogliamo

mostrare che P passa necessariamente per un lato di F0. Infatti, se P non passa

per e, allora, deve passare per qualche altro lato di F , cio`e P passa per F0;

se invece P attraversa e nel verso, per esempio, da z1 a z2, allora il cammino

z2P b = P − aP z2ha un estremo in C e l’altro in G − C, per cui deve intersecare

F , e deve farlo in un lato diverso da e (che `e l’ultimo lato del tratto di P da a a z2), cio`e z2P b deve intersecare F0. Dunque, F0 separa a da b; ma questo `e

assurdo, perch`e |F0| = |F | − 1 < λ(G).

Seguito della dimostrazione del teorema 5. Si possono presentare due casi:

a) Esiste un vertice v ∈ G che non `e incidente con alcun lato di F ; b) Tutti i vertici di G appartengono a lati di F .

Consideriamo dapprima il caso a). Detta Cv la componente connessa di

G − F che contiene v, sia WF l’insieme dei vertici di G − F appartenenti a Cv

e incidenti con lati di F . Allora WF separa v da G − Cv (perch`e se z `e un

vertice in G − Cv, allora ogni vz-cammino in G deve intersecare F , e quindi

deve contenere almeno un vertice di WF). Ma per il lemma precedente, ogni

lato di F pu`o contenere al pi`u un vertice di WF (altrimenti avremmo un lato

di F con entrambi gli estremi nella stessa componente connessa Cv di G − F ).

Quindi, se Φ : WF → F `e un’applicazione tale che w ∈ Φ(w) per ogni w ∈ WF

(3)

(applicazione che certamente esiste, per definizione di WF), allora Φ `e iniettiva,

per cui |WF| ≤ |F |, come volevamo dimostrare.

Passiamo al caso b), quello in cui tutti i vertici di G sono incidenti con lati di F . Distinguiamo due casi: 1) G `e un grafo completo; 2) G non `e un grafo completo. Nel primo caso, in cui ogni vertice `e connesso a ogni altro, `e chiaro che κ(G) = λ(G) = |G| − 1. Supponiamo, dunque, G non completo, e fissiamo un vertice v ∈ V che non sia adiacente a tutti quanti gli altri. Sia N (v) l’insieme dei vertici di G adiacenti a v; mostriamo che |N (v)| ≤ |F |. In effetti,

N (v) = N1∪ N2, con N1 = {w ∈ N (v) | vw ∈ F } e N2 = {w ∈ N (v) | vw /∈

F } = N (v) − N1; ma allora, se associo ad ogni w ∈ N1 il lato Φ(w) = vw e ad ogni w ∈ N2un lato Φ(w) ∈ F (che esiste, perch`e siamo nel caso b)), otteniamo un’applicazione Φ : N (v) → F che, sempre applicando il lemma 6, risulta essere iniettiva: quindi |N (v)| ≤ |F |. Ma essendo G − N (v) sconnesso (perch`e abbiamo supposto esistere vertici non adiacenti a v), il teorema `e completamente dimostrato.

Riferimenti

Documenti correlati

D32:0.01 Questo capitolo presenta la propriet` a della connettivit` a dei grafi nonorientati, soffermandosi soprattutto sui cosiddetti grafi connessi-3.... caratterizzazione dei

Soluzione : dalle matrici di adiacenza si vede che il vertice corrispondente alla settima colonna (o riga) in G’ ha grado 4, mentre G non ha vertici di grado 4. Ciò implica che G e

La regola di Cramer segue dalle proprieta’ dei determinanti nel caso n ar- bitrario sostanzialmente lungo le stesse linee del caso n = 2 in precedenza

Routh Bode Nyquist Ea Routh Bode Nyquist Ev Bode

Questa stessa indagine è stata condotta sulla popolazione di pazienti affetti da MH confermando il valore di scolarità età di studio e MoCa corretto; in particolare ha rilevato

8.7) Sia X uno spazio topologico e sia A un suo sottoinsieme non vuoto. Ringraziamenti per aver permesso l’utilizzo.. Consideriamo lo spazio topologico X/S dotato della

Nonostante tale variabilità impiegando una maschera più selettiva rispetto a quella proposta da SPM, è stato possibile procedere con una analisi di secondo livello, con la quale

[r]