Matematicas Discretas 290150

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA

CONTENIDO DIDCTICO DEL CURSO-290150-MATEMTICAS DISCRETAS
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA ESCUELA

DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA UNIDAD
DE CIENCIAS BSICAS
Luis Eduardo Castillo Mndez
290150 MATEMTICAS DISCRETAS

LUIS GERARDO ARGOTY HIDALGO
(Director Nacional)
LUIS GERARDO ARGOTY HIDALGO
Acreditador
BOGOT D.C.
Abril 2013

COMIT DIRECTIVO
Jaime Alberto Leal Afanador
Rector
Gloria Herrera
Vicerrector Acadmico
Roberto Salazar Ramos
Vicerrector de Medios y Mediaciones
Maribel Crdoba Guerrero
Secretaria General
MDULO
MATEMTICAS DISCRETAS
PRIMERA EDICIN
Copyright
Universidad Nacional Abierta y a Distancia UNAD
ISBN
2007

Dedicado a todas aquellas

personas que son anclas en mi vida.

ASPECTOS DE PROPIEDAD INTELECTUAL Y

VERSIONAMIENTO
El presente mdulo fue diseado en el ao 2007 por Luis Eduardo

Castillo Mndez docente de la Unad, director del curso Matemticas Discretas.
El documento tiene como antecedentes, la teora de la informacin, la lgica, la
combinatoria, la teora e grafos.
Como novedades de este material es la presentacin por unidades, captulos y
lecciones, que permite una fcil ubicacin de temticas especficas, segn el
inters del estudiante.
Adems, el componente prctico para los cursos
tericos de Matemticas a final de cada unidad.
Este documento se puede copiar, distribuir y comunicar pblicamente bajo las
condiciones siguientes:
Reconocimiento. Debe reconocer los crditos de la obra de la manera
especificada por el autor o el licenciador (pero no de una manera que
sugiera que tiene su apoyo o apoyan el uso que hace de su obra).
No comercial. No puede utilizar esta obra para fines comerciales.
Sin obras derivadas. No se puede alterar, transformar o generar una obra
derivada a partir de esta obra.
Al reutilizar o distribuir la obra, tiene que dejar bien claro los trminos
de la licencia de esta obra.
Alguna de estas condiciones puede no aplicarse si se obtiene el permiso
del titular de los derechos de autor
Nada en esta menoscaba o restringe los derechos morales del autor.

INTRODUCCIN
El presente modulo est dirigido a estudiantes de programas de pregrado que
oferta la UNAD, bajo la modalidad de educacin superior a distancia.
El material est estructurado en tres unidades que son las temticas macro del
curso acadmico. .
El contenido de cada una de las partes fue seleccionado, teniendo en cuenta los
saberes mnimos que se esperara debe alcanzar un estudiante de la
Universidad Nacional Abierta y a Distancia en el campo de las Matemticas
Discretas.
La propuesta permite que los estudiantes reconozcan los conocimientos
mnimos del curso en mencin, que le permita resolver situaciones propias del
mismo y adems, abordar posteriores temticas que requieran de stos
conocimientos.
Para el mejor aprovechamiento de este material, se recomienda que el
estudiante posea como conocimientos previos: lgica, teora de conjuntos y la
combinatoria.

El modulo se caracteriza porque en cada leccin se presentar ejemplos modelos

del tema en estudio, al final de cada captulo se exponen ejercicios; con
respuesta, que permite a los estudiantes contextualizarse en diversas reas del
conocimiento, con el fin de fortalecer las temticas propias del curso. Al final
de cada unidad se presenta una Autoevaluacin de un nivel medio-alto, las
cuales permiten verificar los alcances de los estudiantes en las temticas
analizadas y detectar las debilidades y as centrarse en stas, con el fin de
alcanzar las metas propuestas.
Finalmente, el Material pretende servir como gua de aprendizaje autnomo, se
recomienda apoyar este proceso por medio de lecturas especializadas, ayudas
audiovisuales, visitas a sitios Web y prcticas de laboratorio; entre otros, as
lograr una efectiva comprensin, interiorizacin y aplicacin de las temticas
estudiadas.

ndice de
Contenido
Introduccin.................................................................................................................. 7
Unidad 1 ARITMTICA MODULAR...................................................................... 9
Captulo 1 DE LA TEORA DE CONJUNTOS.....................................................10
Comentario inicial........................................................................................................ 10
Leccin 1. Conjuntos.................................................................................................... 11
Leccin 2. Partes de un conjunto................................................................................... 13
Qu es un subconjunto?...................................................................... 13
Qu son las partes de un conjunto?..............................................................................15
Leccin 3. Operaciones entre conjuntos....................................................................... 16
Leccin 4. Relacin de equivalencia..............................................................................17
Qu es una relacin entre conjuntos?.......................................................................... 17
Qu es una relacin de equivalencia?.......................................................................... 18
Leccin 5. Relacin de orden........................................................................................ 21
Qu es una relacin de orden?...................................................................................... 21
Representacin grfica de una relacin de orden........................................................... 22
Leccin 6 Funcin......................................................................................................... 24
Qu es una funcin?......................................................................................................24
Tipos especiales de funciones.........................................................................................25
Captulo 2 DE LOS NMEROS NATURALES Y ENTEROS.............................. 27
Comentario Inicial................................................................................................... 27
Leccin 7. El principio de induccin............................................................................. 28
Caracterstica inductiva de los nmeros naturales..........................................................28
Demostracin por induccin...........................................................................................29
Leccin 8. Divisibilidad y el Algoritmo de Euclides..................................................... 31
Conceptos bsicos............................................................................................................31
Algoritmo de Euclides..................................................................................................... 33
Leccin 9. Nmeros primos y el Teorema Fundamental de la Aritmtica.................... 34
Nmeros primos...............................................................................................................35
Factorizacin....................................................................................................................35
Leccin 10. Congruencias.............................................................................................. 36
Definiciones bsicas................................................................................... ...37
Propiedades de las congruencias......................................................... ..38

Autoevaluacin de la Unidad 1............................................................................ ..41

Unidad 2 TCNICAS DE CONTEO...................................................................... 42
Captulo 3 PERMUTACIONES......................................................................... .43
Comentario inicial....................................................................................... .......43
Leccin 11. Definiciones bsicas...................................................................................44
Enumeracin.....................................................................................................................44
Leccin 12. Principios bsicos de conteo................................................................... .45
Leccin 13. Variaciones...................................................................................................47
Qu es un factorial?........................................................................... ..47
Qu es una variacin?............................................................................................... .48
Leccin 14. Permutaciones........................................................................................ 50
Qu es una permutacin?.......................................................................................... .50
Permutacin con repeticin donde hay ms de un elementos que se repite....................51
Captulo 4 COMBINACIONES................................................................................53
Comentario inicial....................................................................................... .53
Leccin 15. Combinatoria.......................................................................................... 53
Definicin de combinatoria........................................................................................ 54
Leccin 16. Propiedades de la combinatoria.............................................................. 55
Combinatoria con repeticin y permutacin circular................................... .56
Leccin 17. Combinatoria con repeticin.....................................................................57
Leccin 18. Permutacin circular............................................................................ 58
Autoevaluacin de la Unidad 2............................................................................ 59
Unidad 3 RELACIONES DE RECURRENCIA..................................................... 60
Captulo 5 RECURSIN........................................................................................... 61
Comentario inicial....................................................................................... ..... 61
Leccin 19.Relacin de recurrencia................................................................................... .62
Definicin de relacin de recurrencia........................................................................ 62
Leccin 20. Relacin de recurrencia lineal............................................................. ....63
Leccin 21. Recurrencia lineal homognea....................................................................64
Leccin 22. Recurrencia lineal no homognea................................................................65
Captulo 6 FUNCIN GENERADORA............................................................ 67
Comentario inicial........................................................................................................ .67
Leccin 23. Funcin generadora y sucesin asociada......................................................68
Definicin de funcin generadora................................................................................... 68

Leccin 24. Series de Taylor y Maclaurin.....................................................................69

Leccin 25. Resolviendo problemas de conteo a travs de un polinomio....................... 71
Autoevaluacin de la Unidad 3............................................................................ .73
Unidad 4 INTRODUCCIN A GRAFOS.............................................................. .74
Captulo 7 GRAFOS............................................................................................ ...75
Comentario inicial.......................................................................................................... 75
Leccin 26. Definiciones bsicas..................................................................................... 76
Qu es un grafo simple?..................................................................................................76
Qu es un multigrafo?.....................................................................................................76
Qu es un digrafo?........................................................................................................ ....77
Qu es un multidigrafo?..................................................................................................78
Qu es un grafo?........................................................................................................... ..79
Leccin 27. Grafos bipartidos y completos.......................................................................81
Qu es un grafo bipartido?.............................................................................................. 81
Qu es un grafo completo?............................................................................................ .82
Leccin 28. Representacin de grafos..............................................................................83
Matrices de adyacencias................................................................................................... 83
Matrices de incidencias.................................................................................................... 85
Leccin 29. Caminos, ciclos y grafos conexos................................................................ 86
Definiciones bsicas........................................................................................................ .86
Grafos conexos................................................................................................................. 87
Leccin 30. Grafos eulerianos y hamiltonianos............................................................... 89
Qu es un grafo euleriano?............................................................................................ .89
Qu es un grafo halmitoniano?...................................................................................... .91
Captulo 8 RBOLES.................................................................................................93
Comentario inicial............................................................................................................ 93
Leccin 31. rboles.........................................................................................................94
Leccin 32. Algunas definiciones.................................................................................... 95
Leccin 33. Algoritmo en rboles.................................................................................... 96
Autoevaluacin de la Unidad 4............................................................................ ..98
RETROALIMENTACIN..........................................................................................99
Referencias............................................................................................................... .105
Referencias Virtuales....................................................................................................105

Unidad 1
ARITMTICA MODULAR

Captulo 1
DE LA TEORA DE CONJUNTOS
Objetivo general
Presentar y afianzar algunos conceptos de la Teora de Conjuntos
relacionados con el estudio de la matemtica discreta.
Objetivos especficos
Reconocer relaciones entre conjuntos.
Identificar una relacin de equivalencia y clases de equivalencia.
Identificar una relacin de orden.
Comentario inicial
En este captulo se presentan conceptos bsicos y notaciones de la Teora
de Conjuntos relacionados con los temas a exponer en este mdulo.
10

Leccin No. 1: Conjuntos

Aunque en matemtica no existe una definicin para conjunto, tenemos
que un rebao, un enjambre de abejas, un ejrcito, una familia y otros
similares nos dan una idea intuitiva de lo que es un conjunto.
Como es usual, pero no regla, los elementos de un conjunto se nombran
por letras minsculas y los conjuntos se nombran con letras maysculas.
As, tenemos que a A representa que a es un elemento de A
, como tambin tenemos que b A representa que b no es
un elemento de A .
Se puede determinar un conjunto de dos formas: por extensin y por
comprensin. Por extensin se determina un conjunto dando una lista
de todos los elementos que conforman el conjunto. Y por comprensin
se determina un conjunto dando una propiedad o condicin que deben
cumplir los elementos que conforman el conjunto. Usualmente dicha
condicin tiene la siguiente estructura: x U : x es P y se lee es
el conjunto de todos los elementos del conjunto U que satisfacen
U usualmente es
la propiedad o condicin P. El conjunto
llamado conjunto referencial o universal.
El conjunto representado por es el conjunto vaco o sin elementos.
Tambin se puede representar por .
Salvo que se indique lo contrario, los conjuntos que se van a considerar
en este mdulo son finitos, es decir, conjuntos en los que podemos
contar sus elementos o en otras palabras, asociarles un nmero natural
que indica la cantidad de elementos que tienen dichos conjuntos.
Ejemplo
1:
Pensemos
en
el
siguiente
conjunto
A 0, 1, 2, 3, 4, 5, 6, 7, 8,9 . Como puede apreciarse en el ejemplo,

el conjunto A est determinado por extensin, ya que se tiene la lista
de
11

los elementos que lo conforman. Sin embargo uno puede escribir el

mismo conjunto por comprensin de la siguiente forma:
A x N: x es un dgito , donde N es el conjunto de los nmeros
naturales. Tambin podemos decir por ejemplo 1 A , 11 A , 3 A
100 A y 9 A , entre otras cosas.
Ejemplo 2: Pensemos en los planetas del sistema solar y el siguiente
conjunto: son los planetas en los que hay evidencia de vida. Si llamamos
B a ese conjunto de planetas, entonces por extensin B La Tierra
y por comprensin
B x S : x es un planeta con evidencia de vida
,
donde S es el conjunto de los planetas del sistema solar. Tambin
podemos decir por ejemplo, que La Tierra es elemento de B , que
Mercurio no es elemento de B y que Plutn no es elemento de B ,
entre otras cosas.
Ejemplo 3: El conjunto de todos los libros de una biblioteca pblica
es un conjunto finito, porque aunque pueden ser muchos libros, hay un
nmero natural que nos indica cuntos hay. Los conjuntos A y B de
los ejemplos 1.2.1 y 1.2.2 son conjuntos finitos. El conjunto vaco es
finito y su nmero de elementos es cero. El conjunto de los nmeros
naturales y el conjunto de los enteros son ejemplos de conjuntos no
finitos.
EJERCICIOS
Ejercicio 1: Escriba por extensin los siguientes conjuntos:
a. El conjunto de todos los nmeros enteros impares mayores que 0 y
menores que 10.
Sol: 1,3 ,5 ,7 ,9
b. El conjunto de las letras que son parte de la sigla de la Organizacin de

las Naciones Unidas.
12

Sol:
o, n , u
Ejercicio 2: Escriba por comprensin los conjuntos del ejercicio

1:
Sol: a . x : 0 < x < 10 , donde Z es el conjunto de los
nmeros enteros.
b. x C: x es letra en minscula de la palabra ONU , donde C es el conjunto
de las letras del alfabeto espaol.
Ejercicio 3: Proponga tres ejemplos de conjuntos y para cada uno de ellos
haga un desarrollo similar al presentado en los ejemplos 1, 2
3 de la leccin 1.
Leccin No. 2: Partes de un conjunto

Qu es un subconjunto?
Un conjunto A es un subconjunto de un conjunto B , si todos los
elementos de A son elementos de B . La notacin de la relacin
...ser subconjunto de... es A B .
Un conjunto A no es un subconjunto de B , si existe al menos un
elemento de A que no es elemento de B . La notacin de la relacin
...no es subconjunto de... es A B .
Para todo conjunto A , se tiene que A y que
llamados los subconjuntos impropios de A .
A A
y son
Se dice que A y B son iguales, notado A B , si y solo si A B

y B A . Se dice que A y B no son iguales, notado A B , si
y solo si A B o B A .
13

