UNIVERSIDAD DE GUADALAJARA

CENTRO UNIVERSITARIO DE CIENCIAS EXACTAS E INGENIERAS

DEPARTAMENTO DE MATEMTICAS




















APUNTES PARA LA
MATERIA DE
MATEMTICAS
DISCRETAS


P R E S E N T A


M.S.I. JOS FRANCISCO VILLALPANDO BECERRA

-1-

NDICE
NDICE ............................................................................................................................1
RELACIONES....................................................................................................................2
DEFINICIN Y SU REPRESENTACIN................................................................................ 2
OPERACIONES CON RELACIONES .................................................................................... 5
COMPOSICIN DE RELACIONES...................................................................................... 8
PROPIEDADES DE LAS RELACIONES................................................................................. 9
RELACIONES DE EQUIVALENCIA.....................................................................................12
ORDENES PARCIALES...................................................................................................15
INDUCCIN MATEMTICA .............................................................................................17
EL CONJUNTO DE LOS NMEROS ENTEROS......................................................................17
CONJUNTOS FINITOS E INFINITOS NUMERABLES..............................................................19
FRMULAS INDUCTIVAS Y GENERALIZACIN...................................................................21
PRINCIPIO DE INDUCCIN MATEMTICA.........................................................................24
RELACIONES DE RECURRENCIA.....................................................................................28
PROGRESIONES ARITMTICAS Y GEOMTRICAS...............................................................28
SUCESIONES RECURRENTES Y ECUACIN DE RECURRENCIA..............................................32
SOLUCIONES HOMOGNEAS..........................................................................................36
SOLUCIONES PARTICULARES.........................................................................................39
SOLUCIONES TOTALES.................................................................................................42
PRINCIPIOS DE CONTEO ...............................................................................................44
REGLAS DE LA SUMA Y EL PRODUCTO .............................................................................44
RECURSOS DE CONTEO: LISTAS Y RBOLES ....................................................................47
PERMUTACIONES Y COMBINACIONES .............................................................................49
PERMUTACIONES Y COMBINACIONES GENERALIZADAS.....................................................53
PRINCIPIOS ................................................................................................................57
PRINCIPIO DE EXCLUSIN-INCLUSIN........................................................................57
PRINCIPIO DE DIRICHLET..........................................................................................60
APLICACIONES (IDENTIDADES BSICAS Y TEOREMA DEL BINOMIO)....................................62
GRAFOS.........................................................................................................................65
DEFINICIONES BSICAS Y SU REPRESENTACIN..............................................................65
GRAFOS DIRIGIDOS Y NO DIRIGIDOS.............................................................................66
MULTIGRAFOS Y GRAFOS PESADOS (GRAFOS PONDERADOS) ............................................71
PASEOS (CAMINOS) Y CIRCUITOS (CICLOS) ....................................................................72
PASEOS Y CIRCUITOS DE EULERIANOS (DE EULER) ......................................................73
PASEOS Y CIRCUITOS HAMILTONIANOS ......................................................................76
REPRESENTACIONES MATRICIALES ...............................................................................77
ISOMORFISMO DE GRAFOS ...........................................................................................79
GRAFOS APLANABLES...................................................................................................81
RBOLES Y CONJUNTOS DE CORTE................................................................................84
RBOLES....................................................................................................................84
RBOLES CON TERMINAL (ENRAIZADOS) ........................................................................85
LONGITUD DE PASEO EN RBOLES ENRAIZADOS..............................................................89
PREFIJOS CODIFICADOS...............................................................................................90
RBOLES DE BSQUEDA BINARIA ..................................................................................92
RBOLES GENERADORES Y CONJUNTOS DE CORTE...........................................................94
RBOLES GENERADORES MNIMOS ................................................................................96
-2-

RELACIONES

DEFINICIN Y SU REPRESENTACIN

La forma ms directa de expresar una relacin entre elementos de dos conjuntos es usando pares
ordenados, por lo que de manera abstracta se puede definir una relacin es como un conjunto de pares
ordenados. En este contexto se considerar que el primer elemento del par ordenado est relacionado
con el segundo elemento del par ordenado.

Definicin:
Si A y B son dos conjuntos no vacos, el producto cartesiano A B ser el conjunto de pares ordenados
(a, b), donde a A y b B, es decir:

A B = {(a, b) | a A y b B}

Se usa la notacin a R b para denotar que (a, b) R y a b para denotar que (a, b) R.

Ejemplo:
Sean A = {1, 2, 3} y B = {r, s} entonces:
A B = {(1, r), (1, s), (2, r), (2, s), (3, r), (3, s)}
B A = {(r, 1), (r, 2), (r, 3), (s, 1), (s, 2), (s, 3)}

Se puede ver que A B es diferente de B A

Definicin:
Una relacin binaria, o simplemente relacin, R de un conjunto A en un conjunto B es un subconjunto
del producto cartesiano A B. Si (a, b) R se escribe a R b y significa que a esta en relacin con b.

Si A = B se dice que R es una relacin binaria sobre A.

Ejemplo:
Sea A = {1, 2, 3, 4} y sea R = {(a, b) | a divide a b}. Cuales pares ordenados estn en dicha relacin?

Nota: La divisin debe ser entera.

R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2),(2, 4), (3, 3), (4, 4)}, en ese caso R es una relacin binaria sobre
A.

Definicin:
Si R (A B) es una relacin de A en B, el dominio de R, que se escribe Dom(R), y es el conjunto de
los elementos de A que estn relacionados con B, es decir:

Dom(R) = {a A | (a, b) R, para algn b B}

Ejemplo:
Sean A = {1, 2, 3, 4}, B = {r, s}y R = {(1, r), (1, s), (2, s), (3, s)}, entonces Dom(R) = {1, 2, 3}

-3-

Definicin:
Si R (A B) es una relacin de A en B, el codominio (rango, imagen o recorrido) de R, se escribe
Cod(R) o Ran(R) y es el conjunto de los elementos de B, que estn relacionados con algn elemento de
A, es decir:

Cod(R) = {b B | (a, b) R, para algn a A}

Ejemplo:
Sea A = {1, 2, 3, 4} y B = {r, s} adems sea R = {(1, r),(2, s),(3, r)}, entonces Cod(R) = {r, s}


OTRAS REPRESENTACIONES DE LAS RELACIONES
Las relaciones adems de ser representadas como conjuntos de pares ordenados, se pueden representar
de las siguientes maneras:

a) Tablas
b) Diagramas
c) Matriz de Relacin
d) Por medio de Grafos Dirigidos (dgrafos).

Ejemplo:
Sean A = {1, 2, 3} y B = {r, s} y sea R = {(1, r), (1, s), (2, r), (3, s)}

a)

b)

c)

=
1 0
0 1
1 1
R
La representacin por medio de grafos dirigidos, se utiliza cuando R es relacin binaria sobre A.

Ejemplo:
Sea R la relacin sobre A = {1, 2, 3, 4} definida como sigue:

(x, y) R si x y donde x, y A

Por lo que R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)} y su representacin
como dgrafo es:


-4-


Este tipo de representaciones se analizar con ms detalle en la unidad dedicada a grafos.

Los puntos son llamados vrtices y representan los elementos de A.

Las flechas son llamadas aristas dirigidas de x a y y representan que el elemento (x, y) esta relacionado.

Las flechas que representan elementos de la forma (x, x) se llaman lazos.

Ejercicio:
Sean las siguientes relaciones en el conjuntos de los nmeros enteros:

R1 = {(a, b) | a b} (a, b) R si a b
R2 = {(a, b) | a > b} (a, b) R si a > b
R3 = {(a, b) | a = b a = -b} (a, b) R si a = b a = -b
R4 = {(a, b) | a = b} (a, b) R si a = b
R5 = {(a, b) | a = b + 1} (a, b) R si a = b + 1
R6 = {(a, b) | a + b 3} (a, b) R si a + b 3

Cules de las relaciones anteriores contienen a los siguientes pares ordenados?:

(1, 1), (1, 2), (2, 1), (1, -1) y (2, 2)

Respuesta:
(1, 1) R1, R3, R4 y R6
(1, 2) R1 y R6
(2, 1) R2, R5 y R6
(1, -1) R2, R3 y R6
(2, 2) R1, R3 y R4
-5-

OPERACIONES CON RELACIONES

Puesto que las relaciones binarias son conjuntos de pares ordenados, las nociones de interseccin,
diferencia simtrica, unin y diferencia de dos relaciones, se obtienen de manera similar a las
correspondientes para conjuntos.

Entonces primeramente es necesario recordar dichas nociones para conjuntos.

a) La unin de dos conjuntos A y B, denotada por A B, es el conjunto cuyos elementos son
exactamente los elementos A B, de ambos.

Ejemplos:
1) Si A = {a, b}, B = {c, d}, entonces A B = {a, b, c, d}
2) Si A = {a, b}, B = {a, c}, entonces A B = {a, b, c}
3) Si A = {a, b}, B = {}, entonces A B = {a, b}
4) Si A = {a, b}, B = {c, {a, b}}, entonces A B = {a, b, c, {a, b}}

b) La interseccin de dos conjuntos A y B, denotada por A B, es el conjunto cuyos elementos son
exactamente los elementos que estn tanto en A como en B.

Ejemplos:
1) {a, b} {a, c} = {a}
2) {a, b} {c, d} =
3) {a, b} =

c) La diferencia de dos conjuntos A y B, denotada por A B, es el conjunto que contiene exactamente
aquellos elementos de A que no estn en B.

Ejemplos:
1) {a, b, c} {a} = {b, c}
2) {a, b, c} {a, d} = {b, c}
3) {a, b, c} {d, e} = {a, b, c}

d) La diferencia simtrica de dos conjuntos A y B, denotada por A B, es el conjunto que contiene
todos los elementos que estn en A o en B pero no en ambos, es decir:

A B = (A B) (A B)

Ejemplos:
1) {a, b} {a, c}={b, c}
2) {a, b} = {a, b}
3) {a, b} {a, b}=

Grficamente se pueden representar estas operaciones con conjuntos como sigue:

-6-




Conjunto A Conjunto B


A B A B A B A B

Aplicando los conceptos anteriores a relaciones binarias, tenemos que si R y S son dos relaciones
binarias de A en B entonces: R S, R S, R S, R S son tambin relaciones binarias de A en B.

Ejemplo:
Sean R y S dos relaciones de X a Y y de U a V respectivamente. Adems tenemos que

R = {(a, A), (a, B), (b, C)} y S = {(a, B), (b, C)}

Encontrar R S, R S, R S, R S.
R S = {(a, A), (a, B), (b, C)}
R S = {(a, B), (b, C)}
R S = {(a, A)}
R S = {(a, A)}

Definicin:
Puede definirse el complemento de una relacin R como el conjunto de todos los pares ordenados del
producto cartesiano A B que no estn en R, y se representa como R ~R.

Ejemplo:
Sean R y S dos relaciones de X a Y y de U a V respectivamente. Adems tenemos que
X = {a, b, c}, Y = {A, B, C}, U = {a,b} y V = {B,C} y sean

R = {(a, A), (a, B), (b, C)} y S = {(a, B), (b, C)}

Entonces X Y = {(a, A), (a, B), (a, C), (b, A), (b, B), (b, C), (c, A), (c, B), (c, C)}
Por lo tanto R= {(a, C), (b, A), (b, B), (c, A), (c, B), (c, C)}
Y para U V = {(a, B), (a, C), (b, B), (b, C)}
se tiene que S = {(a, C), (b, B)}.

Grficamente se representa:



-7-

Otra operacin que a menudo se utiliza es el inverso de una relacin, la cual se define de la siguiente
manera:

Definicin:
Sea R una relacin de A en B, el inverso de R, que se denota como R
-1
R
~
, y es la relacin de B en A
definida formalmente como:

R
-1
= {(b, a) | (a, b) R}

Ejemplo:
Sean A = {2, 3, 4} y B = {3, 4, 5, 6, 7}, adems definimos R como sigue:

(a, b) R si a divide a b (divisin entera)

entonces R = {(2, 4), (2, 6), (3, 3), (3, 6), (4, 4)}, por lo que R
-1
= {(4, 2), (6, 2), (3, 3), (6, 3), (4, 4)}

De lo anterior se deduce que a R b b R
-1
a. Algunos autores le llaman al inverso opuesto.

Como una relacin es un conjunto, podemos obtener el nmero de elementos de dicho conjunto, es
decir:

Definicin:
La cardinalidad es el nmero de elementos de un conjunto. Para una relacin R de A en B, la
cardinalidad se representa # R y el nmero de pares ordenados que constituyen la relacin.

Ejemplos:
Si A = {1,2,3,4}entonces #A = 4
Si R = {(2, 4), (2, 6), (3, 3), (3, 6), (4, 4)} entonces # R = 5

Definicin:
Sea R una relacin de A en B, el conjunto potencia de R, denotado como P(R), es el conjunto que
contiene a todos los subconjuntos de R, es decir:

P(R) = {S | S R}

Si #R = n, entonces #P(R) = 2
n


Ejemplo:
Sea R = {(1, 1), (1, 2), (1, 3)}, entonces #R = 3 y #P(R) = 2
3
= 8

Esto significa que el conjunto potencia de R tiene 8 subconjuntos, los cuales son:

P(R) = {, {(1, 1)}, {(1, 2)}, {(1, 3)}, {(1, 1), (1, 2)}, {(1, 1), (1, 3)}, {(1, 2), (1, 3)},
{(1, 1), (1, 2), (1, 3)}}

-8-

COMPOSICIN DE RELACIONES

Sea R una relacin de A en B y S una relacin de B en C. La composicin de R y S es una relacin
consistente de los pares ordenados (a, c), donde a A y c C y para los cuales existe un b B tal que
(a, b) R y (b, c) S, es decir a R b y b S c.

La composicin se denota por S R, si R y S son relaciones.

Ejemplos:
a) Sea A = {1, 2, 3}, B = {1, 2, 3, 4} y C = {0, 1, 2} y sean
R = {(1, 1), (1, 4), (2, 3), (3, 1), (3, 4)}
S = {(1 ,0),(2, 0), (3, 1), (3, 2), (4, 1)}
Entonces S R ={(1, 0), (1, 1), (2, 1), (2, 2), (3, 0), (3, 1)}

b) Sean A = {1, 2, 3}, B = {2, 4, 6, 8} y C = {s, t, u} y sean
R = {(1, 2), (1, 6), (2, 4), (3, 4), (3, 6), (3, 8)}
S = {(2, u), (4, s), (4, t), (6, t), (8, u)}
Entonces S R ={(1, u), (1, t), (2, s), (2, t), (3, s), (3, t), (3, u)}

c) Sean A = {a, b, c, d}, B = {s, t, u, v} y C = {1, 2, 3, 4, 5} y sean
R = {(a, s), (a, t), (c, v), (d, u)}
S = {(s, 2), (t, 1), (t, 4), (u, 3)}
Entonces S R = {(a, 1), (a, 2), (a, 4), (d, 3)} y grficamente se puede representar como



NOTA: S R R S

Generalizando:
Sean R una relacin de A en B, S una relacin de B en C y T una relacin de C en D. La composicin
de R, S y T es una relacin consistente de los pares ordenados (a, d), donde a A y d D y para los
cuales existen un b B y un c C tal que (a, b)R, (b, c)S y (c, d) T, es decir a R b, b S c y c T d.

Lo anterior se puede denotar como T (S R), si R, S y T son relaciones.

Adems se tiene que:
T (S R) = (T S) R
-9-

PROPIEDADES DE LAS RELACIONES

Definicin:
Una relacin R sobre un conjunto A es llamada reflexiva si (a, a) R a A, es decir:

R es reflexiva a (a R a)

Primeramente definamos algunas relaciones que nos sern tiles a lo largo de este tema.

Sea A = {1, 2, 3, 4} y sean las siguientes relaciones sobre A:
R1 = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 4), (4, 1), (4, 4)}
R2 = {(1, 1), (1, 2), (2, 1)}
R3 = {(1, 1), (1, 2), (1, 4), (2, 1), (2, 2), (3, 3), (4, 1), (4, 4)}
R4 = {(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)}
R5 = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)}
R6 = {(3, 4)}

Ejemplo:
Cules relaciones son reflexivas? R3 y R5

Definicin:
Una relacin R sobre un conjunto A es llamada no reflexiva (o irreflexiva) si el par ordenado (a, a)R,
a A, es decir:
R es no reflexiva a (a a)

Ejemplo:
Cules de las relaciones descritas son no reflexivas? R4 y R6

Mientras que R1 y R2 son relaciones que no son ni reflexiva ni no reflexivas.

Por medio de tablas podemos mostrar este tipo de relaciones.



Definicin:
Una relacin R en un conjunto A es llamada simtrica si (a, b) R implica que (b, a) R, es decir:

R es simtrica a b (a R b b R a)

Cules de las anteriores relaciones representan una relacin simtrica? R2 y R3
-10-


Definicin:
Una relacin R en un conjunto A es llamada antisimtrica si (a, b) R y (b, a) R, entonces a = b,
a, b A, es decir:
R es antisimtrica a b (a R b b R a a = b)

Otra forma de expresarlo es diciendo que cuando a b se tiene que, a b b a.

Cules de las anteriores relaciones son antisimtricas? R4, R5 y R6, ya que no hay pares de elementos
a y b con a b tales que (a, b) y (b, a) R.

Por medio de tablas podemos mostrar este tipo de relaciones.



Definicin:
Una relacin R en un conjunto A es llamada transitiva si a, b, c A, (a, b) R y (b, c) R
entonces (a, c) R, esto es:

R es transitiva a b c (a R b b R c a R c)

Cules de las anteriores relaciones representan una relacin transitiva? R4, R5 y R6.

Por medio de una tabla seria:

Ya que se tiene que:
(3, 2) y (2, 1) R (3, 1) R
(4, 2) y (2, 1) R (4, 1) R
(4, 3) y (3, 1) R (4, 1) R
(4, 3) y (3, 2) R (4, 2) R

Un grafo dirigido de una relacin transitiva tiene la propiedad que si existen aristas dirigidas de x a y y
de y a z, tambin existe una arista dirigida de x a z. Como lo muestra el siguiente grafo:

-11-


NOTA: Si a = b y (a, b) y (b, c) R, entonces (a, c) = (b, c) R, por lo que no hay que verificar de
manera explcita toda la condicin. Para comprobar la condicin de transitividad se eliminan los casos
a = b y b = c y slo hay que verificar los restantes pares ordenados.

Definicin:
Sea R una relacin binaria sobre A. La extensin transitiva de R, denotada por R
1
, es la relacin
binaria sobre A tal que R
1
contiene a R y adems si (a, b) y (b, c) R entonces (a, c) R
1
.

