ASI - Algebra Superior (Notas) PDF

lgebra Superior
Araceli Reyes
Septiembre 2003
ii
ndice general
1. Mtodo axiomtico 1
1.1. Introduccin al mtodo axiomtico . . . . . . . . . . . . . . . . . . . 1
1.2. Axiomas y Teoremas. . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3. Deducciones y demostraciones . . . . . . . . . . . . . . . . . . . . . . 3
2. Conjuntos y Funciones 5
2.1. Terminologa y notacin de conjuntos . . . . . . . . . . . . . . . . . 5
2.2. Propiedades de las operaciones entre conjuntos. . . . . . . . . . . . . 6
2.3. Productos cartesianos . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3. Los nmeros naturales 9

3.1. Axiomas de Peano . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.2. Propiedades de las operaciones entre naturales . . . . . . . . . . . . 9
3.3. Demostraciones por induccin . . . . . . . . . . . . . . . . . . . . . . 10
3.4. Definiciones inductivas . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.5. Cardinalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.6. Relacin de orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.6.1. Propiedades del orden. . . . . . . . . . . . . . . . . . . . . . . 17
3.7. Principio del buen orden . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.8. Funciones y relaciones . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.8.1. Dominio y contradominio . . . . . . . . . . . . . . . . . . . . 19
3.9. Clasificacin de funciones . . . . . . . . . . . . . . . . . . . . . . . . 20
3.10. Composicin de funciones . . . . . . . . . . . . . . . . . . . . . . . . 21
3.11. Funciones inversas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
4. Relaciones binarias 25
4.1. Definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
4.2. Relaciones de equivalencia . . . . . . . . . . . . . . . . . . . . . . . . 25
5. Matemticas discretas 29
5.1. Relaciones entre conjuntos finitos . . . . . . . . . . . . . . . . . . . . 29
5.1.1. Grfica dirigida. . . . . . . . . . . . . . . . . . . . . . . . . . 29
5.2. Representacin matricial de una relacin. . . . . . . . . . . . . . . . 34
5.2.1. Definiciones del lgebra matricial en general . . . . . . . . . . 34
5.2.2. Relaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
5.2.3. Operaciones entre relaciones: . . . . . . . . . . . . . . . . . . 37
5.2.4. Propiedades de las relaciones y estructura de las matrices . . 39
6. Conteo 43
6.1. Principios bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
6.1.1. Suma y resta para contar . . . . . . . . . . . . . . . . . . . . 44
6.2. Principio de inclusin y exclusin para dos y tres conjuntos . . . . . 47
6.2.1. Producto y divisin para contar . . . . . . . . . . . . . . . . . 49
iii
iv NDICE GENERAL
6.2.2. Integracin de los principios de suma y producto . . . . . . . 56

6.2.3. Miscelnea de problemas . . . . . . . . . . . . . . . . . . . . . 58
7. Los nmeros enteros. 61

7.1. El anillo de los nmeros enteros . . . . . . . . . . . . . . . . . . . . . 61
7.2. Propiedades de las operaciones entre enteros. . . . . . . . . . . . . . 61
7.3. Divisibilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
7.3.1. Algoritmo de la divisin . . . . . . . . . . . . . . . . . . . . 63
7.3.2. Algoritmo de Euclides . . . . . . . . . . . . . . . . . . . . . . 65
7.4. Nmeros primos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
7.5. Teorema de factorizacin nica . . . . . . . . . . . . . . . . . . . . . 69
8. Congruencias 71
8.1. Definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
8.2. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
8.3. Teorema chino del residuo . . . . . . . . . . . . . . . . . . . . . . . . 74
9. Bibliografa 75
Captulo 1
Mtodo axiomtico
1.1. Introduccin al mtodo axiomtico

El conocimiento matemtico prcticamente naci con la cultura humana. Los
primeros temas de los que se tiene noticia que haba algn conocimiento matemti-
co son de geometra. Los Babilonios y los Egipcios descubrieron una gran cantidad
de relaciones geomtricas, como el teorema de Pitgoras, que se siguen utilizan-
do hasta nuestros das, para desde resolver problemas muy prcticos de ingeniera
hasta aspectos muy tericos de las matemticas modernas. La manera como se
descubrieron esos conocimientos fue empricamente. Del conocimiento del que hay
informacin de esa poca, sabemos que algunos de los resultados a los que ellos
llegaron eran errneos. Sirva como ejemplo la frmula que utilizaban los babilonios
para calcular el rea de un cuadriltero cuyos lados consecutivos miden a, b, c y d
que es incorrecta
(a + c) (b + d)
K=
4
Muchos conocimientos obtenidos empricamente durante este periodo fueron incor-
rectos. Sirva esta afirmacin para reflexionar acerca de como podemos descubrir
nuevo conocimiento matemtico.
Claramente transcurrieron miles de aos con esta situacin y fue hasta alrededor
del ao 624 A.C. con Tales de Mileto que plante el primer estudio sistemtico de la
geometra y se cuestion sobre la veracidad de los resultados. Tales fue el primero en
hacer una demostracin. Pasaron cerca de 300 aos, hasta Euclides (325265 A.C.)
que escribi sus Elementos que contienen una cadena de 465 afirmaciones ligadas
lgicamente por deduccin. Entre estos dos matemticos vivi Pitgoras (569 475
A.C.) que tuvo como mrito escribir formalmente y demostrar el famoso teorema
que conocemos. Con Euclides nace el mtodo utilizado en las matemticas para su
construccin: el mtodo axiomtico. La base del mtodo axiomtico es el silogismo
o como lo conocemos coloquialmente la deduccin.
En conclusin, experimentar y jugar con los objetos matemticos, llmense fig-
uras geomtricas o smbolos, nos permite descubrir relaciones para entenderlas. Este
juego o experimentacin se inicia normalmente con el propsito de resolver algn
problema. La formulacin de una afirmacin que suponemos correcta no es suficiente
para incorporarla al conocimiento matemtico. Para tener certeza de la veracidad
de la proposicin es necesario que se pueda deducir de un conjunto de afirmaciones
probadas como verdaderas anteriormente. Para tener un punto de partida y poder
fundamentar las afirmaciones se parte de un conjunto de afirmaciones que no se
demuestran y que conocemos como axiomas.
Las reglas del lgebra se sistematizaron posteriormente con Descartes(1596
1650 A.C.) que estaba buscando un mtodo general para resolver los problemas
1
2 CAPTULO 1. MTODO AXIOMTICO
intrincados de la geometra a los que haban llegado. Muchas de estas reglas tiene
su fundamentacin en la geometra.
1.2. Axiomas y Teoremas.

Los axiomas son afirmaciones matemticas que no se demuestran y que son
el punto de partida de un conjunto de conocimientos matemticos. Por ejemplo
se manejan axiomas de los nmeros reales que sirven de base para demostrar las
dems propiedades de los nmeros reales. Euclides escribi sus libros basado en
cinco axiomas o postulados que utiliz como base para deducir el resto de los 465
teoremas que demostr en sus libros.
A los matemticos a los que les toc darle solidez lgica al conocimiento matemti-
co vivieron a finales del siglo XIX y principios del XX. Entre ellos esta Bertrand Rus-
sell, Alfred North Whitehead, Kurt Gdel y muchos mas que llegaron a la conclusin
que un concepto bsico para las matemticas es el de conjunto . La matemtica se
reformul completamente utilizando el concepto de conjunto como bsico.
Un teorema es una afirmacin que se puede deducir de axiomas o afirmaciones
anteriores que han sido demostradas como verdaderas previamente .
Con la comprensin de esta relacin lgica entre axiomas y teoremas fue posi-
ble cuestionar la veracidad incontrovertible de los axiomas y jugar a cambiar al-
guno para realizar deducciones diferentes a las ya obtenidas. Al primer sistema
de conocimientos matemticos al que se le aplic este cuestionamiento fue a la
geometra. El quinto postulado de Euclides se cambi y esto di origen a las geometras
no euclidianas.
Esta nueva visin acerca del conocimiento matemtico se prest a que muchas
personas pensaran que las matemticas solamente eran una relacin lgica entre
afirmaciones y pretendieron olvidarse de sus orgenes empricos y el propsito de
este conocimiento, que es resolver problemas.
El objetivo del trabajo de un matemtico es producir afirmaciones verdaderas
basadas en conocimiento anterior. Los axiomas son afirmaciones que nos parecen
verdaderas en las circunstancias y para los fines que se formulan, pero los axiomas
no son inamovibles ni absolutos.
Hay varias formas de descubrir nuevos teoremas, entendiendo las relaciones lg-
icas o jugando con los objetos matemticos o desarrollando cierta intuicin acerca
de los objetos.
Una vez que casi estamos seguros de que un resultado es verdadero solamente
es cuestin de encontrar la cadena de afirmaciones que a partir de afirmaciones
que sabemos verdaderas nos lleva a la primera afirmacin que supusimos verdadera.
Esto se llama hacer una demostracin de una conjetura. La conjetura es el resultado
o afirmacin que suponemos verdadero pero que no estamos ttalmente seguros que
sea verdadero Podremos afirmar su veracidad cuando se haya deducido.
Un corolario es una afirmacin que se deduce inmediatamente de un teorema.
Un lema es una afirmacin intermedia, que se vuelve importante por si misma,
en la cadena de demostracin de un teorema.
En general, solamente se escriben afirmaciones verdaderas en matemticas, por
eso a veces las matemticas nos parecen rgidas y difciles, pero si recordamos que
para llegar a escribir de esa forma el matemtico tuvo que equivocarse y corregir
ser mas fcil intentar resolver problemas.
1.3. DEDUCCIONES Y DEMOSTRACIONES 3
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 equiv-
ocamos 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
2 p
(1) 1 4 (1) (2) 1 9 13 2
x= = = =
2 2 2 1
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 ).
4 CAPTULO 1. MTODO AXIOMTICO
Captulo 2
Conjuntos y Funciones
Los conceptos que no se van a definir en teora de conjuntos son: conjunto,

elemento y pertenencia.
2.1. Terminologa y notacin de conjuntos

.
Las letras maysculas se utilizarn para denotar a los conjuntos, las letras mins-
culas se utilizarn para denotar a los elementos. El smbolo se utilizar para perte-
nencia. 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 elemen-

tos 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
6 CAPTULO 2. CONJUNTOS Y FUNCIONES
Exercise 17 Describe de dos formas diferentes al conjunto de parejas de enteros

1
cuyo cociente es igual al racional .
4
Definition 18 El conjunto universal es el conjunto que contiene a todos los con-
juntos.
Definition 19 El conjunto vaco es el conjunto que no tiene elementos.
Notation 20 Se denota por U al conjunto universal y por al conjunto vaco.
Remark 21 Dado un conjunto A cualquiera A U y A.
2.2. Propiedades de las operaciones entre conjun-

tos.
Las operaciones bsicas entre dos conjuntos son la unin y la interseccin.
Definition 22 Dados dos conjuntos A y B se dice que el conjunto formado por los
elementos que estn en A o estn en B es la unin de ambos. Simblicamente
A B = {x U |x A x B }
Remark 23 A A B y B A B.
Definition 24 Dados dos conjuntos A y B se dice que el conjunto interseccin es

el conjunto formado por los elementos que estn en A y estn en B. Simblicamente
A B = {x U | x A y x B}
Remark 25 A B A y A B B.
La operacin sobre un conjunto solamente es el complemento.
Definition 26 Dado un conjunto A se define el complemento de A como el conjun-

to de los elementos que estn en el universo U pero no estn en A. Simblicamente
Ac = {x U | x
/ A}
Theorem 27 A Ac = U
Proof. Primero se demostrar que A Ac es un subconjunto de U. Como U es

el conjunto universal entonces A U y Ac U. Por lo tanto A Ac U.
Ahora se demostrar que U es un subconjunto de A Ac . Sea u U. Hay dos
posibilidades solamente u A o u / A. Si u A entonces U A Ac .Si u
/ A
entonces u A ,por lo tanto U A Ac .
c
Theorem 28 A Ac =
Proof. Para demostrar la igualdad de conjuntos hay que demostrar ambas