Ejemplo 1:
Pensemos en los conjuntos A a, 0,b , 1, c , 2,3
y B a, l , 0, u , b , 1, i , c , s , 2,3 , entonces
A B
porque todos
los elementos de A estn en B , pero B A ya que por lo
menos
s B y s A .
Ejemplo 2: Si N es el conjunto de los nmeros naturales y Z es
el conjunto de los nmeros enteros, entonces
N
.
Ejemplo 3: Si
A 1,2 ,3 , a , e , i , o , u
Ba , e , i , o , u ,10 ,1 ,5 ,6 ,8
entonces
A B
, ya que por lo menos 2 A y 2 A .
A 1,2 ,3 ,4 ,5 y B 5,3 ,4,1,2 entonces

AB .
Ejemplo 4: Si
CD .
Si C a , a , b , c , d , e y Da , b , b , c , d , e entonces
En ambos casos se puede confirmar la igualdad, verificando la veracidad
de la doble contenencia.
A 1,2 ,3 ,4 ,5 y
B5,3 ,4 ,1 ,2 ,6 ,6 entonces
Ejemplo 5:
Si
A B porque B A y si C 1, b,3,d ,5 y Da, b, c ,3 ,5 entonces,
tambin se cumple que C D porque C D
EJERCICIOS
Ejercicio 1: Proponga dos subconjuntos para el conjunto B
del
A
ejemplo 1 y dos subconjuntos para el conjunto
del ejemplo 2.
Proponga dos conjuntos que no sean subconjuntos de A del ejemplo
B del
1 y proponga dos conjuntos que no sean subconjuntos de
ejemplo 2 correspondientes a la leccin 2.
Ejercicio 2: Proponga un conjunto de tal forma que pueda sacar tres
subconjuntos y que pueda sacar tres no subconjuntos.
Ejercicio 3: Proponga dos ejemplos de igualdad entre conjuntos y
dos ejemplos en donde no haya igualdad entre conjuntos.
14

Qu son las partes de un conjunto?
Dado un conjunto A , el conjunto formado por todos los subconjuntos

de A se llama partes del conjunto A . Partes de A se denota
usualmente por P (A) . Cuando A tiene n elementos, el conjunto
P(A) tiene 2 n elementos.
Ejemplo 1: Si
.
A 0,1
, entonces
P (A) , 0 , 1 , A
B
Ba , b , c , entonces
Ejemplo 2:
Si
tiene
, a , b c a , b , a ,c b , c B .
subconjuntos y P (B)
,
2 8
Ejemplo 3: Tomando como referencia el conjunto A del ejemplo

1.2.1, tenemos lo siguiente: el conjunto A tiene 2 10 subconjuntos,
0,1,9,11 0,1,2,4,5,7 ,
P 0,1,2 P (A)
P (A) , 0,1,2 A ,
,
5,6 P 0,2,6 , 1,1,2, 2,1 , 4,5,6,1 3,7,8,9 y muchas
otras
ms relaciones que se pueden sacar!!!.
Ejercicios
Ejercicio 1:
Considere el conjunto C a, b, c, d .
Cuntos subconjuntos de C hay? Por extensin, quin es P(C)?
4
Sol: El conjunto C tiene 2 16 subconjuntos.
Ejercicio 2: A partir de un conjunto que usted quiera definir,
construya 5 ejemplos de ser elemento de partes del conjunto y 5 ejemplos
de no ser elemento de partes del conjunto.
15
Leccin No. 3: Operaciones entre conjuntos

Si consideramos que A y B son subconjuntos de un conjunto U ,
entonces la siguiente tabla contiene un resumen de las operaciones
bsicas entre conjuntos:
Operacin
Nombre
Definici
A
B
A
Uni
x U : x A x B
Interseccin
x U : x A x B
A-B
Diferencia
x U : x A x B
Complemento
{x
Uy
xA}
Tabla 1.1.1. Resumen operaciones bsicas entre conjuntos.
Dos conjuntos A y B son disyuntos si A B . Las Leyes de

Morgan para A y B son (A B) c Ac Bc y
(A B) c Ac Bc .
Ejemplo 1:
Si U a , 1, b , 2, c , 3, d , 4, e , 5 , A a , b , 2, d ,
4,5 y B a, 1, b , 2, c entonces A Ba , 1, b , 2, c , d , 4,5 ,
A
c
Ba ,b , 2 , A Bd , 4,5 y A 1, c , 3, e .
Ejemplo 2:
Si
U a , b , c , d , e
A a , b , d
Ba , d ,
e
c
entonces A Ba , b , d , e , A Ba , d , B Ae y B b , c
.
Ejemplo 3: Si
U 1,10 ,100 ,1000 ,10000 ,

entonces Ac 1,10 ,1000 ,10000
B 1, 100 , 1000 ,
Ac B c 1,1000 .
A 100
A B A y
Ejercicios
Ejercicio 1: A partir del ejemplo 1 encontrar B- A , Bc ,
c
c
c
c
(A B) , A B ,
(A B) y Ac B c .
16
Sol:
B-A1, c
c
c
(A B) 3, e y (A B) 1, c, 3,d,
4,e ,5
Ejercicio 2:
y
C 1, 5,8
c
Si
U 1,2,3,4,5,6,7,8,9
A 3,7,9
encontrar (A B) (BC) -A y
B 1,3,4,5
A B BC - A 1,5} y C =
Sol:
{2,3,4,6,7,9}.
Leccin No.4: Relacin de equivalencia

Qu es una relacin entre conjuntos?
El producto cartesiano de A y B , notado A X B , es el conjunto
a , b : a Ab B , donde a , b se denomina pareja ordenada .
Una relacin del conjunto A en el conjunto B es una regla R que
asigna a elementos del conjunto A uno o varios elementos del
conjunto B .
Dicha regla se puede escribir como un conjunto de parejas ordenadas,
por lo tanto, R es un subconjunto de A X B . En smbolos
a , b es pareja ordenada de la relacin R , se
R A X B .
Si
escribe a R b y se lee a est relacionado con b mediante R .
Ejemplo 1: Si
entonces:
A a , b , c
y B 1,2
A X B (a , 1) , ( a , 2) , (b , 1) , ( b , 2) , ( c , 1) , ( c ,
2)
pero tambin se tiene que:

B X A (1, a ) , ( 2, a) , ( 1, b) , ( 2, b) , ( 1, c) , ( 2, c)
A X B del
Ejemplo 2: Si consideramos el producto cartesiano
ejemplo 1.5.1, tenemos que el conjunto R (a ,1) , ( b ,2) , ( c ,1) es
una
17

relacin de A en B , ya que R A X B . En cambio, el conjunto

R 1 (a ,1) , ( a ,2) , ( b ,1) , ( 2,2 ) , ( 2, c) no es una relacin deA en B
,
porque R1 A X B ya que por lo menos (2,2) es un elemento de R1
pero no es elemento de A X B .
Ejemplo 3: Sea el producto cartesiano RxR donde R es el
conjunto de los nmeros Reales,
1
R x , y
: x +y 1 ,
2
R2 x , y X : 3x y 6 y
R 3 x , y X : x
0 son ejemplos de relaciones en los reales.
Ejercicios
Ejercicio 1: Calcule el producto cartesiano A X B , donde:

a. A es el conjunto de los nmeros naturales y B el conjunto de las
vocales.
b. A es el conjunto cuyo elemento es a y B el conjunto de los
enteros entre -3 y 3, incluyndolos.
Sol: a. si B a , e , i , o , u entonces A X B a , b : a Nb B ,
donde
N es el conjunto de los nmeros naturales.
Ejercicio 2: De cada uno de los productos cartesianos obtenidos en el
ejercicio 1, busque dos ejemplos de relaciones y dos ejemplos de no
relaciones.
Ejercicio 3: Proponga un ejemplo similar al presentado en el ejemplo
2.
Qu es una relacin de equivalencia?

Una relacin del conjunto A en s mismo es una relacin de
equivalencia en A si cumple las propiedades de ser reflexiva,
simtrica y transitiva.
Una relacin
es reflexiva, si para todo
de
A , se cumple
18

que a a .
Una relacin
entonces b a .
es simtrica, si para todo
ab
, con
ab
Una relacin es transitiva, si para todo a b y bc , se tiene

que a c .
Ejemplo 4: Sean
A a , b , c
R1 ( a , a) , ( a , b) , ( b , b) , ( b , a) , ( c , c)
una relacin en A , es claro que es reflexiva ya que

(c , c) son elementos de R1 . Sea
R 2 ( a , a ) , ( b , b ) , (a , b )
entonces es una relacin en

(c , c ) R 2 .
(a , a) ,
(b , b) y
que no es reflexiva porque c A pero
Ejemplo 5: Sean A , R1 y R2 los mismos del ejemplo 1.5.4, entonces

R1 es simtrica porque
(a , b) y (b , a) son elementos de
R1 . La relacin R2 no es simtrica porque (a , b) est en la relacin
pero (b , a) no est en la relacin.
A y R1 los mismos del ejemplo 1.5.3, entonces
Ejemplo 6: Sean
R1 es transitiva porque
(a , a) y (a , b) implica (a , b) , (a , b)
y (b ,b) implica
(a , b) ,
(a , b) y (b , a) implica
(a , a) ,
(b ,
a) y (a , b) implica
(b ,b) , (b , a) y (a , a) implica
(b , a) ,
finalmente (b ,b) y (b , a) implica (b , a) . De aqu se tiene que
R1 es una
relacin de equivalencia en A .
Toda relacin de equivalencia en un conjunto
A particiona al
19

conjunto en subconjuntos, tales que ninguno es vaco; la unin de todos

ellos es A y son mutuamente disyuntos. Cada conjunto de la
particin se llama una clase de equivalencia.
En otras palabras, si es una relacin de equivalencia en A
entonces para todo a de A se define la clase de equivalencia de
a como a x A : x a . El conjunto formado por todas las
clases de equivalencia se llama conjunto cociente, usualmente
notado por
A .
Ejemplo 7:
Retomando nuevamente A y R1 de los ejemplos
4, 5 y 6, se tiene que las clases de equivalencia de la relacin
R1 en A son a a , b b y c c . El conjunto cociente
dado por la relacin es: A R1 a , c .
Ejemplo 8: Sea la particin en nmeros enteros dado ser par o impar,
est definida por la siguiente relacin de equivalencia: si a y b son
enteros entonces a est relacionado con b , si y slo si, a b
al dividirlo por 2 el residuo es 0. Las clases de equivalencia de la
0 que representa los enteros pares y
1 que
relacin son
representa los nmeros impares. Luego el conjunto cociente est dado
por los elementos
0 y 1 .
A 0,1 ,2 ,3 , entonces la relacin en A
Ejemplo 9:
Si
: R 0,0 , 1,1 , 2,2 , 3,3 , 1,0 , 0,1 es una relacin de equivalencia,
el lector puede verificarlo. Por ser R una relacin de equivalencia en
A
2 2 y
, las clases de equivalencia son 0 0, 1 1 ,
El
conjunto cociente de la relacin es A R 0 , 2 ,
3 .
3 3 .
Ejercicio
Ejercicio 4: Proponga dos conjuntos y para cada uno de ellos
proponga una relacin de equivalencia, describa las clases de
20

equivalencia y defina quin es el conjunto cociente de la relacin.
Leccin No.5: Relacin de orden

Qu es una relacin de orden?
Una relacin del conjunto A en s mismo es una relacin de
A si cumple las siguientes propiedades: reflexiva,
orden en
antisimtrica y transitiva.
Una relacin
que aa .
es reflexiva, si para todo
de
, se cumple
Una relacin es antisimtrica, si para todo a b y ba

entonces ab . En otras palabras, una relacin es antisimtrica si
para todo ab con a b entonces no es cierto que b a .
Una relacin es transitiva, si para todo ab y b c , se tiene
que ac .
Ejemplo 1: Ejemplos de relaciones reflexivas y transitivas pueden ser

los mismos presentados en los ejemplos del la seccin 1.5.
Ejemplo 2: Sea
A 1,2 ,3 y la relacin
en A definida como
R (1,1) , ( 1,2) , ( 1,3) , ( 2,2) , ( 2,3) , ( 3,3) ,
el lector puede verificar sin dificultad que R es reflexiva y transitiva en

A . Tambin es antisimtrica porque al tomar (1,2) , (1,3) y (2,3)
de R se tiene que
(2,1) , (3,1) y (3,2) no estn en R . Luego
R es una relacin de orden en A .
21

Ejemplo 3: Sea B = {a, b, c, d}y la

relacin R en B, R= {(a,a),(a,b),(a,c),(b,c)}
es relacin de orden
Ejemplo 4: L a relacin de contenencia entre conjuntos es una
relacin de orden.
Ejemplo 5: Las relaciones de orden usual definidas en los nmeros
naturales, nmeros enteros, nmeros racionales y nmeros reales son
ejemplos de relaciones de orden.
Ejercicio
Ejercicio 1: Proponga tres conjuntos y para cada uno de ellos
proponga una relacin de orden. Justifique.
Representacin grfica de una relacin de orden
La representacin grfica usual de una relacin de orden es el

Diagrama de Hasse que es una grfica de puntos que representan los
elementos del conjunto sobre el cual se le ha definido la relacin de
orden y el diagrama indica cmo es la relacin entre cada uno de los
elementos dada por esta misma relacin de orden.
Ejemplo 6: Sea la relacin de orden definida en el ejemplo 1.6.2 ,

entonces el diagrama de Hasse para esta relacin es:
22

3
2
1
Grfica 1.1.1. Diagrama de Hasse para ejemplo 1.6.2.
A 1,2 ,3 ,4 ,5 , el diagrama de
Ejemplo 7: Sea el conjunto
Hasse para el orden usual sobre A es:
Grfica 1.1.2. Diagrama de Hasse para ejemplo 1.6.7.
Ejercicios
Ejercicio 2: Construya los diagramas de Hasse para las relaciones de
orden del ejercicio 1 de esta leccin.
Ejercicio 3: Construya los diagramas de Hasse para dos relaciones de
orden definidas por usted.
23

Leccin No. 6: Funcin

Qu es una funcin?
Se llama funcin de un conjunto A en un conjunto B , a toda
relacin de A en B que cumple la condicin de que todos y cada
uno de los elementos de A est relacionado con un nico elemento
de B .
Si
f es
f : A B
una funcin de A en B , usualmente se denota por

. El dominio de una funcin es el conjunto A y el rango de
una funcin es el subconjunto de B conformado por todos los
elementos de B que estn relacionados con todos los elementos de
A mediante la funcin f .
Si f es una funcin de A en B , y si x A le
f , entonces y es la
corresponde y B mediante la funcin
imagen de x mediante f y se representa por y f x .
A a , b , c y B1,2 ,3 ,5 entonces la relacin

Ejemplo 1: Si
de A en B definida por R ( a ,1), (b ,2), (c ,1) es una funcin.
1,2
El dominio de la funcin esa , b , c y el rango de la funcin es
. Se tiene tambin que la imagen de a es 1 , es decir, f a 1 ;
que la imagen de b es 2 , es decir, f b 2 y que la imagen de c
es 1 ,
es decir, f c 1 .
A a , e , i , o , u y B2,4 ,6 entonces la relacin