Ejemplo:
Sean A = {a, b, c, d} y R = {(a, b), (b, c), (c, b), (c, d)}, entonces
R
1


= {(a, b), (a, c), (b, b), (b, c), (b, d), (c, b), (c, c), (c, d)}

Si R es una relacin transitiva entonces R es igual a R
1
.

Si R
2
denota la extensin transitiva de R
1
, y en general R
i+1
denota la extensin transitiva de R
i
,
definimos la cerradura transitiva de R, denotada por R
*
, como el conjunto unin de R, R
1
, R
2
, ... ,
entonces, en del ejemplo anterior

R
*

= {(a, b), (a, c), (a, d), (b, b), (b, c), (b, d), (c, b), ( c, c), (c, d)}

Lo que por medio de dgrafos se puede representar como:


-12-

RELACIONES DE EQUIVALENCIA

Definicin:
Una particin de un conjunto S es una coleccin de subconjuntos disjuntos no vacos de S que tienen a
S como su unin, en otras palabras, la coleccin de subconjuntos A
i
, iI (donde I es un ndice del
conjunto) forma una particin si y solo si:

A
i
, i I, A
i
A
j
= cuando i j y

I
S A

=
i
i

Tambin estos subconjuntos son llamados bloques de la particin.

Lo anterior significa que S = {A
1
, A
2
, ... , A
k
}

Ejemplo:
Sea S ={a, b, c, d, , z} y sean
W
1
= {a, e, i, o, u}
W
2
= {w, c}
W
3
= {b, f, g, h, j, k, l}
W
4
= {m, n, , p, q}
W
5
= {r, s, t, v}
W
6
= {x, y}
W
7
= {d, z}

S = W
1
W
2
W
3
W
4
W
5
W
6
W
7
o bien
S ={{a, e, i, o, u}, {w, c}, {b, f, g, h, j, k, l}, {m, n, , p, q}, {r, s, t, v}, {x, y}, {d, z}}

Ejemplo:
Si S ={a, b, c, d, e, f, g} entonces {{a}, {b, c, d}, {e, f}, {g}} es una particin de S y tambin se puede
representar como } { g , ef , bcd , a , en donde se coloca una barra sobre los elementos del mismo bloque.

TEOREMA
Sea S una particin sobre un conjunto X. Decimos que x R y si para algn A en S x, y A. Entonces R
es reflexiva, simtrica y transitiva.

Ejemplo:
Sea X = {1, 2, 3, 4, 5, 6} y sea S ={{1, 3, 5},{2, 6},{4}} una particin de X. La relacin R definida por
el teorema anterior es:

R ={(1 ,1), (1, 3), (1, 5), (3, 1), (3, 3), (3, 5), (5, 1), (5, 3), (5, 5), (2, 2), (2, 6), (6, 2), (6, 6), (4, 4)}

Definicin:
Una relacin R que es reflexiva, simtrica y transitiva, sobre un conjunto X, se conoce como una
relacin de equivalencia sobre X.

Ejemplos:
a) Sea X = {1, 2, 3, 4, 5, 6} y sea S = {{1, 3, 5},{2, 6},{4}} una particin de X. La relacin R definida
por el teorema anterior es:
-13-

R = {(1 ,1), (1, 3), (1, 5), (3, 1), (3, 3), (3, 5), (5, 1), (5, 3), (5, 5), (2, 2), (2, 6), (6, 2), (6, 6), (4, 4)}

la cual, por la definicin anterior es una relacin de equivalencia. Si se representa por medio de
dgrafos tenemos que:



R es reflexiva puesto que (1, 1), (2, 2), (3, 3), (4, 4), (5, 5) R
R es simtrica ya que siempre que si (x, y) R tambin (y, x) R
R es transitiva puesto que siempre que si (x, y) y (y, z) R tambin (x, z) R

Como R es reflexiva, simtrica y transitiva, entonces R es una relacin de equivalencia sobre X.

b) Sea R = {(1, 1), (1, 2), (1, 3), (1, 4) , (2, 2), (2, 3), (2, 4) , (3, 3), (3, 4), (4, 4)}, y sea X = {1, 2, 3, 4}

R es reflexiva ya que (1, 1), (2, 2), (3, 3), (4, 4) R
R no es simtrica ya que (2, 1), (3, 1), (4, 1), (3, 2), (4, 3), (4, 2) R
R es transitiva puesto que siempre que si (x, y) y (y, z) R tambin (x, z) R

Por lo que como R no es simtrica, por lo tanto no es una relacin de equivalencia.

Definicin:
Sea R una relacin de equivalencia sobre un conjunto A. El conjunto de todos los elementos que estn
relacionados a un elemento de A es llamado clase de equivalencia de A y se denota por [a], en otras
palabras:
[a] = {x A | x R a}

adems se tiene S = {[a] | a A} es una particin de A

Ejemplos:
a) Sea A = {1,2,3,4,5,6} y sea
R = {(1, 1), (1, 3), (1, 5), (3, 1), (3, 3), (3, 5),(5, 1), (5, 3), (5, 5), (2, 2), (2, 6), (6, 2), (6, 6), (4, 4)} una
relacin de equivalencia sobre A, entonces tenemos que:

[1] = {1, 3, 5}
[2] = {2, 6}
[3] = {1, 3, 5}
[4] = {4}
[5] = {1, 3, 5}
[6] = {2 ,6};
-14-


donde se observa que

[1] = [3] = [5] = {1,3,5}
[2] = [6] = {2, 6}
[4] = {4},

Adems S = {{1, 3, 5}, {2, 6}, {4}} es una particin de A

b) Sea A = {1, 2, 3, 4} y sea R = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 3), (3, 4), (4, 3), (4, 4)}una relacin de
equivalencia sobre A, donde se tiene que

[1] = {1, 2}
[2] = {1, 2}
[3] = {3, 4}
[4] = {3, 4}

por lo que

[1] = [2] = {1, 2}
[3] = [4] = {3, 4}

donde S ={{1,2},{3,4}} es una particin de A.

De los ejemplos anteriores se concluye que:

a) Si a R b entonces [a] = [b]
b) Si [a] = [b] entonces [a] [b]
c) Si [a] [b] entonces a R b

En resumen dos clases de equivalencia de dos elementos de A son idnticas o disjuntas.
-15-

ORDENES PARCIALES

Definicin:
Se dice que una relacin R sobre un conjunto A es una relacin de orden parcial si esta es reflexiva,
antisimtrica y transitiva.

Si R es una relacin de orden parcial (o simplemente orden parcial) sobre A, se utiliza la notacin a b
para indicar que (a, b) R.

Esta notacin sugiere que estamos interpretando la relacin como orden sobre los elementos.

Ejemplo:
Sea A = {a, b, c, d, e} y sea R una relacin sobre A definida como sigue:
R = {(a, a), (a, b), (a, c), (a, d), (a, e), (b, b), (b, c), (b, e), (c, c), (c, e), (d, d), (d, e), (e, e)}
Representada en la siguiente tabla:



como R es reflexiva, antisimtrica y transitiva por lo tanto es una relacin de orden parcial.

Un conjunto A junto con un orden parcial R sobre A, es llamado un conjunto parcialmente ordenado y
se denota por (A, R). Un conjunto parcialmente ordenado es conocido como POSET (del ingls:
Partially Ordered SET).

Ejemplo:
Sea A el conjunto de
+
y sea R una relacin sobre A, tal que (a, b) R si a divide a b (con residuo
igual a cero).

Entonces como cualquier entero se divide a si mismo, R es una relacin reflexiva. Si a divide a b
significa que b no divide a a, a menos que sea a = b, por lo que R es antisimtrica, y puesto que si a
divide a b y b divide a c entonces a divide a c, por lo que R es transitiva. En consecuencia R es un
orden parcial.

En realidad un conjunto parcialmente ordenado es denotado como (A, ).

Definicin:
Si R es un orden parcial sobre A y si x, y A y x y y x, se dice que x y y son comparables. Y si
x, y A y x y y x, se dice que x y y son incomparables.


-16-

Definicin:
Si cada par de elementos de A son comparables se dice que R es un orden total, es decir, un orden
parcial R es un orden total, (orden lineal) si y solo si x, y, x R y y R x es siempre verdadero.

En este caso (A, R) es un conjunto totalmente ordenado tambin llamado cadena (chain).

Ejemplo:
Los nmeros naturales con la relacin ( , ) y los nmeros enteros con la relacin ( , ) son ambos
cadenas.

Tambin el conjunto de las palabras del idioma espaol con el orden lexicogrfico es una cadena.

Definicin:
La longitud de una cadena es la cantidad de elementos de la misma.

Definicin:
Si todos los elementos de un conjunto A son no comparables, entonces R se dice que es una anticadena,
es decir, un orden parcial R es una anticadena si x, y A, x y y x.
En este caso (A, R) es una anticadena, es decir, no hay dos elementos distintos que estn relacionados.

Ejemplo:
Sean A = {a, b, f, d, e} y sea R un orden parcial. Representemos a R por medio de una tabla.



Entonces (A, R) es un conjunto parcialmente ordenado donde:

{a, b, c, e} es una cadena
{a, b, c} es una cadena
{a, d, e} es una cadena
{a} es una cadena y una anticadena
{b, d} es una anticadena
{c, d} es una anticadena
{a, c, d} no es ni cadena ni anticadena








-17-

INDUCCIN MATEMTICA
EL CONJUNTO DE LOS NMEROS ENTEROS

El sistema de los nmeros naturales tiene un defecto manifiesto en que dados m, n , la ecuacin
m + x = n puede o no tener solucin, por ejemplo, la ecuacin m + x = m carece de solucin, mientras
que la ecuacin m + x = m* (siguiente) tiene la solucin x = 1. Es sabido que esto se remedia aadiendo
a los nmeros naturales el cero y los nmeros enteros negativos para formar el conjunto de los nmeros
enteros Dicho smbolo proviene del alemn Zahl (nmero).

Entonces:
= {1, 2, 3, , }
= {-, ..., -3, -2, -1, 0, 1, 2, 3, ..., }

ALGUNAS PROPIEDADES DE
ADICIN
1 Ley de la clausura r + s , r, s
2 Ley conmutativa r + s = s + r, r, s
3 Ley Asociativa r + (s + t) = (r + s) + t, r, s, t
4 Ley de la cancelacin Si r + t = s + t entonces r = s, r, s, t
5 Neutro Aditivo un nico 0 tal que r + 0 = 0 + r = r, r
6 Simtrico Aditivo Para cada r un nico simtrico aditivo -r tal que r +(-r) =
(-r) + r = 0, r

MULTIPLICACIN
1 Ley de la clausura r s , r, s
2 Ley conmutativa r s = s r, r, s
3 Ley Asociativa r (s t) = (r s) t, r, s, t
4 Ley de la cancelacin Si r t = s t entonces r = s, r, s, t
5 Neutro Multiplicativo un nico 1 tal que r 1 = 1 r = r, r

LEYES DISTRIBUTIVAS
1 r (s + t) = r s + r t , r, s, t
2 (s + t) r = s r + t r , r, s, t


DIVISORES
Un entero a 0 se llama divisor (o factor) de un elemento b (lo cual denota a | b) si c tal que

b = a c

cuando a | b se dice que b un mltiplo de a.
-18-


Ejemplos:
a) 2 | 6 ya que c = 3 tal que 6 = 2 3
b) -3 | 15 ya que c = -5 tal que 15 = (-3) (-5)
c) a | 0 ya que a , 0 = a 0

PRIMOS
Como a 1 = (-a) (-1) = a, a , se dice que 1 y a son divisores de a. Un entero p 0 y p 1
se dice que es primo si y solo si sus nicos divisores son 1 y p.

Ejemplos:
a) 2 es primo ya que sus nicos divisores son 2, 1
b) -5 es primo ya que sus nicos divisores son 5, 1
c) 6 no es primo ya que sus divisores son 6, 3, 2, 1
d) 39 no es primo ya que sus divisores son 39, 13, 3, 1

Esta claro que -p es primo si y solamente si p lo es, por lo que solamente ser necesario referirse a los
primos positivos.

MXIMO COMN DIVISOR (MCD)
Si a | b y a | c se dice que a es un divisor comn de b y c. Si adems todo divisor comn de b y c
tambin es de a, se dice que a es el mximo comn divisor de b y c.

Ejemplo:
a) 1, 2, 3, 4, 6, 12; son divisores comunes de 24 y 60
b) 12 es el MCD de 24 y 60

-19-

CONJUNTOS FINITOS E INFINITOS NUMERABLES

Definicin (intuitiva):
El tamao de un conjunto es la cantidad de elementos distintos del conjunto.

Ejemplos:
a) El tamao del conjunto {a, b, c} es 3
b) El tamao del conjunto {a, , d} es 3
c) El tamao del conjunto {{a, b}} es 1
d) El tamao del conjunto es cero

Para encontrar el tamao de dos conjuntos de manera comparativa, se necesita la siguiente

Definicin:
Dados dos conjuntos P y Q se dice que existe una correspondencia uno a uno (biunvoca) entre los
elementos de P y los de Q, si es posible aparear los elementos de P y de Q de tal modo que todos los
elementos P estn apareados con distintos elementos de Q.

Ejemplo:
Existe una correspondencia biunvoca entre los elementos de {a, b} y los de {c, d}, tambin existe una
correspondencia biunvoca entre los de {a, b, c} y los de {, a, b}, pero no existe una correspondencia
biunvoca entre los elementos de {a, b, c} y los de {a, d}.

Definicin:
Se dice que un conjunto es finito si existe una correspondencia biunvoca entre los elementos del
conjunto y los elementos de algn conjunto n , y se dice que n es la cardinalidad del conjunto.

Ejemplo:
La cardinalidad de los conjuntos {a, b, c}, {a, , d}, {1, 2, 3}, {, {}, {, {}}} es 3

Definicin:
Se dice que un conjunto es infinito contable (o infinito numerable o que la cardinalidad del conjunto es
infinita contable), si existe una correspondencia uno a uno entre los elementos del conjunto y los
elementos de .

Ejemplos:
El conjunto de los nmeros naturales = {1, 2, 3, ... } es un conjunto infinito contable.
El conjunto de todos los enteros pares no negativos {2, 4, 6, ...}es un conjunto infinito contable, pues
existe una correspondencia uno a uno entre los enteros pares no negativos y los nmeros naturales, a
saber el entero 2i le corresponde el nmero natural i, para i = 1, 2, ..., es decir:


De manera anloga, el conjunto de todos mltiplos de 7 no negativos {7, 14, 21, ... }es infinitos
numerable, es decir:
-20-




Cabe sealar que un conjunto es infinito contable si, comenzando con un cierto elemento podemos
listar sucesivamente, uno detrs de otro todos los elementos del conjunto, pues esa lista nos permite
construir una correspondencia uno a uno entre los elementos del conjunto y los nmeros naturales .

Ejemplo:
El conjunto de los enteros = { ..., -3, -2, -1, 0, 1, 2, 3, ... }, es un conjunto infinito contable, porque
sus elementos pueden ser listados como = { 0, 1, -1, 2, -2, 3, -3, ...}, ya que se puede hacer una
correspondencia uno a uno entre los elementos del conjunto de los enteros y los nmeros naturales ,
es decir:



La unin de un nmero finito contable de conjuntos infinitamente contable es un conjunto infinito
contable. Lo mismo sucede con la unin de un nmero infinito contable de conjuntos infinitos
contables.

Ejemplo:
El conjunto de los nmeros racionales es un conjunto infinito numerable ya que puede ser listado
como sigue:


Adems se puede observar que se pueden hacer una cantidad infinita numerable de sublistas, donde
cada una es a la vez un conjunto infinito numerable, y la unin de todas ellas es el conjunto de los
nmeros racionales .

Finalmente se tiene que el conjunto de los nmeros reales no es un conjunto infinito numerable,
aunque no se demostrar.
-21-

FRMULAS INDUCTIVAS Y GENERALIZACIN

Supongamos que una serie de cubos numerados 1, 2, 3, ... estn en una mesa infinitamente larga y que
los cubos estn marcados con una "X", como se muestra a continuacin:



y supngase que:

a) El primer cubo esta marcado.
b) Si todos los cubos anteriores al cubo (n + 1) estn marcados, entonces el cubo (n + 1) tambin lo
esta.

a) y b) implican que cada cubo esta marcado, examinando los cubos uno por uno.

La afirmacin a) establece de manera explcita que el cubo 1 esta macado. Considerando el cubo 2,
todos los cubos anteriores al cubo 2 estn marcados, o sea, el cubo 1 y as de acuerdo a b) el cubo 2
tambin est marcado. Considerando el cubo 3, todos los cubos anteriores al cubo 3 estn marcados, o
sea, los cuales 1 y 2 as de acuerdo a b) el cubo 3 esta marcado.

Para mostrar que el cubo 5 est marcado, se observa que todos los cubos anteriores al cubo 5 estn
marcados, de modo que por b), el cubo 5 tambin esta marcado.

Ejemplo:
Este ejemplo ilustra el principio de induccin matemtica. Para mostrar como se puede utilizar la
induccin de manera ms profunda:

Sea S
n
la suma de los n enteros positivos

S
n
= 1 + 2 + 3 + ... + n