contenciones: A Ac y A Ac . Como el es subconjunto de todos los
conjuntos entonces A Ac .
Supongamos x A Ac .Esto significa que x A y x Ac .Que quiere decir
xAyx / A, lo cual es una contradiccin. Por tanto, no existe x A Ac . Por
tanto A Ac = .
Theorem 29 A (B C) = (A B) (A C)
2.3. PRODUCTOS CARTESIANOS 7
Proof. Para demostrar la igualdad de conjuntos hay que demostrar que A

(B C) (A B) (A C) y que (A B) (A C) A (B C) .
Para demostrar la primera parte considerar x A (B C) .Esto significa
que x A y x B C. Esto quiere decir que x A y (x B o x C).Hay
dos posibilidades (x A y x B) o (x A y x B). Esto quierde decir que
x (A B) (A C) .
Para demostrar la segunda parte considerar x (AB)(A C) . Esto significa
que x (A B) o x (A C).En el caso de que x (A B) entonces x A y
x B.
Los siguientes dos teoremas se conocen como las Leyes de De Morgan.
c
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

El concepto de funcin surge primero relacionado con el Clculo Diferencial
e Integral. De hecho cuando se trabaja en ese tema casi todas las funciones que
se manejan son funciones que tienen una grfica asociada y que se dibujan en el
plano cartesiano R R. En este contexto no se hace nfasis en el dominio y el
contradominio de la funcin. Al generalizar el concepto de funcin donde en lugar
del conjunto de los nmeros reales se toma cualquier conjunto como el dominio y otro
como el contradominio hay que dar una definicin general de producto cartesiano.
Definition 33 Dados dos conjuntos cualesquiera A y B se define el producto carte-

siano de ambos como el conjunto formado por las parejas de elementos (a, b) tales
que a A y b B.
Notation 34 A B = {(a, b) | a A b B}
Example 35 Tomar como el primer conjunto al conjunto de los nmeros naturales

N y como segundo conjunto al conjunto de los nmeros racionales positivos entre 0
y 1, que se denotar por I. NI = {(n, x) | n N, x I}.
Example 36 Tomar como primer conjunto a todas las letras del alfabeto en espaol
y como segundo conjunto a los nmeros naturales del 1 al 27. El producto cartesiano
son todas las parejas formadas con una letra y un nmero natural entre 1 y 27.
Example 37 Tomar como primero y segundo conjunto al conjunto de los nmeros

reales R. El producto cartesiano son todas las parejas ordenadas de nmeros reales
que normalmente denotamos como R2 .
Exercise 38 Calcula los siguientes productos cartesianos:

1. A = N y B = Q
2. A = N y B = N
3. A = Z y B = Z
4. A = {a, b, c, ..., z} y B = {1, 2, ..., 30}
5. A = {x | x es mexicano en el 2020 } y B = {x Q+ |x es el peso en kilogramos
de una persona }
8 CAPTULO 2. CONJUNTOS Y FUNCIONES
Captulo 3
Los nmeros naturales
Los nmeros naturales se utilizan para contar. Hay dos formas de abordarlos, a
travs de los axiomas de Peano o a travs de los axiomas para las propiedades de las
operaciones. En este curso se van a abordar de ambas formas porque para ambas
hay una aplicacin importante. Con los axiomas de Peano se entiende el Principio
de Induccin y la aplicacin en las demostraciones de frmulas que son vlidas para
los nmeros naturales. Las propiedades de las operaciones entre nmeros naturales
nos ayudar a entender el concepto de estructura algebraica que se abordar en el
segundo curso de lgebra.
Estrictamente los nmeros naturales no incluyen al 0.En estas notas lo vamos a
incluir por algunas razones tcnicas.
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.
Este ltimo axioma se llama el Principio de Induccin y se aplica para demostrar

que una afirmacin es verdadera para todos los nmeros naturales.
3.2. Propiedades de las operaciones entre natu-

rales
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 CAPTULO 3. LOS NMEROS NATURALES
2. La suma es asociativa, a N, b N, c N se cumple que a + (b + c) =

(a + b) + c.
3. Existe un nmero llamado cero, 0 tal que a N, a + 0 = a
4. La suma es conmutativa, es decir a N, b N se cumple que a + b = b + a.
5. El conjunto de los nmeros naturales es cerrado bajo la operacin producto,

es decir si a N, b N entonces a b N.
6. El producto es asociativo, a N, b N, c N se cumple que a (b c) =

(a b) c.
7. Existe un nmero llamado uno,1 tal que a N, a 1 = a.
8. El producto es conmutativo, es decir a N, b N se cumple que ab = ba.
9. La suma distribuye al producto, es decir a N, b N, c N, a (b + c) =

a b + a c.
Se van a demostrar algunas de las propiedades que ya se conocen para los

nmeros naturales. Esto tiene como propsito ejercitar la lgica.
Proposition 39 El elemento 0 es nico.
Proof. Supongamos que existe z N tal que a N, a + z = a.

Como 0 N,
0+z =0
0=0+z Por la propiedad reflexiva de la igualdad
z+0=z por el axioma 3
0+z =z por el ax. 4 y la transitividad de la igualdad
0=z por transitividad entre rengln 2 y 4.
Exercise 40 Demuestren que el 1 es nico.
Exercise 41 Justifica cada uno de los siguientes pasos en la demostracin de la

proposicin a0 = 0.
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. Demostraciones por induccin

Se va a aplicar el Principio de Induccin para demostrar que algunas frmulas
son verdaderas para todos los nmeros naturales.
3.3. DEMOSTRACIONES POR INDUCCIN 11
Proposition 42 La frmula
n (n + 1)
1 + 2 + ... + n =
2
es verdadera para todos los nmeros naturales.
Proof. Para aplicar el principio de induccin y demostrar que la frmula es ver-

dadera para todos los naturales se va a construir el conjunto S = {k N |la frmula es verdadera} .
Para aplicar el Principio de Induccin se tiene que probar que S satisface las dos
condiciones. Al satisfacer S ambas condiciones se concluye que S = N.
En primer lugar 0 S porque al sustituir 0 en la frmula se obtiene la identidad
0 = 0. Para avanzar mas se sustituye 1 en la frmula y en este caso el lado izquierdo
tiene valor 1 y el derecho
1 (2)
=1
2
por lo tanto se tiene una identidad. De estas dos conclusiones se obtiene que 0, 1 S.
Ahora se probar que si n S entonces n + 1 S. Como n S esto implica que la
frmula
n (n + 1)
1 + 2 + ... + n =
2
es verdadera. Se va a mostrar que n + 1 S, es decir se va a probar que
(n + 1) (n + 2)
1 + 2 + . . . + n + (n + 1) =
2
pero al observar el lado izquierdo de esta expresin se pueden sustituir los n primeros
sumandos por la frmula para nsumandos
n (n + 1)
1 + 2 + . . . + n + (n + 1) = + (n + 1)
2
Al efectuar la suma de quebrados en el lado izquierdo de esta igualdad se tiene que
n (n + 1) n(n + 1) + 2(n + 1)
+ (n + 1) =
2 2
n2 + 3n + 2
=
2
(n + 1) (n + 2)
=
2
Por lo tanto
(n + 1) (n + 2)
1 + 2 + . . . + n + (n + 1) =
2
n (n + 1) (2n + 1)
12 + 22 + 32 + . . . + n2 =
6
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(2)(3)
12 =
6
por lo tanto 1 S.
Falta probar que si n S entonces (n + 1) S.Supongamos que n S eso
significa que la frmula
n (n + 1) (2n + 1)
12 + 22 + 32 + . . . + n2 =
6
es verdadera para n. Para demostrar que n + 1 S hay que probar que
(n + 1) (n + 2) (2(n + 1) + 1)
12 + 22 + 32 + . . . + n2 + (n + 1)2 =
6
Al observar el lado izquierdo de la igualdad se ve que la suma de los primeros n
trminos se pueden sustituir por la suma de los primeros n trminos
n (n + 1) (2n + 1)
12 + 22 + 32 + . . . + n2 + (n + 1)2 = + (n + 1)2
6
Efectuando la suma de quebradosn (n + 1) (2n + 1)+6 (n + 1)2 = 2n3 +9n2 +13n+6
n (n + 1) (2n + 1) + 6 (n + 1)2
=
6
(n + 1)[n(2n + 1) + 6n + 6]
=
6
(n + 1)(2n2 + 7n + 6)
=
6
(n + 1)(n + 2)(2n + 3)
=
6
por lo tanto
(n + 1) (n + 2) (2(n + 1) + 1)
12 + 22 + 32 + . . . + n2 + (n + 1)2 =
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.
1 + 3 + . . . + (2i 1) + . . . + (2n 1) = n2 .
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

3.3. DEMOSTRACIONES POR INDUCCIN 13
Al observar el lado izquierdo de la igualdad se ve que la suma de los primeros n

trminos se pueden sustituir por la suma de los primeros n trminos
1 + 3 + . . . + (2i 1) + . . . + (2n 1) + (2n + 1) = n2 + (2n + 1)
Efectuando la suma
1 + 3 + . . . + (2i 1) + . . . + (2n 1) + (2n + 1) = (n + 1)2
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.
Hay una forma alternativa para el principio de induccin que es til para probar
que una frmula o desigualdad se cumple a partir de cierto valor n > 1.
Theorem 45 Sea S N. Sean n0 , n1 N tales que n0 n1 . Si S satisface las

condiciones
a) n0 , . . . , n1 S y
b) n0 , . . . , k S implica que k + 1 S
entonces n S si n n0.
Proof. Esta demostracin se hace considerando S 0 = {n N | n n0 S}y

aplicando el principio de induccin a S 0 .
Proposition 46 La desigualdad
n2 n
n2<
12
es verdadera para todo nmero natural n > 10.
Proof. Sea S = {k N |k > 10 y tal que la desigualdad es verdadera} .

El primer natural mayor que 10 es 11.Se probar que 11 S. Primero
n2=9
ahora
2
(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 n
n2<
12
Se va a demostrar para (n + 1) S.Para demostrar que la desigualdad es verdadera
para n + 1 hay que demostrar que
(n + 1)2 (n + 1)
(n + 1) 2 <
12
n2 + n
n1<
12
Para hacer la demostracin escribir (n + 1) 2 = (n 2) + 1y utilizar que n S
n2 n
n 1 = (n 2) + 1 < +1
12
pero 12 n 1,por lo tanto
n2 n n2 n + 12 n2 + n
+1= <
12 12 12
Por transitividad de <se tiene que
n2 + n
n1<
12
De donde (n + 1) S.Por tanto S = N.
Exercise 47 Demostrar por induccin las siguientes proposiciones:
1 1 1 n
+ + + =
12 23 n (n + 1) n+1
es verdadera para todo nmero natural.
n2 (n + 1)2
13 + 23 + + n3 =
4
n (2n 1) (2n + 1)
12 + 32 + . . . + (2n 1)2 =
3
n (n + 1) (2n + 7)
1 3 + 2 4 + . . . + n(n + 2) =
6
2n < n!
para n > 3.es verdadera.
n2 < 2n
para n > 4.es verdadera.

3.4. DEFINICIONES INDUCTIVAS 15
3.4. Definiciones inductivas

Cuando se tiene una definicin para cualquier nmero natural se utiliza la defini-
cin 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 = a0 + a1 =1+1=2
a3 = a2 + a1 =2+1=3
a4 = a3 + a2 =3+2=5
a5 = a4 + a3 =5+3=8
a6 = a5 + a4 = 5 + 8 = 13
Exercise 62 Definir inductivamente A1 A2 An .
Exercise 63 Definir la asociatividad de la suma inductivamente.
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.
Notation 65 Para un conjunto finito A la cardinalidad de A se denota por |A| o

N (A) o #A o m(A).
Hay conjuntos como los nmeros reales que tienen tambin un nmero infinito
de elementos, pero que no se pueden contar con los nmeros naturales. Es decir
no existe forma de comparar al conjunto de los nmeros naturales con el conjunto
de los nmeros reales. Dicho de otra forma no hay una funcin biyectiva entre los
nmeros naturales y los nmeros reales.
Definition 66 Dos conjuntos tienen la misma cardinalidad si existe una biyeccin

entre los dos conjuntos.
Theorem 67 Los nmeros naturales N y los enteros Z tienen la misma cardinali-

dad.
Proof. Para demostrar esto basta construir una biyeccin entre los naturales y
los enteros. Se define f : Z N como

2z, si z > 0
f (z) =
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 diago-
nal. 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 nat-
urales 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 car-
dinalidad 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 figu-
ra, 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:
3.6. RELACIN DE ORDEN 17
A la cardinalidad de los nmeros reales se le llama 1 (alef uno).
Exercise 70 Calcula la cardinalidad de los siguientes conjuntos:

a) A = {6, 7, 8, 9}
b) A = {a, b, . . . , w, x, y, z} , B = {1, 2, 3, 4, 5, 6, 7, 8, 9, 0} , A B. Nota: consideren
un alfabeto de 26 letras.
c) Z Z
Exercise 71 Sea A = {1, 2, 3, 4} . Considerar al conjunto F de todas las funciones