Ejemplo 2: Si
de B en A definida por H (2, i) , ( 2, o) , ( 4, a) , ( 6, u) no es
una funcin, ya que el elemento 2 de B est relacionado con los
A .
elementos i y o
de
Ejemplo 3: La relacin definida como
A ( x , y) X
1
: y 2 ,
x 1
24

Donde X es el conjunto de los nmeros reales, es una funcin en los

1
reales de tal forma que se puede escribir: f x x2 1 .
Ejercicios
Ejercicio 1: Proponga tres ejemplos de funciones y tres ejemplos de no
funciones.
Ejercicio 2: Encuentre el dominio y el rango de la funcin del
ejemplo 3 de esta leccin, justificando su respuesta.
Sol: El dominio son los reales y el rango son los reales positivos.
Tipos especiales de funciones
La funcin f : AB es uno a uno o inyectiva, si para todo x y y
A con
x y se tiene que
f x f y . En otra palabras,
de
f x f y si entonces x y .
La funcin f : AB es sobreyectiva o sobre, si el rango de la funcin
es el mismo conjunto B .
La funcin
vez.
f : A B
es biyectiva, si es inyectiva y sobreyectiva a la
Ejemplo 4:
De nuevo, si A a , b , c y B1,2 ,3 ,5 entonces
A en
B definida por
R (a ,1) , ( b ,2) , ( c ,3)
la relacin de
es una funcin uno a uno. Pero la relacin R1 ( a ,1) , ( b ,2) , ( c ,2)
es una funcin que no es inyectiva.
Ejemplo 5:
de
Si A h , i , j y B1,2 entonces la relacin
25

en B definida por R ( h ,1 ) , ( i ,1) , ( j ,2) es una

funcin sobreyectiva. Pero la relacinR 1 ( h ,1) ,( i , 1) , ( j ,1)
es una funcin que no es sobreyectiva, ya que el rango deR1 no es
igual a B .
A
x , y X : y x 1
Ejemplo 6:
Larelacin definida como
, donde X es el conjunto de los nmeros reales, es una funcin que es
biyectiva, porque es inyectiva y sobreyectiva. Como la relacin
representa una recta, es claro geomtricamente hablando que la funcin
es uno a uno y sobre.
Ejercicios
Ejercicio 3: Proponga tres ejemplos de funciones uno a uno, tres
ejemplos de funciones sobreyectivas y tres ejemplos de
funciones
biyectivas. Proponga tres ejemplos de funciones que no sean uno a uno,
tres ejemplos de funciones que no sean sobreyectivas y tres ejemplos de
funciones que no sean biyectivas.
Ejercicio 4: Verifique analticamente que la funcin del ejemplo
6 es biyectiva.
26

Captulo 2
DE LOS NMEROS NATURALES Y

ENTEROS
Objetivo general
Presentar y afianzar algunos conceptos de los nmeros naturales y
nmeros enteros relacionados con el estudio de la matemtica discreta.
Reconocer y comprender la divisibilidad en nmeros enteros.
Identificar el concepto y la utilidad del concepto de congruencia en
nmeros enteros.
Comentario inicial
En este captulo se presentan algunos tpicos de los nmeros naturales y
de los enteros que tienen que ver con matemtica discreta. Se asume que
para el lector son conocidas la naturaleza y propiedades de los nmeros
naturales y enteros, vistos en cursos anteriores de matemticas.
27

Leccin No. 7: El principio de induccin

Caracterstica inductiva de los nmeros naturales
Por la mayora son conocidos los nmeros naturales y su uso ms comn
que es el de contar. La posibilidad de contar est dada por una propiedad
propia de los naturales que se llama el Principio de induccin de los
nmeros naturales. Para entender el principio de induccin se hace
necesario conocer los Axiomas de Peano.
Si N es el conjunto de los nmeros naturales, los Axiomas de Peano
son como sigue:
a. 0
b. Para todo n N existe n+1. El natural n+1 se llama el
sucesor del natural n .
n+1 S ;
c. Si S tal que 0 S y n S implica que
entonces
S ; este es el Principio de Induccin de los nmeros naturales.
El principio de induccin en los naturales da lugar a lo que se llaman las
definiciones inductivas, algoritmos recurrentes y las demostraciones por
induccin, estas ltimas se vern con detalle en la siguiente seccin.
Ejemplo 1: Un ejemplo clsico de definicin por induccin es x
, donde
x
n
es real y n es natural. La definicin de x
es como
sigue:
0
1
n 1
n
x x .
x 1 , x x y para todo n1 , x
Ejemplo 2: Un ejemplo clsico de algoritmo recurrente es la Serie de

Fibonacci dada por a 01 , a 11 y a n 1 a n an 1 , para todo n1
. Los primeros 8 trminos de la serie son 1, 1, 2, 3, 5, 8,13 y 21.
Ejercicios
n
Ejercicio 1: Defina inductivamente R , donde Res el conjunto

de los nmeros reales y n es natural mayor o igual a 1.
28

2
Ayuda: Recordar que R es igual al producto cartesiano RxR.

Ejercicio 2: Proponga e implemente en MAPLE o en un lenguaje de
programacin en la Serie de Fibonnacci.
Demostracin por induccin
Inspirado en el principio de induccin de los nmeros naturales, existe un
mecanismo de demostracin denominado demostracin por induccin.
La Demostracin por induccin consiste en verificar una propiedad de
la forma P n , donde P es una propiedad acerca de un nmero
natural n . Si S es el conjunto de los nmeros naturales que
satisface P n y si
i. El natural 1S y
ii. Si para todo k S , con k+1 , k+1
S
entonces S es igual al conjunto de los nmeros naturales. Por lo tanto,

para demostrar cualquier propiedad que satisface todos los naturales,
basta demostrar que el natural 1 satisface la propiedad y que k+1
tambin la satisface. La parte en la que uno supone que la propiedad es
vlida para k se llama hiptesis de induccin.
Es importante aclarar que en la demostracin por induccin no es
necesario que 1 S , es posible que la propiedad P n sea vlida en
los naturales a partir de un natural diferente a 1 en adelante. Si esto es
cierto, se dice que P n es cierta para todos los naturales, a partir del
natural donde es vlido.
Ejemplo 3: Verificar por induccin la propiedad P ( n) definida por
2
n1 . En
la igualdad 1 , 3, 5, 7,,2n1 n , para todo
2
efecto, para n1 , se tiene que P ( 1) se cumple, ya que 11 .
k mayor que 1 es vlida la
Ahora supongamos que para un natural
propiedad,
es decir, P( k) es cierta, slo falta verificar que P ( k+1) es cierta, es
2
decir, hay que verificar que 1 , 3, 5, 7,2k 1 ( k +1) .
29

Pero esto es cierto, ya que, por hiptesis de induccin

2
1, 3, 5, 7,,2 k 1 k
2
2
1, 3, 5, 7,,(2 k 1) +(2k+1) k +(2k+1)=(k+1)
P (k+1)
De aqu
es cierta y como ya se
P(
1)
verific que
es cierta, entonces por el
principio de induccin, la propiedad P( n) es cierta para
todo n 1 .
Ejemplo 4: Verificar por induccin la propiedad

n+1
la igualdad 1 2 3 ... n n 2 , para todo
n 1
, se tiene que
P( 1) se cumple porque
P ( n)definida por
n 1
. En efecto, para
1 1 1+1
2
. Ahora
supongamos que para un natural k mayor que 1 es vlida la propiedad,

es decir, P ( k) es cierta, slo falta verificar que P ( k+1) es cierta, es
decir verificar que
1+2+ 3+...k+1 (k+1)[(k+1)]/2
1+2+3++k+(k+1) = k(k+1)/2 + (k+1) =
(k+1)(k/2 +1) = (k+1)(k+2)/2
De aqu que P)k+1) es verdadera y ya se verific que P ( 1) es cierta,

por el principio de induccin, la propiedad P (n)
es cierta para todo n 1 .
Ejemplo 5: Demo str ar q ue 4n < n - 7 p a ra to do n

6.
Ex p res emo s co n P(n ) l a p rop os i ci n 4n < n

2
- 7. Para n =6: P(6 ) = 4.6 = 2 4 y 6 - 7 = 3 6 -
7 = 29
Po r l o t anto
adera.
P(6 ) es v erd
Su po n emo s qu e P(k ) es v erd ad era para k

2
> 6 , o s ea qu e cu mp l e 4 k < k - 7
4 k < k2 - 7 4 k + 4 < (k 2 - 7 ) + 4 < (k 2 - 7 ) + (2k + 1
)
ya q u e 2k + 1 > 4 p ara k 6
4 (k + 1 ) < (k + 2 k + 1 ) - 7 = (k + 1 ) - 7
2
Po
o t anto , p o r el p ri ncip io d e ind u cci n , P(n ) es v erdad
erarpl ara
t od o v alo r n 6 .
Ejercicios
n
Ejercicio 2: Demostrar que 2 > n + 4n + 5 es verdadera para n 7

Ejercicio 3: Probar que n N: 1.3+2.4+3.5++n(n+2) = n(n+1)(2n+7)/6
Leccin No. 8: Divisibilidad y el Algoritmo de Euclides

Conceptos bsicos
A partir de la suma y el producto de los nmeros enteros se define la
diferencia a b como el entero c tal que a b c . Si a 0 y
31

para algn c entero, diremos que a divide a b y se

simboliza por ab . Esta ltima definicin es equivalente a decir que
a es divisor de b o que b es mltiplo de a .
bac
Teorema 2.3.1 (Algoritmo de la Divisin)

Dados dos enteros a y b con b0 entonces existen q y r
tales que a b.q + r , donde 0r b Adems q
yr
son nicos.
816 , ya que 16 = (8) (2), de

Ejemplo 1: 8 divide a 16, esto es
aqu se puede decir que 8 es divisor de 16 o que 16 es mltiplo de 8.
Ejemplo 2: 7 NO divide a 10, ya que para todo entero n , se tiene que

10 7 n .
Ejemplo 3: Se tiene que 13 y 4 son dos enteros, al aplicar el teorema
2.3.1 tenemos que 13 4 x 3+1 y 0 14 . En forma similar,
si tenemos a -117 y a -6, tenemos que 117 6 x 20+3 y 03 6.
Ejemplo 4: Se tiene que -13 y 4 son dos enteros, al aplicar el teorema
2.3.1 tenemos que 134 x 4+3 y 03 4. En forma similar, si
tenemos a 117 y a -6, tenemos que 117 6 x 19+3 y 03 6 .
Ejercicios
Ejercicio 1: Encuentre 5 ejemplos de ser divisible y 5 ejemplos de no ser
divisible.
Ejercicio 2:
Use el teorema 2.3.1 siendo a. a 10 y b3 ,
b. a10 y b3 , c. a10 y b3 , d. a10 y b3 .
Qu se puede concluir sobre los resultados?
Sol: a. 103x3 + 1 y 0 1 3 , c. 10 3 x3 +1 y 0 1 3.
32

Algoritmo de Euclides
El Algoritmo de Euclides es un procedimiento que usa cierto nmero de
veces el algoritmo de la divisin para obtener el mximo comn divisor
de dos enteros. El mximo comn divisor de a y b se denota por
MCD a ,b y es el mayor de los divisores comunes de a y b .
El algoritmo de Euclides se describe de la forma siguiente: Dados dos
a y b cuyo mximo comn divisor se desea hallar, y
enteros
a y b son mayores que
0 , (sin prdida de
asumiendo que
generalidad, funciona tambin si a o b son negativos), entonces se
siguen los siguientes pasos:
i. Se usa el algoritmo de la divisin para obtener a bq1 + r 1 con
0 r 1 b1. Si r 10 , entonces ba y MCD a , b b .
ii. Si r 10 entonces se divide b por r 1
y se producen
enteros
q 2 y r 2 que satisfacen br 1 q 1 + r 2 con 0r 2 r 1 . Si r 20
el proceso termina y MCD a ,b r 1 .
iii. Si r 20 se procede como en ii. y el proceso contina hasta que
algn residuo cero aparece. Como a lo ms habr b residuos en este
procedimiento, entonces el proceso es finito y el MCD a , b es el
ltimo residuo no cero del anterior proceso.
Ejemplo 5: Calcular el mximo comn divisor de 80 y 1000, usando

el algortimo de Euclides. Primero se divide 1000 entre 80 y tenemos que
1000 80x12+40 , as
MCD ( 1000,80) MCD ( 80,40). Ahora, se
divide
80 40 x2+0 .
80 entre 40 y tenemos que
Finalmente, MCD ( 1000,80) 40 .
Ejemplo 6: Calcular el mximo comn divisor de 180 y 256, usando
el algortimo de Euclides. Primero se divide 256 entre 180 y tenemos que
33

256 180 x1+76
180
entre
, as
76
MCD 256,180 MCD 180,76
tenemos
que
. Ahora, se divide
180 76x2+28 , as
MCD
180,76 MCD 76,28
. Enseguida, se divide 76 entre
76
28x2+
20 , as
MCD 76,28 MCD 28,20
tenemos que
Luego
28 20x1+ 8 y
MCD 28,20 MCD 20,8
MCD 20,8 MCD 8,4 .
Por
ltimo,
que finalmente, MCD 180,256 4 .
28
. Ahora
20 8 x2+4
8 4x2+0
para
Ejemplo 7: Calcular el mximo comn divisor de -27 y 5, usando el

algortimo de Euclides. Primero se divide -27 entre 5 y tenemos que
27 5x 6+3 , as
MCD 27,5 MCD 5,3 . Ahora, se divide 5
entre 3 y tenemos que 5 3 x1 +2 , as MCD 5,3 MCD 3,2 .
Enseguida, se divide 3 entre 2 y tenemos que 3 2 x 1+1 , as
MCD 3,2 MCD 2,1
2 2x1+0
. Por ltimo,
, para que
finalmente, MCD 27,5 1 .
Ejercicios
Ejercicio 3: Calcular el mximo comn divisor de 425 y 51, usando
el algoritmo de Euclides. Sol: 1.
Ejercicio 2.3.4: Proponga e implemente en MAPLE o en un lenguaje de
programacin el algoritmo de Euclides para encontrar el mximo comn
divisor de cualesquiera dos enteros.
Ayuda: Buscar en Wikipedia (www.wikipedia.org) o utilice un
buscador de la Internet.
Leccin No. 9: Nmeros primos y el Teorema

Fundamental de la Aritmtica
34

Nmeros primos
Un nmero entero p es primo si sus nicos divisores son 1 y p .
Un nmero entero que no es primo y no es 1 se llama compuesto. Dada
una familia de enteros, se dice que son primos entre s, si se tiene que
el mximo comn divisor de todos ellos es 1
Ejemplo 1: Los nmeros 2, 3 y 5 son ejemplos de nmeros primos

