Francisco Jess Ramos Agudo

Licenciado en Ciencias Matemticas

Teorema fundamental de rboles

TEOREMA.- Sea G(V, E) un grafo. Son equivalentes:
a) G es un rbol
b) Cada par de vrtices distintos de V esta conectado por un nico camino.
c) G es conexo y toda arista de G es de separacin
d) G no tiene ciclos y |V| = |E| + 1
e) G es conexo y |V| = |E| + 1
f) G no tiene ciclos pero al aadirle una arista a G se crea un nico circuito
Dem.

a) b) Por definicin de rbol, G es conexo y entre cada par de vrtices debe haber, al menos, un
camino. Si hubiese dos caminos distintos uniendo dos vrtices, su unin formara un ciclo, pero los rboles
no tienen ciclos.

b) c) Es conexo porque cada par de vrtices est conectado por un camino. Una arista es un camino
entre dos vrtices, por tanto es el nico. Si quito esa arista, ya no hay caminos entre los vrtices que una y
el grafo deja de ser conexo. Por tanto toda arista es de separacin.
c) d) G no puede tener ciclos porque las aristas de los ciclos no son de separacin. Veamos que |V| =
|E| + 1 por induccin en |V|.
Para |V| = 1 hay un nico vrtice v |A| = 0 y |V| = |A| + 1.
Supongamos que el teorema es cierto para grafos con menos de n aristas y vamos a verlo si n =
|A|.
Quito una arista e, que ser de separacin, y el grafo se parte en dos componentes conexas G1 =
(V1, E1) con |V1| < n y G2 = (V2, E2) con |V2| < n.
Por la hiptesis de induccin |V1| = |E1| + 1, |V2| = |E2| + 1, luego |V| = |V1| + |V2| = (|E1| + |E2| + 1)
+ 1 = |E| + 1.

d) e) Veamos que G es conexo. Si no lo fuera, lo parto en componentes conexas, G1,..., Gm. Cada una
de ellas es conexa y sin ciclos, por lo que |V1| = |E1| + 1, ..., |Vm| = |Em| + 1. Pero entonces |V| = |V1| +...+
|Vm| = |E1| + 1 +.....+ |Em| + 1 = |E| + m en vez de ser |E|+1.
e) f) Suponemos que existe un ciclo (con k aristas y k vrtices) y vamos a llegar a una contradiccin.
Pueden suceder 2 casos:
1) k = n, |E| k = n, n = |V|, pero por la hiptesis |V| = |E| + 1 luego |V| > |E|.
2) los n k vrtices restantes necesitan al menos otras n k aristas que les unan con los dems
para que G sea conexo, pero entonces |E| k + (n k) = n = |V|, pero por hiptesis |V| = |E| +
1.

f) a) Si G no fuese conexo, habra dos vrtices entre los que no habra ningn camino. Entonces al
aadir una arista entre ellos no formaramos ningn ciclo.

TEOREMA de CAYLEY: Existen nn 2 rboles etiquetados diferentes de n vrtices.

Tema 2

: 666.441.488

Francisco Jess Ramos Agudo

Licenciado en Ciencias Matemticas
Dem.- Existen varios mtodos de demostracin para este teorema. Uno de ellos debido a Prufer y Clarke, y
es: se establece una correspondencia biunvoca entre el conjunto de rboles etiquetados de orden n y el
conjunto de todos los smbolos ordenados (a1, a2,..., an-2) donde ai est definido como entero entre 1 y n.
Dado que existen nnnn (n 2 veces) de tales smbolos, la demostracin se tiene casi inmediata.

APLICACIONES DE LA TEORA DE GRAFOS.

Son varias las aplicaciones y usos que las distintas ciencias o reas hacen de la teora de grafos.
La aplicacin ms importante dentro de la matemtica moderna se encuentra en el campo de la
combinatoria.
Veamos algunos de los ejemplos ms importantes:

El Teorema Matrimonial de Hall.- Sea un conjunto finito de muchachos, cada uno de los cuales
conoce a varias chicas. En qu condiciones se pueden formar los matrimonios de tal forma que
cada uno de los muchachos se case con la chica que conoce?
TEOREMA de Hall: Una condicin necesaria y suficiente para la solucin del problema matrimonial
es que cada conjunto de k jvenes conozca colectivamente k chicas al menos (1 k m).

El teorema de Menger.- Determinacin del nmero de trayectorias que unen dos vrtices dados u,
v de un grafo G.
TEOREMA de Menger.: El nmero mximo de trayectorias de vrtices disjuntos que conectan dos
vrtices diferentes no adyacentes v y w de G es igual al nmero mnimo de vrtices de un
subconjunto separador v w.
TEOREMA: El teorema de Menger implica el teorema de Hall.

Tema 2

: 666.441.488