inyectivas f : A A. Calcular la cardinalidad de F.
Exercise 72 Sea U = {a, b, . . . , w, x, y, z} y A = {a, b, c, d, e} , B = {c, d, e, f, g, h, i} , C =

{x, y, z} Calcular la cardinalidad de los siguientes conjuntos:
a) A
b) B
c) C
d) A B
e) A C
f) A B
g) Ac
h) Ac B
i) B c A
i) Comparando estos resultados qu igualdades se pueden formar?
3.6. Relacin de orden

Definition 73 Si m y n N se dice que m < n si existe s N tal que m + s = n.
3.6.1. Propiedades del orden.

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.

Cuando un conjunto como el conjunto de los nmeros naturales satisface la

tricotoma se dice que es totalmente ordenado.
Exercise 74 Demostrar que si k + n < m + n entonces k < m.
Exercise 75 Demostrar que kn < mn implica k < m.
3.7. Principio del buen orden

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 ele-
mento 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.
Proposition 77 El principio del buen orden implica el principio de induccin.

3.8. FUNCIONES Y RELACIONES 19
Proof. Primero se demostrar que el principio del buen orden implica el prin-
cipio 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 bi-
en 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 prin-

cipio del buen orden.
3.8. Funciones y relaciones

3.8.1. Dominio y contradominio
Definition 80 Una relacin es un subconjunto R cualquiera de un producto carte-
siano A B, .R A B.
Definition 81 Una funcin es una relacin F de un producto cartesiano A B

tal que si (a1 , b1 ) , (a2 , b2 ) F entonces b1 6= b2 = a1 6= a2 . Esto es equivalente a
decir a1 = a2 = b1 = b2 .
Example 82 Llamar I al intervalo [0, 1]. El subconjunto F de NI dado por las

1
parejas n, es una funcin.
n
Exercise 83 Define una funcin de los enteros en los naturales tal que al 0 le
asocie el 1,al 1 el 2,al 1 el 3,al 2 el 4, . De ser posible escribe las parejas.
1
Exercise 84 Define la funcin dada por la regla f (x) = con x R.
x
Exercise 85 Dado el conjunto F = {(x, y) | x R y y R, sea tal que (x 2)2 +
y 2 = 36},determina el producto cartesiano al que pertenece y determina si es o no
funcin. Justifica tu respuesta.
Definition 86 Al conjunto A se le llama el dominio de la funcin F y al conjunto

B se le llama el codominio o contradominio de la funcin.
Notation 87 A = Dom (F ), B = Codom(F ).
Exercise 88 Determina, si es posible, el dominio de las funciones en los tres ejer-

cicios anteriores.
Definition 89 Al subconjunto de B para el cual existe un elemento a A tal que

(a, b) F se le llama la imagen de F.
Notation 90 Im F = {b B | a A tal que (a, b) F }
Exercise 91 Determina, si es posible, la imagen de los ejercicios que corresponden

a la definicin de funcin.
Definition 92 Se define la grfica de la funcin F como el subconjunto de A B

tal que b Im F.
Notation 93 Graf (F ) = {(a, b) | a A y b Im F }
Remark 94 Utilizando la notacin usual de funciones la imagen de una funcin

son los elementos de b B tales que existe a A tal que f (a) = b.
Remark 95 La grfica de la funcin es el conjunto de puntos (a, f (a)) A B.
Remark 96 Dos funciones F y G son iguales si tienen el mismo dominio, el mismo

codominio y F = G.
Exercise 97 Determina, si es posible, la grfica de las funciones del inciso de

definicin.
Exercise 98 Dadas F R R y G R R+ dadas por las parejas (x, x2 ) son

iguales? Justifica tu respuesta.
Exercise 99 Dadas las funciones

F (R {2}) R y G R R la primera
x2 4
dada por las parejas x, y la segunda por (x, x + 2) justifica porque son
x2
funciones diferentes.
3.9. Clasificacin de funciones

Las funciones se clasifican:
Por su regla de asociacin en inyectivas o no inyectivas.
Por la comparacin entre su imagen y codominio como en suprayectivas y no

suprayectivas.
Definition 100 Una funcin F es inyectiva si cada vez que (a1 , b1 ) , (a2 , b2 ) F y
b2 = b1 entonces a1 = a2 .
Remark 101 A las funciones inyectivas tambin se les llama uno a uno y biunvo-
cas.
Remark 102 Otra forma de expresar que una funcin es inyectiva es decir que si
a1 6= a2 entonces b1 6= b2 .
Remark 103 En la notacin usual del clculo (a1 , b1 ) F si f (a1 ) = b1 .
Definition 104 Una funcin F A B es suprayectiva si Im F = B.
Remark 105 A las funciones suprayectivas se les llama sobres.
Example 106 Una funcin

no inyectiva y no suprayectiva es F R R definida
por las parejas x, x2 .
Example 107Una funcin inyectiva y no suprayectiva es F R+ R definida por

las parejas (x, x).
3.10. COMPOSICIN DE FUNCIONES 21
Example 108 Una funcin no inyectiva y suprayectiva es F R R definida por

las parejas (x, x3 2x2 5x + 6). Esta funcin tiene como grfica la siguiente
y
50
x
-5 -2.5 0 2.5 5
0
-50
-100
Example 109 Una funcin inyectiva y suprayectiva es F R R definida por las

parejas (x, 2x).
Exercise 110 Da un ejemplo de cada una de las cuatro posibilidades de funciones.

En cada caso justifica tus respuestas y da de forma explicita el dominio, codominio,
calcula la imagen y la grfica.
3.10. Composicin de funciones

Definition 111 Dadas dos funciones F A B y G B C se define la funcin
composicin como la funcin en A C formada por el conjunto de puntos (a, c)
tales que exista b B tal que (a, b) F y (b, c) G.
Notation 112 G F = {(a, c) | b B tal que (a, b) F y (b, c) G}.
Notation 113 La funcin 1A AA se define como 1A (a) = a a A y se llama

la funcin identidad de A.
Example 114 Sean F R R y G R R+ dadas por las parejas (x, 2x + 5) y

x, x .La composicin es un subconjunto de R R4 tales que (x, (2x + 5)4 )
4

Example 115 Sean F R R y G R+ R dadas por (x, x2), (x, x)

p
respectivamente. La funcin G F R R esta dada por las parejas x, |x| .
Exercise 116 Calcula el dominio, codominio, parejas, imagen y grfica de cada

una de las siguientes composiciones:
1. Sean F, G Z Z definidas por las parejas (x, x 1) F y (x, 3x) G. Calcula
G F.
2. Para las mismas funciones del primer inciso calcula F G.
3. Si H Z Z esta definida por
(x, 0) si x es par
(x, 1) si x es impar
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.
Proof. Se demostrar la primera parte. Para ello supongamos que (g f ) (a1 ) =

(g f ) (a2 ) .Esto implica que
g(f (a1 )) = g(f (a2 ))
Como Ges inyectiva entonces

f (a1 ) = f (a2 )
Como F es inyectiva esto implica que a1 = a2 .Por lo tanto la composicin es inyec-

tiva.
Para demostrar la segunda parte se demostrar que C = Im(G F ). Como
Im(G F ) C basta demostrar que C Im(G F ). Sea c C. Como G es sobre
entonces existe b B tal que g(b) = c (otra forma de expresar que (b, c) G ).
Como F es sobre, para b B existe a A tal que f (a) = b. Por lo tanto
c = g(f (a)).De donde c Im(G F ).
Theorem 118 La composicin de funciones es asociativa.
Proof. Supongamos que se tienen tres funciones f : A B, g : B C y

h : C D tales que se pueden hacer las composiciones gf, hg y las composiciones
h(gf ) y (h g)f. El que se puedan hacer las primeras dos composiciones significa
que Im f = B, Im g = C, el que se puedan hacer las otras dos composiciones significa
que Im(g f ) = Dom(h) = C y que Im f = Dom (h g) = A.
Ahora bien el Dom(h (g f )) = A y el Dom( (h g) f ) = A. El Codom(
(h g) f ) = Codom(h (g f )) = D.
Adems para toda a A se tiene que
(h (g f ))(a) = (h(g f ))(a)

= h(g(f (a)))
Por otro lado
((h g) f )(a) = (h g)(f (a))

= h(g(f (a)))
Por lo tanto, por transitividad
(h (g f ))(a) = ((h g) f )(a) a A
De estas tres afirmaciones se concluye la igualdad de funciones.
Exercise 119 Para las funciones del ejercicio anterior calculen h g f. Porqu
se escribe sin parntesis?
Exercise 120 Dadas f : R+ R por f (x) = ln(x) y g : R R+ , por g(x) =

ex entonces calcular el dominio, contradominio y la regla de g f y f g. Demostrar
que ambas composiciones son biyectivas.
1
Exercise 121 Dada f : R {0} R {0} por f (x) = ,calcular el dominio,
x
codominio y regla de f f. Demostrar que la composicin es biyectiva.
3.11. FUNCIONES INVERSAS 23
3.11. Funciones inversas

Definition 122 Dada una funcin F AB se define la inversa de F a la funcin
G B A,si existe tal que G F = 1A y F G = 1B .
Notation 123 G se denota por F 1 .Se dice que F es invertible.
Example 124 La funcin inversa de f : Z 2Z definida por f (a) = 2a es f 1 (b) =

b
donde 2Z = {2a | a Z}.
2

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 fun-

ciones, 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 f (a)
1 2
2 1
3 4
4 3
Theorem 127 Si una funcin F AB es invertible entonces la inversa es nica.
Proof. Suponer que existe h : B A tal que h f = 1A y f h = 1B .Para

demostrar que h y f 1 son la misma funcin primero se observa que las dos funciones
tienen como dominio a B y como contradominio a A.Finalmente se calcula h(b).
h(b) = (1A h)(b)
pero 1A = f 1 f al sustituir
h(b) = ((f 1 f ) h)(b)
por asociatividad
h(b) = (f 1 (f h))(b)
Como (f h)(b) = 1B (b) = b por hiptesis entonces
h(b) = f 1 (b) b B.
De donde se concluye que las funciones h y f 1 son iguales. Por lo tanto la funcin
inversa de f es nica.
Theorem 128 Una funcin F es invertible si y slo si es inyectiva y suprayectiva.
Proof. Primero se demostrar que si es invertible entonces es inyectiva y suprayec-

tiva.
Supongamos que f : A B es invertible. Entonces existe f 1 : B A.tal que
f f 1 = 1B y f 1 f = 1A .
Para demostrar que f es inyectiva supongamos que f (a1 ) = f (a2 ) . Como existe
f 1 ,que es funcin, entonces f 1 (f (a1 )) = f 1 (f (a2 )).Por la definicin de f 1 esto
implica que a1 = a2 . Por lo tanto f es inyectiva.
Para demostrar que f es suprayectiva consideremos

b B. Como f 1 es una
funcin entonces calculamos f 1 (b) = a. Como f f 1 (b) = f (a) = b entonces ya
se encontr una a A tal que f (a) = b para cualquier b B. Por lo tanto f es
suprayectiva.
Ahora se demostrar que si f es inyectiva y suprayectiva entonces es invertible.
Sea g : B A la funcin definida como sigue:
g(b) = a
si a A es tal que f (a) = b. Esa a A existe para toda b B porque f es

suprayectiva.Adems g es una funcin porque si b1 = b2 entonces existen a1 y a2 A
tales que f (a1 ) = b1 y f (a2 ) = b2 . La hiptesis se escribe como
f (a1 ) = f (a2 )
como f es inyectiva esto implica que
a1 = a2
que implica que