porque cada uno de ellos se ajusta a la definicin, mientras el nmero
100 es compuesto porque tiene al nmero 2 como divisor, entre otros.
Los nmeros 7 y 10 son primos entre s porque MCD 10,7 1
Ejercicio
Ejercicio 1 Encontrar los nmeros primos menores que 100.
Ayuda: Buscar en Wikipedia (www.wikipedia.org) o en algn otro
buscador de la Internet qu es la Criba de Eratstenes.
Factorizacin
Teorema (Teorema Fundamental de la Aritmtica)
n> 1 ,
Sea
entonces existen nmeros primos
n p 1 p 2 p3 ... pr y esta factorizacin es nica.
tales
que
El teorema establece la importancia de los nmeros primos. Con estos se

construyen los enteros positivos, en el sentido de que todo entero positivo
puede construirse como producto de nmeros primos de manera nica.
Existe un procedimiento para factorizar un nmero entero n acorde al
teorema 2.3.1. Los ejemplos nos indicarn en una primera instancia cmo
es el algoritmo y como ejercicio propuesto, el lector tendr la tarea de
implementar el algoritmo de factorizacin.
35

Ejemplo 2: Pensemos en factorizar 260. Como es divisible por 2

entonces 260 2x135 , como 135 no es divisible por 2 pero si es
divisible por 3, 260 2x3x45. Para 45, tampoco es divisible por 2 pero si
260 2 x 3 x 3 x 15. Como 15 no es divisible por
por 3, entonces
2, pero si por 3, entonces 260 2 x 3 x 3 x 3 x 5. Como 5 es primo hasta
aqu llega la factorizacin luego 260 2 x 33 x5.
Ejemplo 3: Pensemos en factorizar 105. Como no es divisible por 2
pero si por 3 entonces 105 3 x35 , como 35 no es divisible por 2 ni
por 3 pero si por 5 entonces 35 5 x 7 . Como 7 es primo hasta aqu
llega la factorizacin, luego 105 3 x 5 x 7 .
Ejemplo 4: Pensemos en factorizar 180. Como es divisible por 2
entonces 180 2 x90 , como 90 es divisible por 2 , 90 2 x 45 .
Como 45 no es divisible por 2 pero si por 3, entonces 45 3 x15 . El
nmero 15 es divisible, no es divisible por 2 pero si por 3, 15 3 x5 .
Como 5 es primo hasta aqu llega la factorizacin, luego
2
2
180 2 3 5 .
Ejercicios
Ejercicio 2: Factorizar : a. 135,
b.189,
e.943
Sol: a. 135 33 5 ,
c. 385 5 7 11 ,
c.385,
d.448,
e. 943 23 41
Ejercicio 3: Implementar un algoritmo de factorizacin en MAPLE

o en otro lenguaje de programacin.
Leccin No.10: Congruencias

36

Definiciones bsicas
Dados dos enteros a y b con b0 y un entero m 0 entonces
a y b son congruentes mdulo m , si ma b . La notacin es
a b MOD m .
La relacin de congruencia es una relacin de equivalencia en los
nmeros enteros. Esto implica que los enteros se pueden particionar por
clases de equivalencia, cada clase est representada por todos lo posibles
residuos que se pueden obtener de dividir cualquier entero entre el entero
m de la definicin anterior.
En este orden de ideas, el conjunto cociente de la relacin de
equivalencia dado por la congruencia es el conjunto definido por
a b MOD m 0 , 1 , 2 , , m1 , donde k z : q , z
mq+k es cada clase de equivalencia y k vara entre 0 y m 1 .
De aqu, la ntima relacin que hay entre la congruencia en enteros y el
algoritmo de la divisin (Teorema 2.3.1).
m 4 , los posibles residuos que resultan
Ejemplo 1: Pensando en
de dividir cualquier entero entre 4 son 0, 1, 2 y 3 , lo que significa que
0 , 1 , 2 , 3 y para tener una idea de quin es cada clase
4
de equivalencia tenemos que:
0 z : q , z q ,16, 12,8,4 ,0 ,4 ,8,12 ,16 ,
4
q 1 ,15,11, 7,3,1 ,5 ,9,13 ,17 ,
1 z : q , z q 2 ,14, 10,6, 2,2 ,6 ,10 ,14 ,18 ,
4
q 3 ,13, 9,5,1,3,7 ,11,15 ,19 ,
2 z : q , z
4
3 z : q , z
4
Ejemplo 2: Retomando el ejemplo 1 , calcular la clase de

equivalencia a la que pertenece 85. Entonces al usar el algoritmo de la
divisin (Teorema 2.3.1) tenemos que 85 4 21 1 , por lo cual,
851 MOD 4 , indicando que 85 est en la clase 1 .
37

m 11 , calcular a qu clase de
Ejemplo 3: Ahora pensando en
equivalencia pertenece -12567. Al usar nuevamente el algortimo de la
6 y 12567 6 MOD 11
divisin, tenemos que 12567 11 1143
, indicando que -12567 est en la clase 6 .
Ejercicios
Ejercicio 1:
Pensando en m 7 , encontrar
7 y definir cules
son sus clases de equivalencia. Calcular en qu clase estn a. 34, b. -34,
c.109, d.-109 y e.89
Sol: a. 6 , c. 4 y e.
5 .
Ejercicio 2:
Verificar que la congruencia es una relacin de
equivalencia en los nmeros enteros.
Propiedades de las congruencias
Lo que sigue a continuacin son algunas de las propiedades que tienen
las congruencias:
1. Para todo entero
a c b c MOD m
, se tiene que
a bMOD m
implica
y ac bc MOD m
2. Si a bMOD m y c dMOD m
y ac bd MOD m
entonces a c b d MOD m
3. Si ha , hb , MCD h , m 1 y a bMOD m ,
a h b h MOD m .
4. La ecuacin aX bMOD m tiene solucin si y slo si
, donde d es el MCD a , m .
5. El sistema de congruencias
d b
X b 1 MOD m1 ,
X b 2 MOD m 2 ,
38

X b 3 MOD m 3
X b s MOD m s
tiene solucin nica congruente con mdulo m 1 m 2 m 3 m s ,

i , j de 1,2 ,3 , , s
siempre
y
cuando
para
cada
1
.
(Propiedad conocida con el nombre
, MCD mi , m j
del Teorema Chino del Residuo).
Para el Teorema Chino del Residuo, si las condiciones se cumplen, la
solucin del sistema es de la forma X X 0 KP para cualquier K
entero, donde
P m 1 m 2 m 3
X 0b 1 P1 q 1 b 2 P 2 q 2
ms
P
Pi 4 ,
mi
q i P i1 MOD mi
bs P s q s
Ejemplo 3: Calcular la multiplicacin usual de los nmeros 423113 y

997891 usando propiedades de la congruencia en mdulo 5. En efecto
423113 3 MOD 5 y 9978911 MOD 5 . Por propiedad 2, se tiene que
423113 997891 3 1 3 MOD 5
Ejemplo 4: Calcular
a. 2378 + (33) (101) y b. 167 + 46,
usando mdulo 7. Por un lado tenemos que 33 5 MOD 7 , 1013
MOD 7 ,
2378 5MOD 7 ,
1676MOD 7 y
46 4MOD 7 . As, por la
propiedad 2:
a. 2378 33 101 5 5 3 20 6 MOD 7
167
46 6
410 3 MOD 7
y b.
3X 34 MOD 5 .
Ejemplo 5: Resolver la siguiente ecuacin
Usando la propiedad 1 , se tiene que 3X1 MOD 5 , al aplicar la
propiedad 4, MCD 3,5 1 y 11
, tenemos que si hay solucin
nica. Para calcular la solucin multipliquemos por 2 la
6X 2 MOD 5
congruencia y se obtiene
y
como
6X X 6 X 1 MOD 5 X 1 X , entonces es claro que X 2 MOD 5
, por lo cual la solucin de la ecuacin es
X
5K
2 , para todo K entero.
Ejemplo 6: Resolver el sistema
X 2 MOD 3
,
39

X 3 MOD 5
X 2 MOD 7
,
.
El lector puede verificar sin dificultad que 3, 5 y 7 son primos entre s.

Hecha esta verificacin tenemos que P 3 5 7 105 , P135 ,
P 2 21 y P 315 . Ahora usando la propiedad 4, tenemos que q 12 ,
porque 2 35 701 MOD 3 , q 21 porque 1 21 211 MOD
5
y q 31 porque 1 15 151 MOD 7 . De aqu X 0233 , luego

la solucin para el sistema de ecuaciones es: X 105K 233 , para
todo
K entero.
Ejercicios
Ejercicio 3: Verifique que la congruencia lineal 12x1620 MOD 6
tiene solucin.
Ayuda: Use la propiedad 4.
no
Ejercicio 4: Calcule la solucin de la congruencia lineal 10x43 MOD 7.

Ayuda: Use la propiedad 1 y 4.
Ejercicio 5: Uno de los usos que tiene el Teorema Chino del Residuo
es reducir la cantidades para facilitar clculos. Pensemos entonces en una
manifestacin que no pasa del milln de personas y se pidi a los
manifestantes que se agrupen de 100 en 100 y sobraron 60. Despus se
pidi que se agruparan de 99 en 99 y sobr 50. Finalmente se pidi que
se organizaran de 97 en 97 y sobran 26 . Cuntos manifestantes hay?
Sol: 632660 manifestantes.
40

Autoevaluacin de la Unidad 1
1.
Sea n un natural positivo. D un ejemplo de una relacin de

equivalencia sobre Z tal que Z/R sea un conjunto de n
elementos.
2.
Determine para que valores de n N es verdadera la desigualdad
n
2
2 > n + 4n + 5
3. Resolver el sistema X 3 MOD 5
,
X 5 MOD 7
X 2 MOD 2
4. Sea el conjunto Z el conjunto de los nmeros enteros, se define la

siguiente relacin R en los enteros de la siguiente forma: a y b son
aRb si
a b 0 MOD 3 . Verificar que es
enteros entonces
una relacin de equivalencia.
5.
6.
3
Resolver el sistema 5X 7 MOD 11 .
Resolver el sistema
X 1 MOD 5
X 5 MOD 11
X 2 MOD 3
41

Unidad 2
TCNICAS DE CONTEO
42

Captulo 3
PERMUTACIONES
Objetivo general
Comprender algunos conceptos de tcnicas de conteo, especficamente
lo relacionado con el estudio de las variaciones y de las permutaciones.
Dominar reglas bsicas de conteo.
Entender y utilizar el concepto de variacin y permutacin.
Resolver problemas que involucren el concepto de variacin y
permutacin.
Comentario inicial
El propsito de este captulo es presentar algunos elementos tericos
claves del conteo, de la variacin y de la permutacin que tienen que ver
con la matemtica discreta.
43

Leccin No. 11: Definiciones bsicas

Enumeracin
Como ya se indic en el Captulo 2 de la Unidad 1, una de las
caractersticas principales de los nmeros naturales, adems del principio
de induccin, es que con ellos podemos contar. Contar en matemticas es
un concepto de mucho cuidado porque involucra ciertos principios, por el
tema central de este mdulo no es necesario tratarlo con tanto rigor.
Con el propsito de no caer en malos entendidos conceptuales, es
importante recordar, que salvo se indique lo contrario, los conjuntos que
estamos considerando en este mdulo son finitos. Por eso diremos que
enumerar o contar es asignar un nmero natural que indique la
cantidad de elementos que tiene un conjunto. A este natural se le
denomina el cardinal del conjunto.
Si A es un conjunto que tiene n elementos, entonces el cardinal de
A es n . El cardinal de A se denota como Card A y para este
caso Card A n .
Ejemplo 1: El conjunto
es decir, Card A 10 .
Ejemplo 2: Para el conjunto
.
A 0,1,2,3,4,5,6,7,8,9
Ba , e , i , o , u
Ejemplo 3: Para el conjunto vaco,
tiene 10 elementos,
,
Card B 5
Card 0 .
Ejercicio
Ejercicio 1: Proponga cinco ejemplos de conjuntos de cardinalidad
2, dos conjuntos de cardinalidad 3, dos conjuntos de cardinalidad 5 y dos
44

conjuntos de cardinalidad 7.
Leccin No. 12: Principios bsicos de conteo

Para exponer los principios bsicos del conteo y para que haya claridad,
A y B
slo se van a considerar para los casos de dos conjuntos
contenidos en un conjunto referencial U . Si el lector est interesado en
aplicar los principios en tres o ms conjuntos, puede hacerlo usando el
principio de induccin de los naturales.
El principio de la adicin dice que el cardinal de la unin de dos
conjuntos A y B disyuntos es igual a la suma de los cardinales de
los dos conjuntos, es decir, Card A B Card A Card B . En el caso
que A y B no sean disyuntos, entonces:
Card A B Card A Card B Card A
B
El principio de la multiplicacin dice que el cardinal del producto

cartesiano de dos conjuntos es igual a la multiplicacin de los cardinales
de los dos conjuntos, es decir Card A X B Card A Card B .
El principio de distribucin (o del palomar) dice que si se distribuyen
m objetos en n cajas, entonces alguna caja deber contener una
cantidad mayor o igual a
m/n.
El principio de inclusin y exclusin dice que el cardinal del

complemento de un conjunto es la cardinalidad del conjunto referencial
menos la cardinalidad del conjunto, es decir,
c
Card A Card U Card A
Ejemplo 4: En un grupo de 100 estudiantes de computacin, se tiene

45

que 50 de ellos estn estudiando el sistema operativo Linux-Ubuntu, 60

de ellos estudian el sistema operativo Windows y 20 estudian ambos
sistemas operativos. Cuntos estudian un sistema operativo?. Si A
representa los estudiantes que estudian Linux-Ubuntu y B los
Card A 50 ,
estudiantes que estudian Windows, tenemos que
Card B 60 y
Card A B 20 . Para saber la respuesta, se usa el
principio de la adicin, luego Card A B 90 , es decir, 90 estudiantes
estudian un sistema operativo.
Ejemplo 5: Se desea saber cuntas palabras de 5 letras se pueden
formar, sin importar la coherencia de la palabra. En efecto, sea P el
conjunto de todas las palabras de cuatro letra que se pueden formar y sea
A el conjunto de las letras del abecedario, usando el principio de la
5
5
multiplicacin, Card P Card A 27 .
Ejemplo 6: En una reunin de 368 personas, hay dos de ellas que
cumplen un mismo da. En efecto, Por el principio de distribucin hay
368 personas que cumplen en cualquiera de los 365 das del ao, luego as
del desea saber cuntas palabras de 5 letras se pueden formar, sin
importar la coherencia de la palabra. En efecto, sea P el conjunto de
todas las palabras de cuatro letra que se pueden formar y sea A el
conjunto de las letras del abecedario, usando el principio de la
5
5
multiplicacin, Card P Card A 27 .
Ejercicios
Ejercicio 2: Retomando el ejemplo 5 Cuntas palabras de cinco letras
se pueden formar, sin importar la coherencia si la segunda letra es una
vocal?.
Sol: 5 274
Ejercicio 3: En una encuesta a 60 pasajeros de una agencia de
transporte terrestre se obtiene la siguiente informacin: a 24 les gusta el
vino, a 39 les gusta las bebidas preparadas y a 33 el t helado. Adems a
46