Ahora supongamos que alguien afirma que:
2
) 1 ( +
=
n n
n
S
para n = 1, 2, 3, ...

Esto establece una serie de afirmaciones:
-22-



Supongamos que cada ecuacin verdadera tiene una X junto a ella. Como la primera ecuacin es
verdadera, sta marcada.

Ahora debemos demostrar que si todas las ecuaciones anteriores a la ecuacin (n +1) son verdaderas,
entonces la ecuacin (n + 1) tambin lo es.

Suponiendo que todas las ecuaciones anteriores a la ecuacin (n +1) son verdaderas, entonces la
ecuacin (n) es verdadera:
2
) 1 ( +
=
n n
n
S
Debemos demostrar que la ecuacin (n +1)

2
) 2 )( 1 (
1
+ +
=
+
n n
n
S

es verdadera. De acuerdo a la definicin:

S
n+1
= 1 + 2 + 3 + ... + n + (n + 1)

S
n
esta contenida dentro de S
n+1
en el sentido de que

S
n+1
= 1 + 2 + 3 + ... + n + (n + 1)
= S
n
+ (n + 1)

De donde se obtiene que:
S
n+1
= 1 + 2 + 3 + ... + n + (n + 1)
=
) 1 (
2
) 1 (
+ +
+
n
n n

=
2
) 2 )( 1 ( + + n n


-23-

Otro ejemplo seria S
n
= 1 + 3 + 5 + ... + (2n -1) = n, para n = 1, 2, 3, ...

Es decir, la suma de los n primeros nmeros impares es n. Donde tenemos que:

S
1
= 1 = 1
S
2
= 2 = 4
S
3
= 3 = 9

.
.
.
S
n-1
= (n - 1)
S
n
= n

Donde se observa que S
1
es verdadera.

Suponiendo que S
n
es verdadera, debemos demostrar que la ecuacin (n + 1), S
n+1
= (n +1), es
verdadera. El n-simo trmino es (2n - 1), entonces el siguiente seria (2n + 1).

De acuerdo a la definicin:

S
n+1
= 1 + 3 + 5 + ... + (2n -1) + (2n + 1)
= S
n
+ (2n + 1)
= n + (2n + 1)
= n + 2n + 1
= (n + 1)

Ejercicios:
Probar que :

a) 2 + 4 + 6 + ... + 2n = n(n + 1)
b) 1 + 4 + 7 + ... + (3n 2) = n(3n 1)
c)
1 2 ) 1 2 )( 1 2 (
1
...
7 5
1
5 3
1
3 1
1
+
=
+
+ + + +
n
n
n n





-24-

PRINCIPIO DE INDUCCIN MATEMTICA

La induccin matemtica es un mtodo de demostracin que se utiliza cuando se trata de establecer la
veracidad de una lista infinita de proposiciones. El mtodo es bastante natural para usarse en una
variedad de situaciones en la ciencia de la computacin. Algunas aplicaciones tienen un sabor muy
matemtico, tal como verificar que todo entero positivo satisface cierta frmula. Otra utilizacin
frecuente es la de demostrar que un programa de computacin o que un algoritmo con ciclos funciona
como se espera.

Primer principio de induccin matemtica

Consideremos una lista de proposiciones p(1), p(2), p(3), ... con ndices en los enteros positivos
+
.
Todas las proposiciones p(n) son verdaderas a condicin que:

(B) p(1) sea verdadera.
(I) p(n + 1) es verdadera siempre que p(n) lo sea.

nos referimos a (B), es decir al hecho de p(1) es verdadera, como la base de la induccin y nos
referimos a (I) como el paso inductivo. En la notacin del clculo proposicional (I) equivale decir que:

La implicacin p(n) p(n + 1) es verdadera n
+
.

Ejemplo:
Demostrar ) 3 ( ) 2 3 (
2
1
2
1
n n k
n
k
=

=
n
+
. (Hiptesis de la induccin)

Demostracin:
La n-sima proposicin p(n) es verdadera, esto es

) 3 ( ) 2 3 (
2
1
2
1
n n k
n
k
=

=


Ntese que:
p(1) = 1 = 1/2[3(1) - 1)] de aqu que 1 = 1
p(2) = 1 + 4 = 1/2[3(2) - 2)] de aqu que 5 = 5
p(3) = 1 + 4 + 7 = 1/2[3(3) - 3)] de aqu que 12 = 12
...

En particular, p(1) es verdadera por inspeccin y esto establece la base de la induccin. Ahora
supngase que p(n) es verdadera para algn n, esto es:

) 3 ( ) 2 3 (
2
1
2
1
n n k
n
k
=

=


necesitamos demostrar que p(n + 1), (ya que en este paso n = k +1)

-25-

( ) ( ) [ ]

+
=
+ + =
1
1
2
2
1
1 1 3 ) 2 3 (
n
k
k k k

tal como lo establece el paso inductivo. Utilizando p(n) tenemos que

+
=

1
1
) 2 3 (
n
k
k =

=

n
k
k
1
) 2 3 ( + [3(k + 1) - 2]= 1/2(3k - k) + (3k + 1)

para verificar p(n + 1) necesitamos comprobar que:

1/2(3k - k) + (3k + 1) = 1/2[3(k + 1) - (k + 1)]

Esto ya es un problema puramente algebraico, para lo cual se trabajara con el lado izquierdo de la
igualdad, esto es:

1/2(3k - k) + (3k + 1) = 1/2(3k - k + 6k + 2)
= 1/2(3k + 5k + 2)
= 1/2(3k + 2)(n + 1)
= 1/2[3(k + 1) -1](k + 1)
= 1/2[3(k + 1) - (k + 1)]

Entonces p(n + 1) es verdadera siempre que p(n) lo sea. Por el primer principio de induccin
matemtica se concluye que p(n) es verdadera n
+
.

No siempre es necesario el uso del smbolo de sumatoria para aplicar la induccin matemtica, puede
tambin utilizarse parte del desarrollo de la misma, como lo muestra el siguiente:

Ejemplo:
Demostrar por induccin que: 2 + 4 + ... + 2(n) = n(n + 1)

Demostracin:
Nuestra n-sima proposicin p(n) es: 2 + 4 + ... + 2(n) = n(n + 1) y ntese que:

p(1) = 2 = 1(2), donde 2 = 2
p(2) = 2 + 4 = 2(3), donde 6 = 6
p(3) = 2 + 4 + 6 = 3(4), donde 12 = 12
p(4) = 2 + 4 + 6+ 8 = 4(5), donde 20 = 20
...

As p(1) asegura 2= 1( 1 + 1) y como es verdadera por inspeccin tal como lo establece la base de la
induccin matemtica.

Para el paso inductivo, supongamos que p(n) es verdadera para algn n, esto es

2 + 4 + ... + 2(n) = n(n + 1)

es verdadera. Ahora queremos probar que para p(n + 1) (y ya que en este paso n = k +1)
-26-


2 + 4 + ... + 2(k) + 2(k + 1) = (k + 1)((k + 1) + 1)

es decir 2 + 4 + ... + 2(k) + (2k + 2) = (k + 1)(k + 2)

tal como lo establece el paso inductivo.

Como p(n) es verdadera por hiptesis, y trabajando con el lado izquierdo de la igualdad, tenemos que:

2 + 4 + ... + 2(k) + (2k + 2) = [2 + 4 + ... + 2k] + (2k +2)
= k(k + 1) + (2k + 2)
= k(k + 1) + 2(k + 1)
= (k + 1)(k + 2)

Entonces p(n + 1) es verdadera siempre que p(n) lo sea. Por el primer principio de induccin
matemtica se concluye que p(n) es verdadera n
+
.

No todas las demostraciones tienen que ver con sumas y sumatorias, tambin se puede aplicar la
induccin para demostrar desigualdades. La diferencia es que la base de la induccin cambia un poco
en el sentido que no necesariamente se debe cumplir p(1), pero puede ser cierto para algunos valores de
p mayores que cierto valor de n.

Ejemplo:
Demostrar por induccin que 2 +5(n-1) 5n n
+


Demostracin:
Nuestra n-sima proposicin p(n) es: 2 +5(n-1) 5n y ntese que:

p(1) = 2 5
p(2) = 7 10
...

En particular, p(1) es verdadera por inspeccin y esto establece la base de la induccin. Ahora
supngase que p(n) es verdadera para algn n, esto es:

2 +5(n-1) 5n

es verdadera. Ahora queremos probar que para p(n + 1) (ya que en este paso n = k +1)

2 +5((k +1) 1 ) 5(k +1)

simplificando 2 +5k 5k +5, tal como lo establece el paso inductivo.

Como p(n) es verdadera por hiptesis, y trabajando con el lado izquierdo de la desigualdad, tenemos
que:
2 + 5k + 5 5 5k + 5
2 + 5k 5k + 5

-27-

Entonces p(n + 1) es verdadera siempre que p(n) lo sea. Por el primer principio de induccin
matemtica se concluye que p(n) es verdadera n
+
.

Ejemplo:
Demostrar por induccin que 2
n
< n! n 4 (hiptesis inductiva)

Demostracin:
Nuestra n-sima proposicin p(n) es 2
n
< n!

Ntese que p(1), p(2) y p(3) no son verdaderas, y no necesitamos que sean verdaderas. Ahora bien
p(4) = 2
4
= 16 < 4! = 24. as que p(4) es vlido, como lo establece nuestra base inductiva.

Ahora supngase que p(n) es verdadera para algn n, esto es:

2
n
< n!

es verdadera. Ahora queremos probar que para p(n + 1) (ya que en este paso n = k +1)

2
k+1
< (k + 1)!

tal como lo establece el paso inductivo. Utilizando p(n), se multiplican ambos lados de la desigualdad
por 2, para obtener n 4,

(2)(2
k
) = 2
k+1
< 2(k!) < (n +1)(n!) ) (n + 1)!

Entonces p(n+1) es verdadera siempre que p(n) lo sea. Por el primer principio de induccin matemtica
se concluye que p(n) es verdadera n 4.

Ejercicios:
a) 1
2
+ 3
2
+ 5
2
+ ... + (2n-1)
2
=
3
) 1 2 )( 1 2 ( + n n n

b)

=
+
+ =
n
k
n k
n k
1
1
2 ) 1 ( 2 ) 2 (
c)

=
n
k
n k
1
1
1 2 2
d)

=
+
=
+
n
k
n
n
k k
1
1 ) 1 (
1

e) 1
2
+ 2
2
+ 3
2
+ ... + n
2
=
6
) 1 2 )( 1 ( + + n n n

f)

=
n
k
n k
1
1
1 3 ) 3 ( 2
g)

=
+
=
n
k
n n
k
1
2 2
3
4
) 1 (


-28-

RELACIONES DE RECURRENCIA

PROGRESIONES ARITMTICAS Y GEOMTRICAS

Definicin:
Intuitivamente una sucesin S es una simple lista de objetos llamados elementos, que forman un
conjunto, los elementos estn uno detrs de otro en el orden natural creciente de los nmeros naturales
.

Si la sucesin es finita, puede terminar despus de un cierto numero de trminos o puede en principio,
al menos, seguir indefinidamente, en este caso se dice que es infinita.

Ejemplo:
La sucesin 1, 4, 9, 16, 25, ... , n, es una sucesin infinita de nmeros n al cuadrado, los tres
puntos suspensivos significan "as sucesivamente".

Una sucesin general, es decir, una sucesin en la que no se especifican los trminos puede escribirse
como:

x
1
, x
2
, x
3
,

o algunas veces como:

x
n
, 1 n

Si X es una sucesin se escribe como X = (x
n
).

Formalizando, una sucesin S es una funcin de una variable n donde Dom(n) = , a cada n le
corresponde un termino de la sucesin (x
n
), el termino n-simo de la sucesin, es decir:

S: (x
n
)

En una sucesin los trminos pueden ser todos distintos o no ,esto es puede tener trminos repetidos.

Ejemplo:
S = {1,0,0,1,1,0,1,0,1} es una sucesin finita con trminos repetidos.

Ejemplos de sucesiones:
1, 2, 3, 4, ..., n, ...
2, 4, 6, 8, ..., 2n, ...
1, 4, 9, 16, ..., n, ...
-1, 1, -1, 1, ..., -1
n
, ...
-1, 2, -3, 4, ..., (-1)
n
n, ...
-1, 1/2, -1/3, 1/4, ..., -1
n
/n, ...
1/2, 1/4, 1/8, 1/16, ..., 1/2
n
, ...
1/10, 1/100, 1/1000, 1/10000, ..., 1/10
n
, ...

-29-

Progresiones Aritmticas
Empecemos viendo un ejemplo:

Escalera de Jacob.
En el rasca cielos que Jacob posee hay una escalera que va desde el suelo hasta la cima. El primer
escaln mide 8 pulgadas los posteriores miden 9 pulgadas. A que altura del suelo esta el escaln 800?




a
1
= 8
a
2
= 8 + 1(9) = 17
a
3
= 8 + 2(9) = 26
a
4
= 8 + 3(9) = 35
...
a
800
= 8 + 799(9) = 7199

Por lo tanto el escaln 800 esta a 7199 pulgadas sobre el suelo.
Ahora consideremos las siguientes sucesiones. Al detectar un patrn llnese los espacios en blanco.

a) 5, 9, 13, 17, , , ...
b) 2, 2.5, 3, 3.5, , , ...
c) 8, 5, 2, -1, , , ...

Qu tienen en comn estas tres sucesiones? Simplemente que en cada caso se puede obtener un
trmino sumando un nmero fijo al anterior.

Definicin:
Una progresin aritmtica es una sucesin infinita de nmeros donde cualquier termino (distinto de
primero) se obtiene sumando un numero fijo al anterior.

Si se denota a tal sucesin como a
1
, a
2
, a
3
, ... satisface la formula recursiva

a
n
= a
n-1
+ d

donde d es un numero fijo llamado diferencia comn.
-30-

Se puede obtener tambin una frmula explcita? S. Veamos primero la siguiente figura:



Hay que observar que las d's deben sumarse con a
1
una vez menos que el subndice de a. Esto significa
que:
a
n
= a
1
+ (n - 1)d

Entonces:
a
n
= 5 + (n - 1)(4) = 1 + 4n
b
n
= 2 + (n - 1)(.5) = 1.5 + .5n
c
n
= 8 + (n - 1)(-3) = 11 - 3n

Progresiones Geomtricas
Empecemos viendo un ejemplo:

Escalera de Oro de Jacob.
En sus sueos Jacob vio una escalera de oro con ngeles subiendo y bajando. El primer escaln era de 8
pulgadas, pero despus cada escaln tenia una altura de 5/4 pulgadas ms que el anterior. A que altura
estar el escaln 800?



a
1
= 8
a
2
= 8 (5/4)
a
3
= 8 (5/4)
a
4
= 8 (5/4)
-31-

...
a
800
= 8 (5/4)
799


Por lo tanto la altura del escaln 800 es de 8 (5/4)
799
pulgadas arriba del piso.

Esta escalera de Jacob es en verdad para ngeles y no para personas. El escaln 800 tiene 3.4 x (10)
73

millas de alto. A modo de comparacin, el sol esta a 9.3 x (10)
7
millas de la tierra y Alpha Centauri,
que es la estrella ms cercana a la tierra, esta a 2.5 x (10)
13
millas de la misma. Esta escalera en verdad
alcanza el cielo.

En la sucesin anterior cada trmino era 5/4 veces ms alto que el anterior. Se puede encontrar un
patrn similar en cada una de las siguientes sucesiones:

a) 3, 6, 12, 24, , , ...
b) 12, 4, 4/3, 4/9, , , ...
c) .6, 6, 60, 600, , , ...

El rasgo comn de estas tres sucesiones es que en cada caso se puede obtener un trmino multiplicando
el trmino anterior por un nmero fijo.

Definicin:
Una progresin geomtrica es una sucesin infinita de nmeros donde cualquier trmino (distinto del
primero), se obtiene multiplicando un numero fijo al termino anterior.

As una sucesin geomtrica a
1
, a
2
, a
3
, ... satisface la formula recursiva

a
n
= r a
n-1


donde r es un nmero fijo llamado razn comn.

Adems se tiene a
2
/ a
1
= a
3
/ a
2
= a
4
/ a
3
= ... = a
n
/ a
n-1
= r.

Para obtener la formula explcita correspondiente se tiene que
a
2
= r(a
1
)
a
3
= r(a
2
) = r(r a
1
) = r(a
1
)
a
4
= r(a
3
) = r(r a
1
) = r(a
1
)
...
a
n
= r
n-1
a
1


En este caso el exponente de r es uno menos que el subndice de a. Esto significa que:

a
n
= a
1
r
n-1


As:

a
n
= (3)(2)
n-1

b
n
= (12)(1/3)
n-1

c
n
= (0.6)(10)
n-1

-32-

SUCESIONES RECURRENTES Y ECUACIN DE RECURRENCIA

A menudo es posible desarrollar relaciones entre los elementos de una sucesin. Tales relaciones se
llaman relaciones de recurrencia. Se ilustrar el concepto con un ejemplo y luego, se dar una
definicin ms formal.

Ejemplo:
Una persona invierte $1,000.00 pesos al 12% de inters compuesto anual. Si A
n
representa el monto de
cada n aos, determinar una relacin entre A
n
y A
n-1
.

Al cabo de n - 1 aos el monto ser A
n-1
. Despus de un ao mas se tendr la cantidad de A
n-1
ms el
inters del ao, entones:

A
n
= A
n-1
+ (0.12)A
n-1

= 1.12A
n-1


El valor inicial A
o
= 1000 que junto con la ecuacin anterior permite calcular el valor de A
n
n.
A
3
= 1.12(A
2
)
= (1.12)(1.12)(A
1
)
= (1.12)(1.12)(1.12)(A
o
)
= (1.12)(1000)
= 1404.93

Por lo tanto al final del tercer ao la cantidad es $1,404.93 pesos. Se puede efectuar para cualquier
valor de n y se obtiene:
A
n
= 1.12(A
n-1
)
.
.
.
= (1.12)
n
(1000)

Al cabo de 20 aos la cantidad resultante es: (1.12)
20
(1000) = $9,646.30

La ecuacin A
n
= (1.12)A
n-1
proporciona un ejemplo de una relacin de recurrencia. Tal relacin define
una sucesin geomtrica dando el n-simo valor en trminos de algunos de los antecesores .Los valores
dados explcitamente tales como A
o
= 1000 se denominan condiciones iniciales.

Definicin:
Una relacin de recurrencia para una sucesin a
o
, a
1
, a
2
, , a
n
es una ecuacin que relaciona a
n
con
alguno de sus antecesores a
o
, a
1
, a
2
, , a
n-1
.

Ejemplo:
Una de las ms antiguas relaciones de recurrencia define la sucesin de Fibonacci. Esta sucesin se
encuentra por primera vez en el libro de este autor, Liber Abaci (1202) donde l se pregunt lo
siguiente: cuntas parejas de conejos habr despus de un ao, si al comienzo solo hay una pareja, y
-33-

sabemos que cada pareja produce al mes una nueva pareja la cual se vuelve productiva al mes?. Se da
por sentado que no ocurren muertes.

Sea f
i
el nmero de parejas de conejos al cabo del i-simo mes. Entonces

f
o
= 1 (i)

Al final de primer mes hay slo una pareja ya que comienza a ser productiva despus de un mes. Por
consiguiente

f
1
= 1 (ii)

Las ecuaciones (i) y (ii) son las condiciones iniciales por la sucesin de Fibonacci. El aumento en las
parejas de conejos f
n
, f
n-1
, del mes (n - 1) al mes (n) se debe a que cada pareja viva el mes (n - 2)
produciendo una pareja adicional. Esto es:

f
n
- f
n-1
= f
n-2,
bien
f
n
= f
n-1
+ f
n-2
(iii)

La relacin de recurrencia (iii) con las condiciones iniciales (i) y (ii) define una sucesin de Fibonacci.

Entonces despus de un ao la solucin es f
12
= 233

Vamos a desarrollar los 12 primeros trminos para comprobar la afirmacin anterior.