g (b1 ) = g (b2 )
por lo tanto g es una funcin tal que g f = 1B y f g = 1A .Como se demostro
antes que la inversa es nica entonces g = f 1 .
Theorem 129 Sean A y B dos conjuntos finitos con el mismo nmero de elementos
y F una funcin en A B. Entonces las siguientes afirmaciones son equivalentes
(a) F es inyectiva.
(b) F es suprayectiva.
(c) F es invertible.
Proof. Basta demostrar que (a)(b) porque (c)(a) y (b).

Supongamos que F es suprayectiva pero no es inyectiva. Como no es inyectiva
esto implica que existen a1 y a2 , a1 6= a2 tales que f (a1 ) = f (a2 ). Esto implica que
el conjunto A tiene mas elementos que Im f. Pero Im f = B . Esto contradice la
hiptesis de que los conjuntos A y B tienen el mismo nmero de elementos. Por lo
tanto f es inyectiva.
Supongamos que f es inyectiva pero no es suprayectiva. Como no es suprayectiva
entonces Im f B. Entonces existe b B tal que b / Im f.Por ser f inyectiva el
nmero de elementos de Im f es igual al nmero de elementos de A. Esta conclusin
contradice la hiptesis de que A y B tienen el mismo nmero de elementos. Por lo
tanto f es suprayectiva.
Exercise 130 Dada una funcin f : A B se define la preimagen de un subcon-

junto B1 B como el subconjunto de A tal que f (a) B1 y se denota por f 1 (B1 ).
Para la funcin f : R R, dada por (x, x2 ) calculen f 1 ([0, 4]).
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 sub-

conjunto 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 forma-
dos 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

Definition 138 Una relacin binaria R sobre A es de equivalencia si satisface las
siguientes propiedades:
1. (a, a) Ra A. Esta propiedad se llama reflexiva.
2. Si (a, b) R entonces (b, a) R.Propiedad simtrica.
3. Si (a, b) R y (b, c) R entonces (a, c) R. Propiedad transitiva.
Notation 139 Tambin se escribe aRb si (a, b) R.
Example 140 La igualdad en los nmeros reales es una relacin de equivalencia.

R = {(a, a) | a R} R R. Es una relacin de equivalencia porque un nmero
real es igual a si mismo por lo tanto R cumple la propiedad reflexiva. Tambin se
cumple la propiedad simtrica porque si a = b entonces b = a y la transitiva, si
a = b y b = c entonces a = c.
25
26 CAPTULO 4. RELACIONES BINARIAS
Example 141 Consideremos el conjunto A = N N. y se define una relacin R

sobre A de tal forma que (n1 , m1 ) m (n2 , m2 ) si y slo si n1 + m2 = n2 + m1 . Para
probar que es una relacin de equivalencia hay que demostrar que cumple con las
tres condiciones.
Para demostrar que (n, m) m (n, m) hay que corroborar que n + m = n + m para
cualesquiera dos naturales n y m. Pero esto es cierto ya que la igualdad es reflexiva.
La reflexividad se sigue inmediatamente de la reflexividad de la igualdad entre nat-
urales ya que si (n1 , m1 ) m (n2 , m2 ) esto implica que n1 + m2 = n2 + m1 .Como la
igualdad entre naturales es reflexiva entonces n2 + m1 = n1 + m2 . Esta igualdad
significa que (n2 , m2 ) m (n1 , m1 ).
La transitividad se cumple ya que si (n1 , m1 ) m (n2 , m2 ) y (n2 , m2 ) m (n3 , m3 ) esto
implica que n1 + m2 = n2 + m1 y que n2 + m3 = n3 + m2 respectivamente. Al sumar
ambas igualdades se obtiene
(n1 + m2 ) + (n2 + m3 ) = (n2 + m1 ) + (n3 + m2 )
Aplicando la asociatividad de la suma de naturales y la cancelacin se tiene que
n1 + m3 = m1 + n3
como la suma de naturales es conmutativa entonces
n1 + m3 = n3 + m1
Por lo tanto R es una relacin de equivalencia en donde

R = {((n1 , m1 ) , (n2 , m2 )) A A | n2 + m1 = n1 + m2 } .
Example 142 Consideremos el conjunto A = Z Z y se define la relacin R

sobre A de tal forma que (a, b) (c, d) si y slo si ad = bc. Esta relacin es
de equivalencia.
Theorem 143 Una relacin de equivalencia R sobre A parte en conjuntos ajenos

a A.
Proof. Se va a demostrar que A = Ra donde Ra = {x A | aRx} . Para

demostrar la igualdad de dos conjuntos hay que demostrar las dos contenciones.
La contencin Ra A siempre es verdadera ya que todos los subconjuntos Ra
A,por lo tanto su unin tambin. Para demostrar la otra contencin se considera
a A. Como para toda a A se tiene que aRa entonces el conjunto Ra contiene al
menos un elemento, a.
Ahora se va a demostrar que Ra Rb = si (a, b)
/ R o que Ra Rb = Ra = Rb
si (a, b) R.Supongamos que (a, b)
/ R.y supongamos que existe x Ra Rb . Esto
implica que xRa y que xRb. Por reflexividad y transitividad esto implica que aRb
lo que contradice la hiptesis acerca de que (a, b)
/ R. Por lo tanto Ra y Rb son
ajenos si (a, b)
/ R.
Definition 144 Al conjunto Ra = {x A | xRa} se le llama la clase de equiva-

lencia del elemento a de A. Al elegir un elemento de la clase de equivalencia Ra se
dice que se toma un representante de la clase.
Example 145 En el plano cartesiano R2 considere los puntos. Se define un vector

como el representante de la clase de equivalencia de parejas de puntos cuyas difer-
encias son iguales. El representante que se elige es el vector que sale del origen y
termina en el punto.
Example 146 En el plano euclidiano se dice que dos segmentos son congruentes
cuando tienen la misma longitud. Esta relacin es de equivalencia.
4.2. RELACIONES DE EQUIVALENCIA 27
Exercise 147 Describir las clases de equivalencia del espacio vectorial representa-
do 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 4. RELACIONES BINARIAS
Captulo 5
Matemticas discretas
5.1. Relaciones entre conjuntos finitos

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.
Representacin geomtrica de una relacin.
Una relacin binaria sobre un conjunto finito A se puede representar grfica-

mente como un conjunto de vrtices o puntos que sern los elementos de A y flechas
de un elemento a A en el elemento b A si (a, b) R.
Por otro lado existen las definiciones de grfica (grafo) y grfica dirigida, digr-
fica(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.
Example 152 Dada la relacin binaria R sobre A = {a, b, c} donde

R = {(a, b) , (b, b) , (c, b) , (c, a)} la grfica dirigida asociada a la relacin es
V = A = {a, b, c} y E = {(a, b) , (b, b) , (c, b) , (c, a)}, el dibujo asociado a la grfica
es de mucha utilidad. A continuacin se muestra.
29
30 CAPTULO 5. MATEMTICAS DISCRETAS
Figura 5.1:
Example 153 Diagrama de Hasse o representacin grfica de una relacin de or-

den. 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
5.1. RELACIONES ENTRE CONJUNTOS FINITOS 31
de Dijkstra. A continuacin se presentan.
Definition 154 Camino o trayectoria Un camino es una sucesin de vrtices y

aristas que van de un vrtice llamado inicial a un vrtice llamado final.
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 156 Ciclo Un ciclo es un camino que inicia y termina en el mismo

vrtice. Tambin se llama camino cerrado.
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.
En teora de grficas en ocasiones la direccin de una arista no es importante. En

ese caso se utiliza una grfica. El ejemplo clsico es el de los puentes de Knisberg
planteado por Euler. Este problema consiste en encontrar una manera de caminar
entre dos islas sin pasar dos veces por el mismo punto y recorrer todos los puentes
en la ciudad de Knigsberg.
La grfica para el problema es la siguiente:

Otra representacin grfica de una relacin

Una relacin tambin se puede representar por un conjunto de puntos en un
plano cartesiano A B donde el conjunto finito A se coloca horizontal y el conjunto
B se coloca vertical.
Example 159 Dada la relacin binaria R sobre A = {a, b, c} donde R = {(a, b) , (b, b) , (c, b) , (c, a)}
la grfica cartesiana es:
Exercise 160 Dadas las siguientes relaciones trazar las grficas dirigida y carte-
siana.
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 con-
junto del producto cartesiano y la otra representacin grfica.
5.1. RELACIONES ENTRE CONJUNTOS FINITOS 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?
Exercise 163 Trazar la grfica dirigida de la relacin binaria divide a sobre

A = {1, 2, . . . 12} .
Exercise 164 Cmo se ve la grfica dirigida de una relacin que es

(a) reflexiva?
(b) simtrica?
(c) transitiva?
5.2. Representacin matricial de una relacin.

5.2.1. Definiciones del lgebra matricial en general
Una matriz es un arreglo de mn nmeros aij en m renglones y n columnas donde
el ndice i corresponde al rengln i y el ndice j corresponde a la columna j. Si los
nmeros pertenecen al conjunto de los nmeros reales se dice que es una matriz
sobre R.Una matriz es

a11 a12 a1n
a21 a22 a2n
A=

am1 am2 amn
Notation 165 A = (aij )mn .
Example 166 Una matriz sobre los racionales es

1
1 1 0
3
2 0 5 1

7
2 5 1
8
El elemento del segundo rengln y tercera columna a23 = 5.
Definition 167 Si la matriz tiene m renglones y n columnas se dice que es de

orden m n, se lee m por n.
Example 168 La matriz del ejemplo es 3 4, se lee tres por cuatro.
Definition 169 Si m = n entonces se dice que la matriz es cuadrada.
Definition 170 Al conjunto de los elementos aii se le llama diagonal principal de

la matriz.
Definition 171 La matriz cuadrada de orden n tal que

1 si i = j
aij =
0 si i 6= j
se le denota por In .
Example 172 Para n = 4

1 0 0 0
0 1 0 0
I4 =
0

0 1 0
0 0 0 1
Definition 173 Dada una matriz A de orden m n se define la matriz traspuesta

de A como la matriz B que tiene como renglones las columnas de A.
Notation 174 B = At o B = Atr o B = tras(A).
Remark 175 Si A es de orden m n entonces At es de orden n m.
Remark 176 Si A = (aij )mn entonces At = (aji )nm .
Definition 177 Si A = At entonces se dice que A es una matriz simtrica.

5.2. REPRESENTACIN MATRICIAL DE UNA RELACIN. 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
A= 4 6
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)
4 8
6 = 4(8) + 6(7)
7
1 3 (1)8 + 3(7)

37
= 10
29
5.2.2. Relaciones
La forma de representar una relacin R entre dos conjuntos finitos A y B es en un
arreglo matricial en donde se ponen como renglones los elementos del primer conjun-
to A y como columnas los elementos del segundo conjunto B, A = {a1 , a2 , . . . , am }
y B = {b1 , b2 , . . . , bn } Cuando un elemento (ai , bj ) R se coloca un 1 en el rengln
i y la columna j. En los lugares donde no hay un tal elememento se pone un 0.
Example 179 Para la relacin R del producto cartesiano entre A = {a, b, c, d, e} y

B = {1, 2, 3, 4, 5, 6} tal que R = {(a, 1) , (b, 3) , (b, 4) , (c, 5) , (d, 2) , (d, 6) , (e, 3) , (e, 5) , (e, 6)}
se representa con la matriz
1 2 3 4 5 6
a 1 0 0 0 0 0
b 0 0 1 1 0 0
MR =
c 0 0 0 0 1 0

d 0 1 0 0 0 1
e 0 0 1 0 1 1
A esta matriz se le llama matriz de adyacencia ya que al representarla grfica-

mente cada 1 corresponde a una arista de la grfica.
Para una relacin binaria sobre un conjunto A queda como en el siguiente:
Example 180 Si A = {1, 2, 3, 4} y la relacin dada como conjunto es

R = {(1, 1) , (1, 3) , (1, 4) , (2, 1) , (2, 4) , (3, 4) , (4, 1)} entonces la matriz es

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 computa-

dora. 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.
Exercise 181 Dadas las siguientes relaciones encontrar las otras tres representa-
ciones
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. Operaciones entre relaciones:

Una funcin es un caso particular de relacin. Es posible pensar en las mismas
operaciones para las relaciones que las que hay entre funciones. Dos de ellas son
componer las relaciones y encontrar la inversa de una relacin. Las otras dos opera-
ciones que se exploran en estas notas son una consecuencia de ver a las relaciones
como conjuntos.
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 1 0
1 0 1 1
MR =
1

1 0 0
0 1 0 1
Calcular la matriz de R R,trazar las grficas para R y para R2 .

Escribir el subconjuto del producto cartesiano A A.
Complemento de una relacin.

Dada una relacin R A B se define el complemento de R considerando a
A B como el universo.Se denota Rc
Exercise 188 Calcular el complemento de la relacin binaria R sobre A = {0, 1, 2, 3}

dada por
{(0, 1) , (0, 2) , (1, 0) , (1, 2) , (1, 3) , (2, 0) , (2, 1) , (3, 1) , (3, 3)} . Escribir la relacin y
su complemento en forma matricial. Qu operacin hay que hacer sobre MR para
obtener la matriz del complemento?
Unin o Suma booleana

Dadas dos relaciones R y S de A B se define la suma booleana R S como la
unin de los subconjutos del producto cartesiano.i.e.
RS =RS
Exercise 189 Describir como se obtiene la matriz de RS a partir de las matrices

de R y S.
5.2.4. Propiedades de las relaciones y estructura de las ma-

trices
En captulos anteriores se dieron como ejemplos diferentes tipos de relaciones y
a cada una se le di un nombre de acuerdo a las propiedades que tiene. Por ejemplo
una relacin binaria es de equivalencia si es: reflexiva, simtrica y transitiva.Cmo
se traduce cada una de estas propiedades de la relacin para la representacin
matricial?
Proposition 190 Dado un conjunto A una relacin binaria R sobre A tiene una
matriz asociada MR que tiene el mismo nmero de renglones que de columnas, i.e.
MR es cuadrada.
Una relacin R es reflexiva si aRa a R
Proposition 191 Si R es reflexiva .entonces la matriz asociada a esta relacin

tiene 1s en la diagonal principal. Dicho de otra manera si MR = (mij ) y R es
reflexiva entonces mii = 1. Inversamente si mii = 1 entonces R es reflexiva.
Una relacin R es simtrica si aRb implica bRa a, b A.
Proposition 192 La relacin R es simtrica si y slo s mij = mji , i.e. MR = MRt ,

i.e. MR es simtrica.
Una relacin R es transitiva si aRb y bRc implica que aRc a, b, c A.
Proposition 193 La relacin R es transitiva si y slo s la matriz asociada MR

es tal que mij = 1 y mjk = 1 implica que mik = 1 i, j, k.
Proposition 194 Si MR2 = MR entonces R es transitiva.
Una relacin de orden como en el conjunto de los nmeros enteros es una

relacin binaria sobre el mismo conjunto pero no es de equivalencia. Esta relacin
tiene la propiedad de que a b y b a implica a = b.A esta propiedad se le llama
antisimtrica.
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].
Se van a construir las matrices inductivamente:

W1 [i, j] = 1 si y slo s hay un camino de vi a vj tal que el subconjunto {v1 } es
un conjunto de vrtices interiores del camino.
W2 [i, j] = 1 si y slo s hay un camino de vi a vj tal que el subconjunto {v1 , v2 }
es un conjunto de vrtices interiores del camino.
Wk [i, j] = 1 si y slo s hay un camino de vi a vj tal que el subconjunto

{v1 , . . . , vk } es un conjunto de vrtices interiores del camino.
Al escribir las matrices se procede como sigue:
Paso1: Se toma MR = Wo
Paso 2: Para construir W1 se copian los 1s de W0 .
Paso3: Se toma la columna 1y se hace una lista de todos los renglones r1 , r2 , . . . , rs
en los que la entrada sea 1.
Paso 4: Se toma el rengln 1 y se hace una lista de todas las columnas c1 , c2 , . . . , cs
en los que la entrada sea 1.
Paso 5: Escribir un 1 en la posicin ri cj si no aparece en W0 .
Paso 6: Se procede a construir W2 a partir de W1 ,ahora tomando la columna 2 y
el rengln 2.
Se construye Wk a partir de Wk1 y se toma la columna k y el rengln k.
El proceso termina cuando k = orden de la matriz.
Example 202 Considerar la relacin binaria R con la siguiente matriz asociada

0 1 0 0
1 0 1 0
MR = 0 0 0

1
0 0 0 0
Encontrar su cerradura transiitiva.
Solution 203 El primer paso es llamar W0 a MR .

Para construir W1 primero se ponen los 1s en donde aparecen en W0

1
1 1

1
Se toma la primera columna. En el renglon 2 hay un 1.

Se toma el primer rengln. En la columna 2 hay un 1.Entonces en el lugar rengln
2 columna 2 se agrega un 1.

1
1 1 1
W1 =

1
Se continua el proceso pero ahora se toma la columna 2. En los renglones 1 y 2 hay

un 1.
En el rengln 2,en las columnas 1, 2 y 3 hay un 1.

Si no existen hay que agregar 1s en los lugares (1, 1), (1, 2) , (1, 3) , (2, 1) , (2, 2) , (2, 3)
y esto es W2
1 1 1
1 1 1
W2 =

1
Para construir W3 se toma la columna 3 de W2 . Hay 1s en los renglones 1, 2.

En el rengln 3, hay 1s en la columna 4. Para construir W3 hay que agregar 1s en
los lugares (1, 4) , (2, 4) .
1 1 1 1
1 1 1 1
W3 =
1
Para construir W4 ,en la columna 4, hay 1s en los renglones 1, 2, 3 y en el rengln

4 no hay 1s. Entonces W3 = W4. P orlo tanto

1 1 1 1
1 1 1 1
T = 0 0 0

1
0 0 0 0
Exercise 204 Construir la cerradura transitiva utilizando el algoritmo de Warshall

de la relacin binaria R dada por la matriz y dibujar las digrficas asociadas a R y
a T.
a)
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 con-
teo 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 es-
tadstica.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 deter-
minstico 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. Suma y resta para contar

Se iniciar por una aplicacin simple de la teora de conjuntos y los diagramas
de Venn. Suponer que dado un universo U y dos conjuntos A y B U ajenos,
es decir A B = . Se denotar por N (A) a la cardinalidad del conjunto A. La
siguiente igualdad es verdadera
N (A B) = N (A) + N (B)
Se demuestran, con teora de conjuntos, los siguientes resultados:
Proposition 211 Dado un universo U y dos conjuntos cualesquiera de ese univer-

so, A y B entonces los conjuntos A B, A B y B A son ajenos por parejas.

so, A y B entonces A = (A B) (A B) .

so, A y B entonces A B = (A B) (A B) (B A)
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)
6.1. PRINCIPIOS BSICOS 45
al despejar
N (A B) = N (A) N (A B)
Anlogamente
N (B A) = N (B) N (A B)
Por la tercera proposicin y el resultado inicial
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?
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. PRINCIPIO DE INCLUSIN Y EXCLUSIN PARA DOS Y TRES CONJUNTOS47
pero todo en una sola etapa entonces el nmero de posibilidades se calcula como la
suma de las cardinalidades de los conjuntos ajenos.
En los siguientes ejercicios primero identificar los conjuntos ajenos para aplicar
la regla de la suma.
Exercise 227 Un estudiante tiene dinero para comprar solamente un libro de texto
en una librera. Las dos materias de las que encuentra textos son computacin y
lgebra. Encuentra 40 ttulos de lgebra y 50 de computacin. De cuntas maneras
puede elegir el texto?
Exercise 228 Un profesor le va a prestar un libro a un alumno para que aprenda a
programar. El profesor tiene el mismo nmero de libros de C++, de Visual Basic,
Maple y MathLab, 5 de cada uno. Solamente le va a prestar un libro. De cuntas
formas lo puede hacer?
Exercise 229 Un distribuidor de computadoras tiene 100 PCs en el almacn. De
esas 25 son Pentium II, 40 tienen CD, 10 tienen monitor de 25 pulgadas y CD,
55 tienen monitor de 35 pulgadas, 15 tienen Pentium II y CD y 5 tienen Pentium
II con monitor de 35 pulgadas sin CD. Cuntas son Pentium II que tienen CD y
monitor de 25 pulgadas?Cuntas tiene CD, tienen monitor de 35 pulgadas y no
son Pentium II?Cuntas tienen CD o monitor de 25 pulgadas y no son Pentium
II?
Exercise 230 En una universidad hay 512 estudiantes de computacin y todos
tiene computadora. De stos 281 tienen adems impresora, 167 tienen internet, 98
tienen CD y 75 tienen impresora y CD. Cuntos de los estudiantes tienen internet
y no tienen impresora ni CD?
Exercise 231 Una compuerta lgica AND de un chip tiene tres conectores: dos
entradas(inputs) y una salida (output). Estos conectores pueden tener tres fallas
posibles:
F1: la primera entrada se traba en 0.
F2:la segunda entrada se traba en 0.
F3: la salida se traba en 1.
Para una muestra de 100 de estas compuertas sean los conjuntos A, B y C los
subconjuntos con la falla F1,F2 y F3 respectivamente. Hay 23 con la falla F1, 26
con F2 y 30 con F3. Hay 7 que tienen las fallas F1 y F2, 8 con las fallas F1 y F3 y
10 con las fallas F2 y F3. Ademas hay 3 que tienen las tres fallas.Cuntas de las
compuertas tienen algn defecto?
Exercise 232 El administrador de una universidad reporta que hay 1500 profe-
sores. De stos 1260 son hombres, 1080 ganan ms de $300, 000 al ao, 780 tienen
ms de 35 aos, 560 son hombres mayores de 35 aos, 710 tienen ms de 35 aos y
ganan ms de $300, 000 al ao, 600 son hombre que ganan ms de $300, 000 al ao.
Son correctas estas cantidades? Si la respuesta es no justificar. Si la respuesta es
si cuntas mjeres ganan ms de $300, 000 al ao y tienen menos de 35 aos?
6.2. Principio de inclusin y exclusin para dos y

tres conjuntos
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 )
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
N (Ac B c ) = N (U ) [N (A) + N (B) N (A B)]
N (Ac B c ) = N (U ) [N (A) + N (B)] + N (A B)
Al aplicar las mismas frmulas a tres conjuntos primero se obtiene
N (A B C) = [N (A) + N (B) + N (C)] [N (A B) + N (A C) + N (B C)]
+ N (A B C)
por lo tanto al aplicar la ley de DeMorgan para el complemento de la unin .
N (Ac B c C c ) = N (U ) [N (A) + N (B) + N (C)]
+ [N (A B) + N (A C) + N (B C)] N (A B C)
Example 233 Nmero de enteros que no son divididos por ciertos primos. Calcular
el nmero de enteros entre 1 y 100 que no sean divisibles por 2, 3 y 5.
Solution 234 Entonces A1 es el conjunto de los enteros entre 1 y 100 que son
divisibles por 2, A2 es el conjunto de los que son divisibles por 3 y A3 los que son
divisibles por 5. Para resolver el problema es necesario calcular
N (Ac1 Ac2 Ac3 )
Al aplicar la frmula del principio de inclusin exclusin
N (Ac1 Ac2 Ac3 ) = N (U ) [N (A1 ) + N (A2 ) + N (A3 )]
+ [N (A1 A2 ) + N (A1 A3 ) + N (A2 A3 )]
N (A1 A2 A3 )
Como N (U ) = 100 y
100
N (A1 ) = = 50
2
100
N (A2 ) = = 33
3
100
N (A3 ) = = 20
5
adems

100
N (A1 A2 ) = = 16
6
100
N (A1 A3 ) = = 10
10
100
N (A2 A3 ) = =6
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. Producto y divisin para contar

Cuando el evento se puede dividir en al menos dos tiempos diferentes entonces
se utiliza el producto. Por ejemplo
Example 237 Se van a colocar en dos cajas 10 pelotas diferentes. El primer tiempo
es colocar una pelota en la primera caja. Esto se puede hacer de 10 formas diferentes.
El segundo tiempo es colocar otra pelota en la segunda caja. Como ya nada ms nos
quedan 9 pelotas entonces hay 9 posibilidades. En total hay 10 9 = 90 posibilidades
de colocar las pelotas en dos cajas.
Example 238 Para una obra de teatro hay 6 hombres y 8 mujeres que aspiran
al papel principal de una pareja.De cuntas formas se puede elegir a la pareja
principal? La solucin es 6 8 = 48. La eleccin de la pareja se hace en dos tiempos
diferentes. Primero se elige al hombre y despus a la mujer.
Example 239 Dado un producto de dos factores (x 1) (x + 3) cuntas formas