18 les gusta dos de las tres bebidas y a 12 las tres bebidas. Cuntos
pasajeros les gusta slo t? Cuntos pasajeros les gusta exactamente dos
de las tres bebidas?
Sol: 15 y 18 respectivamente.
Leccin No. 13: Variaciones

Qu es un factorial?
Sea un entero n un nmero natural, diremos inductivamente hablando
que n factorial, notado n ! , se define como 0 !1 y para n>0 ,
define como n ! n n1 n2 ... 3 2 1 .
Ejemplo 1: Calcular el factorial de 5, 7 y 11. En efecto,

5 ! 5 4 3 2 1 120
7 ! 7 6 5 4 3 2 1 5040
11 ! 11 10 9 8 7 5 4 3 2 1 39916800
5 ! + 3 . En efecto,
Ejemplo 2: Calcular
!
10 !
5! +3! / 10! = (120)+ (6) / (3.628.800) = 126/ 3.628.800 = 3,4 X 10
-5
= 0,00003472
Ejercicios
Ejercicio 1:
Implementar un algoritmo que calcule factoriales en
MAPLE o en otro lenguaje de programacin.
Ejercicio 2: Calcular
b. 8!/ 5!3!
a. 8! / 2!
y
Sol: a. 40318 y b. 56
47

Qu es una variacin?
Una variacin de orden r en A es hacer una lista de r elementos
distintos de A sin repetir e importando el orden, siendo r Card A .
Se usa V n , r para denotar el nmero de variaciones de un conjunto
A , con Card A n , del cual se van a tomar r elementos sin
repetir e importando el orden.
n!
V n , r
nr !
n (n 1)( n 2) ... ( n r1)
Una variacin con repeticin de orden r en A es una variacin de

un conjunto de Card A n , del cual se van a tomar r elementos
con repeticin e importando el orden. De aqu se tiene que
V n , r n
Una variacin con repeticin es tambin conocida como ordenacin con

repeticin con reemplazo.
Ejemplo 3: Hacer una lista de todas las variaciones de orden 2 para A

1,2 ,3 . En efecto,
en este caso el tamao de la lista es de V
3,2 3 2 6 elementos y son 1,2 , 1,3 , 2,1 , 2,3 , 3,1 , 3,2 .
Ejemplo 4: En una carrera de 100 participantes, determinar el nmero
de todos los posibles resultados en el pdium de ganadores (sobre los tres
primeros lugares). Como hay 100 participantes cualquiera de ellos puede
ser el ganador. Una vez est el ganador quedan 99 que pueden ocupar el
segundo lugar y habrn 98 posibles participantes que ocupo en el
tercer lugar. As, el
nmero
de todos
los
posibles resultadoses
V 100,3 100
970200
99
98
Ejemplo 5: Hacer una lista de todas las variaciones con repeticin de

48

orden 2 para A 1,2,3 . En efecto, en este caso el tamao de la lista

es de V 3,2 329 elementos y son
1,1 , 1,2 , 1,3 , 2,1 , 2,2 , 2,3 , 3,1 , 3,2 , 3,3
Ejemplo 6: El ejemplo 1.2.5 la idea es encontrar el nmero de
palabras de cinco letras que se puede formar sin importar la coherencia.
Esto se enmarca en una variacin con repeticin, luego V 27,5 275 .
Ejercicios
Ejercicio 3: Proponga un conjunto de 4 elementos de tal forma que usted
haga una lista de los posibles arreglos siempre y cuando:
a. Sea una variacin sin repeticin de orden 3. b.
Sea una variacin con repeticin de orden 3.
Ejercicio 4:
Calcular pensando en variacin con repeticin y en
variacin sin repeticin lo que se indique:
a. V 2,1 b. V 10,7 c. V 5,3 d. V 154,3 e. V 8,6
Sol: Para b. la variacin sin repeticin es 604800 y con repeticin es
7
10 .
Ejercicio 5:
Se va a escoger 4 personas de un grupo de 60 para
ocupar cargos de una mesa directiva. En el orden en que se elijan van a
ocupar los cargos. De cuntas formas se pueden escoger?.
Ejercicio 6: Un byte es un conjunto de ocho posiciones, donde cada
posicin se recibe o no un impulso elctrico. Cuntos bytes se pueden
formar?
49

Leccin No. 14: Permutaciones

Qu es una permutacin?
Una permutacin es una variacin en un conjunto A de n
elementos de tal forma que r Card A n . En otras palabras, es
hacer una lista de todos los elementos distintos de A , importando el
orden. Se usa P n para denotar el nmero de permutaciones de un
conjunto A , con Card A n , en este caso, P nV n , n n ! .
Anlogamente, una permutacin con repeticin en un conjunto A es
una variacin con repeticin del conjunto A de tal forma que
r Card A n , del cual se van a tomar todos los elementos de
A
con repeticin e importando el orden. De aqu se tiene que
n
P nV n , n n .
En algunos textos, se asume que permutacin y variacin son la misma
cosa. Est en libertad de asumir variacin como permutacin o viceversa,
siempre y cuando el lector tenga claro en donde est la similitud.
Ejemplo 1:
Hacer una lista de todas las permutaciones para

A 1,2 ,3 . En efecto,
en este caso el tamao de la lista es
36
P
elementos y son
de 3
1,2 ,3 , 1,3 ,2 , 2,1,3 , 2,3 ,1 , 3,1,2 , 3,2 ,1
Ejemplo 2: De cuntas maneras se pueden sentar en una mesa de 6

puestos 6 personas diferentes? La respuesta es P 66720
maneras.
Ejemplo 3: Hacer una lista de todas las permutaciones con repeticin para
A 1, 2,3 . En efecto, en este caso el tamao de la lista es de
3
V 3,2 3 27 elementos y son
1,1 ,1 , 1,1 ,2 , 1,1 ,3 , 1,2 ,1 , 1,2 ,2 , 1,2 ,3 , 1,3 ,1 , 1,3 ,2 , 1,3 ,3
,
50

2,1 ,1 , 2,1 ,2 , 2,1 ,3 , 2,2 ,1 , 2,2 ,2 , 2,2 ,3 , 2,3 ,1 , 2,3 ,2 , 2,3 ,3

,
3,1 ,1 , 3,1 ,2 , 3,1 ,3 , 3,2 ,1 , 3,2 ,2 , 3,2 ,3 , 3,3 ,1 , 3,3 ,2 ,
3,3 ,3
Ejercicios
a. Sea una permutacin.
b. Sea una permutacin que admite repeticin.
Ejercicio 2: Calcular pensando en permutacin y en permutacin con repeticin:
7
a. P2 b. P7 c. P5 d. P3 e. P8
7 .
Sol: Para b. la permutacin es 5040 y con repeticin es
Ejercicio 3: Se van a distribuir
4 personas en 4 cargos diferentes
que hay en una empresa. De cuntas formas se pueden distribuir estos
cargos?
Ejercicio 4: De cuntas formas se puede ordenar las letras de la

palabra escuela?
Permutacin con repeticin donde hay ms de un elemento que se
repite
Una permutacin con repeticin en un conjunto A , con cardinal n ,
que tiene s elementos que se repiten es una permutacin con repeticin
que considera todos los elementos de A y todos los elementos que se
repiten e importando el orden.
El nmero de permutaciones con repeticin de un conjunto A con
n elementos y con s elementos que se repiten un nmero n 1 ,
n 2 ,..., n s de veces, est dado por
51

P n , s
n!
! n2 ! n s !
Este tipo de permutacin es llamada ordenacin con repeticin sin

reemplazo.
Ejemplo 4: Hacer una lista de todas las palabras que se pueden
escribir al reordenar la palabra ESE. En efecto, en este caso el nmero
de palabras que se pueden formar es P 3, 23 3 elementos, donde 2
2
representa el nmero de repeticiones de la letra E y las palabras son
ESE , SEE , EES

Ejemplo 5: Se quiere formar 5 equipos de 10 jugadores cada uno de
un grupo de 50 personas. De cuntas formas se puede elegir los 5
equipos?. La respuesta es P50,5
50 !
10 ! 10 ! 10 ! 10 ! 10 !
Ejercicios
Ejercicio 5: En un pas se establece un sistema de matriculacin de
vehculos en el que la matrcula est formada por las tres letras seguidas
de tres nmeros. Determinar el nmero de matrculas que salen.
Ejercicio 6: Determinar el nmero de ordenaciones que hay de las letras
de la palabra ladrillo.
Sol: 6720
52

Captulo 4
COMBINACIONES
Objetivo general
Comprender algunos
combinaciones.
conceptos
tpicos
relacionados
con
Entender y utilizar el concepto de combinacin.
Resolver problemas que involucren el concepto de combinacin.
Comentario inicial
El propsito de este captulo es presentar algunos elementos tericos
claves de combinacin que tienen que ver con la matemtica discreta.
Leccin No. 15: Combinatoria

53
Definicin de combinatoria
Una combinacin de un conjunto A , con
Card A n
, son todos

los subconjuntos de A que tienen r elementos, donde

notacin
C n,r
r n
y algunas veces la notacin de la forma
. La
n
llamada combinatoria, indica el nmero de subconjuntos de un

conjunto que tiene r elementos, luego
n!
C n,r n
nr ! r !
r
Ejemplo 1: Hacer una lista de todos los subconjuntos de tamao 2

para A 1,2 ,3 . En efecto, en este caso el tamao de la lista es
de C3, 2 = 3!/(2! (3-2)!) = 6/(2x1) = 6/2 = 3;
los elementos son {(1,2), (1,3), (2,3)}
Ejemplo 2: Un estudiante presenta un examen con 10 preguntas, pero

el profesor indica que solo debe escoger 7 preguntas de las 10. De
cuntas maneras se pueden escoger las preguntas?. La respuesta es
C10,7 = 10! / 7! (10-7)! = 10! / (7!)(3!) = 3.628.800 / (5040) (6) = 3.628.800 / 30240 = 120
Ejemplo 3:
Determinar el nmero de todas las posibles
combinaciones para armar un equipo de baloncesto con 10 personas.
Un equipo de baloncesto tiene 5 integrantes activos.
C10, 5 = 10! / (5!)(5!) = 3.628.800 / (120) (120) = 3.628.800 / 14.400 = 252
Ejercicios
a. Sea una permutacin.
b. Sea una permutacin que admite repeticin.
54

Ejercicio 2: Calcular pensando en permutacin y en permutacin con

repeticin:
a. P2 b. P7 c. P5 d. P3 e. P8
7
Sol: Para b. la permutacin es 5040 y con repeticin es 7 .
Ejercicio 3: Se van a distribuir personas 4 en 4 cargos diferentes que
hay en una empresa. De cuntas formas se pueden distribuir estos
cargos?.
Ejercicio 4:De cuntas formas se puede ordenar las letras de la palabra
papaya?.
Leccin No. 16: Propiedades de la combinatoria

Lo que sigue a continuacin son algunas de las propiedades que tiene la
combinatoria:
1. Si r n entonces C n , r 0 .
r
2.
n n
n
r
r
n
3.
n1
n
r 1
4. Dados los enteros

cumple que
x,y y
y n n
r 0
n , con n0 , entonces se
n x nr r (Teorema del binomio).
y
r
Ejemplo 4: Cuntos subconjuntos de dos elementos tiene un

conjunto de 100 elementos?. La respuesta es
C100, 98 = 100! / 98! 2! = 100.99.98! /2! 98! = 100.99/ 2 = 4950

(Se est usando la propiedad 2).

Ejemplo 5: Cul es el coeficiente que hace parte del trmino a 5 b 6
en el binomio
(a+b) 11 ?. Usando la propiedad 4, tenemos que el
11 462 .
coeficiente es
6
Ejemplo 6: S a b i e n d o que
, calcular
. En efecto, usando la propiedad 2,
Se obtiene que n -10 = 7 por lo tanto n = 17
Ejercicios
Ejercicio 4: Sabiendo que
C14,r = C14,r-1
Halle el valor de r
Sol: r 15/2
Ejercicio 5:
n
r 0
Usando el la propiedad 4, calcular

n
r
r 0
n
r
Ejercicio 6: Consulta que es el Tringulo de Pascal. Una vez hecho esto,

qu relacin tiene el Tringulo de Pascal con la propiedad 3 y con la
propiedad 4.
buscador de la Internet qu es el Tringulo de Pascal.
Leccin No. 17: Combinatoria con repeticin y

permutacin circular
56

Combinatoria con repeticin

Una combinacin con repeticin de un conjunto A de n elementos,
es la seleccin no ordenada de r en r elementos, con posibles
repeticiones. La notacin CR n , r indica el nmero de combinaciones
con repeticin de un conjunto de n elementos tomados de r en r
luego
CR n , r C n r1, r
n r1
r
Ejemplo 1: Se extrae de una baraja de cartas espaola 6 cartas de

manera simultnea, el nmero de posibilidades es
CR 40,6
40 61
45 8145060
6
6
Ejemplo2: Una persona va a tener 10 invitados y les va a ofrecer 3

bebidas diferentes. De cuntas maneras puede distribuirse las bebidas?.
Como son 3 bebidas diferentes para 10 personas, tenemos que el
nmero de posibilidades es
CR 3,10
3 101
12 66
10
10
Ejemplo 3: Cuntas soluciones enteras no negativas tiene la

ecuacin x 1 x 2 x 3 x 47 ?. Si se piensa que cada variable de la
ecuacin es una categora, entonces cada variable tiene la posibilidad de
ser cualquiera de los 8 primeros enteros no negativos (del 0 al 7) , luego
el nmero de soluciones enteras es
CR 4,8
4 81
11 1320
8
8
57

Ejercicios
Ejercicio 1: Cuntas soluciones enteras no negativas tiene la
ecuacin x 1 x 2 x 3 x 4 x 5 25 ?
Sol: 23751 .
Ejercicio 2: De cuntas formas se pueden distribuir 7 balones
idnticos en 4 cajas diferentes?.
Ejercicio 3: Proponga tres problemas con sus respectivas soluciones,
donde se involucre combinacin con repeticin.
Leccin No.18: Permutacin circular

Una permutacin circular de n objetos de orden r es una
permutacin cuyos elementos estn distribuidos en forma circular la
idea de una curva cerrada en el que importa el orden. Se denota por
PC n , r C n , r
r 1 ! .
Ejemplo 4: Se dispone de 10 sillas para sentar 6 personas en una
mesa circular De cuntas maneras puede distribuirse las personas en las
sillas de la mesa?
PC 10,6
10
6
5 25.200
Ejercicio
Ejercicio 4:
Consultar qu es permutacin circular y plantear dos
problemas que involucren permutacin circular.
buscador de la Internet qu es permutacin circular.
58

1. Supongamos que se fabrican llaves haciendo incisiones en varias