f
o
= f
1
= 1
f
2
= f
1
+ f
o
= 1 + 1 = 2
f
3
= f
2
+ f
1
= 2 + 1 = 3
f
4
= f
3
+ f
2
= 3 + 2 = 5
f
5
= f
4
+ f
3
= 5 + 3 = 8
f
6
= f
5
+ f
4
= 8 + 5 = 13
f
7
= f
6
+ f
5
= 13 + 8 = 21
f
8
= f
7
+ f
6
= 21 + 13 = 34
f
9
= f
8
+ f
7
= 34 + 21 = 55
f
10
= f
9
+ f
8
= 55 + 34 = 89
f
11
= f
10
+ f
9
= 89 + 55 = 144
f
12
= f
11
+ f
10
= 144 + 89 = 233

NOTA: Una relacin de recurrencia define generalmente una progresin. Dicha relacin de recurrencia
no define una nica progresin, a menos que se especifique los valores iniciales.

Ejemplo:
La relacin de recurrencia a
n-1
= 3a a
n
= 3a
n-1
, n 0, puede definir las siguientes progresiones
geomtricas:
i) 5, 15, 45,
ii) 7, 21, 63,
-34-

Pero si especificamos que en i) el valor inicial es a
o
= 5, y en ii) que el valor inicial a
o
= 7, entonces se
define una progresin geomtrica nica en cada caso.

Ejemplo:
La sucesin

3
0
, 3
1
, 3
2
, ..., 3
r
,

donde el valor inicial 3
0
= 1 y con la relacin de recurrencia a
r
= 3a
r-1
, dan como resultado la siguiente
progresin:

1, 3, 9, 27, ..., 3
r-1
, 3
r


Relaciones de Recurrencia Lineal con Coeficientes Constantes

Una relacin de recurrencia de la forma:

C
o
a
r
+ C
1
a
r-1
+ C
2
a
r-2
+ + C
k
a
r-k
= f (r) (i)

donde las C
i
son constantes, se denomina relacin de recurrencia lineal con coeficientes constantes. La
relacin de recurrencia (i) se conoce como una relacin de recurrencia de k-simo orden siempre que
tanto C
o
y C
k
sean distintos de cero.

Ejemplos:
a) 2a
r
+ 2a
r-1
= 2
r
, es una relacin de recurrencia lineal con coeficientes constantes de primer orden.

b) 3a
r
- 5a
r-1
+ 2a
r-2
= r + 5, es una relacin de recurrencia lineal con coeficientes constantes de
segundo orden.

c) a
r
+ 7a
r-2
= 0, es una relacin de recurrencia lineal con coeficientes constantes de segundo orden.

d) a
r
= 3a
r-1
a
r-2
, no es una relacin de recurrencia lineal con coeficientes constantes.

e) a
r
= 3ra
r-1
, no es una relacin de recurrencia lineal con coeficientes constantes.

Si f (r) = 0, como ocurre en la relacin de recurrencia c), se dice que la relacin de recurrencia es lineal
homognea con coeficientes constantes.

Consideremos la relacin de recurrencia 3a
r
- 5a
r-1
+ 2a
r-2
= r + 5.

Supngase que nos dan los valores iniciales a
3
= 3 y a
4
= 6, podemos calcular a a
5
y a
6
como sigue:

a
r
= [5a
r-1
- 2a
r-2
+ r + 5]1/3
a
5
= [5a
4
- 2a
3
+ 25 + 5]1/3
= [(5)(6) - (2)(3) + 25 + 5]1/3
= [30 - 6 + 30]1/3
= 54/3
= 18
-35-


a
6


= [5a
5
- 2a
4
+ 16 + 5]1/3
= [(5)(18) - (2)(6) + 36 + 5]1/3
= [90 - 12 + 41]1/3
= 119/3

y as sucesivamente. De manera similar podemos calcular a
2
, a
1
, y a
o
, lo que va a variar es el despeje de
a
r
:

a
2
= 9
a
1
= 25
a
o
= 107/2

En general una relacin de recurrencia de k-simo orden con coeficientes constantes como en (ii), si k
valores consecutivos de la funcin numrica de a a
m-k
, a
m-r-1
, , a
m-1
; son conocidos para algn m, los
valores de a
m
puede calcularse de acuerdo con (i) a saber:

a
m
= -1/C
o
[C
1
a
m-1
+ C
2
a
m-2
+ + C
k
a
m-k
- f(m) ]

adems el valor a
m+1
= -1/C
o
[C
1
a
m
+ C
2
a
m-1
+ + C
k
a
m-k+1
- f(m+1) ]

y los valores de a
m+2
, a
m+3
, a
m+4
, pueden calcularse de manera similar.

-36-

SOLUCIONES HOMOGNEAS

La solucin (total) a una relacin de recurrencia lineal con coeficientes constantes es la suma de dos
partes, la solucin homognea que satisface la ecuacin en diferencias (relacin de recurrencias),
cuando el lado derecho de la ecuacin se hace cero y la solucin particular, que satisface la ecuacin en
diferencias con f (r) en el lado derecho. En otras palabras la funcin numrica discreta que es solucin
de la ecuacin en diferencias es la suma de dos funciones numricas discretas una es la solucin
homognea y otra es la solucin particular.

Sean:
( ) ( ) ( ) ( )
( ) ,... ,..., ,
1 0
h
r
h h h
a a a a = la solucin homognea y
( ) ( ) ( ) ( )
( ) ,... ,..., ,
1 0
p
r
p p p
a a a a = la solucin
particular a la ecuacin en diferencias. Puesto que:

( ) ( ) ( )
0 ...
1 1 0
= + + +

h
k r k
h
r
h
r
a C a C a C
y
( ) ( ) ( )
) ( ...
1 1 0
r f a C a C a C
p
k r k
p
r
p
r
= + + +



Tenemos que:
( ) ( )
( )
( ) ( )
( )
( ) ( )
( ) ) ( ...
1 1 1 0
r f a a C a a C a a C
p
k r
h
k r k
p
r
h
r
p
r
h
r
= + + + + + +



La solucin
( ) ( ) p h
a a a + = satisface la ecuacin en diferencias (relacin de recurrencias).

Una solucin homognea para la ecuacin de recurrencia lineal con coeficientes constantes de la
forma:
r
A
1
, donde
1
se conoce como una raz caracterstica y A es una constante determinada por los
valores iniciales. Si sustituimos
r
A por a
r
en la ecuacin de recurrencia con el lado derecho de la
ecuacin igual a cero, obtenemos:
0 ...
2
2
1
1 0
= + + + +
k r
k
r r r
A C A C A C A C

La ecuacin puede simplificarse como:
0 ...
2
2
1
1 0
= + + + +

k
k k k
C C C C

la cual se conoce como ecuacin caracterstica de la ecuacin de recurrencia. Por lo tanto si
1
es una
de las races de la ecuacin caracterstica (sta es la razn de que
1
se llame raz caracterstica),
r
A
1
es una solucin homognea de la ecuacin de recurrencia.

Una ecuacin caracterstica de k-simo grado tiene k races caractersticas. Supongamos que las races
de la ecuacin caracterstica son todas distintas. En este caso sencillo

( ) r
k k
r r h
r
A A A a + + + = ...
2 2 1 1


tambin es una solucin homognea de la ecuacin de recurrencia donde:

k
,..., , ,
3 2 1


-37-

son las distintas races caractersticas y los A
1
, A
2
, ..., A
k
son constantes que estn determinados por los
valores iniciales.

Ejemplo:
Consideremos de nuevo la sucesin de Fibonacci. La relacin de recurrencia lineal con coeficientes
constantes homognea de segundo orden para la sucesin de Fibonacci es

a
r
= a
r-1
+ a
r-2


La correspondiente ecuacin caracterstica es

2
1 = 0

La cual tiene dos races distintas

2
5 1
2
5 1
2 1

=
+
=

De lo cual se obtiene que
( )
r r
h
r
A A a

+
=
2
5 1
2
5 1
2 1


es una solucin homognea donde las dos constantes A
1
y A
2
sern determinados a partir de las
condiciones iniciales a
o
= 1 y a
1
= 1.

Ejemplo:
Considrese la siguiente relacin de recurrencia

a
r
+ 6a
r-1
+ 12a
r-2
+ 8a
r-3
= 0

La ecuacin caracterstica es

3
+ 6
2
+ 12

+8 = 0

As
( )
( )( )
r h
r
A r A r A a 2
3 2
2
1
+ + =

es una solucin homognea ya que -2 es una raz caracterstica tripe.

Esta solucin viene de la siguiente observacin:

Supongamos que algunas de las races de la ecuacin caracterstica son races mltiples. Sea
1
una
raz de multiplicidad m. La correspondiente solucin homognea es:

( )( )
r
m m m
m m
A r A r A r A r A
1 1
2
2
2
2
1
1
... + + + + +




donde las constantes A
i
sern determinadas por las condiciones iniciales.
-38-


Ejemplo:
Sea la ecuacin de recurrencia:

4a
r
20a
r-1
+ 17 a
r-2
4a
r-3
= 0

La ecuacin caracterstica es:

4
3
20
2
+ 17 4 = 0

Las races caractersticas son , y 4. En consecuencia la solucin homognea es:

( )
( )( ) ( )
r r h
A A r A a 4
3 2
1
2 1
+ + =

-39-

SOLUCIONES PARTICULARES

No existe un procedimiento general para determinar la solucin particular de una relacin de
recurrencia. No obstante, en casos simples, esta solucin puede obtenerse mediante el mtodo de
inspeccin.

Ejemplo:
Sea la siguiente relacin de recurrencia:


Supongamos que la forma general de la solucin particular es:



donde P
1
, P
2
y P
3
son constantes. Al sustituir la expresin (ii) en el lado izquierdo de (i), obtenemos



lo cual puede simplificarse como



Sustituyendo (iii) en la parte derecha de (i) se obtienen las ecuaciones:
12P
1
= 3
34P
1
- 12P
2
= 0
29P
1
- 17P
2
+ 12P
3
= 0

de lo cual se obtiene
P
1
=
P
2
= (17/24)
P
3
= (115/288)

Por lo tanto la solucin particular es:
( ) p
r
a = ()r
2
+ (17/24)r + (115/288)

En general, cuando f(r) es de la forma de un polinomio de grado t en r

1
1
2 1
...
+

+ + + +
t t
t t
F r F r F r F

la solucin particular ser de la forma

1
1
2 1
...
+

+ + + +
t t
t t
P r P r P r P

Ejemplo:
Encontrar la solucin particular para la relacin de recurrencia

) ( 1 2 3 6 5
2
2 1
i r r a a a
r r r
+ = + +


-40-

la solucin particular es de la forma

) (
3 2
2
1
ii P r P r P + +

donde P
1
, P
2
y P
3
son constantes. Al sustituir la expresin (ii) en el lado izquierdo de (i), obtenemos

=3r
2
2r+1

lo cual puede simplificarse como

12P
1
r
2
(34P
1
12P
2
)r + (29P
1
17P
2
+ 12P
3
) = 3r
2
2r + 1 (iii)

Sustituyendo (iii) en la parte derecha de (i) se obtienen las ecuaciones:
12P
1
= 3
34P
1
- 12P
2
= 2
29P
1
- 17P
2
+ 12P
3
= 1

de lo cual se obtiene
P1 =
P2 = (13/24)
P3 = (71/288)

Por lo tanto la solucin particular es:
( ) p
r
a = ()r
2
+ (13/24)r + (71/288)

Ejemplo:
Encontrar la solucin particular para la relacin de recurrencia.

1 6 5
2 1
= +
r r r
a a a

Puesto que f (r) es una constante la solucin particular tambin lo ser, dicha constante es P.
Sustituyendo P en la ecuacin, obtenemos

P 5P + 6P = 1
Esto es 2P = 1 o bien
( ) p
r
a =

Ejemplo:
Encontrar la solucin de recurrencia para la siguiente relacin de recurrencia.

r
r r r
a a a 4 42 6 5
2 1
= + +



La forma general ser la solucin particular es

P4
r
(ii)

Sustituyendo (ii) en el lado derecho de (i) se tiene que

P4
r
+ 5P4
r-1
+ 6P4
r-2
-41-


lo cual se simplifica como

(21/8)P4
r
(iii)

Comparando (iii) con el lado derecho de (i), se tiene que:
(21/8)P = 42
P = 16

Por lo tanto la solucin particular es:

( ) p
r
a = 16 4
r


Ejemplo:
Encontrar la solucin particular para la relacin de recurrencia

a
r
+ a
r-1
= 3r2
r
(i)

La forma general para la solucin particular es

(P
1
r + P
2
)2
r
(ii)

Al sustituir (ii) en (i) se obtiene que :

(P
1
r + P
2
)2
r
+ [P
1
(r - 1) + P
2
]2
r-1
= 3r2
r


La cual se simplifica como:

2
3
P
1
r2
r
+ (- P
1
+
2
3
P
2
)2
r
(iii)

Al compara (iii) con el lado derecho de (i) se obtienen las siguientes ecuaciones.
2
3
P
1
= 3
- P
1
+
2
3
P
2
=0

As
P
1
= 2 y P
2
=
3
2

y la solucin particular es
( ) p
r
a = (2r +
3
2
)2
r

Ejercicios:
Encontrar las soluciones particulares para cada relacin de recurrencia.
a) a
r
+ a
r-1
= 3r2
r
(P
1
r + P
2
)2
r

b) a
r
2a
r -1
= 32r Pr2
r

c) a
r
4a
r -1
+ 4a
r-2
= (r + 1)2
r
r
2
(P
1
r + P
2
)2
r

d) a
r
= 4a
r-1
+ 7 Pr
e) a
r
2a
r-1
+ a
r-2
= 7 Pr
2

f) a
r
5a
r-1
+ 6a
r-2
2 = 2
r
+ r P
1
r2
r
+ P
2
r + P
3

-42-

SOLUCIONES TOTALES

Ahora se deben de combinar la solucin homognea y la solucin particular y determinar los
coeficientes indeterminados de la solucin homognea. Para una relacin de recurrencia de k-simo
orden, los k coeficientes indeterminados

A
1
, A
2
, A
3
, ..., A
k


de la solucin homognea puden determinarse mediante los valores iniciales:

1 1
0 0 0
,..., ,
+ + k r r r
a a a
para cualquier r
o


Si todas las races de la ecuacin de recurrencia son distintas, la solucin total es de la forma

) ( ...
2 2 1 1
r p A A A a
r
k k
r r
r
+ + + + =

donde p(r) es la solucin particular.

As para 1 ,..., 1
0 0
+ + = k r r r , se tiene el siguiente sistema de ecuaciones lineales
) 1 ( ...
.
.
.
) 1 ( ...
) ( ...
1 1
2 2
1
1 1 1
1 1
2 2
1
1 1 1
2 2 1 1
+ + + + + + =
+ + + + + =
+ + + + =
+ + + + + +
+ +
+ + +
+
k r p A A A a
r p A A A a
r p A A A a
o
k r
k k
k r k r
k r
o
r
k k
r r
r
o
r
k k
r r
r
o o o
o
o o o
o
o o o
o




Estas k ecuaciones pueden resolverse para

A
1
, A
2
, A
3
, ... , A
k


Ejemplo:
Sea la ecuacin de recurrencia:



La solucin homognea es:



y la solucin particular es

) (h
r
a = 16 4
r


Y ahora supongamos que nos dan los valores iniciales (condiciones de frontera) a
2
= 278 y a
3
= 962
-43-


Entonces la solucin total es



Sustituyendo los valores se tiene que
278 = 9A
1
+ 4A
2
+ 256
962 = -27A
1
- 8A
2
+ 1024

Donde se obtiene que
A
1
= 2 y A
2
= 1

As
a
r
= 2(-3)
r
+ (-2)
r
+164
r

Ejemplo:
Encontrar la solucin total de la siguiente relacin de recurrencia

a
r
7a
r-1
+ 10a
r-2
= 3
r


con los valores iniciales

a
o
= 0 y a
1
=1

La solucin homognea para dicha relacin de recurrencia es


) (h
r
a = A
1
(2)
r
+ A
2
(5)
r


y la solucin particular es
) (h
r
a = (-9/2)3
r


entonces la solucin total es

a
r
= A
1
(2)
r
+ A
2
(5)
r

(9/2)3
r


Ahora sustituyendo los valores iniciales se tiene que

0 = A
1
+ A
2
9/2
1= 2A
1
+ 5A
2
27/2

Donde se obtiene que

A
1
= 8/3 y A
2
= 11/6

Entonces la solucin total que finalmente como sigue:

a
r
= 8/3(2)
r
+ 11/6(5)
r
(9/2)3
r


-44-

PRINCIPIOS DE CONTEO

REGLAS DE LA SUMA Y EL PRODUCTO

Definicin:
Para cualquier conjunto finito S, se escribe | S | para denotar la cantidad de elementos de dicho
conjunto, de esta manera | S | = | T | precisamente cuando S y T son del mismo tamao.

Observemos que:
| | = 0 y |{1, 2, 3, ... , n} | = n n
+


Regla de la Suma (Regla de la Unin)
Si S y T son dos conjuntos finitos:

a) Si S y T son disjuntos, es decir, S T = , entonces | S T | = | S | + | T |
b) En general | S T | = | S | + | T | | S T |

La razn intuitiva por la que se cumple b) es que cuando calculamos | S | + | T | se estn contando dos
veces los elementos de S T, por lo que debemos restar | S T | de la suma de | S | + | T | para obtener
| S T |.

Ejemplos:
a) En una escuela 20 alumnos toman clases de computacin, 30 fsica y 7 de ellos toman ambas.
Cuntos alumnos hay en total?

Sea C el conjunto de los alumnos que toman la clase de computacin y sea F el conjunto de los
alumnos que toman la clase de fsica. Aplicando la regla de la suma tenemos que:

| C F | = | C | + | F | | C T |
= 20 + 30 7
= 43
Es decir, en total hay 43 alumnos.

b) Cuntos enteros en S = {1, 2, 3, ..., 1000} son divisibles por 3 o 5?
Sean:
D3 = {n S | n es divisible por 3}
D5 = {n S | n es divisible por 5}

Buscamos el nmero de elementos en D3 D5, que no es obvio. Puede verse que |D3|=333; basta
dividir 1000 entre 3 y redondear. De la misma manera |D5|=200. Adems |D3 D5| = |D15| = 66.

Por b) de la Regla de la Suma tenemos que:

| D3 D5 | = 333 + 200 66 = 467 nmeros enteros que son divisibles por 3 o 5.

-45-

c) La biblioteca de una universidad tiene 40 libros de texto de sociologa y 50 de antropologa. Por a)
de la Regla de la Suma, un estudiante de esta universidad puede elegir entre 40 + 50 libros de texto
para aprender acerca de alguno de estos temas.

d) Un instructor de ciencias de la computacin tiene cinco libros de cada uno de los siguientes
lenguajes de programacin: Basic, Fortran, C, Pascal, por lo que puede recomendar cualquiera de estos
veinte libros a un estudiante interesado en aprender un lenguaje de programacin.