posibles hay para los signos de los factores? Para el primer factor hay dos posibil-
idades, positivo y negativo y similarmente para el segundo factor. En total hay 4
formas posibles para los signos de estos dos factores.
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 col-

ores, con 3 tamaos de motor y 2 tipos diferentes de transmisin. Cuntos difer-
entes 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 Irapu-

ato. 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 Guadala-
jara 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 difer-
entes.
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?
Solution 251 El primer lugar se puede llenar de n formas diferentes, el segundo

se puede llenar de n 1 formas diferentes, hasta el r-simo lugar se puede llenar de
n (r 1) formas diferentes entonces en total hay n (n 1) . . . (n r + 1) formas
diferentes de llenar los r lugares. Algebraicamente el producto es igual a
n!
n (n 1) . . . (n r + 1) =
(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 mur-
cilago?
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 33 32
5!
que algebraicamente es igual a
36!
(36 5)!5!
que se denota por
36
5
En general
n n!
=
r (n r)!r!
Otra forma de ver el problema es suponer que se tienen n lugares y se van a

llenar con dos objetos diferentes. Del primer objeto se van a tomar r objetos y del
segundo (n r) . Como son n lugares hay n! posibles posiciones, adems como r y
(n r) son iguales hay que dividir por r! (n r)!.

n n!
=
r (n r)!r!
n
Si se recuerda este es el coeficiente del sumando r del binomio de Newton (a + b) porque
cada trmino va a tener n factores con n r del smbolo a y r factores que son el
smbolo b.

n n n1 n
(a + b) = an + a b + ... + 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?
Solution 265 Este problema se puede abordar considerando 8 lugares en donde en

cada lugar se puede llenar con un 0 o un 1. Entonces la respuesta es 28 = 256.
Exercise 266 Cuntas ordenaciones de 3 lugares se pueden hacer con las 5 vo-
cales?
Exercise 267 En la clave Morse que se utilizaba para el telgrafo solamente se

podan transmitir dos tipos de seal: un pulso corto que se interpretaba como punto
y un pulso largo que se interpretaba como raya. Cuntas letras diferentes de 3
pulsos se pueden formar? Cuntos pulsos mnimo se necesitan para tener una
secuencia diferente para cada una de las 26 letras del alfabeto?
Exercise 268 Cuntas funciones hay entre los conjuntos A = {a1 , a2 , . . . , am } y

B = {b1 , b2 , . . . , bn }?
Sin reemplazo Suponer ahora que el nmero de smbolos es limitado, es decir

los smbolos no se van reemplazando. Por ejemplo que solamente se pueden utilizar
las letras de la palabra ladrillo. De cuntas formas se pueden ordenar las letras
de esta palabra? Esta palabra tiene 8 lugares. Si todas las letras fueran diferentes
habra 8! maneras de ordenarlas. Como hay 3 eles entonces hay que dividir 8! por
3!. Hay
8!
= 6720
3!
formas de ordenar las letras de la palabra ladrillo.
Cuando hay que llenar n lugares con s smbolos diferentes repetidos n1 , n2 , . . . , ns
veces entonces hay n! permutaciones que hay que dividir por el producto n1 ! n2 !
. . . ns ! entonces
n!
n1 ! n2 ! . . . ns !
Example 269 Un maestro de educacin fsica tiene que elegir 4 equipos de 9 ju-
gadores cada uno de un grupo de 36 alumnos. De cuntas formas se pueden elegir
los cuatro equipos?
Solution 270 Este problema se puede imaginar que a cada persona del grupo se le
va a asignar un smbolo del 1 al 4. Cada uno de los 4 smbolos se repite 9 veces.
Hay 36 lugares por lo tanto hay
36!
9!9!9!9!
formas diferentes de hacer los equipos.
Este problema tambin se puede pensar como una aplicacin del producto de com-
binaciones. En la siguiente seccin se abordar de esa manera.
Exercise 271 Cul es el coeficiente de x2 y 3 z 4 en el desarrollo (x + y + z)9 ? C-

n
mo es en general el coeficiente de un sumando de (x1 + x2 + . . . + xs ) ?
Exercise 272 En un grupo de 25 alumnos se van a hacer 5 equipos de 5 personas

para un laboratorio. De cuntas formas se pueden hacer los equipos?
Exercise 273 Cuntas ordenaciones hay de las letras de la palabra Parangaricu-

tirimcuaro?
Combinaciones con repeticin o Distribuciones

Suponer que se van a colocar n + 1 unos y r ceros en lnea con la condicin de
que debe haber 1 uno en cada uno de los extremos de la lnea. De cuntas maneras
se pueden ordenar los restantes unos y ceros?
En primer lugar hay (n + 1) + r 2 lugares posibles porque dos de los lugares
quedan fijos con un 1. Si los objetos fueran diferentes habra
((n + 1) + r 2)! = (n + r 1)!
ordenaciones. Como de esos hay n 1 unos iguales y r ceros iguales entonces hay
(n + r 1)!
(n 1)!r!
posibles formas de ordenar (n + 1) unos y r ceros.
Otra forma de abordar el problema es contar el nmero de formas que se pueden
escoger de cuatro smbolos A, B, C, D, tres de ellos, sin importas el orden. Por
ejemplo, es lo mismo la terna A; A; B que la terna A; B; A que B; A; A. Una forma
sera enumerar todas las posibilidades.
A, A, A A, A, B A, A, C A, A, D aparece AA
A, B, B A, B, C A, B, D aparece AB
A, C, C A, C, D A, D, D aparece AC o AD
B, B, B B, B, C B, B, D aparece BB
B, C, C B, C, D B, D, D aparece BC
C, C, C C, C, D C, D, D aparece CC o CD
D, D, D aparece DD
por lo tanto hay 20 combinaciones con repeticin de cuatro elementos tomados de

tres en tres.
Otra forma de contar las combinaciones con repeticin de 4 objetos tomados en
grupos de 3 es imaginar a los cuatro objetos como categoras separadas con algn
marcador, por ejemplo el marcador | . Por ejemplo, la distribucin
categora 1 categora 2 categora 3 categora 4

| xx | | x 2 de categora 2 y 1 cat 4
En este caso hay un mximo de 4 categoras y 3 marcadores. Como solamente se

van a tomar tres objetos de las cuatro categoras entonces se van a llenar 6 lugares
con dos objetos diferentes, un elemento de la categora o un marcador, es decir

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 ele-
mentos, 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?
Solution 276 Hay tres categoras diferentes para llenar 7 lugares. Entonces hay
3 + 7 1 lugares que se van a llenar en grupos de r = 7 y n = 2 elementos iguales,

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

4 + 20 1 23! 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 cate-
gora 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
7+91
con yi 0 al hacer xi = yi ,para 1 i 6, y y7 = x7 1. La solucin es 9 =
5005.
Exercise 285 De cuntas formas se pueden distribuir 10 canicas idnticas en 6

cajas diferentes?
Exercise 286 De cuntas formas se pueden distribuir 10 monedas idnticas entre

5 nios?

5 nios si cada nio obtriene al menos una moneda?

5 nios si el mayor obtiene al menos dos monedas?

5 nios si al ms pequeo solamente le tocarn una o dos?
Exercise 290 De cuntas formas se pueden seleccionar 20 monedas de cuatro

contenedores que tienen monedas con monedas de $1, $2, $5 $10? Cada contenedor
tiene monedas de la misma clase.
Exercise 291 Calcular el nmero de soluciones enteras de x1 + x2 + x3 + x4 = 32

donde
a) xi 0, 1 i 4 b) xi > 0, 1 i 4
c) x1 , x2 5, x3 , x4 7 d) xi 2, 1
i4
Exercise 292 Calcular el nmero de soluciones enteras no negativas de x1 + x2 +

x3 + x4 + x5 < 40 donde
a) xi 0,para 1 i 5, b) xi 3,para
1 i 5.
Exercise 293 Cuntos trminos diferentes, de la forma an1 bn2 hay en el desar-
rollo de (a + b)n considerando que dos trminos diferentes corresponden a una de-
scomposicin de n en dos sumandos, n1 + n2 = n con 0 ni n, i = 1, 2?
Exercise 294 Cuantos trminos diferentes hay en el desarrollo de (a + b + c)10 ?
6.2.2. Integracin de los principios de suma y producto

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
elementos es nk . El nmero de subconjuntos de 0 elementos es n0 . Entonces hay
n
X n
= (1 + 1)n = 2n
i=0
i
Example 297 Un estudiante en un examen tiene que responder 7 de las 10 pre-

guntas, 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
3) Finalmente, la ltima posibilidad es que responda las primeras 5 preguntas y

escoja 2 de las 5 restantes

5 5 543
= = 10
5 2 23
El nmero total de posibilidades es la suma de los tres casos
50 + 50 + 10 = 110
Example 299 De cuntas formas se pueden elegir 5 cartas de un mazo de 52 de

tal forma que haya al menos un corazn rojo ?
Solution 300 Hay dos formas de resolver este problema. La primera es contando
las formas que hay para elegir 1 corazn rojo, ms las formas que hay para elegir
2 corazones rojos, ms , sumar hasta las formas de elegir que las 5 cartas sean
corazn rojo. Las cartas que quedan quitando los 13 corazones rojos son 39. Entonces

13 39 13 39 13 39 13 39 13 39
+ + + +
1 4 2 3 3 2 4 1 5 0
son todas las formas posibles de elegir al menos una que sea un corazn rojo, da un
total de 2, 023, 203 posibilidades.
La otra forma de resolver el problema es al total de posibilidades de elegir 5 cartas
del mazo de 52 restarle el nmero de posibilidades de que no contenga un corazn
rojo.
52 39
= 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
formas de descomponer 6 en dos sumandos.
Para tres sumandos
3+31 5
=
3 3
Para cuatro sumandos
4+21 5
=
2 2
Para cinco sumandos

5+11 5
=
1 1
Para 6 sumandos solamente hay una forma. Al sumar

5 5 5 5
1+ + + + + 1 = 25
4 3 2 1
es el nmero de formas como se puede descomponer en sumandos el 6. En general

el nmero n se puede descomponer en 2n1 formas como suma de enteros positivos.
Exercise 303 De un examen de 12 preguntas un estudiante debe elegir 8 preguntas

al menos 5 de las primeras 7 preguntas de cuntas formas puede hacerlo?
Exercise 304 Para un juego de canasta se juntan dos mazos de 52 cartas y se

agregan dos cartas llamadas jokers (juglares). A cada jugador se le dan 13 cartas.
De cuntas formas se le pueden dar a un jugador las cartas de tal forma que
contenga al menos 5 trboles ?
Exercise 305 En computacin se define una cadena c como una sucesin de sm-
bolos tomados de un conjunto S de smbolos diferentes. La longitud de una cadena
es el nmero de elementos de la sucesin. Cuntas cadenas de longitud 5 se pueden
formar con 3 smbolos diferentes?
6.2.3. Miscelnea de problemas

Exercise 306 Cuntas ordenaciones diferentes de las letras de la palabra resolver
hay?
Exercise 307 De cuntas formas se pueden sentar 6 personas en una mesa cir-
cular?
Exercise 308 Diana tiene que elegir 5 revistas de 12 que tiene.De cuntas formas
puede hacerlo?
Exercise 309 Un comit de 8 personas ser elegido entre 15 hombres y 15 mujeres.

De cuntas formas se puede hacer la eleccin?
Exercise 310 En el comit del problema anterior debe haber 4 hombres y 4 mujeres.
Exercise 311 En el comit del problema 4 debe haber un nmero par de mujeres.
Exercise 312 En el comit del problema 4 debe haber al menos dos hombres.
Exercise 313 Al ordenar la comida en la cafetera se pueden ordenar dos de tres

sopas y tres de ocho verduras.De cuntas formas puede ordenar una persona su
comida?
Exercise 314 Una persona llega a una fiesta y encuentra que hay 20 personas. Si
la persona que llega saluda a todos de mano a cuntas personas saluda de mano?
Exercise 315 De cuntas formas se pueden repartir 10 bolas idnticas en cuatro