posiciones de una llave virgen. Suponiendo que haya 8 profundidades
posibles para las incisiones, cul es el menor nmero de posiciones que
permite fabricar 1000000 de llaves diferentes?
2. Mario ha sido invitado por Don Pedro a consumir comidas de 4 platos
diferentes a elegir entre un men de 10 platos. El mecenas pagar da
tras da mientras la imaginacin del comensal alcance a no repetir una
comida ya seleccionada en algn da anterior. Por cuntos das, como
mximo, subsistir Mario a costa de Don Pedro?
3. La junta directiva de una asociacin est formada por 8 mujeres y 7
hombres. De cuntas formas posibles puede constituirse un comit
formado por 3 mujeres y 4 hombres? Y con la restriccin adicional de
que la Sra. Mercedes y el Sr. Garca no figuren simultneamente en el
comit?
4. Demuestre que cuando se arrojan tres dados indistinguibles el nmero
de resultados posibles es 56.
5. Usar el Teorema del Binomio para calcular
(1 + x)
59

Unidad 3
RELACIONES DE RECURRENCIA
60

Captulo 5
RECURSIN
Objetivo general
Conocer en forma introductoria los conceptos propios de la recurrencia
en relacin con matemtica discreta.
Conocer y entender las reglas bsicas de la recurrencia.
Comprender el concepto de recurrencia lineal homognea y no
homognea.
Resolver problemas que involucren recursin lineal.
Comentario inicial
Para muchos la recursin es expresar algo sobre s mismo. Dentro de la
matemtica discreta y en general en la computacin, ciertos algoritmos y
programas de clculo se han facilitado cuando se usa la recursin. Lo que
sigue es una introduccin a un vasto tema como lo es la recursin, as
como su relacin con la matemtica discreta.
61

Es probable que el lector ya est familiarizado con el contenido de este

captulo visto en curso anteriores, por eso no se va entrar con el debido
detalle en algunos temas.
Leccin No. 19: Relacin de recurrencia

Definicin de relacin de recurrencia
Diremos que una relacin de recurrencia para una sucesin
a 0 , a1 , a 2 , ... , a n ,... es una expresin que relaciona a n con uno o ms
trminos precedentes a 0 , a1 , a 2 , ... , a n1 , para cualquier n entero
mayor o igual que un entero inicial k. Las condiciones iniciales

son los primeros trminos necesarios para empezar a calcular en una
relacin
de recurrencia.
Ejemplo 1:
La relacin
a 11 y
a n a n1
2n1
para todo
natural mayor que 1, es un ejemplo de relacin de recurrencia.

Ejemplo 2: La sucesin de Fibonacci es otro ejemplo de relacin de
recurrencia definido como sigue: a 11 , a 21 y a n a n 1 a n 2
para todo n natural mayor que 2.
n
a 2 y a
Ejemplo 3: La relacin
0.5 para todo n
a
n1
natural mayor que 0, es otro ejemplo de relacin de recurrencia.

2
a 0 0 , a 1 2 y
Ejemplo 4: La relacin
4a n1 4a n2 n para
an
todo n natural mayor que 1, es tambin ejemplo de relacin de

recurrencia.
Ejercicios
Ejercicio1: Proponga dos ejemplos ms de relacin de recurrencia.
62

Ejercicio 2: Proponga e implemente en MAPLE o en un lenguaje de

programacin las relaciones de recurrencia dados en los ejemplos
anteriores.
Leccin No. 20: Relacin de recurrencia lineal

En matemtica discreta es usual trabajar con relaciones de recurrencia
de tipo lineal de coeficientes constantes. Una relacin de recurrencia es
de tipo lineal de coeficientes constantes de orden m, si la relacin de
c m a nm g n
recurrencia es de la forma a n c 1 a n 1 c 2 a n2 c 3 a n3
, donde c 1 , c 2 , ... , c m son constantes.
Ejemplo 5:
La relacin a 11 y a n a n1 2n1 para todo n
natural mayor que 1, del ejemplo 1.2.1 es una relacin de recurrencia
lineal de coeficientes constantes de orden 1.
Ejemplo 6: La sucesin de Fibonacci (ejemplo 2) es otro ejemplo
de relacin de recurrencia de coeficientes constantes de orden 2.
Ejercicios
Ejercicio 3: V e r i f i q u e si las relaciones dadas por los ejemplos 1.2.3
y 1.2.4 son relaciones de recurrencia lineal de coeficientes constantes y si
es as, diga de qu orden son.
Ejercicio 4: Proponga un ejemplo de recurrencia lineal de coeficientes
constantes de orden 3.
63

Leccin No. 21: Recurrencia lineal homognea

Diremos que una relacin de recurrencia lineal de coeficientes
constantes de orden m es homognea, si g n 0 . Una ecuacin
caracterstica de una relacin de recurrencia lineal de coeficientes
constantes homognea de orden n es una ecuacin de la forma
n
n1
n2
n3
nm
c2
c3 t
y las races de esta ecuacin se
c mt
t c 1t
t
llaman races caractersticas.
a n
1.3.1 Teorema Sea
una sucesin definida por recurrencia
lineal homognea como en la definicin 4.3, y sean b 1 , b2 , ... , b s
las races caractersticas con multiplicidades r 1 , r 2 , ... , r s , entonces:
a n P1 n b 1n P 2 n b2n P n b
n 3
r i 1
Donde cada P i n A0 A1 n
A r 1
P n b
3
, con
i1,. .. , s
Ejemplo 1: Retomando la sucesin de Fibonacci a 00 , a 11 y

a n a n1 + a n 2 para todo
natural mayor que 2, podemos decir que

es una relacin lineal homognea, cu ya ecuacin caracterstica
es
1 5
2
y 1 5 , y usando las
t t 1 0 , cuyas races
2
2
son
condiciones iniciales
junto
con
procedimientos
simplificacin tenemos que

a
n
1 5

1 + 5
para todo n natural mayor que 1.
algebraicos
de
64

Ejercicios
Ejercicio 1: Es la siguientes relacin lineal
a 0 23 y
a n
3a n1
homogenea?. Si es as, hacer un desarrollo similar al ejemplo 1.

Ejercicio 2: Proponga dos ejemplos similares al ejercicio 1
Leccin No. 22: Recurrencia lineal no homognea

Diremos que una relacin de recurrencia lineal de coeficientes
constantes de orden m es no homognea, si g n 0 . Aunque no
existe una solucin general para este tipo de relaciones de recurrencia,
existe el mtodo de los coeficientes indeterminados que va a
proporcionar una solucin particular en funcin de cmo est definido
g n .
Si
g( n) es un polinomio de grado k, entonces
Qk
Qk n
a n
n n , donde
es un polinomio de grado k y r es la multiplicidad de la raz 1

de la ecuacin caracterstica de la relacin lineal homognea asociada.
Si g ( n) es un polinomio de grado k, entonces a n n nr a n , donde
Qk
Q k n es un polinomio de grado k y r es la multiplicidad de la raz
a de la ecuacin caracterstica de la relacin lineal homognea
asociada.
Ejemplo 1:
Cul es la solucin de la relacin de recurrencia
n
an =6an-1-9an-2+F(n) cuando F(n)=3n, F(n)=n3 ?
65

De la ecuacin de recurrencia lineal homognea asociada (an=6an-1-9an-2)

2
tenemos que (r-3) =0, luego tiene una raz de valor 3, con multiplicidad 2.
Aplicando el teorema con respecto a las funciones F(n) se obtienen las
soluciones particulares:
Para F(n)=3n. Dado que s=3=r con multiplicidad 2 (m), entonces:
(p)
Solucin particular an =n (p0)3 .

n
Para F(n)= n3 . Dado que s=3=r con multiplicidad 2 (m), entonces:
Solucin particular an(p)=n2(p1n+ p0)3n.
Ejercicios
Ejercicio 1:
Es la relacin de recurrencia del ejemplo 1.2.4 lineal
no homogenea?. Justifique su respuesta. Si es as, hacer un desarrollo
similar al ejemplo 1.
55
1 3n 2 4n
n 2 n
Sol: a n
.
27
54
Ejercicio 2: Con base al primer

ejemplo, encuentre las soluciones
2 n
particulares para F(n) = n .2
Ejercicio 3: Con base al primer
ejemplo,
encuentre las soluciones
2
n
particulares para F(n) = (n +1).3
66

Captulo 6
FUNCIN GENERADORA
Objetivo general
Entender cmo se relaciona un problema de conteo con un polinomio
usando el concepto de funcin generadora.
Conocer el concepto de funcin generadora y sucesin asociada.
Resolver problemas que involucren el concepto de funcin
generadora.
Comentario inicial
El problema de contar algunas veces no resulta tan sencillo. El propsito
central de este captulo es conocer cmo es un problema de conteo con
un polinomio. Es bsicamente encontrar una generalizacin del teorema
del Binomio.
67

Es muy probable que el lector ya est familiarizado con el contenido de

este captulo visto en curso anteriores, por eso no se va a tratar con el
debido detalle algunos temas.
Leccin No. 23: Funcin generadora y sucesin

asociada
Definicin de funcin generadora
Una serie de sumas de potencias de x , de la forma
2
f x n0 an x a0 a1 x a 2 x
an x
finita o infinita, se llama funcin generadora de la sucesin

a 0 , a1 , a2 ,... , an ,... formada con los coeficientes de x .
Ejemplo 1:
La sucesin a 0 a1 a 2 a3 a 41 y a n 0 para
todo
n natural mayor que 4, tiene como funcin generadora asociada a
f x 1
x x
Ejemplo 2: La sucesin asociada a la funcin generadora

f x 1 2x 4x
5x
7x
es la sucesin
1, 2,4,0,5,0,0,7,0,0,0,. .. , 0,0,0,. ..
Ejemplo 3: La sucesin asociada a la funcin generadora

f x x 1 3x 10x
9x
es la sucesin
0,1,3,10,0,0,9,0,0,0,. .. , 0,0,0,. ..
68

a 01 y a n a n12 para todo n natural

Ejemplo 4: La sucesin
mayor que 0, tiene como funcin generadora a
n
f x
2n 1 x
n0
Ejercicios
Ejercicio 1:
Cul es la sucesin asociada a la funcin generadora

3
f x x x x x ?
Sol: 0,0,0,0,0,0,1,2,1,0,0,0,. .. , 0,0,0,. .. .
4
Ejercicio 2:
Cul es la funcin generadora asociada a la sucesin

1,1,1, 1,1,1,1,. .. ?
Sol: f x n0 1 n x n
Ejercicio 3: Proponga 5 ejercicios para los cuales se da la sucesin
asociada a una funcin generadora y encontrar dicha funcin.
Ejercicio 4:
Proponga 5 ejercicios para los cuales se da la funcin
generadora y encontrar la sucesin asociada a dicha funcin generadora.
Leccin No. 24: Series de Taylor y Maclaurin

La serie de Maclaurin y la serie de Taylor son mecanismos muy usados para
encontrar la sucesin asociada a una funcin generadora.
Una funcin generadora f(x) =

f
(n)
, donde an =
0 es la ensima derivada de f(x) evaluada en cero.
Una serie de Taylor es toda funcin de la forma
f x n0 an x a
69

si
a
n
f x
, donde
es la n-sima derivada de la funcin
evaluada en a .
Las series de Maclaurin son un caso especial de las series de Taylor

cuando a 0 .
Ejemplo 5: La funcin f(x) = log (1-x) es fumncin generadora ya que

al aplicar las series de Maclaurin se tiene que log (1-x) =
para
x <1
De aqu se deduce que la sucesin asociada es an = -1/n para todo x <1
Ejemplo 6: La funcin f ( x) e x es funcin generadora ya que al

aplicar las series de Maclaurin, se tiene que e x
deduce que la sucesin asociada es

mayor o igual que 0.
n 0
1 xn
n y de aqu se
a n 1 , para todo
n
natural
Ejercicios
Ejercicio 5: Encontrar la funcin asociada a la funcin generadora de a. f
(x) =
con 1 <1; b. f(x) = Sen (x);
c. f(x) = Cos (x) ; d. f(x) = EXP (-x)

NOTA: En Internet encontrar las series de estas funciones o en un libro de
clculo.
Ejercicio 6: P r o p o n g a otros dos ejemplos de funciones generadoras,

de las cuales haya que encontrar la sucesin asociada usando series de
Maclaurin.
70

Leccin No. 25: Resolviendo problemas de conteo a

travs de un polinomio
Las combinaciones de n elementos tomados en grupos de r
elementos son los coeficientes del desarrollo del binomio de Newton
n
(a +b) (Teorema del Binomio). Esto permite pensar en encontrar
mtodos o maneras para resolver problemas de conteo a travs de los
coeficientes de polinomios.
Lo que sigue son dos ejemplos clsicos que permiten mostrar una manera
de cmo un problema de conteo se resuelve a travs de coeficientes de
polinomios.
Ejemplo 1: Un bibliotecario va a entregar 7 libros a dos personas, de

tal forma que a uno le toque al menos 4 libros y al otro le toque al menos
2 libros. De cuntas formas puede entregar los libros el bibliotecario?
En efecto, por la manera en que surgen los coeficientes del binomio de
Newton, se puede asociar a este problema el siguiente polinomio:
4
5
2
3
f ( x) x x x x . De acuerdo con el problema, el primer factor
corresponde el nmero de libros posibles que le corresponden a la
primera persona y esto es 4 o 5. A la segunda persona le corresponden 2
o 3. De aqu surge el planteamiento del polinomio. Al multiplicar estos
dos factores tenemos que f (x) x 6 2x 7 x 8 y como son 7 libros,
se tiene que hay 2 formas de entregar los libros.
Ejemplo 2: Retomando el ejemplo 1, ahora son 10 libros, esto
significa que f ( x) x 4 x5 x 6 x 7 x 8 x 2 x 3 x 4 x 5 x 6 , porque a la
primera persona le corresponden entre 4 y 8 libros y a la segunda persona
le corresponden entre 2 y 6 libros. Al desarrollar el polinomio tenemos
6
7
8
9
10
11
12
13
14
que
f (x) x 2x 3x 4x 5x
4x
3x
2x
x , como son
10 libros, entonces hay 5 formas de entregar los libros.
71

Ejercicio
Ejercicio 1: Proponga y resuelva un problema similar al presentado
en el ejemplo 1.
72

1. Sea la sucesin recurrente

el trmino general de la sucesin.
a n 4a n 1 con
a 09 . Encontrar
2. Dada la sucesin 1,7,21,35,35,21,7,1,0,0,....,0,... A qu funcin

generadora corresponde?
3. Hallar la sucesin asociada a la funcin generadora f x cos x .
4. Usando coeficientes de polinomios, de cuntas formas se pueden
repartir 12 objetos iguales entre cuatro personas. A la primera hay que
darle al menos tres objetos, a la segunda al menos 2 objetos, a la tercera y
cuarta 1 objeto?
73

Unidad 4
INTRODUCCIN A GRAFOS
74