Ahora, el ejemplo anterior muestra que se puede generalizar esta regla.

As

| A B C | = | (A B) C |
= |(A B) | + | C | - | (A B) C |
= | A | + | B | - | A B | + | C | - |( A C ) ( B C )|
= | A | + | B | - | A B | + | C | - | A C | - | B C | + |( A C ) ( B C )|
= | A | + | B | + | C | - | A B | - | A C | - | B C | + | A B C |

y en general:

Si A
1
, , A
n
son n conjuntos finitos con cardinalidades | A
1
| , . . . , | A
n
|, se verifica que:

n
n
n
k j i
k j i
k j i
n
j i
j i
j i
n
i
i
n
i
i
A A A A A A A A A + + =

< <
=
<
= = =

... ) 1 ( ...
1
1
1 , , 1 , 1 1

Ahora bien, si A = { A
1
, A
2
, . . . , A
n
} son una particin del conjunto A, entonces el principio se reduce
a:

| A | = | A
1
| + | A
2
| + . . . + | A
n
|, o bien | A
1
A
2
. . . A
n
| = | A
1
| + | A
2
| + . . . + | A
n
|

Regla del Producto (Principio de Eleccin)

Para conjuntos finitos S y T se tiene que | S T | = | S | | T | ya que S T = { ( s, t ) | s S y t T } y
para cada una de las | S | selecciones de s en S hay | T | elecciones para t en T.

Ejemplo:
Sean S = {1, 2} y T = {a, b, c}, entonces | S | = 2 y | T | = 3, por lo que:

| S T | = | S | | T | = 2 3 = 6, dichos elementos son:
S T = {(1, a ), (1, b), (1, c), (2, a), (2, b), (2, c)}

Regla del Producto
a) Para conjuntos finitos S
1
, S
2
, . . S
k
se tiene que:

=
=
k
j
j k
S S S S
1
2 1
...

-46-

b) De manera ms general, supongamos que un conjunto dado puede verse como k-adas ordenadas
(s
1
,...,s
k
) con la siguiente estructura: Hay n
1
elecciones posibles S
1
. Dado S
1
hay n
2
elecciones
posibles S
2
. Dados S
1
y S
2
hay n
3
elecciones posibles de S
3
. En general dados S
1
,.... S
j-1
, hay n
j

elecciones posibles S
j
. Entonces el conjunto tiene n
1
n
2
. . . n
k
elementos.

Ejemplos:
a) Calculemos el nmero de maneras distintas de seleccionar 5 cartas con reemplazo de una baraja de
52 cartas. As procedemos a contar quintillas ordenadas de cartas de la baraja. Con reemplazo
significa que cada carta se regresa a la baraja antes de sacar la nueva carta. El conjunto de formas
de seleccionar 5 cartas con reemplazo esta en correspondencia uno a uno con D D D D D =
D
5
, donde D es el conjunto de cartas de 52 elementos. Por lo tanto, por a) de la regla del producto,
el conjunto tiene 52
5
elementos. Tambin este problema puede resolverse utilizando b) de la misma
regla. Hay 52 maneras de seleccionar la primera carta. Despus al regresar la carta hay 52 maneras
de seleccionar la segunda y as sucesivamente, por lo tanto hay 52 52 52 52 52 formas de
seleccionar cinco cartas con reemplazo.

b) Calculemos ahora la forma de seleccionar 5 cartas distintas sin reemplazo de una baraja de 52 cartas.
Sin reemplazo significa que una vez seleccionada una carta ya no es posible regresarla a la baraja.
Esta vez a) de la regla del producto no puede aplicarse, ya que estn prohibidas las quintillas donde
se repita una carta. Sin embargo podemos aplicar la regla b) del producto. La primera carta puede
seleccionarse de 52 maneras. Una vez seleccionada, la segunda carta puede elegirse de 51 maneras.
La tercera puede escogerse de 50 formas, la cuarta de 49 y la quinta de 48. De manera que para
elegir 5 cartas sin reemplazo existen 52 51 50 49 48 formas diferentes.

c) El club de teatro de la Universidad realiza ensayos para una obra de teatro que se montar el
prxima ao. Si seis hombres y ocho mujeres ensayan para los papeles principales (masculino y
femenino), por la regla del producto, el director puede elegir a la pareja principal de 6 8 = 48
formas diferentes.

d) En una fabrica de placas de automvil, cada placa consta de dos letras y cuatro dgitos:
i) Si ninguna letra o dgitos se pude repetir habr:
27 26 10 9 8 7 = 3'538,080 placas posibles diferentes.

ii) Si se permite repetir las letras y los dgitos ser posible tener:
27 27 10 10 10 10 = 7'290, 000 placas diferentes.

iii) Si no permite que dos dgitos juntos se repitan, entonces habr:
27 27 10 9 9 9 = 5'314,410 placas diferentes.

-47-

RECURSOS DE CONTEO: LISTAS Y RBOLES

Para ver estos recursos ser ms fcil si empezamos con un

Ejemplo:
En el men de un restaurante se tienen dos entradas, tres platos principales y cuatro bebidas

Cuntas posibles combinaciones de comidas diferentes constan de un plato principal y una bebida?

Primeramente veamos el men:

Entrada Plato Principal Bebidas
Nachos (N) Hamburguesa (H) Te (T)
Ensalada (E) Hamburguesa con queso (Q) Leche (L)
Filete de Pescado (F) Caf (C)
Cerveza de Raz (R)

Si listamos todas las posibles comidas que constan de un plato principal y una bebida

HT, HL, HC, HR,
QT, QL, QC, QR,
FT, FL, FC, FR

se ve que hay 12 comidas diferentes. Ya que hay 3 platos principales y 4 bebidas, por la regla del
producto 3 4 = 12 comidas diferentes.

Adems existen 24 comidas diferentes que constan de una entrada, un plato principal y una bebida, las
cuales son:

NHT, NHL, NHC, NHR, NQT, NQL,
NQC, NQR, NFT, NFL, NFC, NFR
EHT, EHL, EHC, EHR, EQT, EQL,
EQC, EQR, EFT, EFL, EFC, EFR

Y se observa que como hay dos entradas, tres platos principales y cuatro bebidas, se tiene, que por la
regla del producto, existen 2 3 4 = 24 comidas diferentes.

Se pueden representar las posibles comidas no solamente por listas que sirven para enumerar las
posibles opciones, tambin se pueden representar mediante rboles, como se muestra a continuacin.



En la figura anterior se representan las 12 posibles opciones de elegir una comida que conste de un
plato principal y de una bebida.
-48-


En cambio el siguiente rbol muestra las 24 diferentes opciones que constan de una entrada, un plato
principal y una bebida.



-49-

PERMUTACIONES Y COMBINACIONES

Una permutacin de objetos implica orden mientras que una combinacin no toma el orden de los
objetos considerados.

Definicin:
Dado un conjunto que contiene n elementos distintos X = {x
1
, x
2
, ... , x
n
}
a) Una permutacin de X es una ordenacin de los n elementos x
1
, x
2
, ... x
n

b) Una permutacinr ( r-permutacin) de X donde r n, es una ordenacin de un subconjunto de
r elementos de X.
c) El nmero de permutaciones-r de un subconjunto de n elementos distintos se denota P(n, r) nPr.
d) Una combinacin-r (r-combinacin) es una seleccin no ordenada de r elementos de X, es decir,
un subconjunto de r elementos de X.
e) El nmero de combinaciones-r de un conjunto de n elementos distintos y se denota C(n, r)

r
n
nCr.

Ejemplo:
Sea X = {a, b, c}
Algunas permutaciones de X son: abc, acb, bac
Algunas permutaciones-2 de X son: ab, ba, ca
Algunas combinaciones-2 de X son: {a, b}, {a, c}, {b, c}

Teorema:
El nmero de permutaciones-r de un conjunto de n objetos distintos es

P(n, r) =(n)(n 1)(n 2)...(n r +1)

La demostracin es directa aplicando la regla b) del producto.

Por este teorema el nmero de permutaciones-2 de X = {a, b, c} es 6, las cuales son:

ab, ac, ba, bc, ca, cb

Tambin por este Teorema el nmero de permutaciones en un conjunto de n elementos es

P(n, n) = (n)(n 1)(n 2)...(3)(2)(1) = n!

Obsrvese que P(n, r)(n - r)! = n!, por lo que

P(n, r) = (n)(n 1)...(n r + 1)

)! (
!
) 1 )( 2 )...( (
) 1 )( 2 )...( )( 1 )...( 1 )( (
r n
n
r n
r n r n n n

+
=

Ejemplos:
a) De cuntas maneras se puede seleccionar un presidente, un vicepresidente, un secretario y un
tesorero entre un grupo de 10 personas .
-50-

La respuesta es P(10, 4) = 10! / (10 - 4)! = 5,040 bien 10 9 8 7 = 5,040 maneras diferentes.

b) De cuntas formas puede formarse en una fila 7 mexicanos distintos y 5 gringos distintos si
ninguna pareja de gringos puede estar junta?

Podemos formar a los mexicanos y a los gringos mediante un proceso de dos partes. Formando a
los mexicanos y a los gringos. Los mexicanos pueden formarse de 7! = 5040 maneras. Una vez
formados los mexicanos, como ninguna pareja de gringos puede estar junta, los gringos tienen 8
posiciones en las cuales formarse, es decir:

_ M
1
_ M
2
_ M
3
_ M4 _ M
5
_ M
6
_ M
7
_

As los gringos pueden formarse de P(8, 5) = 6,720 maneras. Por la regla del producto tenemos que
5,040 6720 = 33'868,800 maneras diferentes de formarlos.

c) Se quieren colocar 3 pelotas de color rojo, azul y blanco en cajas numeradas con 1, 2, ... , 10.
Deseamos conocer el nmero de maneras distintas en que las pelotas pueden ser colocadas en cajas,
si cada caja es capaz de contener slo una pelota.

Coloquemos las pelotas una a la vez, iniciando con la pelota roja, luego la azul y despus la blanca.
Puesto que la pelota roja puede colocarse en cualquiera de las 10 cajas, la azul en cualquiera de las
9 restantes y la blanca en cualquiera de las 8 restantes, el nmero total de maneras distintas de
colocar estas pelotas es 10 9 8 = 720.

d) De cuantas maneras pueden ser programados tres exmenes dentro de un periodo de 5 das, de
modo que el mismo da no sean programados 2 exmenes?

Si consideramos que P(n, r) =(n)(n -1)(n - 2)...(n - r +1) = P(5, 3) = 5 4 3 = 60 maneras distintas
de programas los exmenes.

e) Cuntas permutaciones de las letras ABCDEF contienen la subcadena DEF?

Para garantizar la presencia del patrn DEF en la subcadena, estas 3 letras deben estar juntas y en
ese orden. Las letras A, B y C pueden colocarse de manera arbitraria. As es como tener 4
elementos diferentes, por lo que la respuesta es P(4, 4) = 4!.

f) Cuntas permutaciones de las letras ABCDEF contiene las letras DEF juntas, pero en cualquier
orden?

Se puede resolver este problema en dos pasos. Primero se elige un ordenamiento para las letras
DEF, es decir, se pueden tener P(3, 3) = 3! = 6 formas distintas de ordenar dichas letras, el segundo
paso puede realizarse de P(4, 4) = 4! = 24, ya que se considera cualquiera de las ordenaciones del
primer paso como un elemento, ms A, B y C. Y por la regla del producto la respuesta es 6 24 =
144, permutaciones de dichas letras.

g) Supongamos que una caja puede contener tantas pelotas como se quiera. Se quieren colocar 3
pelotas de colores diferentes en 10 cajas con numeracin distinta. La primer pelota puede colocarse
en cualquiera de las 10 cajas, como puede hacerse con la segunda y tercera pelotas, por lo que el
nmero total de colocaciones diferentes es 10 10 10 = 1,000 maneras diferentes de acomodar las
pelotas.
-51-


En general, hay n
r
maneras de colocar r pelotas de colores dentro de n cajas numeradas, si una caja
puede contener tantas pelotas como queramos.

Ahora regresemos con las combinaciones.

En problemas de conteo donde el orden es importante, las permutaciones-r son claramente relevantes.
Muchas veces el orden no es importante en cuyo caso la habilidad para contar conjuntos adquiere
importancia. Sabemos que un conjunto S con n elementos tiene en total 2
n
subconjuntos. Para 0 r n
sea

r
n
el nmero de subconjuntos de S con r elementos. El nmero

r
n
se llama coeficiente binomial
y se lee "n en r", en ocasiones se le llama el nmero de combinaciones de n objetos, tomando r a la vez.

Teorema:
Para 0 r n tenemos que
! )! (
!
r r n
n
r
n

Demostracin:
Sea S un conjunto con n elementos. Para cada subconjunto de T en S elementos, hay r! permutaciones
de S que utilizan elementos de T. Por lo tanto hay ! r
r
n

permutaciones de S en total, es decir:

)! (
!
) , P( !
r n
n
r n r
r
n

= =

Por lo tanto
! )! (
!
r r n
n
r
n

Ejemplos:
a) Cuntas manos de poker hay en una baraja de 52 cartas?

Hay

5
52
= 2'598,960 manos de poker.

b) Se quieren colocar 3 pelotas, todas ellas del mismo color, en 10 cajas que estas numeradas 1, 2,...,10.
Nuestro objetivo es conocer el nmero de maneras distintas en que las pelotas pueden distribuirse, si
cada caja puede contener slo una pelota.

La respuesta es

3
10
= 120 maneras distintas de colocar las pelotas.

c) Una ama de cada desea programar cenas de espagueti 3 veces a la semana.
La cantidad de maneras distintas de programarlas es

3
7
= 35.
-52-


d) Un grupo de 5 estudiantes: Mary, Boris, Rosa, Ahmad y Nora, han decidido hablar con el jefe del
Departamento de Matemticas para que el departamento ofrezca ms cursos de Matemticas
Discretas. El jefe ha avisado que hablar solamente con 3 estudiantes en su oficina. De cuntas
maneras pueden elegir estos 5 estudiantes 3 de ellos para hablar con el jefe del Departamento?.

La respuesta es

3
5
= 10 maneras diferentes.

e) De cuantas formas puede elegirse un comit de 3 personas de entre un grupo de 10 personas
distintas?.

En total se tienen

3
10
= 120
maneras distintas de elegirlas.

f) De cuntas maneras distintas puede elegirse un comit de dos mujeres y tres hombres de un grupo
de cinco mujeres distintas y seis hombres distintos?.
Las mujeres pueden elegirse de

2
5
= 10 formas y los hombre pueden elegirse de

3
6
= 20 formas.
Y por la regla del producto tenemos que el nmero total de comits es 10 20 = 200.

g) Cuntas cadenas de 8 bits contiene exactamente 4 unos?

La respuesta es

4
8
= 70

formas o cadenas diferentes.

-53-

PERMUTACIONES Y COMBINACIONES GENERALIZADAS

Teorema:
Supngase que una sucesin S de n objetos tiene n
1
objetos idnticos del tipo 1, n
2
objetos idnticos del
tipo 2, . . . , n
t
objetos idnticos del tipo t. Entonces el nmero de ordenaciones de S es:
! !... !
!
2 1 t
n n n
n


Demostracin:
Se asignan las posiciones de cada uno de los n objetos para crear un orden de S. Es posible asignar las
posiciones de los n1 objetos del tipo 1 en C(n, n
1
) formas. Una vez realizada estas asignacin, pueden
asignarse las posiciones de los n
2
objetos del tipo 2 en C(n - n
1
, n
2
) maneras, etc. Por lo tanto

! !... !
!
! 0 !
)! ... (
...
)! ( !
)! (

)! ( !
!
...
...
2 1
1 2 1
2 1 2
1
1 1
1 2 1
3
2 1
2
1
1
t
t
t
t
t
n n n
n
n
n n n n
n n n n
n n
n n n
n
n
n n n n
n
n n n
n
n n
n
n
=

Ejemplos:
a) De cuntas maneras es posible ordenar las siguiente letras ?

MISSISSIPPI

Debido a la repeticin de algunas letras, la respuesta no es 11!, pero si un nmero menor a 11!.

Consideremos el problema de llenar 11 espacios en blanco

_ _ _ _ _ _ _ _ _ _ _

con las letras dadas. Hay

2
11
maneras de escoger posiciones para las dos letras P. Una vez
seleccionadas las dos P, existen

4
9
manera de elegir posiciones para las cuatro S. Una vez
seleccionas las posiciones para las letras S, hay

4
5
maneras de escoger lugares para las letras I.
Una vez realizadas estas elecciones, queda un nico lugar para ser llenado por la letra M. Por el
Teorema anterior, directamente existen
650 , 34
! 1 ! 4 ! 4 ! 2
! 11
=

maneras de ordenar dichas letras.

-54-

b) De cuntos modos se pueden repartir ocho libros distintos entre tres estudiantes si Guillermo recibe
cuatro libros, en tanto que Maria y Silvia reciben 2 cada una.

Sea G = Guillermo, S = Silvia y M = Maria.
Unos ejemplos de ordenacin serian GGGGSSMM, GGGSMGMS, MMSSGGGG, etc.

Cada uno de estos ordenamientos determina una distribucin de libros. Por lo que existen
420
! 2 ! 2 ! 4
! 8
=
maneras de repartir los libros.

c) De cuantas maneras pueden formarse tres comits distintos de un grupo de 20 personas, si los
comits deben tener 3, 5 y 7 personas respectivamente?
La respuesta es
9
10 587 . 5
! 5 ! 7 ! 5 ! 3
! 20


d) Una partida de Bridge es una particin ordenada de 52 cartas que comprende 4 conjuntos de 13
cartas cada uno. Por lo tanto hay

28
4
10 3645 . 5
) ! 13 (
! 52
! 13 ! 13 ! 13 ! 13
! 52
= =

partidas de Bridge.

e) De cuntas maneras posibles pueden distribuirse 12 estudiantes en 3 grupos, con 4 estudiantes cada
grupo, de manera que un grupo estudie un tema, el otro un tema diferente y el tercero otro diferente
a los dos anteriores?

En total hay
650 , 34
) ! 4 (
! 12
! 4 ! 4 ! 4
! 12
3
= =

posibles maneras de distribuir a los estudiantes.

f) De cuntas maneras pueden distribuirse 19 estudiantes en 5 grupos, 2 grupos de 5 y 3 grupos de 3,
de manera que cada grupo estudie un tema distinto?

En total hay
10
3 2
10 911 . 3
) ! 3 ( ) ! 5 (
! 19
! 3 ! 3 ! 3 ! 5 ! 5
! 19
=

posibles maneras de distribuir a los estudiantes.

g) De cuntas formas es posible hacer una particin de un conjunto de 100 elementos en 50 conjuntos
diferentes de 2 elementos cada uno?