recipientes diferentes de modo que
a) ningn rescipiente quede vaco?
b) en el cuarto recipiente haya un nmero par de bolas?
Exercise 316 De cuntas formas es posible recorrer el plano del punto (1, 1) al
(8, 9) si cada movimiento es de cualquiera de los siguientes dos tipos
h : (x, y) (x + 1, y)
v : (x, y) (x, y + 1)?
Exercise 317 En la fabricacin de automviles pueden aparecer tres tipos de de-

fectos mayores y ocho tipos de defectos menores. De cuntas formas se pueden
presentar los defectos?
Exercise 318 Cuntos sumandos diferentes hay en el desarrollo de (a + b + c +

d)12 ?
Exercise 319 Cuntos sumandos diferentes hay en el desarrollo de (x1 + x2 +

. . . + xn )m ?
Exercise 320 Una relacin es un subconjunto de un producto cartesiano A B, si

N (A) = 3 y N (B) = 4 Cuntas relaciones hay en A B?
Exercise 321 Para el caso en que N (A) = m y N (B) = n cuntas relaciones hay
de A en B? Cuntas funciones hay de A en B?
Captulo 7
Los nmeros enteros.
7.1. El anillo de los nmeros enteros

Una parte importante del lgebra moderna es el estudio de las estructuras al-
gebraicas. 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. Propiedades de las operaciones entre enteros.

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 CAPTULO 7. LOS NMEROS ENTEROS.
Proposition 323 El 1 en los enteros es nico.

Proposition 324 Ley de la cancelacin: Si a + b = c + b entonces a = c.
Proposition 325 (a) = a
Proposition 326 El inverso aditivo es nico.
Proposition 327 a Z , a0 = 0.
Proposition 328 (a)(b) = ab
Proof.
[ab + a (b)] + (a) (b) = ab + [a (b) + (a) (b)]
= ab + [a + (a)] (b)
= ab + 0 (b)
= ab
Por otro lado
[ab + a (b)] + (a) (b) = a [b + (b)] + (a) (b)
= a0 + (a)(b)
= 0 + (a)(b)
= (a)(b)
Por transitividad
ab = (a)(b)
Theorem 329 La ley de la cancelacin para la multiplicacin de enteros es equiv-

alente 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
Definition 331 Dados dos nmeros a y b Z se dice que a divide a b si existe

q Z tal que aq = b.
Notation 332 a divide a b se denota por a | b. Tambin se dice que b es un mltiplo

de a.
Remark 333 La divisibilidad es una relacin binaria sobre Z pero no es de equiv-

alencia ya que no es simtrica.
Las propiedades de la relacin binaria | son:
1. Si a | b entonces |a| |b| .
2. Si a | b y b | c entonces a | c.
3. Si a | b y a | c entonces a | b + c
4. Si a | b entonces ac | bc.
5. Si a | b y b | a entonces a = b o a = b
Exercise 334 Encuentra todos los divisores de 60. Investiga cul era la base del
sistema de numeracin babilonio. Justifica porqu utilizaban esta base pensando en
que bsicamente era utilizada para medir ngulos y longitudes.
Exercise 335 Demuestra las propiedades para la relacin binaria | .
Exercise 336 Da un ejemplo donde a | bc y a - b y a - c.
7.3.1. Algoritmo de la divisin

Theorem 337 Dados dos nmeros enteros a y b, b 6= 0, existen nmeros q, r Z
tales que
a = bq + r
con 0 r < |b| .
Proof. Dados a, b Z,sea S = {s N |s = a bq} . El conjunto S es un sub-

conjunto de N. Adems S 6= porque como b 6= 0 entonces |b| 1. En este caso
hay dos posibilidades:
(i)si b 1 entonces b |a| |a|
a b( |a|) = a + b |a| a + |a| 0
De donde a b( |a|) S.
(ii) Si b 1 entonces b 1. De donde
|a| (b) |a|

b |a| |a|
Por lo tanto
a b |a| a + |a| 0
de donde a b |a| S.
De estas dos posibilidades se concluye que S 6= . Por el principio del buen orden
S contiene un mnimo. Sea r S el mnimo de S. Como r S entonces r = a bq
para alguna q Z y r 0. Falta demostrar que r < |b| .
Como b 6= 0, |b| 1. Otra vez hay dos posibilidades
(i) Si b > 0 entonces b 1.De aqu se deduce que

a b(q + 1) = a bq b = r b < r
Por lo tanto a b(q + 1) / S porque r es el mnimo en S. Pero S contiene a todos
los enteros positivos de la forma a bx. Por lo tanto a b(q + 1) es negativo. De
aqui se deduce que
r = a bq
= a bq b + b
= a b(q + 1) + b
< b = |b|
r < |b|
(ii) Si b < 0 entonces b 1.
a b(q 1) = a bq + b = r + b < r
De la misma forma que antes, de aqui se deduce que a b(q 1)
/ S.y que a
b(q 1) < 0.Por tanto
r = a bq
= a bq + b b
= a b(q 1) b
= a b(q 1) + |b|
< |b|
r < |b|
De ambos caso se deduce que r < |b| .
Ahora se demostrar que q y r son nicos. Supongamos que existen q 0 y r0 tales
que
a = bq 0 + r0
= bq + r
con 0 r0 < |b| y 0 r < |b| . De esta igualdad se deduce que
bq bq 0 = r0 r
b(q q 0 ) = r0 r (7.1)
Por lo tanto |b| | |r0 r| .
Como 0 r < |b| entonces al multiplicar por 1 esta desigualdad queda
|b| < r 0
Al sumar esta ltima desigualdad y 0 r0 < |b| se obtiene
|b| < r0 r < |b|
De donde
0 |r0 r| < |b|
Sustituyendo |r0 r| por |b| |q q 0 | se obtiene
|b| |q q 0 | < |b|
Por lo tanto
0 |q q 0 | < 1
Como q y q 0 son nmeros enteros entonces q q 0 = 0.De donde q = q 0 y finalmente
r = r0 .
Exercise 338 Encuentra q y r para 57 y 25.Expresa 57 como 25q + r.
Exercise 339 Si a < b cules son los valores de q y r en a = bq + r, 0 r < |b|?
Exercise 340 A los divisores de 1 en Z se les llama unidades. Demuestra que las
nicas unidades en Z son 1.
Definition 341 Dados dos nmeros enteros a y b se dice que d es el mximo comn
divisor (m.c.d.) de a y b si
(i) d > 0, d | a y d | b.
(ii) Si existe d0 tal que d0 | a y d0 | b entonces d0 | d.
Notation 342 Si d es el m.c.d. de a y b, se escribe d = (a, b).
Lemma 343 Si d = (b, r) entonces d = (a, b),donde a = bq + r.
Proof. Si d = (b, r) entonces existen s1 y s2 Z tales que ds1 = b y ds2 = r.

Sustituyendo en la igualdad
a = bq + r
a = ds1 q + ds2
= d(s1 q + s2 )
De donde d divide a a. Por lo tanto, como ddivide a b si d0 = (a, b) entonces d | d0 ,

porque d0 es el mximo.
Anlogamente, como d0 | a y d0 | b entonces d0 | r. Como d = (b, r) entonces
d | d. De ambas conclusiones se deduce que d = d0 .
0
7.3.2. Algoritmo de Euclides

Theorem 344 Algoritmo de Euclides. Dados dos nmeros enteros a y b, rn+1 el
ltimo residuo diferente de 0 en el proceso
a = bq + r, 0 r < |b|
b = rq1 + r1 0 r1 < r
r = r1 q2 + r2 0 r2 < r1
r1 = r2 q3 + r3 0 r3 < r2

rn1 = rn qn+1 + rn+1 0 rn+1 < rn
rn = rn+1 qn+2
es el m.c.d. de a y b.
Proof. Como
rn = rn+1 qn+2
entonces (rn , rn+1 ) = rn+1 .
Por el lema
(rn , rn+1 ) = (rn , rn1 )
Si continuamos aplicando el lema
rn = (rn , rn+1 ) = (rn , rn1 ) = . . . = (b, r) = (a, b)

Remark 345 Si d = (a, b) entonces d > 0.
Definition 346 Dados dos nmeros enteros a y b, a una expresin de la forma

ma + nb, con m y n enteros, se llama combinacin lineal de a y b.
Notation 347 Si r = ma + nb entonces se denotar por r es c. . de a y b.
Lemma 348 En el algoritmo de la divisin de a y b,donde
a = bq + r 0 r < |b|
r el residuo es una combinacin lineal de a y b.
Proof. La demostracin es trivial ya que r = a + b (q) .
Lemma 349 Si rn+1 es c. . de rn y rn1 y rn es c. .de rn1 y rn2 entonces rn+1

es c. . de rn1 y rn2 .
Proof. Como rn1 = rn qn+1 + rn+1 entonces rn+1 es combinacin lineal de rn

y rn1 .
rn+1 = rn1 + rn (qn+1 )
Anlogamente rn es combinacin lineal de rn1 y rn2 .
rn = rn2 + rn1 (qn )
Sustituyendo esta ltima igualdad en la anterior
rn+1 = rn1 + (rn2 + rn1 (qn )) (qn+1 )

= rn1 (1 + qn qn+1 ) + rn2 (qn+1 )
De donde rn es combinacin lineal de rn1 y rn2 .
Theorem 350 Si d = (a, b) entonces d es la mnima combinacin lineal de a y b.
Proof. Utilizando sucesivamente el ltimo lema se concluye que rn+1 = d =

(a, b) es combinacin lineal de a y b.
Para probar que d es la mnima combinacin lineal de a y b suponer que existe
otra combinacin lineal de a y b.
d0 = ma + nb
Por la definicin de d, d | a y d | b. Entonces existen q1 y q2 tales que dq1 = a y

dq2 = b. Sustituyendo
d0 = mdq1 + ndq2
= d (mq1 + nq2 )
Por tanto d | d0 .De donde 0 d |d0 | .
Exercise 351 Encuentra el m.c.d. de 315 y 28. Exprsalo como combinacin lineal
de los nmeros.
Exercise 352 Demuestra que si (a, c) = 1, a | m y c | m entonces ac | m.
Exercise 353 Demuestra que si a > 0 entonces (ab, ac) = a(b, c).
Definition 354 Dos nmeros enteros a y b son primos relativos si (a, b) = 1.

Theorem 355 Si d = (a, b) y d = ma + nb entonces (m, n) = 1.
Proof. Como d = (a, b) , d | a y d | b. Entonces existen q1 y q2 tales que dq1 = a

y dq2 = b. Sustituyendo
d = mdq1 + ndq2
= d(mq1 + nq2 )
1 = mq1 + nq2
Como 1 es el mnimo entero positivo entonces (m, n) = 1.
Exercise 356 Demuestra que si (a, m) = (b, m) = 1 entonces (ab, m) = 1
Exercise 357 Demuestra que si (a, c) = d, a | b y c | b entonces ac | bd.
Definition 358 Dados dos nmeros enteros a y b, a un nmero m > 0 se le llama

mnimo comn mltiplo(m.c.m.) de a y b si
(i) a | m y b | m.
(ii) si a | m0 y b | m0 entonces m | m0 .
Notation 359 Al m.c.m. m de a y b se le denota por m = [a, b].
Theorem 360 Si (a, b) = 1 entonces [a, b] = ab.
Proof. Sea m = [a, b]. Como ab es un mltiplo comn de a y de b, m | ab. Por

tanto m ab.
Si (a, b) = 1 entonces existen m y n Z tales que
1 = ra + sb.
Como m = [a, b] entonces existen q1 y q2 tales que aq1 = m y bq2 = m. Al multiplicar

por m la igualdad y sustituirla de forma cruzada
m = mra + msb
= bq2 ra + aq1 sb
Agrupando y factorizando
m = ab(rq2 + sq1 )
Por tanto ab | m. De donde ab m. De ambas conclusiones se obtiene que m = [a, b].
Theorem 361 Si a, b Z entonces [a, b](a, b) = ab.
Remark 362 Este ltimo teorema nos permite calcular el m.c.m. de dos nmeros
utilizando el algoritmo de Euclides.
Exercise 363 Calcular el m.c.m. de