Captulo 7
GRAFOS
Objetivo general
Entender los conceptos y definiciones bsicas de la Teora de Grafos.
Utilizar las diferentes representaciones de un grafo.
Resolver problemas que involucren la Teora de Grafos.
Comentario inicial
Desde su aparicin, los grafos han sido de mucha utilidad, por ejemplo
en el diseo de modelos de redes de ordenadores, la implementacin de
un circuito en un tablero plano, distinguir compuestos qumicos con la
misma frmula molecular o encontrar el camino ms corto entre dos
ciudades en problemas de transporte. Lo que se ver aqu es una
introduccin a travs de algunas definiciones y tpicos tericos de la
teora de los grafos relacionados con la matemtica discreta.
75

Leccin No. 26: Definiciones bsicas

Qu es un grafo simple?
Un grafo simple G es un par (V , E) , donde V es un conjunto,

E
llamado conjunto de vrtices y
es un subconjunto de
a , b : a , b V a b , llamado conjunto de aristas. Una arista es
el conjunto a , b
Ejemplo 1:
Un ejemplo de grafo simple es V 1,2,3 ,4 y
E 1,2 , 1,3 , 1,4 . Un diagrama de este grafo es como sigue:
3
1
4
2
Grfica 1.2.1. Grafo simple del ejemplo 1.2.1
Ejercicio
Ejercicio 1:
Proponga dos ejemplos de grafo simple y haga sus
respectivos diagramas.
Qu es un multigrafo?
76

Un multigrafo G es un par V , E , donde V es un conjunto de

vrtices y E el conjunto de aristas de tal forma que admite aristas con
los mismos extremos o aristas con extremos iguales.
V a , b , c , d
Ejemplo 2:
Un ejemplo de multigrafo es
y
E a , a , a , b , a , b , b , c . Un diagrama de este grafo es como
sigue:
b
d
c
Grfica 1.2.2. Multigrafo del ejemplo 1.2.2
Ejercicio
Ejercicio 2:
Proponga dos ejemplos de multigrafo y haga sus
Qu es un digrafo?
Un digrafo es un par V , E , donde V es el conjunto de vrtices y
E es un subconjunto de V X V D , donde
D x , x : xV .
En este caso las aristas estn dirigidas.
Ejemplo
y
3:
Un
ejemplo
de
digrafo
es
V a , b , c
77

E a , b , a , c , b , c , c , b . Un
como sigue:
diagrama de este digrafo es
Grfica 1.2.3. Digrafo del ejemplo 1.2.3
Ejercicio
Ejercicio 3:
Proponga dos ejemplos de digrafo y haga sus
Qu es un multidigrafo?
Un multidigrafo G es un par V , E , donde V es un conjunto de
vrtices y E el conjunto de aristas de tal forma que se comportan
como un digrafo y que admite aristas con los mismos extremos o aristas
con extremos iguales.
V a , b , c , d
Ejemplo 4:
Un ejemplo de multidigrafo es
y E a , b , b , a , b , c , c , d . Un
diagrama de este
multidigrafo es como sigue:
78

b
d
c
Grfica 1.2.4. Multidigrafo del ejemplo 1.2.4
Ejercicio
Ejercicio 4:
Proponga dos ejemplos de multidigrafo y haga sus
Qu es un grafo?
Salvo que se indique lo contrario, para nosotros un grafo G es un par
V , E , que es un grafo simple o un multigrafo o un digrafo o un
multidigrafo.
Si a , b
es la arista de un grafo, los vrtices a y b
se
denominan extremos. Cuando dos extremos de una arista son iguales,
se llama bucle.
Dos vrtices a y b se dicen que son adyacentes, si entre ellos
existe la arista a , b . El grado de un vrtice es el nmero de aristas
de las que es extremo.

Si v es un vrtice, entonces su grado se denota
como gr v .
Dados dos grafos G V , E y G' V ' , E ' , hay isomorfismo
entre estos dos grafos, si existe una funcin biyectiva f entre G y
'
G , de tal forma que para cada a y b vrtices de G , la arista a
, b le corresponde de manera biunvoca la arista f a , f b de G' .
G
En otras palabras, si
y G' son isomorfos, entonces
son
79

matemticamente iguales y solo varan en su apariencia.

Ejemplo 5: Lo presentado en los ejemplos 1.2.1, 1.2.2, 1.2.3 y 1.2.4
son ejemplos de grafos.
a , a
Ejemplo 6: Dado el grafo del ejemplo 1.2.2, se tiene el bucle
,
gr a 4 , gr b 3 , gr c 1 y gr d 0 . Tambin se tiene que
a , b es una arista, entonces a y b son extremos, son adyacentes
y los vrtices c y d no son adyacentes.
Ejemplo 7: Lo que sigue es un ejemplo de dos grafos que son

isomorfos. Como puede apreciarse se puede hacer una correspondencia
biunvoca entre vrtices y aristas.
d
3
1
4
a
c
Grfica 1.2.5. Ejemplo de grafos isomorfos
Ejercicios
Ejercicio 5:
Proponga dos ejemplos de grafos y para cada uno de
ellos mirar cules son los vrtices extremos, el grado de cada vrtice y
cules vrtices son adyacentes y cules no.
Ejercicio 6:
Proponga dos ejemplos de grafos isomorfos y un
ejemplo de dos grafos que no sean isomorfos.
Ejercicio 7: Averiguar en qu consiste el problema de los puentes de
80

Knigsberg y qu relacin tiene con la teora de grafos. Adems

averiguar qu son grafos planos.
Leccin No. 27: Grafos bipartidos y completos

Qu es un grafo bipartido?
Un grafo es bipartido si es un grafo simple, el conjunto de vrtices V
se pueden expresar como la unin de dos conjuntos disyuntos V 1 y
V 2 de tal forma que cada arista que tiene su vrtice en V 1 est
conectado si y slo si con un vrtice de V 2 .
Un grafo bipartido es regular si para cada uno de los conjuntos de
vrtices, todos sus vrtices tienen el mismo grado, se denota K m , n
, donde m y n es el grado de cada conjunto disyunto de vrtices.
Ejemplo 1: El siguiente diagrama representa un grafo

V1
K 2,2 regular
V2
Grfica 1.3.1. Ejemplo de grafo bipartido K(2,2) regular
Ejemplo 2: El siguiente diagrama representa un grafo
K 2,3 regular
81

Grfica 1.3.2. Ejemplo de grafo bipartido K(2,3) regular
Ejercicio
Ejercicio 1: Proponga dos ejemplos de grafos bipartidos regulares y un
ejemplo de un grafo que no es bipartido.
Qu es un grafo completo?
Un grafo es completo cuando hay siempre una arista entre cada par de
vrtices. Un grafo completo con n vrtices se denota K n .
Ejemplo 3:
completos.
Los siguientes diagramas son ejemplos de grafos
Grfica 1.3.3 Grafos completos, K1, K2, K3, K4 respectivamente.
82

Ejemplo 4: El siguiente grafo no es completo.
Grfica 1.3.4 Grafo que no es completo.
Ejercicio
Ejercicio 2:
Proponga dos ejemplos de grafos completos y
ejemplo de un grafo que no es completo.
un
Leccin No. 28: Representacin de grafos

Matrices de adyacencias
Adems de la representacin en diagramas, un grafo se puede
representar por medio de una matriz que se llama matriz de adyacencia.
Una matriz de adyacencia es una matriz de orden n que representa
qu vrtices son adyacentes en un grafo con n vrtices. Las filas y las
columnas representan cada uno de estos vrtices y si V a 1 , a2 , , a n
es el conjunto de vrtices y si A a ij es la matriz de
adyacencia, entonces a ij 1 si a i y a j son adyacentes y a ij 0 en
el caso que no lo sean.
En el caso que existan aristas diferentes con los mismos extremos, a ij
toma el valor del nmero de arista que hay entre a i y a j . En el caso
que un grafo no sea digrafo o multidigrafo hay simetra, es decir, a ij
a ji
83

Ejemplo 1: La matriz de adyacencia del grafo del ejemplo 1.2.1 es

0
1
1
1
1
0
0
0
1
0
0
0
1
0
0
0

1
2
0
0
2
0
1
0
0
1
0
0
0
0
0
0

0 1 1
0 0 1
0 1 0
En este ejemplo hay que tener en cuenta que es un digrafo, por eso no
hay simetra.
0
1
0
0
1
0
0
0
0
1
0
0
0
0
1
0
En este ejemplo hay que tener en cuenta que es un multidigrafo, por eso
no hay simetra.
Ejercicios
Ejercicio 1: Proponga cuatro ejemplos de matrices adyacentes.
84

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA CONTENIDO DIDCTICO DEL
CURSO-290150-MATEMTICAS DISCRETAS
Ejercicio 2: Describa y trace el diagrama de los grafos que

representan las siguientes matrices adyacentes.
a.
0 2 1
0 0 1
0 1 0
b.
1 1 1
1 0 1
1 1 0
0
2
0
0
c.
2
0
1
0
0
1
0
1
0
0
1
0
Matrices de incidencias
Una matriz de incidencia es una matriz de orden nm que representa
si un vrtice hace parte de una arista en un grafo con n vrtices y con
m arista diferentes. Las filas representan los vrtices que previamente
han sido ordenados y las columnas representan cada una de las
diferentes aristas que han sido previamente ordenadas. Si
V a 1 , a2 , , a n es el conjunto de vrtices previamente ordenadas y si
A a ij es la matriz de incidencia, entonces a ij 1 si a i es extremo
de la arista y ai , a j y a ij 0 en el caso que no lo sea.
Ejemplo 5:
La matriz de incidencia del grafo del ejemplo 1.2.1,
conservando el mismo orden que se enuncia en el ejemplo es
1
1
0
0
1
0
1
0
1
0
0
1
Ejemplo 6:
85

1
0
0
0
1
1
0
0
1
1
0
0
0
1
1
0
Ejemplo 7:
1 1 0 0
1 0 1 1
0 1 1 1
Ejemplo 8:
conservando el mismo orden que se enuncian en el ejemplo es
1
1
0
0
1
1
0
0
0
1
1
0
0
0
1
1
Ejercicio
Ejercicio 3: Proponga cuatro ejemplos de matrices incidentes.
Leccin No. 29: Caminos, ciclos y grafos conexos

Definiciones bsicas
Sean a y b dos vrtices, se dice que hay un camino en el grafo G
de a hacia b , si existe una sucesin finita no vaca de aristas
a , v 1 , v 1 , v 2 , v 2 , v 3 , ... , v n1 , v n , v n , b . En este caso a y
b se llaman los extremos del camino.
86

El nmero de aristas del camino se llama la longitud del camino. Si los

vrtices no se repiten el camino se dice camino simple.
Cuando los dos extremos de un camino son iguales, el camino se llama
camino cerrado o circuito. Se llama ciclo a un circuito simple.
Un vrtice a se dice accesible desde el vrtice
camino entre ellos.
, si existe un
Ejemplo 1:
De nuevo el grafo del ejemplo 1.2.2, la sucesin
E a , a , a , b , b , c es un camino simple de a hacia b de
longitud
3. Es un camino simple pero que no es ni circuito ni ciclo.
Ejemplo 2:
En el ejemplo 1.2.3, el camino
un circuito que es ciclo.
b , c , c , b es
Ejercicio
Ejercicio 1: Proponga cuatro ejemplos de grafos de los que pueda sacar
ejemplos de camino, camino simple, circuito y ciclo.
Grafos conexos
Un grafo G se dice conexo, si cada par de vrtices est unido al
menos por un camino.
La relacin entre vrtices dada por: a est relacionado con b si
hay un camino que los une es de equivalencia. Las clases de
equivalencia de esta relacin se llaman las componentes conexas del
grafo.
Un mtodo para comprobar si un grafo es conexo es el siguiente: Hallar
la matriz de adyacencia A y elevarla a la n1 -sima potencia,
despus se calcula la suma de las potencias de A hasta An 1 y ver

87

si todos sus elementos son 0. Si es as, el grafo es conexo.
Ejemplo 3: El siguiente diagrama es un ejemplo de un grafo que es

conexo.
Grfica 1.5.1 Grafo que es conexo.
Ejemplo 4: El siguiente diagrama es un ejemplo de un grafo que no

es conexo.
Grfica 1.5.2 Grafo que no es conexo.
Ejemplo 5: Sea un grafo
G cuya matriz de adyacencias es

0 1 0
A 1 0 1
0 1 0
88

entonces al calcular la matriz I A A2 es igual a la matriz nula, luego

el grafo G es conexo.
Ejercicios
Ejercicio 2:
son conexos.
Proponga dos grafos cuyos diagramas evidencien que
Ejercicio 3: Proponga dos grafos cuyos diagramas evidencien que no son

conexos.
Ejercicio 4: Verificar que el grafo del ejemplo 1.2.1 no es conexo,
usando el criterio de la matriz de adyacencia.
Ejercicio 5:
El grafo K 6 es conexo?. Verificar a travs de un
diagrama y usando el criterio de la matriz de adyacencia.
Leccin No. 30: Grafos eulerianos y hamiltonianos

Qu es un grafo euleriano?
Se llama camino euleriano a un camino que contiene a todas las aristas
del grafo, apareciendo cada una exactamente una vez. Un ciclo
euleriano es un camino euleriano que comienza y acaba en el mismo
vrtice. Un grafo que admite un ciclo euleriano diremos que es un grafo
euleriano. Si un grafo es isomorfo a un solo ciclo, siempre tiene ciclo
euleriano.
El Algoritmo de Fleury
es un algoritmo de bsqueda de caminos
eulerianos en grafos eulerianos. Para grafos no dirigdos, estos son lo
pasos generales del algoritmo:
89

(1) Si el grafo es euleriano, a partir de un vrtice cualquiera de G,

construiremos una cadena simple de forma que no se repitan
aristas y no se elijan aristas de corte a no ser que no haya otra
alternativa. Al finalizar este proceso, es decir, cuando hayamos
agotado todas las aristas, habremos obtenido un recorrido
euleriano.
(2) Si el grafo contiene un camino euleriano comenzaremos con un
vrtice de grado impar siguiendo el proceso descrito.
Ejemplo 1:
Los siguientes diagramas son ejemplos de un grafo no
euleriano y de un grafo euleriano respectivamente:
Grfica 1.6.1 Ejemplos de grafos eulerianos.
Ejercicios
Ejercicio 1:
Proponga un algoritmo de bsqueda de caminos
eulerianos en grafos o implemente el algoritmo de Fleury para grafos no
dirigidos y para grafos dirigidos. Ayuda: Buscar los pasos de este
algoritmo en Google.
Ejercicio 2: Una vez implementado el algoritmo del ejercicio 1.6.1,
aplicarlo en los grafos de los ejemplos 1.2.1, 1.2.2, 1.2.3 y 1.2.4.
90