-55-

La respuesta es
142
50
50
10 28903 . 8
2
! 100
! 2 ! 2 !... 2 ! 2 ! 2
! 100
= =

veces
formas posibles.

De forma ms general puede enunciarse el mismo problema de la siguiente manera De cuntas
formas es posible hacer una particin de un conjunto con 2n elementos en n conjuntos de 2
elementos cada uno?.

Entonces la respuesta es
n
veces n
n n
2
)! 2 (
! 2 ! 2 !... 2 ! 2 ! 2
)! 2 (

=

formas posibles.

Teorema:
Si X es un conjunto que contiene n elementos, entonces el nmero de selecciones de r elementos, no
ordenadas, con repeticiones permitidas y tomando del conjunto X es:

+
=

+
1
1 1
n
n r
r
n r

NOTA:
Es posible que r sea mayor que n cuando se permiten repeticiones.

Ejemplos:
a) Supngase que se tienen 3 pilas de pelotas rojas, azules y verdes y cada una contiene al menos 8
pelotas.
i) De cuntos modos se pueden seleccionar 8 pelotas?
ii) De cuntas maneras de pueden seleccionar 8 pelotas si se debe tener al menos una de cada color?

Por el Teorema anterior, el nmero de formas para elegir 8 pelotas es:

45
2
10
1 3
1 3 8
=

+


Tambin se puede aplicar el Teorema para resolver la parte ii). Si se selecciona una pelota de cada
color. Para completar la eleccin, deben escogerse 5 pelotas ms. Esto se puede hacer de

21
2
7
1 3
1 3 5
=

+

formas diferentes.

b)De cuntas maneras es posible colocar 10 canicas rojas en 5 bolsas? La respuesta es
001 , 1
4
14
1 5
1 5 10
=

+


maneras posibles.



-56-

c) De cuntas maneras es posible seleccionar 10 monedas de un abasto ilimitado de monedas de
cincuenta, cien, doscientos y quinientos pesos?
Entonces es posible seleccionar

286
3
13
1 4
1 4 10
=

+


formas distintas.

d) De cuntas formas pueden distribuirse 12 libros idnticos de matemticas discretas entre 4
estudiantes.
En total se pueden distribuir
455
3
15
1 4
1 4 12
=

+


formas diferentes.

e) Cuntas soluciones enteras no negativas tiene la ecuacin x
1
+ x
2
+x
3
+ x
4
= 29

Cada solucin es equivalente a elegir 29 elementos x
i
del tipo i, i = 1, 2, 3, 4.El nmero solucin es

960 , 4
3
32
1 4
1 4 29
=

+

.
f) Una tienda ofrece 20 tipos de donas. Si suponemos que al menos hay una docena de cada tipo
cuando entramos a la tienda, podemos elegir una docena de donas de

525 , 120 ' 141
19
31
1 20
1 20 12
=

+

















-57-

PRINCIPIOS

PRINCIPIO DE EXCLUSIN-INCLUSIN

El principio de exclusin-inclusin nos dir el tamao de una unin en trminos de varias
intersecciones. Sean A
1
, A
2
, . . . , A
n
conjuntos finitos. Para n = 2 la regla de la unin afirma que:

| A
1
A
2
| = | A
1
| + | A
2
| | A
1
A
2
|

para n = 3 el principio de exclusin-inclusin afirma que:

| A
1
A
2
A
3
| = | A
1
| + | A
2
| + | A
3
| | A
1
A
2
|
| A
1
A
3
| | A
2
A
3
| + | A
1
A
2
A
3
|
y para n = 4

| A
1
A
2
A
3
A
4
| = | A
1
| + | A
2
| + | A
3
| + | A
4
| | A
1
A
2
|
| A
1
A
3
| | A
1
A
4
| | A
2
A
3
| | A
2
A
4
|
| A
3
A
4
| + | A
1
A
2
A
3
| + | A
1
A
2
A
4
| +
| A
1
A
3
A
4
| + | A
2
A
3
A
4
|
| A
1
A
2
A
3
A
4
|

Definicin:
Para calcular el tamao de A
1
A
2
. . . A
n
debemos calcular el tamao de todas las posibles
intersecciones de conjuntos {A
1
, A
2
, . . . , A
n
} sumar los resultados obtenidos al intersectar un numero
impar de conjuntos y restar los resultados obtenidos al intersectar un nmero par de conjuntos.

Los trminos "exclusin-inclusin" indican que hay que incluir o sumar los tamaos de los conjuntos,
despus excluir o restar los tamaos de las intersecciones de dos conjuntos, luego incluir o sumar los
tamaos de todas las intersecciones de tres conjuntos, etc., es decir:

n
n
n
k j i
k j i
k j i
n
j i
j i
j i
n
i
i
n
i
i
A A A A A A A A A + + =

< <
=
<
= = =

... ) 1 ( ...
1
1
1 , , 1 , 1 1

Ejemplos:
a) Cuntos nmeros hay del 50 al 12,000, excluyendo los mltiplos de 3 y de 5?. Es fcil equivocarse.
Intentemos organizarnos: Del 50 al 12,000 hay 12,000 - 50 + 1 = 11,951 nmeros. Tendramos que
restar de esta cantidad, los que son mltiplos de 3 o de 5.

Si llamamos N3 al conjunto de los mltiplos de 3 entre el 50 y el 12,000 y N5 al de los mltiplos de
5, y si con | A | indicamos la cantidad de elementos que tiene A, la solucin a nuestro problema es
11,951 - | N3 N5 |.

Ahora: | N3 N5 | = | N3 | + | N5 | - |N3 N5|.

Notemos que ser mltiplo de 3 y de 5 es lo mismo que ser mltiplo de 15, entonces sea N15 el
conjunto de los mltiplos de 15 entre 50 y 12,000.
-58-


Adems que | Nk

| (12,000 / k) - (49 / k), la divisin es entera. Entonces:

| N3 | = (12,000/3) - (49/3) = 4,000 - 16 = 3,984,
| N5 | = (12,000/5 ) - (49/5) = 2,400 - 9 = 2,391 y
| N15 | = (12,000 / 15 ) - (49 / 15) = 800 - 3 = 797.

As, | N3 N5 | = 3,984 + 2,391 - 797 = 5,578, y la cantidad buscada es 11,951 - 5,578 = 6,373.

b) Contemos el nmero de enteros en S = {1, 2, 3, ..., 2000} que son divisibles por 9, 11, 13 15. Para
cada k
+
hacemos | Dk | = {n S | n es divisible por k} y buscamos |D9 D11 D13 D15|.
Ntese que | Dk | (2000 / k), divisin entera. Por lo tanto:

|D9| = 222 |D11| = 181
|D13| = 153 |D15| = 133
|D9 D11| = |D99| = 20 |D9 D13| = |D117| = 17
|D9 D15| = |D45| = 44 |D11 D13| = |D143| = 13
|D11 D15| = |D165| = 12 |D13 D15| = |D195| = 10
|D9 D11 D13| = |D1287| = 1 |D9 D11 D15| = |D495| = 4
|D9 D13 D15| = |D585| = 3 |D11 D13 D15| = |D2145| = 0
|D9 D11 D13 D15| = |D6435| = 0

Obsrvese, por ejemplo, que D9 D15 = D45 y no D135, ya que el mcm(9,15) = 45.
Ahora por el principio de exclusin-inclusin tenemos que:

|D9 D11 D13 D15| = 222 + 181 + 153 + 133 -
(20 + 17 + 44 + 13 + 12 + 10) +
(1 + 4 + 3 + 0) - 0 = 581

enteros en S = {1, 2, 3, ..., 2000} que son divisibles por 9, 11, 13 15.

c) Supongamos que tenemos seis computadoras con las siguientes especificaciones:

Computadora
Quemador
(A1)
Procesador PIV
(A2)
Pantalla Plana
(A3)
I SI SI NO
II SI SI SI
III NO NO NO
IV NO SI SI
V NO SI NO
VI NO SI SI

Cuntas computadoras tienen uno o ms de los 3 tipos de hardware?

Por el principio de exclusin-inclusin tenemos que:

-59-

| A1 | = 2 | A2 | = 5 | A3 | = 3
| A1 A2 | = 2 | A1 A3 | = 1 | A2 A3 | = 3
| A1 A2 A3 | = 1

Por lo que
| A1 A2 A3 | = 2 + 5 + 3 - 2 - 1 - 3 + 1 = 5

computadoras que tienen uno o ms tipos de hardware.

d) De 200 estudiantes 50 toman el curso de matemticas discretas, 140 el curso de economa y 24
ambos. Como ambos cursos programaron exmenes para el da siguiente, slo los estudiantes que
no estn en ninguno de estos curso podrn ir a la fiesta de la noche. Se quiere ver cuntos
estudiantes irn a la fiesta.

Sea A1 = Estudiantes de matemticas discretas y A2 = Estudiantes de economa. Por el principio de
exclusin-inclusin se tiene que:

| A1 A2 | = 50 + 140 - 24 = 166 estudiantes que toman uno o ambos cursos. En consecuencia
200166 = 34 estudiantes son los que irn a dicha fiesta.

e) Determine el nmero de enteros positivos n tales que 1 n 100 y n no es divisible entre 2, 3 5.

Sean:
D2 = Nmeros divisibles entre 2
D3 = Nmeros divisibles entre 3
D5 = Nmeros divisibles entre 5

| D2 | = 50 | D3 | = 33 | A5 | = 20
| D2 D3 | = | D6 | = 16 | D2 D5 | = | D10 | = 10 | D3 D5 | = | D15 | = 6
| D2 D3 D5 | = | D30 | = 3

Aplicando el principio de exclusin-inclusin tenemos que

| D2 D3 D5 | = 50 + 33 + 20 - 16 - 10 - 6 + 3 = 74

Por lo tanto 100 - 7 4 = 26 nmero que no son divisibles entre 2, 3, 5.

Estos nmeros son 1, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 49, 53, 59, 61, 67, 71, 73, 77, 79,
83, 89, 91, 97

-60-

PRINCIPIO DE DIRICHLET

El principio de Dirichlet permite en muchas ocasiones concluir que el nmero de elementos de un
conjunto es cero, o lo que es lo mismo que el conjunto cuya cardinalidad estamos buscando es vaci.

Consideremos el siguiente problema: Si se introducen n palomas a un palomar con k nidos, k < n, al
menos en un nido habr 2 o ms palomas. Esta versin del principio del Dirichlet se conoce como
"Principio del Palomar "o " Principio de la Pichonera ".

Imaginemos 21 palomas introducindose en los 20 nidos de un palomar. Es claro que al menos dos de
las palomas se metern en el mismo nido.

Este principio no nos dice como localizar el nido que contiene 2 o ms palomas. Slo afirma la
existencia de un nido con 2 o ms palomas.

Para aplicar ese principio debemos decir cuales objetos juegan el papel de las palomas y cuales juegan
el papel de los nidos.

Ejemplos:
a) En un conjunto de 32 personas al menos 2 celebran su cumpleaos el mismo da del mes.

Si consideramos a las personas como palomas y a los das del mes como los nidos y aplicamos el
principio de Dirichlet, al menos dos o ms personas cumplirn aos el mismo da del mes.

b) Los nombres de 10 personas son Alice, Bernard, Charles, mientras que sus apellidos son Lee,
McDuff, Montana, entonces al menos 2 personas tienen el mismo nombre y apellido.
Hay 9 nombres y apellidos diferentes que seleccionar, pero son diez personas en total.

Si consideramos a las 10 personas como las palomas y a los nombres y apellidos como los nidos
por el principio de Dirichlet al menos dos personas tienen el mismo nombre y apellido.

c) Juan regresa de la lavandera con 12 pares de calcetines, ( cada par de distinto color) en una bolsa, al
sacar cada calcetn de la bolsa aleatoriamente tendr que sacar cuando mucho trece calcetines para
obtener el par.

d) Vilma opera una computadora que tiene una unidad de cinta magntica para respaldar la
informacin. Un da le dan una cinta que contiene 600,000 "palabras" de cuatro o menos letras
minsculas. En la cinta las palabras consecutivas se separan con un carcter en blanco. Puede
suceder que las 600,000 palabras sean distintas entre s?.

A partir de las reglas del reglas del producto y de la suma, el nmero total de palabras distintas
posibles, de cuatro o menos letras es:

27
4
+ 27
3
+ 27
2
+ 27 = 551,880

Estas 551,880 palabras si las consideramos como los nidos y las 600,000 palabras de la cinta como
las palomas, de acuerdo al principio de Dirichlet al menos una palabra se repite en la cinta.


-61-

e) Cualquier subconjunto de tamao seis del conjunto S = {1, 2, 3, 4, 5, 6, 7, 8, 9}, debe contener al
menos dos elementos cuya suma es 10.

Aqu los nmeros 1, 2, 3, 4, 5, 6, 7, 8, 9 son las palomas, y los nidos son los subconjuntos {1, 9},
{2, 8}, {3, 7}, {4, 6}, {5}. Cuando las palomas van a sus respectivos nidos, deben ocupar al menos
uno de los subconjuntos cuyos miembros suman 10.

f) Demostrar que en cualquier conjunto de 8 nmeros enteros existen al menos dos nmeros a y b tales
que (a b) es mltiplo de 7.

El resto de dividir un nmero por 7 es uno de los siete nmeros enteros entre 0 y 6. En
consecuencia si tenemos un conjunto de 8 nmeros, al menos dos de ellos, a y b, tienen el mismo
resto r en la divisin por 7. Esto es: a = 7q + r y b = 7q' + r donde r = 0 0 < r < 7.
Por lo tanto (a - b) = 7(q - q') es mltiplo de 7.

-62-

APLICACIONES (IDENTIDADES BSICAS Y TEOREMA DEL BINOMIO)

Identidades bsicas
Puesto que
! )! (
!
r r n
n
r
n

y que n - (n - r ) = r se tiene la siguiente identidad


)! ( !
!
)! ( ! ] ) ( [
!
! )! (
!
r n r
n
r n r n n
n
r r n
n
r n
n
r
n

=

=

Otra identidad importante es:

+
r
n
r
n
r
n
1
1


Otra identidad muy til es

+
+
=

=
1
1
k
n
k
i
n
k i


Utilizando la identidad anterior para obtener la suma 1 + 2 + ... + n

Es posible expresar
2
) )( 1 (
! 2 )! 1 (
)! 1 )( )( 1 (
! 2 )! 2 1 (
)! 1 (
2
1
1
...
1
2
1
1
... 2 1
1
n n
n
n n n
n
n
n
n
n i
n
i
+
=

+
=
+
+
=

+
=

+ +

= + + + =

=



Teorema del Binomio

Los nmeros

r
n


se llaman coeficientes binomiales, pues aparecen en el desarrollo del binomio (a + b) elevado a alguna
potencia.

Este teorema proporciona una frmula para los coeficientes del desarrollo (a + b)
n
. Ya que:

( ) ( )( ) ( )

factores n
n
b a b a b a b a

... + + + = +


-63-

Si n = 2

(a + b)
2
= (a + b)(a + b) = aa + ab + ba + bb = a
2
+ 2ab + b
2
.

Si n = 3

(a + b)
3
= (a + b)(a + b) (a + b) = aaa + aab + aba + abb + baa + bab +bba + bbb
= a
3
+ 3a
2
b + 3ab
2
+ b
3
.

Un trmino de la forma
k k n
b a

proviene de tomar a de n - k factores, y b de k factores. Pero puede
hacerse de

k
n
formas, pues

k
n
cuenta el nmero de formas de seleccionar k los n objetos dados. Por
lo tanto
k k n
b a

aparece

k
n
veces. Luego

( )
n n n n n n
b a
n
n
b a
n
n
b a
n
b a
n
b a
n
b a
0 1 1 2 2 1 1 0
1
...
2 1 0

+ +

= +



Ahora enunciemos el Teorema del binomio.

Si a y b son nmeros reales y n
+
, entonces

( )

=

= +
n
k
k k n n
b a
k
n
b a
0


Ejemplo:
Tomando n = 3 tenemos que:

( )
3 2 2 3
3 2 2 3 3
3 3
3
3
2
3
1
3
0
3
b ab b a a
a ab b a a b a
+ + + =

= +



Tringulo de Pascal

Tambin pueden expresarse los coeficientes binomiales mediante un arreglo triangular conocido como
Tringulo de Pascal. Los dos lados superiores estn formados por nmeros 1, y cualquier valor interior
es la suma de los dos nmeros que estn por encima y a los lados del l, es decir:

-64-



o bien, expresado en forma de coeficientes binomiales tenemos que:



-65-

GRAFOS

DEFINICIONES BSICAS Y SU REPRESENTACIN

Empezaremos con un

Ejemplo:
Dado un mapa de las autopistas de un lugar, se podra determinar si existe una ruta por autopista entre
dos ciudades en el mapa. Sea S = {a, b, c, ...} el conjunto de ciudades y R una relacin binaria sobre S
tal que (a, b) R si existe una autopista de la ciudad a a la ciudad b.










R = {(a, b), (a, c), (a, d), (a, e), (b, d), (c, d), (d, e)}

Definicin:
A la representacin grfica de los objetos y las relaciones binarias sobre ellos se conoce como grafo y
consta de vrtices (nodos) y lados (aristas).

Los vrtices, que son los puntos del grafo, representan los elementos del conjunto. Los lados
representan los elementos (x, y) que estn relacionados.

b
c

a d

e
-66-

GRAFOS DIRIGIDOS Y NO DIRIGIDOS

Definicin:
Un grafo (grafo no dirigido) G consta de un conjunto V de vrtices o nodos y un conjunto E de lados,
(ramas o aristas) tales que cada lado e E esta asociado a un par no ordenado de vrtices.

Si un lado e esta asociado a un nico par de vrtices v y w se escribe e = (v, w) o tambin se escribe
e = (w, v).

NOTA:
En este contexto (v, w) denota un lado de un grafo no dirigido y no un par ordenado de nmeros.

Definicin:
Un grafo dirigido (o dgrafo) G consta de un conjunto V de vrtices y un conjunto E de lados, tal que
e E esta asociado a un par ordenado nico de vrtices v y w y se escribe e = (v, w).

Definicin:
Se dice que un lado e = (v, w) de un grafo (dirigido o no dirigido) es incidente en v y w. Se dice que los
vrtices v y w son incidentes en e y tambin que los vrtices son adyacentes.

Si G es un grafo (dirigido o no dirigido) con un conjunto de vrtices V y un conjunto de lados E, se
escribe G = (V, E).

Ejemplo:






G

Este grafo G consta de un conjunto V de vrtices

V = {S, T, U, V, W, X, Y, Z}

y el conjunto de lados

E = {e
1
,

e
2,
e
3
,

.... , e
11
}.

El lado e
1
esta asociado con el par no ordenado {T, U}, el lado e
10
esta asociado al par no ordenado
{S, X}. El lado e
1
se denota por (U, T) o bien (T, U). El lado e
4
es incidente en los vrtices Y y Z por
lo que Y y Z son vrtices adyacentes.





T e
2
S e
3
Z
e
4

e
1
e
9
e
10
e
11

W Y
e
8
e
7
e
6
e
5

U V X
-67-


Ejemplo:










G
En este dgrafo los lados dirigidos estn indicados por flechas. El lado e
1
esta asociado al par ordenado
de vrtices (v
2
, v
1
) por lo que se escribe e
1
= (v
2
, v
1
) y el lado e
7
con el par ordenado (v
6,
v
6
), por lo que
se escribe e
7
= (v
6,
v
6
).

Ejemplo:
Consideremos ahora el siguiente grafo:











G

Cuando dos lados distintos estn relacionados con el mismo par de vrtices se llaman lados paralelos,
como e
1
y e
2
que estn asociados con el par no ordenado de vrtices {v
1
, v
2
}. Un lado de la forma (v, v)
que inicia y termina en el mismo vrtice se llama lazo, como ocurre en e
3
= (v
2
, v
2
). En el grafo G
ningn lado es incidente a v
4
, un grafo que no tiene lazos ni lados paralelos recibe el nombre de grafo
simple.

Ejemplo:





Grafo simple

e
7

e
5

e
3

v
4

v
6

v
3
v
2

e
1

v
1

e
2

v
5

e
4

e
6

e
5

v
6

v
5

v
4
e
2

e
3

v
3

e
1

v
2

v
1

e
4

-68-




Grafo no simple

Definicin:
Un grafo completo de n vrtices, que se denota K
n
, es el grafo simple con n vrtices en el cual existe
una arista entre cada par de vrtices distintos.

Ejemplo:




Grafo completo K
4

Ejemplo:
Problema de los puentes de Kningsberg.

Dos islas que se encuentran en el ro Pregel en Kningsberg (antes Prusia Oriental, llamado ahora
Kaliningrado) estn conectadas entre si y con la margen del ro por puentes como se indica en la
siguiente figura:

El problema consiste en partir desde cualquier lugar (A, B, C, o D), seguir caminando y pasar por cada
uno de los puentes una sola vez y luego volver al punto de partida.

A un recorrido de este tipo se llama Circuito de Euler. Tal recorrido puede representarse mediante un
grafo como sigue:






A
B C
D
-69-


La solucin puede obtenerse fcilmente utilizando el concepto de valencia de un vrtice.

Definicin:
La valencia (o grado) de un vrtice v se denota (v) y es numero de lados incidentes en v.

Ejemplo:
Del grafo anterior tenemos que:

(A) = 3
(B) = 5
(C) = 3
(D) = 3

Ms adelante se demostrar que el Problema de los puentes de Kningsberg no tiene solucin.

Un problema similar al de encontrar un circuito de Euler en un grafo es el obtener un circuito
Hamiltoniano. Un circuito de Hamilton en un grafo G es un camino que comienza y termina en el
mismo vrtice, pasando exactamente una vez por cada vrtice.

Ejemplo:

El camino (a, b, c, d, e, f, g, a) o (a, b, c, d, f, e, g, a) es un circuito Hamiltoniano. Este grafo no tiene
circuito de Euler. En un circuito de Euler se pasa por cada lado exactamente una vez, en tanto que en
un circuito de Hamilton se pasa por cada vrtice exactamente una vez.

Definicin:
Sea un grafo G = (V, E), diremos que un grafo G = (V, E) es un subgrafo de G si E E y V V
tal que los lados de E sean incidentes en los vrtice de V.

Definicin:
El complemento de un subgrafo G = (V, E) con respecto a un grafo G es otro grafo G = (V, E)
tal que E = E E E = E+ E y V contiene a los vrtices con los cuales E son incidentes.

Ejemplo:
Consideremos los siguiente grafos:





-70-










i) G ii) G