a) 365 y 280.
b) 1001 y 144..
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 p no es racional.

Proof. Suponer que p es racional. Esto quiere decir que existen a, b Z con
(a, b) = 1 y tales que
a
p=
b
al elevar al cuadrado
a2
p=
b2
pb = a2
2
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

haba supuesto que (a, b) = 1.Por lo tanto p no es racional.
7.5. TEOREMA DE FACTORIZACIN NICA 69
7.5. Teorema de factorizacin nica

Theorem 368 Fundamental de la aritmtica o de factorizacin nica. Todo nmero
entero a se puede descomponer de forma nica, salvo el orden, como producto de
nmeros primos.
Proof. Si a es primo entonces ya no hay nada que demostrar. Si a no es primo

entonces
a = bc
donde b, c < a. Se utilizar el principio de induccin en su segunda forma.(incompleta)

Theorem 369 Todo nmero compuesto a > 0 es divisible por un primo p a.
Proof. Como a es compuesto entonces a = bc con b > 1 y c > 1. Es posible

suponer que b c por la
tricotoma.
Supongamos que b > a.
Como c b entonces
c b > a. Por lotanto
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
El segmento AB. es el dimetro de la circunferencia. El punto P es el punto

sobre la circunferenica ,|AQ| = a, |QB| = b
a+b
Demostrar que la media aritmtica de a y b, es mayor o igual que su media
2
geomtrica.
Captulo 8
Congruencias
8.1. Definicin
Definition 372 Se define la relacin binaria en Z, dos nmeros enteros son con-
gruentes 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 equiva-

lencia.
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 0r<m
b = mq2 + r 0r<m
71
72 CAPTULO 8. CONGRUENCIAS
Proof. Primero se mostrar que si son congruentes entonces dejan el mismo

residuo. a b mod(m). Por el algoritmo de la divisin existe nmeros enteros
q1 , r1 , q2 , r2 tales que
a = mq1 + r1 0 r1 < m
b = mq2 + r2 0 r2 < m
Esto implica que
a r1 mod(m)
b r2 mod(m)
como a b mod(m),por transitividad de la relacin de equivalencia
r1 r2 mod(m)
Como 0 r1 , r2 < m esto implica que r1 r2 = m0 = 0, .de donde r1 = r2 .
Inversamente, ahora suponer que a y bdejan el mismo residuo r al dividirse por
m. Por lo tanto
a r mod(m)
b r mod(m)
Por transitividad
a b mod(m)
Remark 376 Una clase de equivalencia respecto a mod(m) esta formada por
todos los enteros que dejan el mismo residuo. Definir
0 = {z Z | z = mq para alguna q Z}
1 = {z Z | z = mq + 1 para alguna q Z}

m 1 = {z Z | z = mq + (m 1) para alguna q Z}

Definition 377 Se define Zn = 0, 1, . . . , n 1 como el conjunto de clases de
equivalencia mdulo n.
Example 378 Para m = 4 las clases de equivalencia son 0 = {mltiplos de 4} , 1, 2, 3.Las
operaciones entre clases de equivalencia queda definida en las siguientes dos tablas
+ 0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2
1 2 3
1 1 2 3
2 2 0 2
3 3 2 1
Exercise 379 Construir las tablas de las operaciones de Z5 , Z9 .
Exercise 380 Demostrar que Zn con las propiedades de + y definidas para las
clases de equivalencia tiene las mismas propiedades que los nmeros enteros. Es
decir (Zn , +, ) es un anillo conmutativo con 1.
Exercise 381 Para Z6 encuentra los divisores propios de 0.
8.2. PROPIEDADES 73
8.2. Propiedades
Theorem 382 La relacin de equivalencia mod(m) tiene las siguientes propiedades
(i) a b mod(m) a + c b + c mod(m)c Z.
(ii) a b mod(m) ac bc mod(m)c Z
(iii) a b mod(m) y c d mod(m) a + c b + d mod(m)
(iv) a b mod(m) y c d mod(m) ac bd mod(m)
(v) a b mod(m) an bn mod(m)
Proof. Las propiedades (i) y (ii) son inmediatas de la definicin de mod(m)

ya que si m | b a entonces m | (b + c) (a + c) y m | bc ac.
La propiedad (iii) es verdadera porque si m | b a y m | d c entonces existen
q1 y q2 tales que
mq1 = b a
mq2 = d c
Sumando ambas igualdades, factorizando y agrupando
m(q1 q2 ) = (b + d) (a + c)
Para demostrar la propiedad (iv), como m | b a y m | d c entonces
mq1 = b a
mq2 = d c
Ahora bien
bd ac = (b a)(d c) + bc + ad 2ac
= (b a)(d c) + c(b a) + a(d c)
= mq1 mq2 + cmq1 + amq2
= m(mq1 q2 + cq1 + aq2 )
Por lo tanto
m | bd ac
De donde
ac bd mod(m)
Proposition 383 La congruencia ax 1 mod(m) tiene solucin si y slo si (a, m) =

1.
Proof. Si la congruencia tiene solucin entonces m | 1 ax. Es decir, existe q

tal que
mq = 1 ax
De donde
mq + ax = 1
Por lo tanto (a, m) = 1.
Si (a, m) = 1 entonces
1 = mr + as
de donde
mr = 1 as
Por lo tanto as 1 mod(m).
74 CAPTULO 8. CONGRUENCIAS
Corollary 384 Si p es primo entonces en Zp todos los elementos tienen inverso

multiplicativo.
Corollary 385 La congruencia ax b mod(m) tiene solucin si y slo si (a, m) =
1.
Exercise 386 En Z6 encontrar los elementos que tienen inverso multiplicativo.
8.3. Teorema chino del residuo

El teorema chino del residuo es un teorema que se origin en las conversiones
de un calendario lunar a uno solar. Este problema se resolvi en diferentes culturas
pero en vista de que los chinos manejan hasta la poca actual ambos calendarios
entonces se le di el nombre.
Suponer que se quiere encontrar un valor de x tal que
x b1 mod(m1 )
x b2 mod(m2 )

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. Final-
mente 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 Publish-
ers. 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 Math-
ematics. 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. Edito-
rial Mir Mosc. 1977.
75
ndice alfabtico
Algoritmo de Euclides Euclides, 3
Enteros, 69
axiomas, 3, 4 funcin, 21
axiomas de Peano, 11 funcin inversa, 25
funcin inyectiva
buen orden uno a uno
naturales, 20 biunvoca, 22
funcin suprayectiva
camino sobre, 22
trayectoria, 35, 44 Fundamental de la aritmetica
camino simple, 35 Factorizacion unica
cardinalidad enteros, 73
conjunto, 17
ciclo Grfica, 33
camino cerrado, 35
clase de equivalencia igualdad de conjuntos, 7
relacion de equivalencia, 28 imagen de una funcin, 21
combinacion lineal interseccin de conjuntos, 8
enteros, 70 inversa de una relacin
complemento de un conjunto, 8 inversin, 42
complemento de una relacin, 43 inverso del inverso
composicin de funciones, 23 enteros, 66
composicin de relaciones, 42
congruencia lazo, 35
enteros, 75 lema, 4
conjetura, 4 ley de la cancelacion
conjunto, 4 enteros, 66
conjunto universal Leyes de De Morgan, 9
universo, 8 leyes de los signos
conjunto vaco, 8 enteros, 66
conjuntos, 7
corolario, 4 mtodo axiomtico, 3
Matriz de adyacencia, 39
definicin inductiva, 17 matriz de alcance, 44
demostracin, 3 maximo comun divisor, 69
demostracin por induccin minimo comun multiplo
por induccin, 12 enteros, 71
Descartes, 3
Diagrama de Hasse nmero primo, 72
Hasse, 34 nmeros enteros, 65
divisibilidad, 66 nmeros naturales, 11
dominio de una funcin, 21
Operaciones entre relaciones, 41
elemento, 7 orden
enteros modulo n, 76 naturales, 19
76
NDICE ALFABTICO 77
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

ASI - Algebra Superior (Notas) PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

ASI - Algebra Superior (Notas) PDF

Cargado por

Copyright:

Formatos disponibles

lgebra Superior

3. Los nmeros naturales 9

6.2.2. Integracin de los principios de suma y producto . . . . . . . 56

7. Los nmeros enteros. 61

1.1. Introduccin al mtodo axiomtico

1.2. Axiomas y Teoremas.

1.3. Deducciones y demostraciones

Primera afirmacin: Estamos en poca de lluvias.

Cul sera nuestra conclusin casi inmediata?

Theorem 1 La ecuacin x2 x 2 = 0 tiene como solucin a 2 y 1.

o bien que hayamos aplicado la frmula de la ecuacin de segundo grado

o utilizando cualquier otro mtodo para reolver la ecuacin de segundo grado.

Exercise 2 Demuestra que 2 es una raz de la ecuacin x2 + 2x = 0.

Exercise 3 Enuncia el teorema de Pitgoras.

Los conceptos que no se van a definir en teora de conjuntos son: conjunto,

2.1. Terminologa y notacin de conjuntos

Definition 5 Un conjunto A es subconjunto de un conjunto B si todos los elemen-

Notation 6 A B denota que el conjunto A es subconjunto del conjunto B.

Exercise 10 Escribe en notacin de conjuntos: Todo nmero entero es un nmero

Exercise 11 Escribe en palabras N Q.

Definition 12 Dos conjuntos A y B son iguales si A B y B A.

Example 14 Sea A = {a, e, i, o, u} y B = {vocales del alfabeto latino }. Entonces

Example 15 Sea A = {a Z |a = 2n + 1 para alguna n Z}y sea B = {b Z | b es impar}

Exercise 16 Describe de dos formas diferentes al conjunto de nmeros enteros

Exercise 17 Describe de dos formas diferentes al conjunto de parejas de enteros

Definition 19 El conjunto vaco es el conjunto que no tiene elementos.

Notation 20 Se denota por U al conjunto universal y por al conjunto vaco.

Remark 21 Dado un conjunto A cualquiera A U y A.

2.2. Propiedades de las operaciones entre conjun-

Definition 24 Dados dos conjuntos A y B se dice que el conjunto interseccin es

La operacin sobre un conjunto solamente es el complemento.

Definition 26 Dado un conjunto A se define el complemento de A como el conjun-

Proof. Primero se demostrar que A Ac es un subconjunto de U. Como U es

Proof. Para demostrar la igualdad de conjuntos hay que demostrar ambas

Proof. Para demostrar la igualdad de conjuntos hay que demostrar que A

Exercise 32 Demostrar los ltimos dos teoremas.

2.3. Productos cartesianos

Definition 33 Dados dos conjuntos cualesquiera A y B se define el producto carte-

Example 35 Tomar como el primer conjunto al conjunto de los nmeros naturales

Example 37 Tomar como primero y segundo conjunto al conjunto de los nmeros

Exercise 38 Calcula los siguientes productos cartesianos:

Los nmeros naturales

3.1. Axiomas de Peano

2. Existe una funcin, llamada sucesor, : N N tal que

la funcin es inyectiva e Im = N {0}

3. Si S N es tal que satisface las siguientes condiciones

Este ltimo axioma se llama el Principio de Induccin y se aplica para demostrar

3.2. Propiedades de las operaciones entre natu-

1. El conjunto de los nmeros naturales es cerrado bajo la operacin suma,es

2. La suma es asociativa, a N, b N, c N se cumple que a + (b + c) =

3. Existe un nmero llamado cero, 0 tal que a N, a + 0 = a

4. La suma es conmutativa, es decir a N, b N se cumple que a + b = b + a.

5. El conjunto de los nmeros naturales es cerrado bajo la operacin producto,

6. El producto es asociativo, a N, b N, c N se cumple que a (b c) =

7. Existe un nmero llamado uno,1 tal que a N, a 1 = a.

8. El producto es conmutativo, es decir a N, b N se cumple que ab = ba.

9. La suma distribuye al producto, es decir a N, b N, c N, a (b + c) =

Se van a demostrar algunas de las propiedades que ya se conocen para los

Proposition 39 El elemento 0 es nico.

Proof. Supongamos que existe z N tal que a N, a + z = a.

Exercise 40 Demuestren que el 1 es nico.

Exercise 41 Justifica cada uno de los siguientes pasos en la demostracin de la

3.3. Demostraciones por induccin