Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Algebra Superior PDF
Algebra Superior PDF
Araceli Reyes
Septiembre 2003
ii
ndice general
1. Mtodo axiomtico
1.1. Introduccin al mtodo axiomtico . . . . . . . . . . . . . . . . . . .
1.2. Axiomas y Teoremas. . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Deducciones y demostraciones . . . . . . . . . . . . . . . . . . . . . .
1
1
2
3
2. Conjuntos y Funciones
2.1. Terminologa y notacin de conjuntos . . . . . . . . . . . . . . . . .
2.2. Propiedades de las operaciones entre conjuntos. . . . . . . . . . . . .
2.3. Productos cartesianos . . . . . . . . . . . . . . . . . . . . . . . . . .
5
5
6
7
3. Los
3.1.
3.2.
3.3.
3.4.
3.5.
3.6.
nmeros naturales
Axiomas de Peano . . . . . . . . . . . . . . . .
Propiedades de las operaciones entre naturales
Demostraciones por induccin . . . . . . . . . .
Definiciones inductivas . . . . . . . . . . . . . .
Cardinalidad . . . . . . . . . . . . . . . . . . .
Relacin de orden . . . . . . . . . . . . . . . . .
3.6.1. Propiedades del orden. . . . . . . . . . .
3.7. Principio del buen orden . . . . . . . . . . . . .
3.8. Funciones y relaciones . . . . . . . . . . . . . .
3.8.1. Dominio y contradominio . . . . . . . .
3.9. Clasificacin de funciones . . . . . . . . . . . .
3.10. Composicin de funciones . . . . . . . . . . . .
3.11. Funciones inversas . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
9
9
9
10
15
15
17
17
18
19
19
20
21
23
4. Relaciones binarias
4.1. Definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2. Relaciones de equivalencia . . . . . . . . . . . . . . . . . . . . . . . .
25
25
25
5. Matemticas discretas
5.1. Relaciones entre conjuntos finitos . . . . . . . . . . . . . . . . . .
5.1.1. Grfica dirigida. . . . . . . . . . . . . . . . . . . . . . . .
5.2. Representacin matricial de una relacin. . . . . . . . . . . . . .
5.2.1. Definiciones del lgebra matricial en general . . . . . . . .
5.2.2. Relaciones . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2.3. Operaciones entre relaciones: . . . . . . . . . . . . . . . .
5.2.4. Propiedades de las relaciones y estructura de las matrices
.
.
.
.
.
.
.
.
.
.
.
.
.
.
29
29
29
34
34
35
37
39
6. Conteo
6.1. Principios bsicos . . . . . . . . . . . . . .
6.1.1. Suma y resta para contar . . . . .
6.2. Principio de inclusin y exclusin para dos
6.2.1. Producto y divisin para contar . .
.
.
.
.
.
.
.
.
43
43
44
47
49
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . .
. . . . . . . . . .
y tres conjuntos
. . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
iv
NDICE GENERAL
6.2.2. Integracin de los principios de suma y producto . . . . . . .
6.2.3. Miscelnea de problemas . . . . . . . . . . . . . . . . . . . . .
7. Los
7.1.
7.2.
7.3.
nmeros enteros.
El anillo de los nmeros enteros . . . . . . . .
Propiedades de las operaciones entre enteros.
Divisibilidad . . . . . . . . . . . . . . . . . . .
7.3.1. Algoritmo de la divisin . . . . . . .
7.3.2. Algoritmo de Euclides . . . . . . . . .
7.4. Nmeros primos . . . . . . . . . . . . . . . .
7.5. Teorema de factorizacin nica . . . . . . . .
56
58
.
.
.
.
.
.
.
61
61
61
62
63
65
68
69
8. Congruencias
8.1. Definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.2. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.3. Teorema chino del residuo . . . . . . . . . . . . . . . . . . . . . . . .
71
71
73
74
9. Bibliografa
75
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Captulo 1
Mtodo axiomtico
1.1.
intrincados de la geometra a los que haban llegado. Muchas de estas reglas tiene
su fundamentacin en la geometra.
1.2.
Axiomas y Teoremas.
1.3.
Deducciones y demostraciones
Todos los seres humanos pensantes utilizamos las deducciones a diario. Todos
sabemos sacar conclusiones a partir de ciertas afirmaciones. En ocasiones nos equivocamos al formular nuestras primeras afirmaciones pero todos sabemos deducir. Por
ejemplo:
Primera afirmacin: Estamos en poca de lluvias.
Segunda afirmacin: El cielo esta nublado y las nubes son negras.
Cul sera nuestra conclusin casi inmediata?
Nuestra vida cotidiana esta llena de estos ejemplos.
Tambin hemos escrito demostraciones matemticas sin ser concientes de ello.
Por ejemplo:
Theorem 1 La ecuacin x2 x 2 = 0 tiene como solucin a 2 y 1.
Proof. La expresin
x2 x 2
se factoriza como
x2 x 2 = (x 2) (x + 1)
por lo tanto los valores x = 2 y x = 1 son solucin de la ecuacin.
Lo mas seguro es que hayamos escrito:
x2 x 2 = (x 2) (x + 1)
x = 2, x = 1
o bien que hayamos aplicado la frmula de la ecuacin de segundo grado
A = 1, B = 1, C = 2
p
2
(1) 1 4 (1) (2)
1 9
13
2
x=
=
=
=
1
2
2
2
o utilizando cualquier otro mtodo para reolver la ecuacin de segundo grado.
Lo importante es que se han escrito demostraciones sencillas de matemticas.
El propsito de este curso es revisar conocimientos sobre los nmeros que se han
adquirido a travs de los aos en la escuela pero se vean a travs de la ptica de los
conjuntos y las deducciones de propiedades a partir de ciertas afirmaciones sobre
ellos que se van a considerar axiomas y se refieren a las propiedades de cada uno de
los sistemas que se van a considerar: naturales, enteros, racionales.
Exercise 2 Demuestra que 2 es una raz de la ecuacin x2 + 2x = 0.
Exercise 3 Enuncia el teorema de Pitgoras.
Exercise 4 A partir de la conocida propiedad que afirma que la suma de los tres
ngulos internos de un tringulo es 180o , demuestra que en un tringulo rectngulo
los otros dos ngulos son complementarios. (suman 90o ).
Captulo 2
Conjuntos y Funciones
Los conceptos que no se van a definir en teora de conjuntos son: conjunto,
elemento y pertenencia.
2.1.
.
Las letras maysculas se utilizarn para denotar a los conjuntos, las letras minsculas se utilizarn para denotar a los elementos. El smbolo se utilizar para pertenencia. Por ejemplo a A se lee, el elemento a est en el conjunto A.
Definition 5 Un conjunto A es subconjunto de un conjunto B si todos los elementos del conjunto A pertenecen al conjunto B. Simblicamente: para todo elemento
a A se tiene que a B.
Notation 6 A B denota que el conjunto A es subconjunto del conjunto B.
Example 7 Si A = Z y B = Q entonces Z Q.
Example 8 Tambin Q R.
Example 9 N Z.
Exercise 10 Escribe en notacin de conjuntos: Todo nmero entero es un nmero
real.
Exercise 11 Escribe en palabras N Q.
Definition 12 Dos conjuntos A y B son iguales si A B y B A.
Notation 13 A = B denota que los conjuntos son iguales o tienen los mismos
elementos.
Example 14 Sea A = {a, e, i, o, u} y B = {vocales del alfabeto latino }. Entonces
A = B.
Example 15 Sea A = {a Z |a = 2n + 1 para alguna n Z}y sea B = {b Z | b es impar}
entonces A = B.
Exercise 16 Describe de dos formas diferentes al conjunto de nmeros enteros
pares.
5
2.2.
Theorem 30 (A B) = Ac B c
Theorem 31 (A B)c = Ac B c
Exercise 32 Demostrar los ltimos dos teoremas.
2.3.
Productos cartesianos
Captulo 3
3.1.
Axiomas de Peano
1. 0 N
2. Existe una funcin, llamada sucesor, : N N tal que
(n) = n + 1
la funcin es inyectiva e Im = N {0}
3. Si S N es tal que satisface las siguientes condiciones
a) 0 S
b) n S = (n) S
entonces S = N.
3.2.
Para los nmeros naturales N hay dos operaciones, suma + y producto .Las
propiedades son las siguientes:
1. El conjunto de los nmeros naturales es cerrado bajo la operacin suma,es
decir si a N, b N entonces a + b N
9
10
0+0=0
a (0 + 0) = a0
a(0 + 0) = a0 + a0
a0 + a0 = a0
a0 = 0 + a0
a0 + a0 = 0 + a0
a0 = 0
3.3.
11
Proposition 42 La frmula
1 + 2 + ... + n =
n (n + 1)
2
(n + 1) (n + 2)
2
pero al observar el lado izquierdo de esta expresin se pueden sustituir los n primeros
sumandos por la frmula para nsumandos
1 + 2 + . . . + n + (n + 1) =
n (n + 1)
+ (n + 1)
2
(n + 1) (n + 2)
2
Proposition 43 La frmula
12 + 22 + 32 + . . . + n2 =
n (n + 1) (2n + 1)
6
1(2)(3)
6
12
por lo tanto 1 S.
Falta probar que si n S entonces (n + 1) S.Supongamos que n S eso
significa que la frmula
12 + 22 + 32 + . . . + n2 =
n (n + 1) (2n + 1)
6
(n + 1) (n + 2) (2(n + 1) + 1)
6
n (n + 1) (2n + 1)
+ (n + 1)2
6
por lo tanto
12 + 22 + 32 + . . . + n2 + (n + 1)2 =
(n + 1) (n + 2) (2(n + 1) + 1)
6
Como se cumplen ambas condiciones del Principio de Induccin esto implica que
S = N.Por lo tanto la frmula es verdadera para todo nmero natural.
Proposition 44 La frmula
1 + 3 + . . . + (2i 1) + . . . + (2n 1) = n2 .
es verdadera para todos los nmeros naturales.
Proof. En este caso se define S = {k N |la frmula es verdadera} .
Se probar que 1 S,se sustituye n = 1 en la frmula y se obtiene la identidad
1 = 12
por lo tanto 1 S.
Falta probar que si n S entonces (n + 1) S.Supongamos que n S eso
significa que la frmula
1 + 3 + . . . + (2i 1) + . . . + (2n 1) = n2
es verdadera para n. Para demostrar que n + 1 S hay que probar que
1 + 3 + . . . + (2i 1) + . . . + (2n 1) + (2n + 1) = (n + 1)2
13
n2 n
12
(11) 11
121 11
=
12
12
110
=
12
9,1667 . . .
por lo tanto se cumple para n = 11.
Supongamos que n S, i.e. la proposicin es verdadera para n 11. Es decir
n2<
n2 n
12
(n + 1) 2 <
14
n2 n
+1
12
n2 + n
12
n2 (n + 1)2
4
n (2n 1) (2n + 1)
3
n (n + 1) (2n + 7)
6
3.4.
15
Definiciones inductivas
Cuando se tiene una definicin para cualquier nmero natural se utiliza la definicin por induccin o la definicin recurrente.
Example 54 Por ejemplo se quiere definir xn donde x R y n N.
Solution 55 Se definen x1 = x, x2 = x x, . . . , xn = xn1 x. Esto significa que
para calcular xn hay que calcular primero xn1 y el resultado multiplicarlo por x.
Example 56 Se quiere definir Rn .
Solution 57 Se define R1 = R, R2 = R R, . . . , Rn+1 = Rn R.
Example 58 Se quiere definir n!.
Solution 59 Se define 1! = 1, 2! = 1 2 = 2, . . . , n! = (n 1)! n.Para calcular 10!
se tiene que conocer 9! y el resultado multiplicarlo por 10.
Example 60 Se quiere definir la sucesin de nmeros an , conocida como la serie
de Fibonacci,
1, 1, 2, 3, 5, . . .
Solution 61 Se define a0 = 1, a1 = 1, . . . , an+1 = an + an1 . Para calcular a6 hay
que conocer a5 y a4 .Se calculan
a2
a3
a4
a5
a6
= a0 + a1
= a2 + a1
= a3 + a2
= a4 + a3
= a5 + a4
=1+1=2
=2+1=3
=3+2=5
=5+3=8
= 5 + 8 = 13
3.5.
Cardinalidad
Contar es comparar dos conjuntos. Los conjuntos pueden tener un nmero finito
o un nmero infinito de elementos.
La nocin bsica de contar el nmero de elementos de un conjunto A consiste
en establecer una funcin biyectiva entre un subconjunto de los nmeros naturales
y el conjunto A.Algebraicamente definimos esta forma de contar con encontrar f :
A N.de tal forma que f sea inyectiva
Remark 64 Normalmente, cuando contamos, se toma como el primer valor de la
funcin al 1 y se contina sucesivamente con el sucesor.
El conjunto de los nmeros naturales tiene un nmero infinito de elementos, al
nmero de naturales se le denomina 0 (alef cero) y es la cardinalidad de los nmeros
naturales.
Cuando existe una biyeccin g entre la Im f $ N y el conjunto {1, 2, . . . , n}
se dice que el conjunto es finito y al nmero de elementos de Im f se le llama
cardinalidad de A.
16
2z, si z > 0
2 |z| + 1, si z 0
Esta funcin es una biyeccin porque si f (z1 ) = f (z2 ), hay cuatro posibilidades:
(i) Si z1 > 0 y z2 > 0, 2z1 = 2z2 por lo tanto z1 = z2.
(ii) Si z1 es negativo y z2 < 0 f (z1 ) = 2z1 + 1 = 2z2 + 1, z1 = z2 .
(iii) Si z1 > 0 y z2 < 0 entonces f (z1 ) = 2z1 y f (z2 ) = 2z2 + 1,pero uno es par
y el otro impar por lo tanto no pueden ser iguales. Esto contradice la hiptesis.
(iv) El ltimo caso se descarta de manera semejante.
Adems para cualquier natural n existe z tal que f (z) = n,porque si n es par
existe el entero positivo q tal que 2q = n,si n es impar existe un entero positivo p
tal que n = 2p + 1, p es negativo y f (p) = n.Por lo tanto f es suprayectiva.
Tambin se puede demostrar que hay una biyeccin entre los nmeros racionales
y los naturales.Basta arreglar los racionales como cociente de dos enteros en un
arreglo de renglones y columnas poniendo el numerador el nmero de la columna
y en el denominador el del rengln. Se cuentan recorriendo los elementos en diagonal. Esta demostracin no se har formalmente pero se puede enunciar el siguiente
teorema.
Theorem 68 Los nmeros racionales Q tienen la misma cardinalidad que los naturales N.
Remark 69 Se observa que N $ Z, adems Z = N N . De aqu se podra deducir
que la cardinalidad de Z es el doble que la cardinalidad de N pero vemos que es la
misma. Se concluye que la aritmtica para los nmeros finitos no se aplica para los
infinitos. Adems aquella afirmacin de que el todo es mayor que sus partes tampoco
se aplica en este caso.
La forma como podemos intuir que los nmeros reales no tiene la misma cardinalidad que los naturales es percatndonos que el intervalo [0, 1) tiene la misma
cardinalidad que toda la recta real. Eso se visualiza fcilmente en la siguiente figura, si se considera que la circunferencia es el intervalo [0, 1) y dejando fijo,el punto
de interseccin del eje Y y la circunferencia se trazan rectas. A cada punto de la
circunferencia le corresponde un punto en la recta real y viceversa:
17
3.6.
Relacin de orden
3.6.1.
Sean k, m y n N.Entonces
1. Se cumple una de las siguientes tres cosas: m < n, m = n m > n. Esta
propiedad se llama de tricotoma.
2. Si k < m y m < n entonces k < n.Transitividad.
3. Si k < m entonces k + n < m + n.
4. Si k < m entonces k n < m n.
18
3.7.
Para los nmeros naturales se cumple el principio del buen orden. Este principio
implica al principio de induccin.
El principio del buen orden dice que todo subconjunto S 6= de los nmeros
naturales tiene un elemento m tal que m s s S.Dicho de otra manera S N,
S 6= contiene un elemento mnimo.
Los nmeros enteros no son bien ordenados porque el subconjunto {x Z |x < 0}
es diferente del vaco y no contiene un mnimo.
Proposition 76 El principio del buen orden se cumple para los nmeros naturales.
Proof. PRIMERA DEMOSTRACIN(Sin utilizar explcitamente el Principio
de Induccin)
Ahora se demostrar el principio del buen orden. Para ello consideremos un
subconjunto S 6= de los nmeros naturales.
Si S es finito,supongamos que
S = {n1 , n2 , . . . , nk }
Por la propiedad de tricotoma, se puede escoger un elemento ni tal que ni nj
j = 1, . . . , k. Por lo tanto S tiene un mnimo.
Si S es infinito como es diferente del conjunto vaco entonces contiene un elemento a. Sea S0 = {n S | n a} . El conjunto S0 contiene a lo ms a los naturales
1, 2, . . . , a. pero no necesariamente a todos. Como S0 es finito y a S0 entonces S0
contiene un mnimo m. El mnimo m de S0 es elemento de S y m a. Ahora se
probar que m es un mnimo de S. Para ello considerar una n S. Por la definicin
de S0 hay dos posibilidades n S0 o n
/ S0 . Si n S0 entonces m n porque m
es el mnimo de S0 . Si n
/ S0 entonces n > a,pero a m. Por lo tanto n > m. En
cualquiera de los dos casos m es el mnimo de S.
Proof. SEGUNDA DEMOSTRACIN(Utilizando el Principio de Induccin)
Consideremos un subconjunto S 6= del conjunto N. Supongamos que S no tiene
mnimo. Sea S 0 = {n N |n < aa S} . Primero que nada S 0 es un subconjunto de
N y S 0 S c porque si n S 0 , n < a para a S. Adems S 0 satisface las condiciones
del principio de induccin:
(i) 1 S 0 porque 1
/ S. Si 1 S entonces S tendra un mnimo.
(ii) Supongamos que n S 0 . Se va a demostrar que n + 1 S 0 . La demostracin
se har por reduccin al absurdo. Si n + 1
/ S 0 entonces n + 1 a.para alguna
a S De esta afirmacin y de que n < a implica que n + 1 a se concluye que
n + 1 = a S.Por tanto n + 1 es un mnimo de S. Lo que contradice que Sno tiene
un mnimo. Por lo tanto n + 1 S 0 .
Por el principio de induccin esto significa que S 0 = N. Por lo tanto, S = . Esta
afirmacin es una contradiccin pues se haba supuesto que S es diferente del vaco.
19
Proof. Primero se demostrar que el principio del buen orden implica el principio de induccin. Para ello consideremos un conjunto S N, S 6= tal que 1 S
y si n S entonces n + 1 S. Sea S 0 = S c . Supongamos que S 0 6= . Como S 0 N
entonces S contiene un mnimo. Sea m el mnimo de S 0 . Esto implica que m 1 S
porque m 1 < m. Pero por hiptesis si n = m 1 S entonces n + 1 = m S lo
que contradice que m S 0 . Por lo tanto S 0 = .De donde S = N.
Remark 78 Un conjunto que satisface el principio del buen orden se llama bien ordenado. El conjunto de los nmeros naturales es bien ordenado y totalmente
ordenado.
Exercise 79 Encuentra subconjuntos de Q y R para los que no se cumpla el principio del buen orden.
3.8.
3.8.1.
Funciones y relaciones
Dominio y contradominio
1
con x R.
x
20
3.9.
Clasificacin de funciones
21
-5
-2.5
50
2.5
x
5
-50
-100
3.10.
Composicin de funciones
4
x, x .La composicin es un subconjunto de R R4 tales que (x, (2x + 5)4 )
x)
Example 115 Sean F R R y G R+ R dadas por (x, x2), (x,
p
Calcula H G y G H.
Theorem 117 Sean F A B y G B C dos funciones
1. Si F y G son inyectivas entonces G F es inyectiva.
2. Si F y G son suprayectivas entonces G F es suprayectiva.
22
3.11.
23
Funciones inversas
Example 125 La funcin inversa de f : [0, ] [0, 1] definida por f (x) = sen(x)
2
es f 1 (y) = arcsen(y).
Exercise 126 Encontrar, si es posible la funcin inversa de las siguientes funciones, en cada caso justificar la respuesta:
1. f : R R, f (x) = x3
2. f : R+ R , f (x) = x
3. f : R R, f (x) = x6 .
4. f : {1, 2, 3, 4} {1, 2, 3, 4} dada por la tabla
a
1
2
3
4
f (a)
2
1
4
3
24
Captulo 4
Relaciones binarias
4.1.
Definicin
Definition 131 Una relacin se llama binaria sobre el conjunto A cuando se trata
de una relacin R A A.
Example 132 Si A = R una relacin binaria es la igualdad definida por el subconjunto R = {(x, y) | x, y R y x = y}
Example 133 Si A = N una relacin binaria es el menor o igual definido por el
subconjunto M = {(a, b) | a, b N y a b}
Example 134 Si A = Z Z una relacin binaria entre parejas de enteros es que
a
c
dos parejas (a, b) y (c, d) estn en relacin si = .
b
d
Example 135 Si A = N N una relacin binaria entre parejas de naturales es que
dos parejas (n1 , m1 ) y (n2 , m2 ) estn en relacin si n1 m1 = n2 m2 .
Exercise 136 Determina sobre que conjunto se define la siguiente relacin binaria:
{(a, b) | a, b Z y a divide a b}y describe la forma que tienen las parejas que estan
en la relacin.
Exercise 137 Sea A = {a, b, c, d, e}. Al conjunto de todos los subconjuntos formados por los elementos de A se le llama conjunto potencia de A.y se le denota por
P (A). Determina si la contencin de conjuntos es una relacin binaria en P (A).
4.2.
Relaciones de equivalencia
26
27
Exercise 147 Describir las clases de equivalencia del espacio vectorial representado en R2 .Demostrar que un vector es un representante de una clase de equivalencia
Exercise 148 Demuestra que la semejanza de tringulos definida cuando los tres
lados correspondientes son proporcionales es una relacin de equivalencia.
Exercise 149 Demostrar que la relacin definida en el ejemplo(101) es una relacin
de equivalencia.
Exercise 150 Demostrar que la relacin binaria sobre R no es una relacin de
equivalencia.
28
Captulo 5
Matemticas discretas
5.1.
Las relaciones entre conjuntos finitos tienen una gran cantidad de aplicaciones.
Por ejemplo se aplican en el diseo de bases de datos, en la optimizacin de tiempos
para actividades complejas, en el diseo de lenguajes de computacin, en encontrar
caminos cortos u ptimos, en el diseo de redes de carreteras, de ductos de agua o
cualquier otro fludo y en muchas otras cosas.
El primer concepto para entender la multiplicidad de aplicaciones es el paso
entre diversas representaciones de las relaciones. La primera, que ya fue estudiada
anteriormente es la representacin de una relacin como un conjunto. Hay que
recordar que una relacin R es un subconjunto de un producto cartesiano de dos
conjuntos A y B. Utilizando la notacin usual R A B.
Recordar tambin que una relacin se llama binaria cuando A = B. En este caso
adems se agregar que N (A) < , i.e. A es un conjunto finito.
5.1.1.
Grfica dirigida.
Por otro lado existen las definiciones de grfica (grafo) y grfica dirigida, digrfica(digrafo) que se desarrollo a partir de un problema planteado por Euler.
Definition 151 Una grfica (grafo) G consiste de dos conjuntos V, los vrtices de
la grfica y E las aristas de la grfica que se representan con parejas de puntos.
30
Figura 5.1:
Example 153 Diagrama de Hasse o representacin grfica de una relacin de orden. Una relacin binaria de contencin de entre conjuntos se representa con una
grfica sin flechas escribiendo el conjunto menor en la parte inferior. Por ejemplo
para el conjunto potencia del conjunto A = {a, b.c} se toman todos los subconjuntos
de A : , {a} , {b} , {c} , {a, b} , {a, c} , {b, c} , A. y se colocan en una grfica como la
siguiente.
Hay algunas definiciones y lenguaje que se utiliza en teora de grficas que nos
van a se tiles para resolver problemas de optimizacin, la aplicacin del algoritmo
31
Example 155 En el ejemplo de la grfica un camino es a, (a, b), b, (b, b)b. Un camino
se puede denotar por sus vrtices solamente. En este ejemplo abb.
Definition 157 Lazo Un lazo es un ciclo que contiene una sola arista.
Definition 158 Camino simple Un camino es simple cuando no pasa dos veces por
el mismo vrtice.
32
Exercise 160 Dadas las siguientes relaciones trazar las grficas dirigida y cartesiana.
a) A = {a, b, c, d, e} y B = {1, 2, 3, 4, 5, 6} ,
R = {(a, 1) , (b, 3) , (b, 4) , (c, 5) , (d, 2) , (d, 6) , (e, 3) , (e, 5) , (e, 6)}
b) A = {1, 2, 3, 4, 5, 6} y la relacin binaria
R = {(1, 2) , (1, 3) , (2, 5) , (2, 4) , (3, 1) , (3, 3) , (3, 5) , (4, 6) , (5, 2) , (5, 5) , (6, 4) , (6, 6)} .
Exercise 161 Dadas las siguientes relaciones en forma grfica encontrar el conjunto del producto cartesiano y la otra representacin grfica.
33
a)
b)
Exercise 162 Hacer una grfica que refleje que en un torneo de ftbol en donde
estn inscritos 5 equipos y cada equipo va a jugar contra dos equipos. Cmo sirve
esta representacin para asignarles das consecutivos de juego a los partidos de tal
manera que ningn equipo juegue dos das consecutivos?
34
5.2.
5.2.1.
A=
1
1 1 0
3
2 0
5
1
7
2 5 1
8
1 si i = j
aij =
0 si i 6= j
se le denota por In .
Example 172 Para n = 4
1
0
I4 =
0
0
0
1
0
0
0
0
1
0
0
0
0
1
35
Producto de matrices
Dadas dos matrices Amn y Bnr se define la matriz producto C de orden mr
a la matriz formada por los elementos
cij = ai1 b1j + ai2 b2j + . . . + ain bnj
donde i = 1, . . . , m y j = 1, . . . , r.
Example 178 Sean las matrices
2 3
6
A= 4
1 3
8
B=
7
dos matrices. Para poder efectuar el producto AB hay que verificar que el nmero
de columnas de la primera matriz, A sea igual al nmero de renglones de la segunda
matriz B. En este caso este nmero es 2 por tanto si es posible hacer el producto,
se obtiene una matriz de orden 3 1.
2 3
2(8) + (3)(7)
8
4
6
= 4(8) + 6(7)
7
1 3
(1)8 + 3(7)
37
= 10
29
5.2.2.
Relaciones
MR =
a
b
c
d
e
1
1
0
0
0
2
0
0
0
1
0
3
0
1
0
0
1
4
0
1
0
0
0
5
0
0
1
0
1
6
0
0
1
1
A esta matriz se le llama matriz de adyacencia ya que al representarla grficamente cada 1 corresponde a una arista de la grfica.
36
1 0 1 1
1 0 0 1
MR =
0 0 0 1
1 0 0 0
y la grfica
Las matrices de adyacencia se utilizan para representar una relacin en la computadora. An ms las operaciones usuales entre relaciones se pueden realizar con las
operaciones usuales entre matrices y las reglas del lgebra booleana. En la siguiente
seccin se da la correspondencia entre operaciones entre matrices y operaciones
entre relaciones.
37
Exercise 181 Dadas las siguientes relaciones encontrar las otras tres representaciones
a) A = {a, b, c, d, e, f, g}, R una relacin binaria sobre A definida por
R = {(a, b) , (a, d) , (a, f ) , (a, g) , (b, a) , (b, b) , (b, f ) , (b, g) , (c, e) , (d, e) , (d, g) , (e, f ) , (f, g) , (g, c)} .
b) A = {1, 2, 3}y una relacin binaria definida por la matriz
1 1 1
MR = 1 1 1
1 1 1
c)
d)
5.2.3.
38
Composicin
La composicin de relaciones R1 A B y R2 B C es la relacin
R1 R2 = {(a, c) | b tal que ((a, b) R1 ) (b, c) R2 }
Remark 182 La notacin utilizada es diferente a la de funciones porque al llevar
la relacin a una matriz el orden de multiplicacin es MR1 MR2 . El + se sustituye
por la operacin booleana (o) y por la operacin booleana (y). Las reglas son
1+1=1=1+0=0+1
0+0=0
11=1
10=01=00=0
Algunos autores utilizan el mismo orden que para funciones i.e. R2 R1 .
Example 183 La relacin R1 toma clase de es un subconjunto del producto
cartesiano {estudiantes del Itam} {cursos del Itam} . La relacin R2 es tiene
clase en es un subconjunto del producto cartesiano {cursos del Itam}{salones del Itam} .
La composicin es la relacin R1 R2 tiene clase en que es un subconjunto del
producto cartesiano {estudiantes del Itam} {salones del Itam} .
Definition 184 Dada la relacin binaria R sobre A se define por induccin la
potencia de R R2 = R R y Rn = Rn1 R.
Exercise 185 Sea R la relacin padre de.Cul es la relacin R R?
Exercise 186 Sea R1 = {(0, a) , (0, c) , (1, a) , (1, c) , (2, b)} {0, 1, 2, 3} {a, b, c}
y
R2 = {(a, d) , (a, e) , (a, f ) , (b, c) , (c, f )} {a, b, c} {d, e, f } . Calcular R1 R2 .
Escribir las matrices asociadas a R1 , R2 y a R1 R2 , MR1 , MR2 .y MR1 R2 .
Efectuar el producto de matrices MR1 MR2 sustituyendo + por la operacin booleana
(o) y por la operacin booleana (y) Comparar con la matriz asociada a la
composicin.
Inversin.
Si R es una relacin de A B entonces R1 es la relacin de B A tal que
(b, a) R1 si (a, b) R. La matriz asociada a R1 es la traspuesta de MR . La
grfica dirigida asociada a R1 es la misma grfica que R con las flechas en sentido
opuesto.
Exercise 187 Dada la relacin binaria R sobre A = {0, 1, 2, 3} por la matriz
0
1
MR =
1
0
1
0
1
1
1
1
0
0
0
1
0
1
39
5.2.4.
40
Definition 195 Dado un conjunto A y R una relacin binaria sobre A se dice que
R es antisimtrica si aRb y bRa implica a = b.
Definition 196 Sean M = (mij ) y N = (nij ) ambas de orden m n.Entonces se
dice que M N si mij nij para i = 1, . . . , m; j = 1, . . . , m.
Con esta definicin se van a reescribir las proposiciones anteriores como:
Proposition 197 Dado un conjunto A, finito de cardinalidad n, R una relacin
binaria sobre A y MR la matriz asociada entonces
(a) R es reflexiva In MR
(b) R es simtrica MR = MRt
(c) R es transitiva MR2 MR
(d) R es antisimtrica MR MRt In
Transitividad
La transitividad es una propiedad de las grficas dirigidas que es interesante
porque al realizar composicin de relaciones binarias se obtiene el nmero de aristas
que hay que recorrer entre dos elementos cualesquiera y se obtiene una arista entre
el elemento inicial y el ltimo. Una aplicacin de este algoritmo se utiliza en la
deteccin de inconsistencia de datos en las bases de datos relacionales. Este error
normalmente ocurre cuando un usuario modifica los datos que no estn protegidos.
La forma matricial de encontrar la cerradura transitiva de una relacin R es
haciendo composiciones sucesivas (potencias de la matriz MR ) de la misma hasta
que MRn = MRn+1 para despus tomar la disyuncin de las matrices obtenidas.
MR = MR MR2
Este ltimo paso se entiende mejor si se piensa a la relacin R en la representacin
como subconjunto del producto cartesiano y se ve que MR2 MR y que la digrfica
asociada a MR2 contiene a los caminos con al menos 3 vrtices.
El algoritmo de Warshall, basado en la representacin de digrfica de la relacin,
simplifica este proceso.
Algoritmo de Warshall
Recordar la definicin de camino o trayectoria en una digrfica:
Definition 198 Camino o trayectoria Un camino es una sucesin de vrtices y
aristas que van de un vrtice llamado inicial a un vrtice llamado final.
Definition 199 Si a, v1 , v2 , . . . , vn , b es un camino en una digrfica R, con a 6= v1
y b 6= vn , n > 2 entonces los vrtices v1 , v2 , . . . , vn se llaman vrtices interiores de
este camino.
Definition 200 Dada la relacin R se define T la matriz de alcance de R a la
matriz tal que tij = 1 si y slo s existe un camino de vi a vj .
El algoritmo de Warshall consiste en ir construyendo matrices de adyacencia
MR = W0 , W1 , . . . , Wn = T.
Notation 201 Al elemento en el rengln i y la columna j de la matriz Wk lo
denotaremos por Wk [i, j].
41
0 1 0
1 0 1
MR =
0 0 0
0 0 0
Encontrar su cerradura transiitiva.
0
0
1
0
1
1
1
1 1 1
W1 =
42
1 1 1
1 1 1
W2 =
1
Para construir W3 se toma la columna 3
En el rengln 3, hay 1s en la columna 4.
los lugares (1, 4) , (2, 4) .
1
1
W3 =
1 1 1
1 1 1
1 1 1
1 1 1
T =
0 0 0
0 0 0
1
1
1
0
0 1 0 0
1 0 1 0
MR =
1 0 0 1
0 1 0 0
b)
0 1 0
MR = 1 1 0
0 0 1
Exercise 205 Para la relacin del inciso (b) del ejercicio anterior construir T
como
T = I3 MR . . .
Contar el nmero de operaciones que se tienen que realizar para obtener el resultado
y comparar con los pasos del ejercicio anter
Captulo 6
Conteo
El problema de conteo es tan antiguo como el inicio del conocimiento humano.
Los nmeros se inventaron para contar. Sin embargo, el problema moderno de conteo va ms all de la escritura y utiliza el conocimiento de la teora de conjuntos
como base para contar elementos de un conjunto de posibilidades que no se pueden
enumerar por la cardinalidad tan grande. Es de este tipo de problemas de los que
los cursos de lgebra se ocupan en la actualidad. La teora de probabilidad, la estadstica.y la computacin del siglo XX nos obligan a conocer las nuevas tcnicas de
conteo abstracto y general. Los libros de Matemticas discretas que se han escrito
para ensear estas tcnicas a los futuros ingenieros y actuarios son una muestra del
gran avance que han tenido estas tcnicas durante los ltimos siglos. Como siempre
es en el curso de lgebra donde se explican los mtodos generales y proporcionan
las habilidades de contar antes de entrar en los problemas de aplicacin dentro de
la probabilidad y la computacin.
6.1.
Principios bsicos
Para precisar los conceptos a los que se van a hacer referencia primero se va a
distinguir un fenmeno determinstico de uno probabilstico. Un fenmeno determinstico es aquel del que siempre se esta seguro de cual va a ser el resultado. Por
ejemplo, si se suelta un objeto a cierta distancia del piso se esta seguro que ste va a
estar sujeto a la fuerza de gravedad y va a llegar al piso. El fenmeno probabilstico
es aquel que tiene muchas posibilidades de resultados. Por ejemplo, si se compra un
billete de lotera no se sabe cual va a ser el nmero premiado. En resumen se puede
decir:
Definition 206 Un fenmeno probabilstico o evento es un proceso fsico que tiene
un nmero de posibles resultados.
Example 207 De una coleccin de objetos tomar uno para colocarlo en una caja.
Example 208 Dado un nmero n de objetos colocar cierto nmero en m cajas.
Example 209 Asignar oficina a un cierto nmero de profesores.
Example 210 Llenar una boleta de carreras de caballos con un posible resultado
para los dos primeros lugares.
En este captulo se abordarn algunas tcnicas para contar el nmero de posibles
resultados del fenmeno probabilstico.
En los problemas simples de conteo siempre estn presentes las operaciones de
suma y producto. Se iniciar con problemas simples de suma.
43
44
CAPTULO 6. CONTEO
6.1.1.
A int B
.
A partir de estos tres resultados y del primero enunciado es posible demostrar
Theorem 214 Dado un universo U y dos conjuntos cualesquiera de ese universo,
A y B entonces
N (A B) = N (A) + N (B) N (A B)
Proof. Por la segunda proposicin
A = (A B) (A B)
= (A B) (A B)
entonces
N (A) = N (A B) + N (A B)
45
al despejar
Anlogamente
N (A B) = N (A) N (A B)
N (B A) = N (B) N (A B)
N (A B) = N (A B) + N (A B) + N (B A)
Al sustituir las ltimas igualdades
N (A B) = N (A) N (A B) + N (A B) + N (B) N (A B)
N (A B) = N (A) + N (B) N (A B)
Exercise 215 Demostrar las tres proposiciones de teora de conjuntos.
Exercise 216 Cuntos conjuntos ajenos hay en un universo cuando se trata de
tres conjuntos que no son ajenos entre s?
Exercise 217 Esribir el resultado para tres conjuntos. Es decir calcular N (A B C) .
Exercise 218 Cuntos conjuntos ajenos se establecen en un universo cuando hay
cuatro conjuntos que no son ajenos entre s? Cuntos cuando hay n conjuntos no
ajenos entre s?
Example 219 Un representante del personal acadmico de una Universidad se va
a escoger de entre los profesores que pertenecen al departamento de Filosofa que
son 40 y los que pertenecen al departamento de Fsica que son 35.
Solution 220 El primer evento es elegir del conjunto A, que es el conjunto de
personas que pertenecen al departamento de Filosofa y el segundo evento es elegir
del conjunto B, que es el conjunto de los que pertenecen al departamento de Fsica.
Entonces N (A) = 40 y N (B) = 35, como A B = por lo tanto N (A B) =
N (A) + N (B) = 40 + 35 = 75.
Example 221 En un grupo de 50 estudiantes de computacin se tiene que 25 estn
estudiando C++, 30 estudian Visual Basic y 10 estudian ambos.Cuntos estudian
un lenguaje de computacin?
Solution 222 En primer lugar se identifican los conjuntos. Sea U el universo el
conjunto de los 50 estudiantes de computacin. El conjunto A los que estudian
C++ y el conjunto B los que estudian Visual Basic. La pregunta es cul es la
cardinalidad de A B? El otro dato es que N (A B) = 10.
Una forma directa de resolver el problema con diagramas de Venn es escribir en la
interseccin 10, en el conjunto A hay 25 entonces en A B hay 15. Anlogamente,
en el conjunto B hay 30 entonces en B A hay 20. Al sumar los tres nmeros la
respuesta es 45. Todava se puede agregar que 5 no estudian lenguaje alguno.
La forma algebraica es aplicar la frmula
N (A B) = N (A) + N (B) N (A B)
N (A B) = 25 + 30 10 = 45
Example 223 En una encuesta a 120 pasajeros de una aerolnea se obtuvieron
las siguientes respuestas.A 48 les gusta el vino con sus alimentos, a 78 les gustan
bebidas preparadas y a 66 t helado. Adems a 36 les gustan cualesquiera dos de las
bebidas y a 24 cualquiera de las tres.A cuntos pasajeros solamente les gusta el t?
A cuntos pasajeros les gustan exactamente dos de las tres bebidas?
46
CAPTULO 6. CONTEO
Solution 224 Se define como A al conjunto de pasajeros que les gusta el vino, B
al conjunto de pasajeros que les gutan las bebidas preparadas y C al que les gusta el
t helado. Primero con diagramas de VennN (A) = 48, N (B) = 78 y N (C) = 66.
Se inicia en A B C. All hay 24 personas. Hay tres partes que corrsponden a
exactamente dos de las preferencias y hay 36 personas entre todas, por lo tanto hay
12 personas en cada una. Si se suman las personas que estn en A se deduce que
cualquiera que bebe vino tambin le gustan las bebidas preparadas o el t helado.
Solamente hay 30 personas a las que solamente les gustan las bebidas preparadas
y 66 48 = 18 a las que solamente les gusta el t helado. Al hacer la suma de
todos los conjuntos ajenos resulta 24 + 3 (12) + 18 + 30 = 108. Como en total eran
120 pasajeros hay 12 que no pertenecen a estos conjuntos. Se obtuvo la informacin
completa de como estn distribuidos los pasajeros. La pregunta es A cuntos les
gusta el t helado solamente? La respuesta es 30. y a la pregunta A cuntos les
gustan exactamente dos bebidas? es 36 = 3 (12) .
La respuesta algebraica
N (A B C) = N (A) + N (B) + N (C) [N (A B) + N (A C) + N (B C)] + N (A B C)
108 = 48 + 78 + 66 3(36) + 24
Adems la respuesta a cuntos les gusta el t helado? es
N (C (A B))
Remark 225 Observar que estos problemas son de tres tipos diferentes. El primero
que se abord es un proceso dinmico de algo que se va a realizar a futuro, el segundo
es un evento presente y el tercero es descripcin de algo pasado. En los tres casos se
aplica la suma y resta para contar. En los tres casos el evento se puede representar
por conjuntos ajenos.
Summary 226 Si el evento se puede describir por conjuntos ajenos ya sea que
ocurrieron en el pasado, que sea la situacin actual o que van a ocurrir en el futuro,
6.2.
Complemento de un conjunto
Dado un conjunto universal U con cardinalidad N (U ) y unconjunto A U se
tiene la relacin
N (A) + N (Ac ) = N (U )
48
CAPTULO 6. CONTEO
Este hecho se utiliz para resolver algunos de los ejercicios anteriores. El empleo
de este resultado combinado con las leyes de DeMorgan permite resolver algunos
problemas ms.
Las leyes de DeMorgan para conjuntos se enuncian
c
(A B) = Ac B c
c
(A B) = Ac B c
entonces al aplicar el resultado a la cardinalidad
N (Ac B c ) = N ((A B)c )
que al aplicar la igualdad del complemento
N ((A B)c ) = N (U ) N (A B)
que finalmente es
N (Ac B c ) = N (U ) N (A B)
Adems
N (A B) = N (A) + N (B) N (A B)
al sustituir se obtiene
100
N (A1 A2 ) =
= 16
6
100
= 10
N (A1 A3 ) =
10
100
=6
N (A2 A3 ) =
15
y
100
N (A1 A2 A3 ) =
=3
30
Por lo tanto
N (Ac1 Ac2 Ac3 ) = 100 [50 + 33 + 20] + [10 + 16 + 6] 3 = 26
son los enteros entre 1 y 100 que no son divisibles por 2, 3 y 5.
Exercise 235 Determinar el nmero de nmeros enteros positivos n, 1 n 3000
que no son divisibles por 3, 5 y 7.
Exercise 236 Una persona va a comprar un automvil de entre 15 que hay en la
tienda. Le dan la siguiente informacin
(a) Hay 6 que tienen aire acondicionado.
(b) Hay 6 que tienen quemacocos.
(c) Hay 6 que tienen CD con tocador de cinco discos.
(d) Hay 1 que tiene aire acondicionado y quemacocos.
(e) Hay 1 que tiene quemacocos y tocador CD de 5 discos.
(f ) Hay 2 que tienen aire acondicionado y tocador de 5 discos.
(g) No hay uno que tenga las tres cosas.
Cuntos tienen exactamente una de las tres cosas?
Cuntos no tienen ninguna de las tres cosas?
6.2.1.
50
CAPTULO 6. CONTEO
Example 240 Ahora para el producto de tres factores diferentes hay 8 posibilidades
para los signos. Si nada mas interesa saber cuando el producto es negativo se divide
por 2 y quedan 4 posibilidades.
Exercise 241 Una fbrica de automviles produce 4 marcas diferentes, en 12 colores, con 3 tamaos de motor y 2 tipos diferentes de transmisin. Cuntos diferentes tipos de automvil se pueden producir?
Exercise 242 Del men del da de un restaurante se puede escoger una sopa de
entre 3 posibles, un plato intermedio de 4 posibles, un plato fuerte de entre 5 posibles
y un postre de entre 3 posibles. Cuntas combinaciones de platillos hay en el men
del restaurante?
Exercise 243 En una taqueria se pueden pedir los tacos al pastor con o sin cebolla,
con o sin cilantro, con o sin pia y con o sin salsa. De cuntas formas se pueden
ordenar los tacos?
Exercise 244 Cuntos casos posibles hay que considerar para resolver la desigual(x + 5) (x 3) (x 6)
dad
0?
(x + 2) (x 8)
Exercise 245 Para ir de la Ciudad de Mxico a Guadalajara se pasa por Irapuato. Para ir de Mxico a Irapuato hay 2 caminos posibles, para ir de Irapuato a
Guadalajara hay 6 alternativas. De cuntas maneras se puede viajar de la Ciudad
de Mxico a Guadalajara?
Exercise 246 En el ejercicio anterior hay adems dos rutas directas que no pasan
por Irapuato. De cuntas maneras se puede ir de la Ciudad de Mxico a Guadalajara considerando estas nuevas rutas?
Ordenaciones o permutaciones de n elementos
Dados n objetos diferentes De cuntas formas se pueden ordenar? A cada una
de las formas como se ordenan los n elementos se le llama permutacin porque
se obtiene de la anterior permutando algunos elementos. El nombre de ordenacin
viene de que cada posibilidad tiene un orden diferente. Si son n elementos entonces
el primer lugar se puede llenar de n formas diferentes, el segundo de n 1 formas
diferentes, as sucesivamente hasta el n -simo lugar de 1 forma. El resultado nos
da
n (n 1) . . . 2 (1)
Definition 247 Para simplificar a este producto n (n 1) . . . 2 (1) se le llama n
factorial y se denota por n!.P or conveniencia se define 0! = 1.
Exercise 248 Haz una lista completa de las permutaciones de 3 smbolos diferentes.
Exercise 249 Cuntas permutaciones de 8 smbolos diferentes hay?
Ordenaciones de n elementos en grupos de r
Este problema se puede plantear de dos formas:
Case 250 (1) Hay n smbolos diferentes y se van a llenar r lugares. De cuntas
formas es posible llenar los r lugares?
n!
(n r)!
Notation 252 Como cada uno de los resultados posibles tiene un orden diferente
entonces al nmero de resultados posibles se les llama ordenaciones de n elementos
tomados en grupos de r y se denota por
Onr = O (n, r)
Algunos autores le llaman a cada una de las posibilidades de un grupo de los r
objetos una permutacin y lo denotan por P (n, r).
Case 253 (2) Otra forma de ver el mismo problema es considerar que hay n lugares
en donde se van a colocar r simbolos diferentes.
Solution 254 El primer smbolo se puede colocar en n lugares, una vez colocado
el primer smbolo quedan (n 1) lugares donde se puede colocar el segundo smbolo,
as sucesivamente hasta cuando se va a colocar el smbolo r -simo hay [n (r 1)]
lugares posibles donde es posible colocarlo- Es decir hay
n (n 1) . . . (n r + 1)
formas diferentes de colocar r smbolos en los n lugares.
Exercise 255 Se van a escoger 5 personas de un grupo de30 para ocupar los cargos
de la mesa directiva de la Sociedad de Alumnos. En el orden en que se elijan van a
ocupar los diferentes cargos.De cuntas formas se pueden escoger?
Exercise 256 De cuntas formas se pueden ordenar las letras de la palabra murcilago?
Combinaciones de n elementos en grupos de r
Una forma de ver las combinaciones es cuando se van a escoger n elementos en
grupos de r pero el orden no es importante entonces se habla de combinaciones de n
objetos tomados de r en r. Por ejemplo de un grupo de 36 alumnos se van a elegir 5
para explicar un problema. El primer lugar se puede ocupar de 36 formas diferentes,
el segundo de 35, asi sucesivamente, el quinto lugar se puede ocupar de 32 formas.
Pero como no importa si la persona A fue escogida en el primer lugar o en el ltimo
entonces hay que dividir por el nmero de permutaciones de 5 elementos,
36
35
34
5!
33
En general
36!
(36 5)!5!
36
5
n
n!
=
(n r)!r!
r
32
52
CAPTULO 6. CONTEO
n n1
n
n
(a + b) = an +
b + ... +
a
abn1 + bn
1
n1
Exercise 257 Un estudiante presenta un examen con 10 preguntas pero el profesor
le indica que solamente escoja 7 de las 10. De cuntas maneras puede escoger las
preguntas?
Exercise 258 De los primeros dos aos de secundaria se va a formar un equipo de
volibol con 9 participantes. En primero de secundaria hay 28 personas y en segundo
25. De cuntas maneras diferentes se puede integrar el equipo?
Exercise 259 Un mazo de barajas consta de 52 cartas, 13 cartas desde el as hasta
el rey, en cuatro palos diferentes: trboles , corazones rojos , espadas o corazones
negros y rombos . Cada carta del mazo es diferente. El problema es de cuntas
formas se pueden elegir tres cartas del mazo de tal forma que no importe el orden?
Exercise 260 Una persona va a invitar a 11 personas de un grupo de 20. De
cuntas maneras diferentes puede hacer los grupos para invitar a las 11 personas?
Exercise 261 Cuntos subconjuntos de 4 elementos se pueden formar a partir de
un conjunto con 12 elementos?
Exercise 262 De un mazo de 52 cartas de cuntas formas se pueden elegir 5
cartas de tal forma que no haya cartas de corazones rojos ? (Recordar que hay 13
cartas del mismo palo).
Exercise 263 Cuntos trminos hay en el binomio de Newton (a+b)10 que tengan
a4 b6 ?
Ordenaciones con repeticin
Con reemplazo Suponer que se tienen que escribir todas las cadenas de 10 letras
tomando las letras del alfabeto con 26 smbolos diferentes. Aqu se va a suponer que
el nmero de veces que se puede escoger cada letra es ilimitado, otra forma de verlo
es pensar que el smbolo que se va utilizando se reemplaza para la siguiente eleccin.
Como hay 10 lugares cada lugar se puede llenar de 26 formas diferentes entonces
hay 2610 formas diferentes para escribir cadenas de 10 letras.
En general si se quieren llenar r lugares con n smbolos diferentes donde el
nmero de cada smbolo es ilimitado entonces el nmero de posibilidades es
nr
Example 264 Un byte es un conjunto de ocho posiciones en donde cada posicin
o recibe un pulso elctrico 1 o no lo recibe 0. Cuntos bytes diferentes se pueden
formar?
54
CAPTULO 6. CONTEO
A, A, B
A, B, C
A, C, D
B, B, C
B, C, D
C, C, D
A, A, C
A, B, D
A, D, D
B, B, D
B, D, D
C, D, D
A, A, D
aparece
aparece
aparece
aparece
aparece
aparece
aparece
AA
AB
AC o AD
BB
BC
CC o CD
DD
categora 2
xx
categora 3
|
categora 4
x
2 de categora 2 y 1 cat 4
654
6
4+31
=
=
= 20
3!
3
3
Definition 274 Una combinacin con repeticin de un conjunto X = {x1 , . . . , xn }de
n elementos diferentes tomados de r en r es una seleccin {xi1 , . . . , xir } de r elementos, sin importar el orden, tal que cada xij se puede repetir r veces y xij X.
El nmero de combinaciones con repeticin de n elementos tomados en grupos de
r es
n+r1
(n + r 1)!
(n + r 1)!
=
=
r
[(n + r 1) r]!r!
(n 1)!r!
(n + r 1)!
n+r1
=
=
(n 1)! [(n + r 1) (n 1)]!
n1
Example 275 A un lugar donde venden hamburguesas, hot dogs y pizzas llegan
siete personas.De cuntas formas diferentes pueden ordenar?
3+71
9!
=
7
7!2!
Example 277 Una persona va a tener 20 invitados y les va a ofrecer 4 bebidas
diferentes. De cuntas formas pueden distribuirse las bebidas?
Solution 278 En este caso hay n = 4 categoras que se van a distribuir en grupos
de r = 20 entonces hay
23!
4 + 20 1
23 22 21
=
=
= 1771
20
20!3!
32
Example 279 Cuntas soluciones enteras no negativas tiene la ecuacin x1 +
x2 + x3 + x4 = 25?
Solution 280 En este problema se puede pensar que cada variable xi es una categora entonces n = 4 y se van distribuir en grupos de r = 25. Entonces hay
4 + 25 1
28 27 26
=
= 3276
25
32
soluciones.
Example 281 Cuntas soluciones enteras no negativas tiene la ecuacin x1 +
x2 + x3 + x4 = 25 con la restriccin de que xi 2?
Solution 282 En cada categora van dos objetos al menos, entonces nos restan
r = 25 8 = 17 objetos que distribuir en n = 4 categoras. Entonces hay
4 + 17 1
20 19 18
=
= 540
17
23
soluciones enteras mayores o iguales a 2.
Example 283 Cunts soluciones enteras no negativas hay para la desigualdad
x1 + x2 + . . . + x6 < 10?
Solution 284 Para abordar el problema considerar una variable extra x7 > 0 y
tranformar el problema a resolver x1 + x2 + . . . + x6 + x7 = 10 con xi 0 para
1 i 6, x7 > 0. Este ltimo problema es equivalente a encontrar el nmero de
soluciones enteras no negativas de
y1 + y2 + . . . + y6 + y7 = 9
con yi 0 al hacer xi = yi ,para 1 i 6, y y7 = x7 1. La solucin es
5005.
7+91
9
56
CAPTULO 6. CONTEO
6.2.2.
Es claro que hay problemas que requieren del uso de una mezcla de los principios
de suma y producto. En esta seccin se van a resolver ejemplos con esta mezcla de
principios.
Example 295 Dado un conjunto de n elementos cuntos subconjuntos se pueden
formar?
n
Solution 296 El nmero de subconjuntos con
1
elemento
se
calcula
como
1 , el
n
nmero de subconjuntos
de 2 elementos es 2 , , el nmero desubconjuntos
de k
= (1 + 1)n = 2n
Example 297 Un estudiante en un examen tiene que responder 7 de las 10 preguntas, pero deben ser al menos 3 de las primeras 5.
Solution 298 Hay tres casos a considerar.
1) El primer caso es que el estudiante responda exactamente 3 preguntas de las
primeras 5 y 4 de las restantes 5. En este caso hay
5 5
54 5
=
= 50
3 4
2
1
formas posibles de contestar el examen.
2) El segundo caso es que responda 4 preguntas de las primeras 5 y 3 de las restantes.
5 5
= 50
4 3
= 2, 023, 203
5
5
Example 301 Determinar el nmero de formas como se puede descomponer un
nmero entero positivo n como suma de enteros en donde el orden es importante.
Por ejemplo el nmero 3 se puede escribir como: 3, 1 + 2, 2 + 1, 1 + 1 + 1.Hay 4
formas como se puede descomponer un nmero. Para contar sin enumerar todas las
posibilidades empecemos con n = 6.
Solution 302 El primer caso es con un sumando 6 y para ese nada mas hay una
forma de descomponerlo.
Para dos sumandos n1 + n2 = 6 con n1 , n2 > 0 . Al reescribir esta condicin con
las variables x1 , x2 de tal forma que n1 = x1 + 1, n2 = x2 + 1 entonces
n1 + n2 = x1 + 1 + x2 + 1 = 6
x1 + x2 = 6 2 = 4
x1 + x2 = 4, x1 , x2 0
Hay
2+41
5
=
4
4
3+31
5
=
3
3
Para cuatro sumandos
4+21
5
=
2
2
58
CAPTULO 6. CONTEO
5+11
5
=
1
1
6.2.3.
Miscelnea de problemas
60
CAPTULO 6. CONTEO
Captulo 7
Una parte importante del lgebra moderna es el estudio de las estructuras algebraicas. Los nmeros enteros con sus operaciones tienen una estructura llamada
anillo conmutativo con 1.En este momento es importante agrupar y ordenar las
propiedades de las operaciones para utilizarlas.
7.2.
Para los nmeros enteros Z hay dos operaciones, suma + y producto .Las
propiedades son las siguientes:
1. El conjunto de los nmeros enteros es cerrado bajo la operacin suma,es decir
si a Z, b Z entonces a + b Z
2. La suma es asociativa, a Z, b Z, c Z se cumple que a + (b + c) =
(a + b) + c.
3. Existe un nmero llamado cero, 0 tal que a Z, a + 0 = a
4. Para todo nmero entero a existe un entero a llamado el inverso aditivo de
a tal que a + (a) = 0.
5. La suma es conmutativa, es decir a Z, b Z se cumple que a + b = b + a.
6. El conjunto de los nmeros enteros es cerrado bajo la operacin producto, es
decir si a Z, b Z entonces a b Z.
7. El producto es asociativo, a Z, b Z, c Z se cumple que a (b c) =
(a b) c.
8. Existe un nmero llamado uno,1 tal que a Z, a 1 = a.
9. El producto es conmutativo, es decir a Z, b Z se cumple que ab = ba.
10. La suma distribuye al producto, es decir a Z, b Z, c Z, a (b + c) =
a b + a c.
Al igual que para los nmeros naturales se pueden demostrar una serie de
propiedades que son utilizadas en la resolucin de ecuaciones con nmeros enteros.
Proposition 322 El 0 en los enteros es nico.
61
62
Theorem 329 La ley de la cancelacin para la multiplicacin de enteros es equivalente a demostrar que si ab = 0entonces a = 0 b = 0.
Proof. Primero probaremos que la ley de la cancelacin implica que si ab =
0entonces a = 0 b = 0.
Supongamos que ab = 0. Esto implica que
ab = 0 = a0
como la ley de la cancelacin se cumple entonces b = 0.
Inversamente, si a 6= 0 y ab = ac entonces ab ac = 0
a(b c) = 0
como a 6= 0 entonces b c = 0, por lo tanto b = c.
Exercise 330 Demuestra las proposiciones enunciadas para los nmeros enteros.
7.3.
Divisibilidad
.
En la antigedad se medan distancias con cuerdas con nudos. La longitud de
algo era por ejemplo tres nudos. Cuando se tena un problema en concreto se trataba
de medir con el menor nmero posible de nudos. Si una longitud caba un nmero
entero de veces en otra se poda cambiar de unidad para medir tomando la ms
grande y si se tena que medir parte de una unidad si la longitud era un divisor de
la original entonces se poda tomar la parte como nueva unidad para medir. Por esta
razn toda la teora de divisibilidad en los enteros esta relacionada con la geometra.
7.3. DIVISIBILIDAD
63
7.3.1.
Algoritmo de la divisin
64
(7.1)
De donde
0 |r0 r| < |b|
Por lo tanto
0 |q q 0 | < 1
7.3. DIVISIBILIDAD
65
7.3.2.
Algoritmo de Euclides
66
0 r < |b|
7.3. DIVISIBILIDAD
67
68
7.4.
Nmeros primos
.
Definition 364 Un nmero entero positivo p 6= 1 es primo si sus nicos divisores
son 1 y p.
Theorem 365 Si p es primo y p | ab entonces p | a p | b.
Proof. Suponer que p | ab y que p - a. Se probar que p | b.
Como p divide ab entonces existe q Z tal que pq = ab. Como p - a y p es
primo entonces (a, p) = 1; ya que si d = (a, p) entonces d | a y d | p pero los nicos
divisores positivos de p son 1 y p,pero p - a.Por tanto d = 1.
Como (a, p) = 1 entonces existen r, s Z tales que
1 = ar + ps
Multiplicando por b esta igualdad
b = abr + ps
Sustituyendo ab = pq en la ltim igualdad
b = pqr + ps
= p(qr + s)
De donde se concluye que p | b.
Corollary 366 Si c | ab y (c, a) = 1 entonces c | b.
Proposition 367 Si p es primo entonces
Proof. Suponer que
(a, b) = 1 y tales que
p no es racional.
p=
b
al elevar al cuadrado
a2
b2
2
pb = a2
p=
Esta ltima igualdad implica que p | a2 . Por el teorema p | a. Esto implica que
pq = a. Sustituyendo en la ltima igualdad
pb2 = (pq)2 = p2 q 2
Al simplificar
b2 = pq 2
De donde p | b2 .Otra vez por el teorema p | b. Esto es una contradiccin porque se
7.5.
69
a.
Como c
b entonces
c b > a. Por lo
tanto
c > a.
De c > a y
b > a se tiene que bc > a a = a,lo que contradice que a = bc.
Por lo tanto b a
Exercise 370 Encontrar la descomposicin en primos de los siguientes enteros:
(i) 1001
(ii) 847
(iii) 923
(iv) 60
(v) Describir un procedimiento para encontrar el divisor primo ms grande cuando
nos dan un nmero entero.
Exercise 371 Dados
los nmeros enteros positivos se define la media geomtrica
de a y b al nmero ab. En la figura demuestra que el segmento P Q tiene longitud
ab
70
Captulo 8
Congruencias
8.1.
Definicin
Definition 372 Se define la relacin binaria en Z, dos nmeros enteros son congruentes mdulo m, m > 0 y se escribe a b mod(m) si m | b a.
Theorem 373 La relacin binaria sobre Z, mod(m) es una relacin de equivalencia.
Proof. La relacin es reflexiva porque a a mod(m) porque m0 = a a = 0.
La relacin es simtrica porque si m | b a entonces existe q tal que mq = b a.
De donde m(q) = a b y por tanto b a mod(m).
La relacin es transitiva ya que si a b mod(m) y b c mod(m) entonces existen
q1 y q2 tales que mq1 = b a y mq2 = c b. Al sumar ambas igualdades
mq1 + mq2 = (b a) + (c b)
m(q1 q2 ) = c a
Por lo tanto a c mod(m).
Como mod(m) satisface las tres propiedades que definen a una relacin de
equivalencia entonces es una relacin de equivalencia.
Como mod(m) es una relacin de equivalencia sobre Z entonces parte en clases
ajenas a Z. Para tener una idea de como son las clases de equivalencia respecto a
esta relacin hay que considerar que al dividir un nmero entero por m Z es
posible obtener m residuos diferentes: 0, 1, . . . , (m 1).
Example 374 Considerar m = 4,los residuos posibles son 0, 1, 2, 3. Al tomar un
nmero entero, por ejemplo 97 y dividirlo por 4 se obtiene
97 = 4(24) + 1
Esto implica que 97 1 mod(4).
Proposition 375 Dos nmeros enteros a, b son congruentes mod(m) si y slo si
tienen el mismo residuo al dividirse por m. i.e.
a = mq1 + r
b = mq2 + r
0r<m
0r<m
71
72
CAPTULO 8. CONGRUENCIAS
0 r1 < m
0 r2 < m
1 = {z Z | z = mq + 1 para alguna q Z}
m 1 = {z Z | z = mq + (m 1) para alguna q Z}
+
0
1
2
3
1
2
3
1
1
2
3
0
1
1
2
3
2
2
3
0
1
2
2
0
2
3
3
0
1
2
3
3
2
1
8.2. PROPIEDADES
8.2.
73
Propiedades
74
CAPTULO 8. CONGRUENCIAS
8.3.
x bs mod(ms )
La respuesta es que es posible encontrar una x que satisfaga todas las relaciones si
mi y mj son primos relativos i 6= j tales que i, j {1, 2, . . . , s} .
Theorem 387 El sistema de congruencias
x b1 mod(m1 )
x b2 mod(m2 )
x bs mod(ms )
tiene solucin nica congruente mod(m1 m2 ms ) si (mi , mj ) = 1 i 6= j tales que
i, j {1, 2, . . . , s} .
Proof. Se define Mt como m1 m2 . . . ms = Mt mt t {1, 2, . . . , s} . Sea Mt0
tal que Mt Mt0 1 mod(mt ). Entonces Mt Mt0 bt bt mod(mt ). El nmero x0 =
M1 M10 b1 +. . .+Ms Ms0 bs es congruente con bi mod(mi ). Sea y x0 mod(m1 m2 ms ).
Exercise 388 Resolver el siguiente sistema de congruencias
x 2(mod3)
x 3(mod5)
x 2(mod7)
Exercise 389 Un problema de calendarios. Un mes lunar tiene aproximadamente
29,5 das. Si se tiene luna llena un lunes al atardecer Cuntos meses despus se
tendr luna llena un mircoles a la misma hora aproximadamente?
Exercise 390 Demostrar que si p es primo y a, b son enteros entonces (a + b)p
ap + bp mod(p)
Exercise 391 Generalizar el resultado anterior a n sumandos diferentes. Finalmente hacer a1 = a2 = = an = 1 y enunciar el teorema. Este ltimo teorema,
ligeramente modificado, se llama el pequeo teorema de Fermat.
Captulo 9
Bibliografa
Beaumont, Ross A. and Pierce, Richard S. The Algebraic Foundations of
Mathematics. Addison-Wesley Publishing Company, Inc. 1963 USA.
Birkho, Garrett; Mac Lane, Saunders. A survey of Modern Algebra. Fourth
Edition. Macmillan Publishing Co Inc. New York. Collier Macmillan Publishers. 1977 USA.
Cohn, P.M. Algebra, Volume 1 Second Edition. John Wiley & Sons.1995.
Cohen, Arjeh M.; Cuypers, Hans; Sterk, Hans. Algebra Interactive! Learning
Algebra in an exciting way. Springer Verlag Berlin Heidelberg, 1999.
Epp, Susan. Discrete Mathematics with Applications. Second Edition. PWS.
ITP An International Thomson Publishing Company 1995.
Fletcher, Peter; Hoyle, Hughes; Patty, Wayne. Foundations of Discrete Mathematics. PWS-Kent Publishing Company 1991.
Gardner, Martin. A Gardners Workout. Training the Mind and Entertaining
the Spirit. AK Peters Ltd. 2001. Canada.
Grimaldi, Ralph P., Matemticas discretas y combinatoria. Editorial Addison
Wesley Longman, Tercera Edicin. Mxico 1998.
Liu,Chung Laung. Elements of Discrete Mathematics.Second Edition. Mc Graw
Hill International Editions.1985.
Niven, Ivn; Zuckerman, Herbert S., Montgomery, Hugh L. An Introduction
to the Theory of Numbers.John Wiley & Sons Fifth Edition. USA 1991.
Vinogrdov, Ivn Matvevich. Fundamentos de la Teora de Nmeros. Editorial Mir Mosc. 1977.
75
ndice alfabtico
Euclides, 3
Algoritmo de Euclides
Enteros, 69
axiomas, 3, 4
axiomas de Peano, 11
funcin, 21
funcin inversa, 25
funcin inyectiva
uno a uno
biunvoca, 22
funcin suprayectiva
sobre, 22
Fundamental de la aritmetica
Factorizacion unica
enteros, 73
buen orden
naturales, 20
camino
trayectoria, 35, 44
camino simple, 35
cardinalidad
conjunto, 17
ciclo
camino cerrado, 35
clase de equivalencia
relacion de equivalencia, 28
combinacion lineal
enteros, 70
complemento de un conjunto, 8
complemento de una relacin, 43
composicin de funciones, 23
composicin de relaciones, 42
congruencia
enteros, 75
conjetura, 4
conjunto, 4
conjunto universal
universo, 8
conjunto vaco, 8
conjuntos, 7
corolario, 4
Grfica, 33
igualdad de conjuntos, 7
imagen de una funcin, 21
interseccin de conjuntos, 8
inversa de una relacin
inversin, 42
inverso del inverso
enteros, 66
lazo, 35
lema, 4
ley de la cancelacion
enteros, 66
Leyes de De Morgan, 9
leyes de los signos
enteros, 66
mtodo axiomtico, 3
Matriz de adyacencia, 39
matriz de alcance, 44
maximo comun divisor, 69
minimo comun multiplo
enteros, 71
definicin inductiva, 17
demostracin, 3
demostracin por induccin
por induccin, 12
Descartes, 3
Diagrama de Hasse
Hasse, 34
divisibilidad, 66
dominio de una funcin, 21
nmero primo, 72
nmeros enteros, 65
nmeros naturales, 11
Operaciones entre relaciones, 41
orden
naturales, 19
elemento, 7
enteros modulo n, 76
76
NDICE ALFABTICO
Pitgoras, 3
potencia de una relacin, 42
primos relativos
enteros, 70
Principio de induccin
Axiomas de Peano, 11
producto cartesiano, 9
Propiedades de la congruencia, 77
relacin, 21
Relacin binaria, 27
relacin de equivalencia, 27
sistema de congruencias
teorema chino del residuo, 78
subconjunto, 7
suma booleana de relaciones, 43
Tales de Mileto, 3
teorema, 4
teorema chino del residuo
congruencias, 78
unin de conjuntos, 8
unicidad del 0
enteros, 65
unicidad del 1
enteros, 66
unicidad del inverso multiplicativo
enteros, 66
unidades
enteros, 69
vrtices interiores de un camino, 44
77