Professional Documents
Culture Documents
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
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.
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
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
Ejemplo
1:
Pensemos
en
el
siguiente
conjunto
de
11
,
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
Sol:
o, n , u
A A
y son
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
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
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
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
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}
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
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}.
A a , b , c
y B 1,2
A X B (a , 1) , ( a , 2) , (b , 1) , ( b , 2) , ( c , 1) , ( c ,
2)
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
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
de
A , se cumple
18
que a a .
Una relacin
entonces b a .
ab
, con
ab
Ejemplo 4: Sean
A a , b , c
R1 ( a , a) , ( a , b) , ( b , b) , ( b , a) , ( c , c)
(a , a) ,
(b , b) y
A particiona al
19
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
de
, se cumple
A 1,2 ,3 y la relacin
en A definida como
21
Ejercicio
Ejercicio 1: Proponga tres conjuntos y para cada uno de ellos
proponga una relacin de orden. Justifique.
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:
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
f es
f : A B
A ( x , y) X
1
: y 2 ,
x 1
24
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
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
25
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
Objetivos especficos
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
, 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
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 .
, se tiene que
P( 1) se cumple porque
P ( n)definida por
n 1
. En efecto, para
1 1 1+1
2
. Ahora
7 = 29
Po r l o t anto
adera.
P(6 ) es v erd
> 6 , o s ea qu e cu mp l e 4 k < k - 7
)
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA
CONTENIDO DIDCTICO DEL CURSO-290150-MATEMTICAS DISCRETAS
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
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.
180
entre
, as
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
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.
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
tales
que
c.385,
d.448,
e. 943 23 41
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
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
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 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
X 2 MOD 3
,
39
X 3 MOD 5
X 2 MOD 7
,
.
no
40
Autoevaluacin de la Unidad 1
1.
X 2 MOD 2
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.
Objetivos especficos
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
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
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.
m/n.
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.
-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 !
99
98
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
50
Ejercicios
Ejercicio 1: Proponga un conjunto de 2 elementos de tal forma que usted
haga una lista de los posibles arreglos siempre y cuando:
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?
P n , s
n!
! n2 ! n s !
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
Objetivos especficos
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.
Definicin de combinatoria
Una combinacin de un conjunto A , con
Card A n
, son todos
C n,r
r n
. La
n
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
Ejercicio 1: Proponga un conjunto de 2 elementos de tal forma que usted
haga una lista de los posibles arreglos siempre y cuando:
a. Sea una permutacin.
b. Sea una permutacin que admite repeticin.
54
2.
n n
n
r
r
n
3.
n1
n
r 1
x,y y
y n n
r 0
n , con n0 , entonces se
n x nr r (Teorema del binomio).
y
r
Ejemplo 6: S a b i e n d o que
, calcular
Ejercicios
C14,r = C14,r-1
Halle el valor de r
Sol: r 15/2
Ejercicio 5:
n
r 0
r 0
n
r
n r1
r
40 61
45 8145060
6
6
3 101
12 66
10
10
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.
10
6
5 25.200
Ejercicio
Ejercicio 4:
Consultar qu es permutacin circular y plantear dos
problemas que involucren permutacin circular.
Ayuda: Buscar en Wikipedia (www.wikipedia.org) o en algn otro
buscador de la Internet qu es permutacin circular.
58
Autoevaluacin de la Unidad 2
(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.
Objetivos especficos
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
Ejemplo 1:
La relacin
a 11 y
a n a n1
2n1
para todo
n1
63
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
junto
con
procedimientos
1 5
1 + 5
algebraicos
de
64
Ejercicios
Ejercicio 1: Es la siguientes relacin lineal
a 0 23 y
a n
3a n1
Qk
Qk n
a n
n n , donde
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
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)
66
Captulo 6
FUNCIN GENERADORA
Objetivo general
Entender cmo se relaciona un problema de conteo con un polinomio
usando el concepto de funcin generadora.
Objetivos especficos
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
f x n0 an x a0 a1 x a 2 x
an 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
5x
7x
es la sucesin
1, 2,4,0,5,0,0,7,0,0,0,. .. , 0,0,0,. ..
9x
es la sucesin
0,1,3,10,0,0,9,0,0,0,. .. , 0,0,0,. ..
68
n
f x
2n 1 x
n0
Ejercicios
Ejercicio 1:
Ejercicio 2:
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.
(n)
, donde an =
f x n0 an x a
69
si
a
n
f x
, donde
evaluada en a .
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) =
71
Ejercicio
Ejercicio 1: Proponga y resuelva un problema similar al presentado
en el ejemplo 1.
72
Autoevaluacin de la Unidad 3
a n 4a n 1 con
a 09 . Encontrar
73
Unidad 4
INTRODUCCIN A GRAFOS
74
Captulo 7
GRAFOS
Objetivo general
Entender los conceptos y definiciones bsicas de la Teora de Grafos.
Objetivos especficos
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
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
b
d
c
Grfica 1.2.2. Multigrafo del ejemplo 1.2.2
Ejercicio
Ejercicio 2:
Proponga dos ejemplos de multigrafo y haga sus
respectivos diagramas.
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:
Ejercicio
Ejercicio 3:
Proponga dos ejemplos de digrafo y haga sus
respectivos diagramas.
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
respectivos diagramas.
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
a
c
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
K 2,2 regular
V2
K 2,3 regular
81
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.
82
Ejercicio
Ejercicio 2:
Proponga dos ejemplos de grafos completos y
ejemplo de un grafo que no es completo.
un
83
1
0
0
0
1
0
0
0
1
0
0
0
2
0
1
0
0
1
0
0
0
0
0
0
En este ejemplo hay que tener en cuenta que es un digrafo, por eso no
hay simetra.
Ejemplo 4: La matriz de adyacencia del grafo del ejemplo 1.2.3 es
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
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:
La matriz de incidencia del grafo del ejemplo 1.2.2,
conservando el mismo orden que se enuncia en el ejemplo es
85
1
0
0
0
1
1
0
0
1
1
0
0
0
1
1
0
Ejemplo 7:
La matriz de incidencia del grafo del ejemplo 1.2.3,
conservando el mismo orden que se enuncia en el ejemplo es
1 1 0 0
1 0 1 1
0 1 1 1
Ejemplo 8:
La matriz de incidencia del grafo del ejemplo 1.2.4,
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.
86
, 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,
88
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
Ejemplo 1:
Los siguientes diagramas son ejemplos de un grafo no
euleriano y de un grafo euleriano respectivamente:
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
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.
Objetivos especficos
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
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 .
94
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.
96
Ejercicios
Ejercicio 1:
algoritmos .
97
Autoevaluacin de la Unidad 4
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
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
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.
100
Retroalimentacin Unidad 2
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
4
8 7
1960 . Si en el comit
3 4
7 6 420
. Pero como la idea es que ni el seor ni la seora
2 3
101
5.
4
1 x 4r 0 4 xr 1 4x 6x2 4x 3 x 4 .
r
102
Retroalimentacin Unidad 3
n
1. El trmino general de la sucesin es an 9 4 .
cos x n0 1 x
2n
2n
6 2
103
Retroalimentacin Unidad 4
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
ROSEN, Kenneth, Matemtica Discreta y sus aplicaciones. Mc Graw Hill, Quinta Edicin,
Espaa, 2.004 .
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