iii) G

Sea en i) G = (V, E), donde V = {a, b, c, d, e, f, g, h} y E = {e
1
, e
2
, e
3
, e
4
.... , e
12
}

Sea en ii) G = (V, E), donde V = {b, c, d, e, f, g, h} y E = {e
4
, e
5
, e
7
, e
8
, e
11
, e
12
}, adems se tiene
que E E y V V tal que los lados de Esean incidentes en los vrtice de V, por lo que G es un
subgrafo de G.

Adems en iii) G = (V, E), donde V = {a, b, c, d, f, g, h} y E = {e
1
, e
2
, e
3
, e
6
, e
9
, e
10
}, adems
E = E E y Vcontiene a los vrtices con los cuales E son incidentes, por lo que G es el
complemento del subgrafo de G.

Definicin:
Se dice que G es un subgrafo generador si contiene todos los vrtices de G

Ejemplo:
Sea el siguiente subgrafo del grafo i) del ejemplo anterior.









Se tiene que: V = {a, b, c, d, e, f, g, h} y E = {e
1
, e
3
, e
5
, e
7
, e
8
, e
9
, e
11
} y como V contiene todos los
vrtices de G, entonces G es un subgrafo generador de G
b e
2
c

e
1
e
8
e
9
e
3

g
a d
e
10
e
11

e
6
e
7
e
12
e
4


f e
5
e
h
b c

e
8

g
d


e
11

e
7
e
12
e
4


f e
5
e
h
b e
2
c

e
1
e
9
e
3

g
a d
e
10

e
6

f

h
b c

e
1
e
8
e
9
e
3

g
a d


e
11

e
7


f e
5
e
h
-71-

MULTIGRAFOS Y GRAFOS PESADOS (GRAFOS PONDERADOS)

Definicin:
Sea G = (V, E) un grafo dirigido, donde V es un conjunto y E es un multiconjunto de pares ordenados
de V V. G es llamado un multigrafo dirigido y geomtricamente puede representarse como un
conjunto de vrtices V y un conjunto de flechas E entre los vrtices, donde no existe restriccin en el
numero de flechas de un vrtice a otro.

Ejemplo:






Multigrafo Dirigido

Ahora consideremos una representacin grfica de un mapa de carreteras en el cual una arista entre
dos ciudades corresponde a un carril en una autopista entre las dos ciudades. Como a menudo hay
autopistas de varios carriles entre pares de ciudades, esta representacin origina un multigrafo.

La nocin de multigrafo no dirigido puede definirse de manera similar a la de un multigrafo dirigido.

Ejemplo:


Multigrafo No Dirigido


Definicin:
Un grafo ponderado (o grafo con peso) es un grafo en el cual hay datos asociados a sus lados, el valor
w(i, j) esta asociado con el lado (i, j) y se llama ponderacin o peso del lado (i, j).

Definicin:
El peso o ponderacin de un grafo es la suma de los pesos de sus lados. Frecuentemente el peso de un
camino se le conoce como longitud del camino.

Ejemplo:
Si se interpretan las ciudades como vrtices y los caminos entre ellas como sus lados, al asignarles un
valor a sus caminos resulta un grafo ponderado o con peso.
a b







c d
-72-



Grafo Ponderado

PASEOS (CAMINOS) Y CIRCUITOS (CICLOS)

Con frecuencia se abrevia la sucesin de lados

{(v
0
, v
1
), (v
1
, v
2
), ...., (v
n-1
, v
n
)}

como
(v
0
, v
1
, v
2
, ... , v
n
)

Ejemplo:
Sea el siguiente grafo G


La sucesin de lados {(a, b), (b, f ), (f, g), (g, e)} se puede representar como (a, b, f, g, e)

Definicin:
Sea G un grafo y sean v y w vrtices de G.

a) Un camino de longitud n de v a w es una sucesin de lados que de v a w, la cual tiene n lados
distintos entre si.

b) Un camino simple de longitud n de v a w es de la forma (v
0
, v
1
, v
2
, ...., v
n
) donde v
0
= v y v
n
= w
y v
0
, v
1
, v
2
, ...., v
n
son distintos entre si.

c) Un circuito o ciclo es un camino de v a v.

d) Un circuito simple es un circuito de la forma (v
0
, v
1
, v
2
, ... , v
n
) donde v
0
= v
n
y v
1
, v
2
, ...., v
n-1

son distintos entre si.



-73-

Ejemplo:
Sea el siguiente grafo no dirigido G.

G

Basndose en el grafo anterior llnese la siguiente tabla:

Sucesin de lados Camino Camino simple Circuito Circuito simple
(a, b, c, b, a) NO NO NO NO
(f, e, b, d, c, b, a,) SI NO NO NO
(f, e, b, d) SI SI NO NO
(b, f, e, b, d, c, b) SI NO SI NO
(e, f, b, e) SI NO SI SI


Definicin:
Se dice que un grafo G es conexo si, para cualquier par de vrtices (v, w) distintos entre si, existe un
camino de v a w.

Ejemplo:
El siguiente grafo es no conexo







G


PASEOS Y CIRCUITOS DE EULERIANOS (DE EULER)

Definicin:
Un paseo de Euler (Euleriano) es un camino que incluye todos los lados y por lo tanto todos los
vrtices de un grafo dado, una y slo una vez.

Definicin:
Un circuito de Euler (Euleriano) es un circuito que incluye todos los lados y por lo tanto todos los
vrtices de un grafo dado, una y slo una vez.


b e
3
g
e
1
e
2
d e f

a c e
4
e
6
h
e
5
-74-

Condiciones para saber si un grafo dado tiene un paseo o circuito de Euler.

1) Un grafo no dirigido G tiene un paseo de Euler si y solo si tiene cero o dos vrtices de
valencia impar.

2) Si un grafo no dirigido G tiene un circuito de Euler entonces todo vrtice de G tiene valencia
par, adems de ser conexo.

3) Si G es un grafo no dirigido con vrtices {v
1
, v
2
, ... , v
n
} y la suma

(v
1
), (v
2
), ... , (v
n
)

es par entonces el grafo tiene un circuito de Euler.

4) Un grafo G tiene un camino de Euler de v w si y solo si v y w son los nicos vrtices de
valencia impar.

Ejemplo:
Verificar si los siguientes grafos no dirigidos tienen un paseo o circuito de Euler.


Paseo: Si Paseo: Si Paseo: Si
Circuito: No Circuito: Si Circuito: No


Paseo: Si Paseo: Si
Circuito: No Circuito: Si



-75-

Los resultados obtenidos para grafos no dirigidos pueden extenderse de inmediato para grafos
dirigidos.

Definicin:
En un grafo dirigido el grado o valencia de entrada de un vrtice es el numero de lados incidentes hacia
este y el grado de salida es el numero de lados que son incidentes desde este.

Definicin:
Un grafo dirigido tiene un circuito de Euler si y solo si es conexo y el grado de entrada de cualquier
vrtice es igual a su salida.

Definicin:
Un grafo dirigido tiene un paseo de Euler si y solo si es conexo y el grado de entrada de cualquier
vrtice es igual a su grado de salida con la posible excepcin de solo dos vrtices. Para estos dos
vrtices el grado de entrada de uno de ellos es mayor que su grado de salida y el grado de entrada del
otro es menor que su grado de salida.

Ejemplo:
Verificar si los siguientes grafos dirigidos tienen un paseo o circuito de Euler.














Paseo: Si Paseo: Si
Circuito: Si Circuito: No
-76-


PASEOS Y CIRCUITOS HAMILTONIANOS

Un problema similar a la determinacin de un paseo o un circuito de Euler, es el de determinar un
paseo o circuito que pasa a travs de un vrtice en un grafo una y slo una vez.

Definicin:
Un paseo hamiltoniano es un paseo que pasa a travs de cada uno de los vrtices de un grafo dado
exactamente una vez.

Definicin:
Un circuito hamiltoniano es un circuito que pasa a travs de cada uno de los vrtices de un grafo dado
exactamente una vez.

NOTA: No se conoce ninguna condicin necesaria y suficiente para demostrar la existencia de un
paseo o un circulo de Hamilton en un grafo.

Ejemplo:
Encuentre un circuito de Hamilton en el siguiente grafo:











El siguiente es un resultado general sobre la existencia de paseos o circuitos hamiltonianos.

Sea G un grafo no dirigido de tipo lineal de n vrtices. Si la suma de los grados para cada par de
vrtices de G es n 1 o mayor, entonces existe un paseo de Hamilton en G.

Ejemplo:







La consideracin anterior es una condicin suficiente pero no necesaria para la existencia de un paseo
hamiltoniano en un grafo.





v
j
v
3

v
1
v
p
v
2
v
j-1
v
j+1
-77-

REPRESENTACIONES MATRICIALES

Hasta ahora se ha visto como representar un grafo mediante un esquema. Algunas veces, por ejemplo,
cuando se desea analizar un grafo en una computadora, se necesita una presentacin ms formal. Un
primer mtodo de representacin de un grafo lo constituye la matriz de adyacencia.

Para obtener la matriz de adyacencia de un grafo, se selecciona un orden arbitrario de vrtices,
supongamos que nuestro grafo tiene 5 vrtices: a, b, c, d y e. A continuacin, se le asignan a las filas y
a las columnas de una matriz el mismo orden dado a los vrtices. Un elemento de la matriz es 1 si los
vrtices correspondientes a la fila (rengln) y a la columna de dicho elemento estn unidos por un lado
(arista), y 0 en caso contrario.

Ejemplo:
La matriz de adyacencia para este grafo es:




A =





La matriz de adyacencia permite representar lazos, no permite representar lados paralelos. Si el grafo
no tiene lados paralelos ni lazos, se puede obtener la valencia de un vrtice sumando la fila o la
columna correspondiente

Ejemplo:


La matriz de adyacencia no es una manera muy eficaz de representar un grafo. Como es simtrica con
respecto a la diagonal la informacin, exceptuando la contenida en la diagonal, aparece dos veces.

Otra representacin til de un grafo es la conocida como matriz de incidencia como se puede ver en el
siguiente grafo:


a b c d e
a 0 1 0 0 1
b 1 0 1 0 1
c 0 1 1 0 1
d 0 0 0 0 1
e 1 1 1 1 0
-78-



Se le asigna a las filas las marcas correspondientes a los vrtices y a las columnas las correspondientes
a los lados. El elemento que corresponde a la fila y a la columna e es 1 si es incidente en algn vrtice v
y es 0 en cualquier otro caso.

Una columna semejante a e
7
representa un lazo.

La matriz de incidencia permite representar lados paralelos y lazos simultneamente.

Un grafo sin lazos en cada columna tiene dos cifras 1 y la suma de cada fila da la valencia del vrtice
correspondiente.


-79-

ISOMORFISMO DE GRAFOS

Definicin:
Dos grafos G
1
y G
2
son isomorfos si existe una funcin biyectiva f entre los vrtices de G
1
y G
2,
y una
funcin biyectiva g entre lados de G
1
y G
2
tales que un lado e es incidente a v y w en G
1
si solo si el
lado g(e) es incidente a los vrtices f (v) y f (w) en G
2
. Al par de funciones f y g se le denomina
isomorfismo.

Ejemplo:
Sean los siguientes grafos G
1
y G
2



Un isomorfismo para los grafos anteriores G
1
y G
2
esta definido por:

f (a) = A
f (b) = B
f (c) = C
f (d) = D
f (e) = E

y g(X
i
) = Y
i
, i = 1, ... , 5

Los grafos G
1
y G
2
son isomorfos si y solo si para alguna ordenacin de vrtices y lados sus matrices
de incidencia son iguales. Veamos la matrices de incidencia de los grafos anteriores:




-80-


Ejercicios:
Verificar si los siguientes pares de grafos son isomorfos.














a)















b)










c
a
b
d
a
b c
d
-81-

GRAFOS APLANABLES

Este tipo de grafos, adems de aparecer con mucha frecuencia tambin cuentan con muchas
propiedades interesante. Se analizarn algunas de las ms importantes.

Definicin:
Diremos que un grafo es aplanable si puede ser dibujado sobre un plano de tal manera que ninguna
arista se cruce con otra excepto, desde luego, en los vrtices comunes. El siguiente es un grafo
aplanable:

el grafo i) tambin es aplanable ya que puede dibujarse como se muestra en el grafo ii)




Ejemplo:
La siguiente figura es un grafo no aplanable que a decir verdad corresponde al problema de determinar
si es posible conectar las casas 1, 2, 3 a los servicios de Luz, Agua y Drenaje, de tal manera que no
haya 2 lneas de conexin que se crucen una con la otra.














-82-


Definicin:
Una regin (o cara) de un grafo aplanable se define como una rea del plano que est acotada por
aristas y no pude continuar dividindose en subreas.

Ejemplo:
El siguiente grafo tiene 5 regiones que son:



Definicin:
Diremos que una regin es infinita si su rea es infinita y se dice que es finita, si su rea es finita. En un
grafo aplanable se tienen exactamente una regin infinita.

Tenemos el siguiente resultado:

v - e + r = 2

donde v, e y r son el numero de vrtices, aristas y regiones respectivamente. Esta ecuacin se conoce
como la Frmula de Euler para grafos aplanables. Sin excepcin alguna todos los grafos aplanables
conexos deben satisfacer la frmula de Euler.

En cualquier grafo aplanable lineal conexo que no tenga lazos y que tenga 2 o mas aristas se cumple la
siguiente desigualdad:

e 3v 6

Debido a que el grafo es lineal cada regin es acotada por 3 o mas aristas por lo tanto el nmero es
mayor o igual que 3r. en la frontera a lo largo de 2 regiones, el numero total es igual o menor a 2e as
tenemos:

2e 3r r e
3
2


De acuerdo a la frmula de Euler, tenemos que:

2
3
2
+
e
e v 3v 6 e


-83-


Es evidente que la planaridad de un grafo no se ve afectada si una arista es dividida en dos arista por la
insercin de un vrtice de grado 2 como i) o si 2 aristas se combinan en una sola arista al eliminar este
vrtice como en ii)




i) ii)


Definicin:
Dos grafos G
1
y G
2
son isomorfos bajo vrtices de grado 2, si son isomorfos si pueden transformarse
en grafos isomorfos mediante repeticiones de inserciones y/o eliminaciones de vrtices de grado 2
como en i) y i i).

Ejemplo
Los siguientes grafos son isomorfos bajo vrtices de grado 2.










Teorema de Kuratoswki
Un grafo es aplanable si y solo si no contiene cualquier subgrafo que sea isomorfo bajo vrtices de
grado 2 a cualquier de los siguientes grafos, que son llamados de Kuratowski












-84-

RBOLES Y CONJUNTOS DE CORTE

RBOLES

Definicin:
Un rbol es un grafo no dirigido conexo que no contiene circuitos.

Ejemplos:







i) ii)