Qu es un grafo halmitoniano?
Un camino hamiltoniano es un camino que recorre todos los vrtices
de un grafo sin pasar dos veces por el mismo vrtice. Si el camino es
cerrado se dice un ciclo hamiltoniano. Un grafo G se dice
hamiltoniano si tiene un ciclo hamiltoniano. A diferencia de los grafos
eulerianos, no hay una caracterizacin de cundo un grafo tiene un ciclo
o un camino hamiltoniano.
Lo que sigue son unas reglas para construir caminos y ciclos
halmitonianos:
Regla 1. Si G no es conexo, no posee ciclos Hamiltonianos.
Regla 2. Si G es un grafo con n vrtices, entonces un camino
Hamiltoniano debe tener exactamente n 1 aristas, y un ciclo
Hamiltoniano n aristas.
Regla 3. Si v es un vrtice del grafo, entonces un camino Hamiltoniano
debe tener al menos una arista incidente con v y a los ms dos.
Regla 4. Si v V tiene grado 2, entonces las dos aristas incidentes con
v
deben aparecer en cualquier ciclo Hamiltoniano de G.
Regla
5. un
Si vciclo
VHamiltoniano,
tiene grado mayor
que
2, se
entonces
se intenta
construir
una vez
que
pase porcuando
v, las aristas
no
utilizadas incidentes se dejan de tener en cuenta.
Ejemplo 2:
El siguiente diagrama es el ejemplo clsico de
construccin de un camino halmitoniano en un grafo K 12 :
91

Grfica 1.6.2 Ejemplo clsico de construccin de un camino halmitoniano.
Ejercicio
Ejercicio 2:
Proponga tres ejemplos de grafos en los cuales se les
puede extraer un camino halmitoniano y tres ejemplos de grafos en los
cuales se pueda extraer un ciclo halmitoniano.
92

Captulo 8
RBOLES
Objetivo general
Entender los conceptos y definiciones bsicas de rboles.
Utilizar las diferentes representaciones de un rbol.
Conocer los algoritmos propios en rboles.
Comentario inicial
Los rboles son un tipo especial de grafo que desde su aparicin han
servido en la planeacin y en la estructuracin de diseos industriales,
como en el diseo e implementacin de algoritmos, en todos estos
ejemplos se aprecia la importancia de la jerarquas.
93

Leccin No. 31: rboles

Un grafo se dice un rbol si es conexo y no tiene ciclos. Un grafo se dice
un bosque si sus componentes conexas son rboles.
Teorema Sea
G V,E
un grafo. Son
equivalentes a) G es un rbol.
b) Cada par de vrtices distintos de V esta conectado por un nico
camino.
c) G es conexo y toda arista de G es de separacin.
d) G no tiene ciclos y Card V Card E
e) G es conexo y Card V Card E
1 .
1 .
f) G no tiene ciclos pero al aadirle una arista a G se crea un nico

circuito.
Ejemplo 1: El siguiente diagrama es un ejemplo grfico de un rbol
Grfica 2.2.1 Ejemplo clsico de rbol.
94

Ejemplo 2: El ejemplo 1.2.1 del captulo 1 es un rbol.

Ejercicio
Ejercicio 1: Proponga tres ejemplos de grafos que sean rboles.
Leccin No. 32: Algunas definiciones

Sea G un grafo, un rbol generador de G es un subgrafo conexo de G
que tiene los mismos vrtices que G y no tiene circuitos . Un rbol
generador se puede crear de 2 modos: 1) Suprimir aristas que no sean
de separacin y 2) Partiendo de los vrtices coger aquellas aristas de
forma que no creemos ningn circuito.
Supongamos que a cada arista se le asocia un nmero positivo (su
peso). Un rbol generador se dice de peso mnimo si la suma de los
pesos de las aristas que lo componen es lo menor posible.
Para calcular el rbol de peso mnimo existen 2 algoritmos: Kruskal: Se
van cogiendo las aristas de menor peso hasta conseguir un rbol de peso
mnimo. Prim: Consiste en ir borrando las aristas de mayor peso posible
y que no sean aristas de separacin.
Puede haber ms de un rbol generador de peso mnimo, pero todos
deben tener el mismo peso.
Un rbol con un vrtice sobresaliente o destacado se llama raz. En este
tipo de rbol los vrtices se llaman nodos. Se llama hijo de un nodo al
vrtice adyacente que esta ms alejado de la raz que el nodo del que es
hijo. Los nodos sin hijos se llaman hojas.Un rbol se dice n-ario
cuando todos los nodos excepto los terminales tienen a lo sumo n hijos.
Se llama nivel de un vrtice al nmero de aristas que le separan de la
raz. La raz tiene nivel 0. Se llama altura de un rbol al mximo nivel de
95

sus vrtices.
Ejemplo 1:
El siguiente diagrama representa un grafo al cul le se
extrae un rbol generador. El de la izquirda es el grafo y el de la derecha
es el rbol generador del grafo.
Grfica 2.3.1 Un grafo (izquierda) con un rbol generador del grafo (derecha).
Ejercicio
Ejercicio 1: Para cada definicin vista proponer dos grafos que sean
rboles y cumplan la definicin.
Leccin No.33: Algoritmo en rboles

Lo que sigue son algunos algoritmos propios en rboles:
es un algoritmo para determinar el camino
ms corto en un rbol dado un vrtice origen al resto de vrtices ajustado
a un valor de ponderacin que tienen previamente las aristas. Este
algoritmo es aplicable a grafos.
ALGORITMO DE DIJKSTRA
96

es un algoritmo para encontrar un rbol de

peso mnimo en un grafo conexo y ponderado.
ALGORITMO DE KRUSKAL
es otro algoritmo que encuentra un subconjunto

de aristas en un grafo no dirigido para formar un rbol con todos los
vrtices del grafo donde el rbol es de peso mnimo.
ALGORITMO DE PRIM
Ejercicios
Ejercicio 1:
algoritmos .
Consultar en qu consisten cada uno de los anteriores
Ejercicio 2: Implementar cada uno de estos algoritmos en MAPLE u otro

lenguaje de programacin. Ayuda: Buscar en Internet, en Wikipedia
o en otro buscador.
Ejercicio 3: Proponer un ejemplo de aplicacin por cada algoritmo .
97

Con base en la siguiente informacin se van a responder las preguntas de
esta autoevaluacin: sea la siguiente matriz una matriz de adyacencia de
un grafo simple G V , E
1. Determinar el nmero de vrtices y el nmero de aristas de G .

2. Determinar los grados de cada uno de los vrtices.
3. Determinar si G es conexo.
4. Determinar si G es euleriano.
5. Determinar, si es posible, un rbol generador de G .
98

RETROALIMENTACIN
99

Retroalimentacin Unidad 1
1
1. Para n 1 es cierto porque
1 a 1 a1a 1
supone vlido para n y se desea verificar que para n
cierto. Pero esto es cierto porque
1 a
n 1
1 a
1 a 1 an 1 a
2
como
. Se
es
1 an 1 a 1 a an a n y a n 0 entonces
1 an 1 a 1 a an1 a n 1 luego por transitividad
n 1
1 a n 1
para todo n .
1 a
. Como es cierto para n 1 , as es vlido
2. Utilizando el Teorema Chino de los Restos se tiene que la solucin

es de la forma X 68 70K , donde K es un entero.
3. Es reflexiva porque a a 0 MOD 3 , es simtrica porque si
a b0 MOD 3 se tiene que
ba0 MOD 3 y es
trasitiva porque si ab0 MOD 3 y bc0 MOD 3 se tiene
que
a c ab
b c 0 MOD 3
5X 4 MOD 11
4. En efecto 5X 37 MOD 11es quivalente a
como 5 9 1 MOD 11 , se multiplica la congruencia por 9 y se
tiene que X 3 MOD 11 para concluir que la solucin es de la
forma X 11K 3 , donde K es un entero.
5. Utilizando el Teorema Chino de los Restos se tiene que la solucin

es de la forma X 71 165K , donde K es un entero.
100

1. El orden entre las posiciones es importante y las incisiones se
pueden repetir, por lo que las diferentes llaves corresponden a
variaciones con repeticin de 8 incisiones elegidas p veces, siendo
p el nmero de posiciones de cada llave. La pregunta del
enunciado equivale a hallar el menor valor de p tal que
p
8 1000000 usando logaritmos tenemos que ese valor es 7.
2. Como los 4 platos tienen que ser diferentes, no se permiten
repeticiones. Sin embargo, del enunciado no queda claro si el
orden entre los platos importa o no. Por ello, vamos a considerar
las dos posibilidades. Si el orden entre los platos importa, las
selecciones son variaciones sin repeticin y su nmero total es
igual a V 10,4 10 9 8 7 5040 . En el caso que el orden no
importa, las selecciones son combinaciones sin repeticin y es
10 210
4
3. Consideramos la seleccin de hombres y mujeres por separado: se

pueden seleccionar 3 mujeres entre 8 de 8 formas diferentes
3
pues el orden no importa pero no se pueden repetir las personas. Se

pueden seleccionar 4 hombres entre 7 de 7 formas diferentes.
Luego el nmero total es igual a
4
8 7
1960 . Si en el comit
3 4
particpan el seor y la seora mencionados tenemos que
7 6 420
. Pero como la idea es que ni el seor ni la seora
2 3
101

figuren simultneamente entonces 1960 4201540

4. Como los dados son indistinguibles, el orden no importa. Adems
los resultados de cada dado (de 1 a 6) se pueden repetir. Por tanto,
los resultados de los 3 dados son combinaciones con repeticin de
6 valores tomados de 3 en 3, cuyo nmero total es igual
6 31 56
3
5.
4
1 x 4r 0 4 xr 1 4x 6x2 4x 3 x 4 .
r
102

n
1. El trmino general de la sucesin es an 9 4 .
2. Cuando se observa la sucesin de 8 trminos y que a partir de la

mitad se repite entonces la funcin generadora es f x 1 x 7
porque 1 x 71 7x 21x 2 35x 3 35x 4 21x5 7x6 x 7 .
3. La sucesin asociada a la funcin generadora f x cos x es
a n 1
2n
, ya que al usar las series de Maclaurin tenemos que

n
cos x n0 1 x
2n
2n
4. El mximo de objetos que puede tener la primera persona es 8, el

mximo para la segunda persona es 7, el mximo para la tercera y
cuarta persona es 6, luego el polinomio que representa esta
situacin es
x
6 2
El coeficiente que acompaa el trmino de grado 12 del polinomio

es la respuesta a la pregunta.
103

1. Para responder se va a mirar la sucesin de los grados del grafo,
que respetando el orden de las entradas de la matriz, tenemos que
5,1, 3, 3, 2, 4, 2, 2, 3, 2, 3,3, 2, 2,3
los grados son respectivamente
. As tenemos 15 vrtices y 20 aristas.
2. Como ya se indic en la respuesta 1, los grados son
5, 1, 3, 3, 2, 4, 2, 2, 3, 2, 3,3, 2, 2, 3 respectivamente.
3. S es conexo y basta con hacer un diagrama del grafo para apreciar
la conexidad del grafo.
4. El grafo no es euleriano porque tiene vrtices de grado impar.
5. Como el grafo es conexo, admite un rbol generador que debe
tener 14 aristas. De este modo hay que quitar 7 aristas que van
formando ciclos.
104

Referencias
COMELLAS, Francesc, FABREGA, Joseph, SNCHEZ, Anna y SERRA, Oriol. Matemtica

Discreta. Alfa Omega, Mxico, 2.002
GARCIA, Carlos, LOPEZ, Joseph, RUIGJANER, Dolors. Matemticas Discretas. Prentice

Hall, Madrid, 2.002 .
GRIMALDI, Ralph, Matemticas Discretas y Combinatorias. Tercera Edicin, Prentice Hall,

Mxico, 1.998 .
REYES, Araceli, lgebra Superior. Thomson, Mxico, 2.005
ROSEN, Kenneth, Matemtica Discreta y sus aplicaciones. Mc Graw Hill, Quinta Edicin,
Espaa, 2.004 .
SCHEINERMAN, Edward, Matemticas Discretas. Thomson, Mxico, 2.001
Referencias Virtuales
http://www.wikipedia.org/
http://perso.wanadoo.es/ebuitron/mdiscreta.htm
http://www.elprisma.com/apuntes/curso.asp?id=5057
http://docencia.udea.edu.co/MatematicasDiscretas/
http://valle.fciencias.unam.mx/~lugo/uce-mate/ap_imd.pdf
http://www.escet.urjc.es/~rmunoz/discreta.html
105

Matematicas Discretas 290150

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Matematicas Discretas 290150

Diunggah oleh

Hak Cipta:

Format Tersedia

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA ESCUELA

Luis Eduardo Castillo Mndez

290150 MATEMTICAS DISCRETAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Dedicado a todas aquellas

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ASPECTOS DE PROPIEDAD INTELECTUAL Y

El presente mdulo fue diseado en el ao 2007 por Luis Eduardo

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

El modulo se caracteriza porque en cada leccin se presentar ejemplos modelos

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Autoevaluacin de la Unidad 1............................................................................ ..41

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Leccin 24. Series de Taylor y Maclaurin.....................................................................69

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Leccin No. 1: Conjuntos

A 0, 1, 2, 3, 4, 5, 6, 7, 8,9 . Como puede apreciarse en el ejemplo,

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

los elementos que lo conforman. Sin embargo uno puede escribir el

b. El conjunto de las letras que son parte de la sigla de la Organizacin de

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Ejercicio 2: Escriba por comprensin los conjuntos del ejercicio

Leccin No. 2: Partes de un conjunto

Se dice que A y B son iguales, notado A B , si y solo si A B

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

, ya que por lo menos 2 A y 2 A .

A 1,2 ,3 ,4 ,5 y B 5,3 ,4,1,2 entonces

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Qu son las partes de un conjunto?

Dado un conjunto A , el conjunto formado por todos los subconjuntos

Ejemplo 3: Tomando como referencia el conjunto A del ejemplo

Leccin No. 3: Operaciones entre conjuntos

Tabla 1.1.1. Resumen operaciones bsicas entre conjuntos.

Dos conjuntos A y B son disyuntos si A B . Las Leyes de

U 1,10 ,100 ,1000 ,10000 ,

Leccin No.4: Relacin de equivalencia

pero tambin se tiene que:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

relacin de A en B , ya que R A X B . En cambio, el conjunto

Ejercicio 1: Calcule el producto cartesiano A X B , donde:

Qu es una relacin de equivalencia?

es reflexiva, si para todo

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

es simtrica, si para todo

Una relacin es transitiva, si para todo a b y bc , se tiene

una relacin en A , es claro que es reflexiva ya que

entonces es una relacin en

que no es reflexiva porque c A pero

Ejemplo 5: Sean A , R1 y R2 los mismos del ejemplo 1.5.4, entonces

Toda relacin de equivalencia en un conjunto

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

conjunto en subconjuntos, tales que ninguno es vaco; la unin de todos

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

equivalencia y defina quin es el conjunto cociente de la relacin.

Leccin No.5: Relacin de orden

es reflexiva, si para todo