Definicin:
Una coleccin de rboles disjuntos se llama bosque. Un vrtice de grado 1 en un rbol se le llama hoja
o nodo terminal, y un vrtice de grado mayor que 1 recibe el nombre de nodo rama o nodo interno.

Ejemplo:
En el rbol i)
b, c, d, f, g, i, son nodos hoja
a, e, h, son nodos rama.

Existen algunas propiedades que sealaremos con relacin a los rboles.
1) Existen un nico paseo entre dos vrtices cualesquiera en un rbol.
2) El nmero de vrtices es mayor que el nmero de aristas en un rbol.
3) Un rbol con dos o ms vrtices tiene al menos una hoja.

Existen adems otros resultados sobre la caracterizacin de rboles.
1) Un grafo en el cual existe un nico paseo entre cada par de vrtices es un rbol.
2) Un grafo conexo con e = v 1 es un rbol.
3) Un grafo con e = v 1 que no tiene circuitos es un rbol.






e
h
g
f
b
c
d
a
i
D
C
B
A
d
c
b
a
-85-

RBOLES CON TERMINAL (ENRAIZADOS)

Definicin:
Diremos que un grafo dirigido es un rbol dirigido si se convierte en un rbol cuando se ignoran las
direcciones de sus aristas.

Ejemplo:




Este es un rbol dirigido

Definicin:
Un rbol dirigido es un rbol enraizado si existe exactamente un vrtice cuyo grado de entrada sea 0 y
los grados de entrada de los otros vrtices sea 1. El vrtice con grado de entrada 0 es llamado raz del
rbol enraizado.

Ejemplo:









rbol enraizado

Definicin:
En un rbol enraizado, un vrtice cuyo grado de salida sea 0 se llama nodo hoja o nodo terminal, y un
vrtice cuyo grado de salidas sea diferente de 0 se llama nodo rama o nodo interno.

Ejemplo:
Sea el siguiente rbol dirigido










Entonces:
Los nodos a, b, c, f, h son nodos rama y los nodos d, e, g, i, j, k, l son nodos hoja.
g
l
d e
f
a
b
j
c
k
h
i
-86-


Definicin:
Sea a un nodo rama en un rbol enraizado. Diremos que un vrtice b es un hijo de a si existe una arista
de a a b. Adems se dice que el vrtice a es el padre de b. Dos vrtices son hermanos si son hijos del
mismo vrtice. Diremos que un vrtice c es un descendiente de a si existe un paseo dirigido de a a c.
Adems, se dice a es un ancestro de c.

Ejemplo:
Sea el siguiente rbol dirigido










Entonces:
b, c son hijos de a
d, e, f son hijos de b
g, h son hijos de c
i, j, k son hijos de f
l es hijo de h
a es padre de b, c
b es padre de d, e, f
c es padre de g, h
f es padre de i, j, k
h es padre de l
b, c son hermanos
d, e, f son hermanos
g, h son hermanos
i, j, k son hermanos
l no tiene hermanos

Adems:
b, ,c, d, e, f, g, h, i, j, k, l son descendientes de a
d, e, f, i, j, k son descendientes de b
i, j, k son descendientes de f
g, h, l son descendientes de c
l es descendiente de h
a es ancestro de b ,c, d, e, f, g, h, i, j, k, l
b es ancestro de d, e, f, i, j, k
f es ancestro de i, j, k
c es ancestro de g, h, l
h es ancestro de l

Definicin:
Sea a un nodo rama en un rbol T. Por el subrbol con raz a entendemos el subgrafo T= (V, E) de T
tal que V contiene a a y a todas sus descendientes y E contiene las aristas de todos los paseos
dirigidos que surjan de a. Por un subrbol de a entendemos un subrbol que tiene a a como raz.

Ejemplo:
Sea el siguiente rbol dirigido T









g
l
d e
f
a
b
j
c
k
h
i
g
l
d e
f
a
b
j
c
k
h
i
-87-


Entonces








i) ii) iii)

i), ii) y iii) son subrboles de T cuyas races son b, f y c respectivamente.

Observacin:
Cuando se trace un rbol enraizado, si nos apegamos a la convencin de colocar los hijos de un nodo
rama bajo este, las flechas de las aristas pueden omitirse, debido a que puede entenderse a que apuntan
hacia abajo.

Ejemplo:










Ahora veamos los siguientes rboles:







i) ii)

A pesar de que los rboles i) y ii) enraizados son isomorfos podran represntanos dos situaciones
completamente diferentes. Esto motiva a la siguiente definicin de un rbol ordenado, lo cual permitir
referirnos sin ambigedades a cada uno de los subrboles de un nodo rama. Vemosla

Definicin:
Un rbol ordenado es un rbol enraizado con las aristas incidentes de cada nodo rama, etiquetadas con
los enteros 1, 2, ..., i, ... por lo tanto, los subrboles de un nodo rama pueden ser referidos como el
primero, el segundo, ..., y el i-simo subrboles del nodo rama y corresponden a las aristas incidentes
desde el nodo, que pueden se enteros no consecutivos.
l
g
c
h
f
j
k
i
i
d e
f
b
j k
-88-


Ahora supongamos que los rboles anteriores se etiquetan como se muestran a continuacin:







i) ii)
Definicin:
Dos rboles ordenados son isomorfos si existe una correspondencia uno a uno entre sus vrtices y sus
aristas, la cual conserva la relacin de correspondencia, y si las etiquetas de las aristas correspondientes
coinciden. As los rboles ordenados i) y ii) no son isomorfos.

Definicin:
Un rbol ordenado en el cual cada nodo rama tiene a lo ms m hijos es llamado rbol m-ario. Diremos
que un rbol m-ario es regular si cada unas de sus ramas tiene exactamente m hijos. Una clase
importante de rboles m-arios son los llamados rboles binarios. En los rboles binarios en lugar de
referirnos al primero o al segundo subrbol de un nodo rama, a menudo nos referimos al subrbol
izquierdo o al subrbol derecho del nodo.

Ejemplo:







rbol ternario regular rbol ternario

















1 2
1 2 3
1 2
1 2 3
-89-

LONGITUD DE PASEO EN RBOLES ENRAIZADOS

Definicin:
La longitud de un paseo para un vrtice en un rbol enraizado se define como el nmero de aristas en el
paseo desde la raz hasta el vrtice.

Ejemplo:
Sea el siguiente rbol enraizado:












La longitud de paseo del vrtice x
1
es 4 y la del vrtice x
5
es 3.

Definicin:
La altura (h) de un rbol se define como el mximo de las longitudes de los paseos en un rbol.

Ejemplo:
La altura de rbol enraizado del ejemplo anterior es 4.




















x
4
x
5

x
6
x
7

x
1
x
2
x
3

x
8
x
9

-90-

PREFIJOS CODIFICADOS

Definicin:
Diremos que un conjunto de sucesiones es un cdigo de prefijos si no existe una sucesin del conjunto
que sea un prefijo de otra sucesin del conjunto.

Ejemplo:
El conjunto {000, 001, 01, 10, 11} es un cdigo de prefijos.
El conjunto {1, 00, 01, 000, 0001} no lo es un cdigo de prefijos.

A partir de un rbol binario dado, podemos obtener directamente un cdigo de prefijos binario. Primero
etiquetamos las aristas con 0 y 1. Las aristas que corresponden al subrbol izquierdo se etiquetan con 0
y las derechas con 1.

Ejemplo:
Sea el siguiente rbol binario:










Es evidente que el conjunto de sucesiones asignadas a las hojas de cualquier rbol binario es un cdigo
de prefijos. El cdigo de prefijos obtenido es {000, 001, 01, 10, 11}.

Tambin podemos construir a partir de un cdigo de prefijos un rbol binario.

Ejemplo:
Tenemos el cdigo de prefijos {001, 000, 01, 1} con el cual obtenemos el siguiente rbol binario de
altura 3:










Ejemplo prctico:
Al almacenar o transmitir grandes cantidades de texto, frecuentemente conviene buscar la forma de
comprimirlo en el menor nmero posible de bits. E l tiempo necesario para transmitir cierto mensaje es
proporcional a su nmero de bits. Al comprimir los datos a enviar, puede reducirse el tiempo de
transmisin. Adems, los datos comprimidos necesitan menos bits para su almacenamiento.
0 1
0 1 0 1
0 1
000 001
01 10 11
0 1
0 1
0 1
000 001
01
1
-91-


Una manera de hacerlo es eliminar la restriccin de que todos los cdigos de caracteres deben tener la
misma longitud. Si en un idioma los cdigos de letras comunes como "e" y "t" fueran mas cortos que
los cdigos de los menos comunes como "x" y "z", disminuira el nmero de bits totales necesarios
para almacenar o transmitir el texto. Dicho esquema de codificacin se llama cdigo dependiente de
frecuencia o cdigo Huffman, basado precisamente en los prefijos codificados. Al utilizar este mtodo
de codificacin para cualquier aplicacin particular, han de conocerse las frecuencias a priori a cada
carcter.

El primer paso para construir el cdigo es escribir la probabilidad de cada carcter debajo de este. El
orden en que se acomodan los caracteres no importa y puede combinarse durante la construccin para
mayor legibilidad. Despus se buscan las dos probabilidades ms pequeas y se aade una nueva
probabilidad igual a la suma de aquellas. Las dos probabilidades se marcan para no ser utilizadas de
nuevo y se trazan dos aristas que unan a la nueva probabilidad con las que le dieron origen. Este
proceso se repite una y otra vez hasta que solo quede una probabilidad sin marcar, que ser igual a
1.00.

Construiremos el cdigo Huffman para una supuesta trasmisin para los dgitos 0,...,9 basados en las
probabilidades siguientes:

Digito 0 1 2 3 4 5 6 7 8 9
Frecuencia 0.20 0.25 0.15 0.08 0.07 0.06 0.05 0.05 0.05 0.04

El rbol resultante es el siguiente:



El cdigo Huffman resultante para cada dgito es:

Digito 0 1 2 3 4 5 6 7 8 9
Cdigo 11 01 001 0001 1011 1010 1001 1000 00001 00000
-92-

RBOLES DE BSQUEDA BINARIA

Supongamos que trabajamos con objetos sobre los cuales existe un ordenamiento lineal <. En ejemplos
prcticos el ordenamiento puede ser numrico, alfabtico, alfanumrico, etc. Sean K
1
, K
2
, ... , K
n
los n
objetos de una lista ordenada los cuales son conocidos como las claves.

Supongamos que K
1
< K
2
< ... < K
n
. Dado un objeto x, nuestro problema es buscar las claves y
determinar si x es igual a una de las claves o si x esta entre las claves K
i
y K
i+1
para algn i. Primero
sealemos que la bsqueda tiene 2n+1 posibles resultados, es decir, x es menor que K
1
, x es igual a K
1
,
x es mayor que K
1
pero menor que K
2
, x es igual a K
2
, etc.

Un procedimiento de bsqueda consiste en una serie de comparaciones entre x y las claves donde cada
comparacin de x con una clave nos indica si x es igual, menor que, o mayor que tal clave.

Definicin:
Definimos un rbol de bsqueda para las claves K
1
, K
2
, ..., K
n
como un rbol binario con n nodos rama
y n+1 hojas. Los nodos rama son etiquetados con K
1
, K
2
, ..., K
n
y las hojas son etiquetados K
0
, K
1
, K
2
,
..., K
n
; de manera que para el nodo rama con la etiqueta K
i
, su subrbol izquierdo contiene slo los
vrtices con las etiqueta K
j
, j < i y su subrbol derecho contiene slo vrtices con etiquetas K
j
, j i.

Ejemplo:
Sea el siguiente rbol:


















De inmediato se ve que un rbol de bsqueda corresponde un procedimiento de bsqueda; al comenzar
con la raz del rbol de bsqueda, compramos un objeto dado x con la etiqueta de la raz K
i
. Si x es
igual a K
i
, la bsqueda ha terminado. Si x es menor que K
i
, comparamos x con el hijo
izquierdo, si x es mayor que K
i
con el hijo derecho de la raz. Dicha comparacin se contina para los
nodos rama sucesivamente hasta que x concuerda con una clave o se alcance una hoja. Es evidente que
si una hoja etiquetada con K
j
es alcanzada, esto significa que x es mayor que la clave K
j
pero menor que
la clave K
j+1
. Si se alcanza K
n
significa que x es mayor que K
n
.

K
3
K
1
K
4
K
2
K
0
K
4

K
1
K
2

K
3

-93-


Ejemplo:
Sean AB, CF, EG, PP las claves K
1
, K
2
, K
3
, K
4
en un rbol de bsqueda. Dado el objeto BB, los pasos
de bsqueda son:



















1.- Comparar BB con K
3
la cual es EG
2.- Como BB es menor que EG, comparemos BB con K
1
, la cual es AB
3.- Como BB es mayor que AB, comparemos BB con K
2
,la cual es CF
4.- Como BB con es menor que CF, se alcanza la hoja K
1


As concluimos que el objeto BB es mayor que AB y menor que CF.



















EG

AB

PP

CF

K
0

PP
AB CF
EG
K
1

K
1
K
2

K
3

K
2

K
3

K
4

K
4

-94-

RBOLES GENERADORES Y CONJUNTOS DE CORTE

Sean G un grafo conexo donde los vrtices representan edificios y las aristas tneles de conexin entre
los edificios. Se quiere determinar un subconjunto de tneles que debieran mantenerse que pudiramos
alcanzar un edifico desde otro a travs de estos tneles. Tambin se desea determinar los subconjuntos
de tneles que el ser obstruidos separaran a algunos edificios de otros (subconjunto de aristas de
conexin y subconjunto de aristas de no conexin de un grafo).

Definicin:
Un rbol de un grafo es un subgrafo del grafo que es un rbol. Un rbol generador de un grafo conexo
es un subgrafo generador que es un rbol.

Ejemplo:












Definicin:
Una rama de un rbol es una arista del grafo que es un rbol. Una cuerda o enlace de un rbol es una
arista del grafo que no est en el rbol. El conjunto de cuerdas de un rbol se conoce como el
complemento del rbol.

Ejemplo:
Del grafo G, del ejemplo anterior, el siguiente grafo es su complemento.










Definicin:
Un grafo conexo siempre contiene un rbol generador. Si un grafo es conexo y no contiene circuitos
entonces es un rbol. Si el grafo contiene uno o ms circuitos, podemos eliminar una arista de los
circuitos y an tener un subgrafo conexo.



-95-

Definicin:
Un grafo generador es un subgrafo mnimo conexo de un grafo conexo en el sentido de que a partir de
un subgrafo conexo el cual no sea un rbol generador, una o ms de sus aristas pueden eliminarse, de
manera que el grafo resultante an sea un subgrafo conexo y, por otra parte, ninguna arista puede
eliminarse de un rbol generador de manera que el subgrafo resultante an sea un subgrafo conexo.

Definicin:
Para un grafo conexo con e aristas y v vrtices, existen v 1 ramas en cualquier rbol generador.
Entonces, en relacin con cualquier rbol generador, existen e v + 1 cuerdas.

Definicin:
Un conjunto de corte es un conjunto (mnimo) de aristas en un grafo tal que la eliminacin del conjunto
incrementa el nmero de componentes conexas en el subgrafo restante, en tanto que la eliminacin de
cualquier subconjunto propio de este no lo hara. De esto se tiene que en un grafo conexo, la
eliminacin de un conjunto de corte divide el grafo con dos partes. Este sugiere una forma alternativa
de definido en conjunto de corte.

Definicin:
Si los vrtices de una componente conexa a un grafo se divide en dos subconjuntos, de manera que
cada dos vrtices en cada subconjunto estn conectados por un paseo que slo atraviesa vrtices en tal
subconjunto, entonces el conjunto de aristas que una los vrtices de los dos subconjuntos es un
conjunto de corte.

Ejemplo:











Para este grafo el conjunto de aristas {e
1
,
e
5
, e
6
, e
7
, e
4
} es un conjunto de corte, ya
que su eliminacin dejar un subgrafo no
conexo como el de la derecha.








Este grafo es isomorfo al grafo anterior y
se ve ms claramente la divisin de los
vrtices para obtener un subgrafo no
conexo como el de la derecha.







v
2



v
1
v
5
v
3





v
4

e
1
e
5
e
2

e
8
e
6


e
4
e
7
e
3

e
2

e
8


e
3

v
2



v
1
v
5
v
3




v
4

e
1
e
5
e
2

e
8
e
6


e
4
e
7
e
3

v
2



v
1
v
5
v
3



v
4

-96-

RBOLES GENERADORES MNIMOS

Definicin:
El peso de un rbol generador es la suma de los pesos de las ramas del rbol. Un rbol generador
mnimo es uno con peso mnimo.

Una interpretacin fsica de este problema es considerar los vrtices de un grafo como ciudades, y los
pesos de las aristas como los costos de construccin y mantenimiento de vas de comunicacin entre las
ciudades. Supongamos que queremos construir una red de comunicaciones que conecte a todas las
ciudades a un costo mnimo. Entonces el problema es determinar un rbol generador mnimo.

Un procedimiento para resolver este problema se base en la observacin de que entre todas las aristas
en un circuito, la arista con mayor peso no esta en el rbol generador mnimo. Sea C un circuito en
un grafo pesado, y E la arista con el mayor peso en C. Supongamos que E es una rama de un
rbol generador de T. Sea d el conjunto de corte correspondiente a la rama a la rama E como el
circuito C y el conjunto de corte d deben tener un numero par de aristas en comn adems de la arista
E debern existir al menos una o ms aristas que estn tanto en C como en D. Sea F una de estas
aristas. Observemos que F es una cuerda del rbol generador t debido a que D es un conjunto de corte.
Agreguemos la arista F al rbol generador T y denotemos el subgrafo resultante como U. Es obvio que
U es un subgrafo generador que contiene exactamente un circuito, el circuito correspondiente a F. Si
eliminamos E de U, obtenemos un rbol generador cuyo peso es menor que T.

Construiremos un subgrafo del grafo pesado paso por paso, al ir examinando cada arista en orden
creciente de pesos. Se agregara una arista al subgrafo parcialmente construido si no origina un circuito,
y ser descartada en caso contrario. La construccin termina cuando todas las aristas han sido
examinadas. Es claro que nuestra construccin de origen a un subgrafo que no contiene un circuito. El
subgrafo tambin es conexo. As el subgrafo construido es un rbol.

Adems, este es un rbol generador debido a que el grafo original es conexo. Finalmente, el rbol
generador es mnimo por que en el proceso de construccin una arista era excluida a favor de las aristas
de pesos mayores solo si s sabia que la arista excluida no poda estar en un rbol generador mnimo.
En otras palabras, las v 1 aristas en el subgrafo son efectivamente las v 1 aristas con los pesos
menores que pueden ser incluidas en un rbol generador mnimo.

Ejemplo: