Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Números Naturales PDF
Números Naturales PDF
6
4i i
5
2
? ? ?
?Header
6 6
i
6
6
6
Body i
7
Margin
Notes
i
-
i
9
-
i-
10
i
i
8 -
11
? ?
Footer
i-
1
6
? ? ?
?Header
6 6
i
6
6
6
Margin
Body i
7
Notes
i-
10i
9
-
3i-
i
i
8 -
11
? ?
Footer
1i- 6
logo
2010
Contenido
Prefacio v
1 Números Naturales 1
1.1 Axiomas de Peano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Aritmética y Orden en N . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Inducción Matemática . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2 Números Enteros 23
2.1 División en Z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2 Algoritmo de Euclides . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3 Números Primos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.4 Teorema Fundamental de la Aritmética . . . . . . . . . . . . . . . . . . 36
3 Congruencias 45
3.1 Aritmética Modular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.2 Teorema Chino del Residuo . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.3 Tres Grandes Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4 Números Cardinales 71
4.1 Cardinalidad de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . 71
4.2 Conjuntos Finitos y Contables . . . . . . . . . . . . . . . . . . . . . . . . 82
4.3 Cardinales con el Axioma de Elección . . . . . . . . . . . . . . . . . . . 89
4.4 Aritmética Cardinal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
Referencias 129
Indice 131
iv Contenido
Prefacio
El propósito principal de este libro es servir como texto guía para el curso Conjuntos y
Combinatoria de la carrera de Matemáticas en la sede Medellín de la Universidad Na-
cional de Colombia. Se presume que el lector posee un conocimiento básico del cál-
culo de predicados y la teoría de conjuntos al nivel proporcionado por los primeros
capítulos de [Bl03] (tal como se desarrolla en el curso Fundamentos de Matemáticas).
Johany Suárez
Escuela de Matemáticas
Medellín
1
Números Naturales
Axiomas de Peano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
X es un conjunto con un elemento especial 0X 2 X y una función S : X ! X que cumplen:
1. Para todo x 2 X, 0X 6= S ( x ) .
02A y (8n) (n 2 A ! (n + 1) 2 A) .
Entonces A = X.
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
N = f0, 1, 2, 3, . . .g
02A y (8n) (n 2 A ! (n + 1) 2 A) .
Entonces A = N.
A primera vista, podría parecer que los axiomas de Peano no son lo suficiente-
mente fuertes. Por ejemplo, no hay ninguna referencia a las operaciones aritméticas,
ni al orden de N. Tampoco parece claro que, a partir de ellos, se puedan demostrar
resultados básicos como el teorema fundamental de la aritmética o la infinitud de los
primos. Sin embargo, es posible construir las operaciones de suma y de producto, de
modo que se pueda desarrollar la teoría completa de N. Para ello, una herramienta
clave será la definición de funciones por recursión.
. .................................................................................. .
La segunda ecuación significa que el diagrama
N ! N
σ
? ?
?
fy
?f
y
A ! A
h
conmuta.
1.2. Aritmética y Orden en N 3
. .................................................................................. .
Para una prueba de cualquiera de las dos versiones del teorema de recursión, se
puede consultar [Hr99] o [En77].
Lema 1.1 Sea n 2 N. Si n 6= 0, existe m 2 N tal que n = m + 1.
Prueba. Sea
A = fn 2 N j (n = 0) _ (9m 2 N) (n = m + 1)g .
(8n) (n 2 A ! (n + 1) 2 A) .
. .................................................................................. .
Asociatividad. (m + n) + p = m + (n + p) .
0 es un neutro. n + 0 = n = 0 + n.
Conmutatividad. m + n = n + m.
Asociatividad. (m n) p = m (n p) .
1 es un neutro. n 1 = n = 1 n.
Conmutatividad. m n = n m.
Distributividad m (n + p) = m n + m p.
(m + n) p = m p + n p.
es reflexiva: n n.
También se puede probar que el orden en N es lineal. Esto es, N satisface la ley de
tricotomía: dados m, n 2 N, se cumple exactamente una de las siguientes posibilidades
m2T ^ (8k 2 T ) ( m k ).
(8t 2 T ) (n + 1 k) .
Esto es, n + 1 2 A.
Por el principio de inducción, tenemos que A = N.
Dado que T 6= ∅, podemos tomar n 2 T. Dado que n + 1 2 A, se sigue que n + 1 n.
Luego, existe p tal que
n + 0 = n = n + 1 + p.
Por la ley cancelativa, 0 = p + 1. Absurdo.
Mediante el principio de buen orden se puede mostrar que el conjunto de enteros
positivos no está acotado superiormente.
Teorema 1.1 (Propiedad Arquimediana en Z) .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ..
Dados dos enteros positivos a y b, existe un entero positivo n tal que n a b.
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Prueba. Razonemos por el absurdo y supongamos que n a < b, para todo entero
positivo n. Luego,
T = b n a j n 2 Z+
es un subconjunto no vacío de N. Por el principio del buen orden, sea b k a el
mínimo de T. Pero, por hipótesis, b (k + 1) a 2 T. Además,
b ( m + 1) a = ( b m a) a<b m a.
6 1. Números Naturales
m = n + ( p + 1) = (n + 1) + p.
( n + 1) + 0 = n + 1 = ( n + 1) + ( p + q + 1)
02A y (8n) (n 2 A ! (n + 1) 2 A) .
Ejercicio ¿Cuál es la relación entre los conjuntos A y las fórmulas P en las dos
versiones del principio de inducción?
Solución Cada fórmula P satisfecha por (algunos o todos) los elementos de N
corresponde a un subconjunto de N, a saber,
fn 2 N j P (n)g .
2. P (0) Premisa
Notemos que para mostrar que P (n) se cumple para cierto n fijo, debemos contin-
uar la anterior derivación un número adecuado de pasos. Por supuesto, para afirmar
que (8n) P (n) es válida, la anterior prueba continuaría por siempre. El principio de
inducción nos permite concluir que nuestra intuición es correcta justificando el sigu-
iente método de demostración.
(8n) P (n)
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
(8n) P (n)
Los tres pasos “prueba bajo hipótesis”, “descarte hipótesis” y “generalice” juntos
conforman el paso inductivo.
Ejemplo Considere la función f definida por recursión
f (0) = 0 y f ( n + 1) = 1 + 2 f ( n ).
f ( n + 1) = 1 + 2 f (n) Definición.
= 2n +1 1
( f ( n ) = 2n 1) ! f ( n + 1 ) = 2n +1 1 .
La hipótesis inductiva P (n) se descarta ahora; esto, ya no se supone más que sea
verdadera.
Generalización. Dado que n no aparece en ninguna hipótesis, una generalización sobre
n lleva a
(8n) ( ( f ( n ) = 2n 1) ! f ( n + 1 ) = 2n +1 1 ).
1.3. Inducción Matemática 9
Al desarrollar pruebas por inducción se suele ser más informales y concisos, sin
entrar en tantos detalles. Se omite mencionar los pasos “descarte hipótesis” y “gen-
eralice” y el paso “prueba bajo hipótesis” se denomina paso inductivo. En el paso
inductivo se enuncia la hipótesis inductiva.
Ejemplo (Suma Geométrica) Sean a, r 2 R tales que r 6= 1. Muestre que
n r n +1 1
∑a rk = a
r 1
, para todo n. (1.1)
k =0
r 0+1 1 (r 1)
a =a = a.
a 1 r 1
Paso inductivo. Supongamos que la fórmula (1.1) es valida para n. Sumando a r n+1 a
ambos lados, se tiene que
n +1 r n +1 1 r n +1 1 + r n +2 r n +1 r n +2 1
∑ a rk = a
r 1
+ a r n +1 = a
r 1
=a
r 1
.
k =0
Luego, (1.1) se cumple para n + 1. Por inducción, la fórmula (1.1) es valida para todo
natural n. X
(8n n0 ) P (n)
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
n (2n + 1) (n + 1)
12 + 22 + 32 + + n2 = , para todo n 1. (1.2)
6
Solución Paso base. Es claro que
1 (2 + 1) (1 + 1)
12 = 1 = .
6
10 1. Números Naturales
2n2 + 7n + 6 (n + 1) (2n + 3) (n + 2)
= ( n + 1) = .
6 6
Por tanto, (1.2) se cumple para n + 1. Por inducción, la fórmula es verdadera para
todo n 1. X
La existencia del factorial está garantizada por el teorema de recursión (ver ejerci-
cio _).
En este punto es importante llamar la atención sobre el hecho que se debe ser muy
cuidadoso al establecer ambos pasos del principio de inducción antes de extraer
cualquier conclusión. Ningún de los pasos es suficiciente por si mismo. La validez
del paso inductivo no depende necesariamente de la verdad del enunciado que se
procura probar. Por ejemplo, miremos la fórmula falsa
(a) 0 2 A.
(8n 2 N) [(8k < n)(k 2 A) ! n 2 A] ,
(b) (8n 2 N) [(8k n)(k 2 A) ! n + 1 2 A] .
Entonces A = N. entonces A = N.
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Aunque las anteriores versiones pareces ser más fuertes, de hecho, son equiva-
lentes al principio usual de inducción.
Teorema 1.2 Los siguientes principios son equivalentes:
m 2 A.
Caso 2. m = n + 1. De nuevo, n 2 B y, particular, n 2 A. Como A es inductivo,
m = n + 1 2 A.
Podemos concluir que (8m n + 1)(m 2 A). Esto es, (n + 1) 2 B. Por tanto, B = N.
Notemos que B A. Por consiguiente, A = N.
Para ilustrar el uso de la inducción completa, consideremos los números de Fi-
bonacci:
Notemos que cada número de Fibonacci es la suma de los dos números que le
preceden, excepto los dos primeros términos. Esto nos lleva a la siguiente definición
por recursión:
Sean p p
1+ 5 0 1 5
φ := y φ := .
2 2
las raíces de la ecuación cuadrática x2 x 1 = 0 (φ se conoce como la razón áurea).
Podemos dar una fórmula explícita de Fn en términos de n.
Fórmula de Binet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1 h n
i
Fn = p (φ)n φ0 . (1.6)
5
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Prueba. Usemos inducción completa. Paso base, debemos verificar (1.6) para n =
0:
1 h 0
i 1 0
p ( φ )0 φ0 = p [ 1 1 ] = p = 0 = F0
5 5 5
yn=1:
" p p # p
1 h 0 1
i 1 1+ 5 1 5 1 2 5
p ( φ )1 φ = p = p = 1 = F1 .
5 5 2 2 5 2
1 h n
i 1 h n +1
i
Fn = p (φ)n φ0 y Fn+1 = p ( φ ) n +1 φ0 .
5 5
Luego,
1 1 h i
Fn+2 = Fn + Fn+1 = p (φ)n (φ0 )n + p ( φ ) n +1 ( φ 0 ) n +1
5 5
1 h i 1 h 0 n i
= p ( φ ) n + ( φ ) n +1 p ( φ ) + ( φ 0 ) n +1
5 5
1 1
= p (φ)n [ 1 + φ ] p (φ0 )n [ 1 + φ0 ]
5 5
1 h i
= p ( φ ) n +2 ( φ 0 ) n +2 .
5
14 1. Números Naturales
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
x + m = 0, m x = 1, xn = m y x n + 1 = 0, con m, n 2 N.
(a) Todo número entero se puede representar como una diferencia de dos números
naturales.
(b) Todo número racional se puede representar como una fracción de dos números
enteros.
(c) Todo número real se puede representar como el límite de una sucesión de
números racionales.
(d) Todo número complejo se puede representar en la forma a + bi, con a y b
números reales.
La idea es formalizar las anteriores intuiciones de una forma adecuada. Así, la difer-
encia m n de dos naturales se concibe como el par ordenado (m, n) . Como habría
infinitas representaciones para un número entero, es necesario identificarlas medi-
ante la relación de equivalencia en N N :
(m, n) e ( p, q) sii m + q = n + p.
0Z = [ 0 0] y 1Z = [1 0] .
que existe una función inyectiva de N en Z que preserva las operaciones y el orden. Por
tanto, se puede afirmar que N ( Z y omitir el subíndice “Z” al referirnos a las
operaciones enteras y al orden entero.
Todo lo anterior se puede resumir del siguiente modo.
a
Análogamente, la fracción entre dos enteros se concibe como el par ordenado
b
( a, b) . De nuevo, habría infinitas fracciones representando un mismo número racional.
Así que se identifican por la relación de equivalencia en Z Z :
( a, b) r (c, d) sii a d = b c.
Se define
Q := Z Z / r .
a
Esto es, un número racional es una clase de equivalencia r = [( a, b)] r
:= b de
fracciones.
hai hci
Dados r = ys= en Q, definimos
b d
a d+b c ha ci
r +Q s = y r Qs= ,
d d b d
con elementos neutros
0 1
0Q = y 1Q = .
1 1
Luego, se introducen los elementos positivos en Q.
0Q <Q r sii a b 2 Z+ .
z +C w = ( a + c, b + d) y z C w = ( ac bd, ad + bc) ,
0C = (0, 0) y 1C = (1, 0) .
Ejercicios
1. Muestre que n 6= n + 1 y n < n + 1, para todo n 2 N.
2. Demuestre las siguientes versiones del teorema de recursión.
es inyectiva.
5. Pruebe el teorema de unicidad de Dedekind.
6. Use inducción matemática para probar las propiedades de la suma, el producto
y el orden enunciadas en la sección 1.2.
7. Sean m, n 2 N. Muestre que
(a) m + n = 0 si y sólo si m = 0 = n.
(b) m n = 0 si y sólo si m = 0 _ n = 0.
(c) m n = 1 si y sólo si m = 1 = n.
E1. m0 = 1 E2. m n +1 = mn m
mn+ p = mn m p .
10. Use el principio de buen orden para probar que no existe un número entero a
tal que 0 < a < 1.
11. Muestre que no existe una función f : N ! N tal que para todo n 2 N :
f ( n + 1) < f ( n ) .
( n + 2 ) ! < ( n + 2 ) n +2 .
(a) Desarrolle el paso base.
(b) Enuncie la hipótesis inductiva.
(c) Desarrolle la prueba bajo hipótesis.
(d) Descarte la hipótesis y generalice.
(e) Enuncie la conclusión.
14. Sea P (n) una fórmula arbitraria. Muestre que las siguientes afirmaciones son
equivalentes.
n ( n + 1)
(a) 1 + 2 + 3 + +n = .
2
(b) 1 + 3 + 5 + + (2n 1) = n2 .
2
n ( n + 1)
(d) 13 + 23 + + n3 = .
2
n (2n 1) (2n + 1)
(e) 12 + 32 + + (2n 1)2 = .
3
n ( n + 1) ( n + 2)
(g) 1 2 + 2 3 + + n ( n + 1) = .
3
1 1 1 n
(h) + + + = .
1 2 2 3 n ( n + 1) n+1
1 1 1 n
(i) + + + =
1 3 3 5 (2n 1) (2n + 1) 2n + 1
p n p
1
n ∑ p
k
2 n 1, para todo n 2.
k =1
Concluya que
∞
1
∑ p
n
es divergente.
n =1
1 + 2 + 22 + + 2n 1
= 2n 1.
an 1 = (a 1) a n 1
+ an 2
+ + a2 + a + 1 .
[Sug: an+1 1 = ( a + 1) ( a n 1) a an 1 1 ].
20. Pruebe que el cubo de todo entero se puede escribir como la diferencia de dos
cuadrados. [Sug: note que
n3 = 13 + 23 + + n3 13 + 23 + + (n 1)3 ].
(2n)!
2 6 10 14 (4n 2) = .
n!
Use la anterior fórmula para obtener la desigualdad
2n (n!)2 (2n)!, 8n 1.
(1 + a ) n 1 + n a, 8n 1.
(2n)!
24. Pruebe que el número es un entero positivo para todo n 0.
2n n!
25. Resuelva el acertijo de Fibonacci. “Una pareja de conejos tarda un mes en al-
canzar la edad fértil, a partir de ese momento cada vez engendra una pareja de
conejos, que a su vez, tras ser fértiles engendrarán cada mes una pareja de cone-
jos. ¿Cuántos conejos habrá al cabo de un determinado número de meses?”
1.3. Inducción Matemática 21
Fn+k = Fk Fn+1 + Fk 1 Fn .
(a) F1 + F2 + F3 + + Fn = Fn+2 1,
L0 = 2, L1 = 1 y L n +2 = L n + L n +1 , para todo n.
n
7
32. Pruebe que Ln < , para todo n 1.
4
33. Pruebe las siguientes identidades que relacionan la sucesiones de Fibonacci y
de Lucas.
Ln p
(a) Ln = Fn 1 + Fn+1 . (b) L2n = 5 Fn2 + 4 ( 1)n . Concluya que lim = 5.
n!∞ Fn
Ln 1 + L n +1
(c) F2n = Ln Fn . (d) Fn = .
5
Pruebe que
Gn = aFn 2 + bFn 1, n 3.
22 1. Números Naturales
g0 = 0, g1 = 1, y g n +2 = g n + g n +1 + g n g n +1 para todo n.
a0 = 0, a1 = 1, a2 = 2 y a n +3 = a n + a n +1 + a n +2 , para todo n.
pruebe que
bn = 5 2n + 1, 8n.
(8 a 2 A) ( a s) ,
2.1 División en Z
El siguiente resultado es familiar a todos desde nuestra educación primaria; afirma
que un entero a se puede “dividir” por un entero positivo de forma tal que el residuo
es menor que d. El enunciado preciso de este hecho es el siguiente teorema.
Algoritmo de la División . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Dados enteros a y d > 0, existen enteros únicos q y r que satisfacen
a = q d+r y 0 r < d.
. .................................................................................. .
Prueba. (Existencia) Primero veamos que
T = fa n d j n 2 Z^a n d 0g 6= ∅.
a ( j aj) d = a + j aj d a + j aj 0.
m=a ( q + 1) d = ( a + q d ) d=r d 0.
a = q d + r = q0 d + r 0 y 0 r, r 0 < d.
Entonces,
Sumando las desigualdades d < r0 0y0 r < d, se obtiene que d<r r0 <
d. Luego, jr r 0 j < d y, por tanto,
0 q0 q < 1.
24 2. Números Enteros
a div d = q y a mod d = r.
a a2 + 2
(c) Para todo a 1, la expresión es un número entero.
3
Solución (a) Primero, notemos que todo entero a al ser dividido por 2, deja dos
posibles residuos r = 0 o r = 1. Cuando r = 0, a tiene la forma a = 2q y se denomina
par. En este caso,
a2 = (2q)2 = 4q2 = 4k.
Cuando r = 1, a tiene la forma 2q + 1 y se denomina impar. En este caso,
(b) Por el algoritmo de la división, todo entero tiene una de las formas 4q, 4q + 1,
4q + 2 y 4q + 3. Es claro que sólo los enteros de las formas 4q + 1 y 4q + 3 son im-
pares. Luego,
a a2 + 2 3q 9q2 + 2
= = q 9q2 + 2 2 Z+ .
3 3
Similarmente, si a = 3q + 1,
a a2 + 2 (3q + 1) 9q2 + 6q + 3
= = (3q + 1) 3q2 + 2q + 1 2 Z+ .
3 3
Finalmente, si a = 3q + 2,
Definición Un entero a se dice que es divisible por un entero d 6= 0 (en símbolos d j a),
si existe algún entero q tal que a = d q. Escribimos d - a para indicar que a no es divisible
por d.
jbj = j aj jqj j aj 1 = j aj .
(a), (e) y (f) son inmediatas de la definición. (d) se sigue de (a) y (c).
La propiedad (g) del teorema 2.1 se puede extender, por inducción, a sumas de
más de dos términos. Esto es, si d divide simultáneamente a a1 , a2 , . . . , an , entonces
c j ( a1 s1 + a2 s2 + + an sn ) , 8s1 , s2 , . . . , sn 2 Z.
Sean a, b enteros arbitarios con al menos uno de ellos distinto de cero. Decimos que
d es un divisor común de a y b si d j a y d j b. Notemos que 1 siempre es divisor
común de a y b. Como a 6= 0 o b 6= 0, existe una cantidad finita de divisores comunes
positivos. Entre estos, existe uno mayor.
Definición Sean a, b 2 Z con al menos uno ellos distinto de cero. El máximo común
divisor de a y b, denotado por gcd ( a, b) , es el entero positivo d que satisface
(a) d j a y d j b. (b) Si c j a y c j b, entonces c d.
Identidad de Bézout en Z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Dados dos enteros a y b, no ambos iguales a cero, existen enteros s y t tales que
gcd ( a, b) = a s + b t.
. .................................................................................. .
Prueba. Considere el conjunto de todas las combinaciones lineales positivas de a
yb:
T = f a u + b v j au + bv > 0 ^ u, v 2 Zg .
Primero veamos que T 6= ∅. Por ejemplo, si a 6= 0, j aj = a u + b 0 2 T, donde
1, si a > 0.
u=
1, si a < 0.
Aplicando el principio del buen orden, T tiene un elemento mínimo d. Por la defini-
ción de T, existen enteros s y t para los cuales
d = a s + b t. (2.1)
r=a q d=a q ( a s + b t ) = a (1 q s) + b ( q t) .
n d = n ( a s + b t) = a (n s) + b (n t) 2 I.
2.1. División en Z 27
a b
1= s+ t.
d d
Por el teorema 2.2, a/d y b/d son primos relativos.
(a) Si a j c y b j c, entonces ab j c.
(b) Si gcd ( a, c) = 1, entonces gcd ( a, b c) = 1.
Luego, ab j c.
(b) Si gcd ( a, c) = 1, existen enteros u, v tales que 1 = a u + c v. Por tanto,
Teorema 2.3 Sean a y b, no ambos cero. Para un entero positivo d, d = gcd ( a, b) si y sólo si
r1 = r2 q2 + r3 0 < r3 < r2
r2 = r3 q3 + r4 0 < r4 < r3
.. ..
. .
rn 2 = rn 1 qn 1 + rn 0 < rn < rn 1
"
rn 1 = rn qn + 0 0 = r n +1 < r n .
2.2. Algoritmo de Euclides 29
871 = 268 3 + 67
"
268 = 67 4 + 0
gcd ( a, b) = rn = rn 2 + rn 1 ( qn 1) .
s0 = 1 t0 = 0
s1 = 0 t1 = 1
sk = sk 2 qk 1 sk 1 tk = tk 2 qk 1 tk 1, para k 2,
rk = a sk + b tk , 0 k n.
r0 = a = a 1 + b 0 = a s0 + b t0 y r1 = b = a 0 + b 1 = a s1 + b t1 .
hipótesis inductiva:
rk = ( a sk 2 + b tk 2) ( a sk 1 + b tk 1) qk 1
= a (sk 2 sk 1 qk 1) + b (tk 2 qk 1 tk 1) = a sk + b tk .
qk = rk 1 div rk y rk = rk 2 mod rk 1 ,
k rk qk sk tk
0 44350 1 0
1 20785 2 0 1
2 2780 7 1 2
3 1325 2 7 15
4 130 10 15 32
5 25 5 157 335
6 5 5 800 1707
"
7 0
k rk qk sk tk
0 144 1 0
1 89 1 0 1
2 55 1 1 1
3 34 1 1 2
4 21 1 2 3
5 13 1 3 5
6 8 1 5 8
7 5 1 8 13
8 3 1 13 21
9 2 1 21 34
10 1 2 34 55
11 0
Como 1 = gcd (144, 89) = 144 (34) + 89 ( 55) , podemos multiplicar por 23 a
ambos lados.
son dos números de Fibonacci consecutivos. Vimos que gcd (144, 89) = 1. En gen-
eral, esto siempre se cumple.
Fn+1 = Fn 1 + Fn 1
..
.
F4 = F3 1 + F2
"
F3 = F2 2 + 0
Así, se ejecutan exactamente n divisiones para calcular gcd ( Fn+1 , Fn+2 ) = F2 = 1.
Por el lema 2.2, Qn tiene al menos un divisor primo, digamos q. Luego, q = pi , para
algún i = 1, . . . , n. Por el teorema 2.1 (g), qn divide ( Qn p1 p2 pn ) = 1, lo cual
es absurdo. Por tanto, q tiene que ser un primo que no está en la lista dada. Esta con-
tradicción muestra que el conjunto de los números primos es infinito.
La prueba del teorema 2.4 es no constructiva, ya que el entero Qn , definido en la
prueba, puede o no ser primo. Por lo tanto, en la prueba no hemos hallado efecti-
vamente un nuevo primo, pero sabemos que tiene que existir. Ahora, los tests para
distinguir entre primos y compuestos son de crucial importancia tanto en la teoría
como en las aplicaciones; dichos tests se denominan tests de primalidad. El test de pri-
malidad más básico es la división por ensayo (trial division) que afirma p
que un número
es primo si y sólo si no es divisible por los primos que no exceden a n.
p
Proposición 2.3 Si n es compuesto, entonces n tiene un factor primo p n.
Prueba. Dado que n espcompuesto, podemos escribir n =pa b, con 1 p < a p b < n.
Debemos tener que a n, pues, de lo contrario, b a > n y a b > n n = n,
absurdo. Luego, por el lema
p 2.2, a debe tener un divisor primo p. Luego, p también
es divisor de n y p a n.
El teorema 2.3 da lugar a la criba de Eratóstenes, un procedimiento algorítmico
que produce todos los primos menores o iguales a un entero fijo. Sin embargo, este
método es ineficiente para determinar si un número dado es primo, dado quepes
necesario verificar la divisibilidad de n por todos los primos que no excedan a n.
Por ejemplo, se puede mostrar que determinar si un número de 200 dígitos es primo,
usando este método, le puede tomar a los computadores más veloces billones de
años.
En 2002, M. Agrawal, N. Kayal y N. Saxena, un profesor hindú de computación
y dos de sus estudiantes de pregrado, sorprendieron a la comunidad matemática al
anunciar que se puede determinar si un entero n es primo usando un algoritmo cuya
complejidad computacional está acotada por un polinomio en el número de dígitos
binarios en n (o, equivalentemente, en ln n). Lo anterior, significa que existe un test
de primalidad que es eficiente (dado que corre en tiempo polinómico). Durante siglos,
los matemáticos habían buscado por dicho algoritmo.
. .................................................................................. .
A finales del siglo XVIII, se usaron tablas de primos, creadas mediante cálculos man-
uales, para estimar π ( x ) . En 1798, A. Legendre uso tablas de primos hasta 400, 031
para notar que π ( x ) se podía aproximar por
x
.
ln x 1.08366
C. F. Gauss conjeturó que π ( x ) crece a la misma razón que las funciones
Z x
x dt
y Li ( x ) = .
ln x 2 ln t
Ni Legendre, ni Gauss pudieron probar que tales funciones se aproximaban a π ( x )
para grandes valores de x. Hacia 1811, se había producido una tabla de primos hasta
1, 020, 000 que proporcionaba evidencia numérica para estas conjeturas.
En 1850, P. L. Chebyshev estableció el primer avance sustancial al probar que ex-
isten reales positivos C1 < 1 < C2 tales que
x x
C1 < π ( x ) < C2 ,
ln x ln x
para valores de x lo suficientemente grandes (En particular, mostró que el resultado
se cumple para C1 = 0.929 y C2 = 1.1). También, demostró que si el cociente de π ( x )
y x/ ln x se aproxima a un límite, entonces este límite tiene que ser 1.
El Teorema del Número Primo fue finalmente probado en 1896, cuando J. Hadamard
y C. J. de la Vallée-Poussin producieron pruebas por separado. Sus pruebas se basa-
ban en resultados del análisis complejo. Ellos usaron ideas desarrolladas en 1859 por
B. Riemann, quien relaciono π ( x ) al comportamiento de la función zeta de Riemann
∞
1
ζ (s) = ∑ n s
n =1
Ahora presentamos otros resultados clásicos que nos indican cómo se distribuyen
los primos a lo largo de los enteros positivos. Primero veremos que hay sucesiones
arbitrariamente largas de enteros consecutivos que no contienen primos.
Proposición 2.4 Para todo entero positivo n, hay al menos n enteros positivos compuestos
consecutivos.
Prueba. Considere los n enteros positivos consecutivos:
En 1845, J. Bertrand conjeturó que para todo entero n > 1, siempre existe un primo p
tal que n < p < 2n. Bertrand verificó esta conjetura para n 3, 000, 000, pero no
pudo probarla. En 1852, Chebyshev probó esta afirmación, la cual actualmente se
conoce como Postulado de Bertrand.
Teorema de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Si gcd ( a, b) = 1, entonces la progresión aritmética a + nb, n 1, contiene infinitos primos.
. .................................................................................. .
No se conoce una prueba sencilla del teorema de Dirichlet. En 1950, Selberg ofrecio
una prueba elemental (sin variable compleja), pero complicada. Sin embargo, casos
especiales del teorema de Dirichlet se pueden probar con facilidad. En la siguiente
sección, ilustraremos esto al mostrar que existen infinitos primos de la forma 4n + 3.
36 2. Números Enteros
(c) Por (2), sabemos que p j qk , para algún k = 1, . . . , n. Dado que qk es primo y
p > 1, estamos forzados a concluir que p = qk .
Teorema Fundamental de la Aritmética ..........................................
Todo entero positivo n > 1 se puede expresar como producto de primos; esta representación
es única, excepto por el orden en que aparecen los factores.
. .................................................................................. .
Prueba. (Existencia) Razonemos por el absurdo y supongamos que existe un en-
tero mayor que 1 que no se puede expresar como producto de primos. Por el prin-
cipio del buen orden, existe un menor entero n > 1 que no se puede expresar como
producto de primos. Si n es primo, obviamente n es producto de primos, a saber un
producto con un solo factor primo n. Luego, n debe ser compuesto. Sea n = a b
con 1 < a < n y 1 < b < n. Dado que a y b son menores que n, entonces a y b son
productos de primos. Por tanto, n = ab también se puede expresar como producto
de primos. Esta contradicción muestra que todo entero positivo se puede expresar
como producto de primos.
p2 p3 pr = q2 q3 qs .
2.4. Teorema Fundamental de la Aritmética 37
p3 p4 pr = q3 q4 qs .
p1 = q1 , p2 = q2 , ... , pr = qr .
Para ilustrar: la forma canónica de 958 320 es 958 320 = 24 32 51 113 . Como
ejemplos adicionales, citamos
Luego, eljexponente
k de 5 en la factorización de 100! es al menos 20. Ahora, hay exac-
100
tamente 25 = 4 enteros 100 divisibles por 25 :
25 = 52 , 50 = 2 52 , 75 = 3 52 y 100 = 4 52 .
Q = 4p1 p2 pr + 3.
Ejercicios
1. ¿Cuáles son el cociente y el residuo cuando
(a) 777 se divide por 21? (b) 1 se divide por 23? (c) 2010 se divide por 87?
2. Evalue esta cantidades.
(a) 17 mod 2 (b) 144 mod 7 (c) 101 mod 13 (d) 199 mod 9
(e) 13 mod 3 (f) 97 mod 11 (g) 155 mod 9 (h) 221 mod 23
2.4. Teorema Fundamental de la Aritmética 39
18. Establezca que la diferencia de dos cubos consecutivos nunca es divisible por
2.
19. Para a 6= 0, muestre que gcd ( a, 0) = j aj , gcd ( a, a) = j aj y gcd ( a, 1) = 1.
20. Si a y b son enteros, no ambos cero, muestre que
21. Pruebe que, para todo entero positivo n y todo entero a : gcd ( a, a + n) divide
a n. Luego, gcd ( a, a + 1) = 1.
22. Dados enteros a y b, pruebe lo siguiente:
23. Para cualquier entero a, muestre que gcd (2a + 1, 9a + 4) = 1 y gcd (5a + 2, 7a + 3) =
1.
24. Pruebe que si a es impar, entonces gcd (3a, 3a + 2) = 1.
25. Pruebe que la expresión (3n)!/ (3!)n es un entero para todo n 0.
26. Suponga que gcd ( a, b) = 1. Demuestre las siguientes afirmaciones.
xk 1 = (x 1) x k 1
+ xk 2
+ + x + 1 ].
29. Use el algoritmo extendido de Euclides para hallar gcd ( a, b) y expresarlo como
combinación lineal de a y b.
(g) a = 143, b = 227 (h) a = 119, b = 272 (i) a = 214 149, b = 19 635
37. [Este ejercicio construye otra prueba de la infinitud de los primos]. Muestre
que el entero Qn = n! + 1, donde n 1, tiene un divisor primo mayor que n.
Concluya que existen infinitos primos.
38. Usando la prueba de Euclides del teorema 2.4, muestre que el n-ésimo primo
n 1
pn 22 , donde n 1. Concluya que existen al menos n + 1 primos menores
n
que 22 , para n 1.
39. Suponga
p que p es el menor factor primo de un entero n. Pruebe que si p >
n/p, entonces n/p es primo.
p
40. Muestre que si el menor factor primo p del entero positivo n excede 3 n, en-
tonces n/p tiene que ser primo o 1.
41. Muestre que si p es un primo en la progresión aritmética 3n + 1, n 1, entonces
también está en la progresión aritmética 6n + 1, n 1.
42. Halle el menor primo en la progresión aritmética a + nb, donde
43. Muestre que 2n2 + 11 es primo para todo entero 0 n 10, pero es compuesto
para n = 11.
44. Halle los menores cinco enteros consecutivos compuestos.
45. Muestre que no existen tripletas de primos, esto es, primos p, p + 2 y p + 4, ex-
cepto 3, 5 y 7.
46. Halle el menor primo entre n y 2n, cuando n = 3, 5, 6, 19, 31, 47.
47. Use el Postulado de Bertrand, para mostrar que si pn es el n-ésimo primo, en-
tonces pn 2n .
42 2. Números Enteros
a, a + b, a + 2b, a + 3b, . . .
(b) De la parte (a), concluya que si b es un entero impar, entonces todo cualquier
otro término en la progresión indicada es par.
60. (a) Para cualquier entero k > 0, establezca que la progresión aritmética
a, a + b, a + 2b, a + 3b, . . . ,
a + (n + 1) b, a + (n + 2) b, ... , a + ( n + k ) b ].
a n b := a + b y a n b := a b.
0 = f k n j k 2 Zg y 1 = f k n + 1 j k 2 Zg ,
y el inverso aditivo por a= a. Bajo las operaciones dadas,
Suma Producto
3 0 1 2 3 0 1 2
0 0 1 2 0 0 0 0
1 1 2 0 1 0 1 2
2 2 0 1 2 0 2 1
Por comodidad, las barras se omiten. El lector puede exhibir tablas similares para
n = 4, 5 y 6. X
p ( a) = cm am + + c1 a + c0 cm bm + + c1 b + c0 = p ( b ) (mod n) .
Ilustremos la utilidad de las congruencias para llevar a cabo ciertas pruebas y cál-
culos.
n = 1! + 2! + 3! + 4! + + 99! + 100!
k! = 4! 5 6 k 0 5 6 k 0 (mod 12) .
Luego,
a2 1, 9, 25, 49 1 (mod 8) .
a2 1, 4 1 (mod 3) .
3 q1 = a2 1 = 8 q2 .
a2 1 = 8 q2 = 8 (3 k) = 24 k.
p ( x ) = cm x m + + c1 x + c0 2 Z [ x ]
Si
p (0) p (1) 1 (mod 2) ,
entonces p ( x ) no tiene raíces enteras.
Por último, cabe mencionar que, en general, hay ciertas propiedades aritméticas
de Z que no se cumplen módulo n.
cualquier entero c. Sin embargo, el recíproco no se cumple en general. Por ejemplo, note-
mos que 2 4 = 8 2 = 2 1 (mod 6) , mientras que 4 6 1 (mod 6) . Así, no
siempre es posible cancelar un factor común sin alterar la congruencia. El siguiente
teorema nos muestra que es posible cancelar un factor en una congruencia al alterar
debidamente el módulo.
Teorema 3.3 Sea d = gcd (c, n) . Si c a c b (mod n) , entonces a b (mod n/d) .
Prueba. Por hipótesis, c ( a b) = n k, para algún entero k. Por el corolario 2.2,
existen enteros q1 , q2 tales que
c = d q1 , n = d q2 y gcd (q1 , q2 ) = 1.
Sustituyendo en c ( a b) = n k :
( d q1 ) ( a b ) = ( d q2 ) k ) q1 ( a b) = q2 k.
El producto de dos enteros, ninguno de los cuales es congruente a cero, puede resultar
congruente a cero. Por ejemplo, 4 3 = 12 0 (mod 6) , pero 4 6 0 (mod 6) y 3 6
0 (mod 6) . Notemos que, por el lema de Euclides, se tiene que si a b 0 (mod n)
y gcd ( a, n) = 1, entonces b 0 (mod n) . En particular, la siguiente situación es
fundamental.
Teorema 3.4 n > 1 es un número primo si y sólo si
Prueba. (!) Esta implicación es una reformulación del corolario 2.4 (a).
( ) Supongamos que n satisface la propiedad. Razonemos por el absurdo, si n fuese
compuesto, habrían enteros a, b tales que
Nos será muy conveniente, tener presente la forma que el teorema 3.5 toma cuando
suponemos que a y n son primos relativos.
Corolario 3.3 Si gcd ( a, n) = 1, entonces la congruencia lineal ax b (mod n) tiene una
única solución módulo n.
En particular, dados dos primos relativos a y n, la congruencia ax 1 (mod n)
tiene solución única. Esta solución se denomina el inverso multiplicativo de a mó-
dulo n. Aunque la existencia de inversos para los enteros primos relativos con n es
consecuencia del teorema 3.5, preferimos dar otra prueba basada en la identidad de
Bezout.
Proposición 3.2 Si gcd ( a, n) = 1, entonces existe el inverso de a módulo n. Además, este
inverso es único módulo n.
Prueba. Como gcd ( a, n) = 1, existen enteros s, t tales que a s + n t = 1. Esto
implica que
a s = a s + 0 as + nt 1 (mod n) .
Por consiguiente, s es un inverso de a módulo n. Ahora, si r satisface que a r
1 (mod n) , entonces
s s 1 s (a r) ( a s) r 1 r r (mod n) .
Ahora ilustremos las técnicas algorítmicas que subyacen a las anteriores pruebas.
Ejemplo Halle todas las soluciones de la congruencia lineal 18x 30 (mod 42) .
Solución Calculemos d = gcd (18, 42) y exprésemoslo como combinación lineal
de 42 y 18 :
42 = 18 2 + 6 ! 6 = 18 ( 2) + 42 (1) (\)
18 = 6 3 + 0
63 = 10 6 + 3 1 = 10 1 + 3 3
%
10 = 3 3 + 1 ! ! = 10 1 + [10 ( 6) + 63 (1)] 3
3 = 1 3 + 0 = 10 19 + 63 3
x 6x ( 2) 3x ( 2) 4 = 8 6 (mod 7) .
es la solución de la congruencia.
Otra forma. Como 5 2 es el inverso de 3 módulo 7, tenemos que
Hay ciertas cosas cuyo número se desconoce. Cuando se divide por 3, el residuo
es 2; cuando se divide por 5, el residuo es 3; y cuando se divide por 7, el residuo
es 2.
¿Cuál será el número de las cosas?
x 2 (mod 3)
x 3 (mod 5)
x 2 (mod 7)?
El siguiente teorema, nombrado así por el legado chino de problemas que involu-
cran sistemas de congruencias lineales, afirma que cuando los módulos de un sistema
de conguencias lineales son primos relativos por pares, existe una única solución del sistema
módulo el producto de los módulos.
x a1 (mod n1 )
x a2 (mod n2 )
..
.
x ar (mod nr )
x 0+0+ + ak Nk sk + +0 ak Nk sk ak (mod nk ) , k = 1, 2, . . . r.
3.2. Teorema Chino del Residuo 55
x ak x0 (mod nk ) , k = 1, 2, . . . r.
Así, nk j x x 0 . Como gcd (ni , nk ) = 1, por el corolario 2.3 (a), podemos afirmar que
n1 n2 nr divide a x x 0 . Esto es, x x 0 (mod n) .
Ejemplo Resuelva el acertijo de Sun-Tsu.
Solución En este caso, tenemos que n = 3 5 7 = 105 y
1 = 35 ( 1) + 3 12, 1 = 21 1 + 5 ( 4) y 1 = 15 1 + 7 ( 2) .
Luego,
s1 = 1, s2 = 1 y s3 = 1.
Por tanto, una solución al sistema está dada por x = 2 35 ( 1) + 3 21 1 + 2
15 1 = 23. X
Ejemplo (Johann Müller Regiomontano, s XV) Halle el menor entero que deje resid-
uos 3, 11 y 15 cuando se divide por 10, 13 y 17, respectivamente.
Solución El problema se reduce a hallar la menor solución positiva del sistema de
congruencias lineales
x 3 (mod 10) ,
x 11 (mod 13) ,
x 15 (mod 17) .
Sean
Notemos que
N3 11 (mod 17) .
Solución Dado que 276 = 3 4 23, esto es equivalente a hallar una solución
para el sistema de conguencias
17x 9 (mod 3)
17x 9 (mod 4) (3.1)
17x 9 (mod 23)
N1 = 4 23 = 92, N2 = 3 23 = 69 y N3 = 3 4 = 12.
Notemos que
N1 2 (mod 3) y N2 1 (mod 4) .
Así, s1 = 2 y s2 = 1. Ahora, notemos que 1 = 2 12 + 23 ( 1) . Luego, s3 = 2.
Tomemos
Por tanto, x 33 (mod 276) proporciona una solución al sistema (3.1) y, a su vez,
una solución a 17x 9 (mod 276) . X
Como los residuos son primos relativos por pares, podemos aplicar el teorema Chino
del residuo. Sean
N1 4 (mod 9) ) 1 = 9 + 4 ( 2) ) 4 ( 2) 1 (mod 9) ) s1 =
2 7 (mod 9) .
N2 1 (mod 16) ) s2 = 1
N3 19 (mod 25) ) 1 = 19 (4) 25 (3) ) 19 (4) 1 (mod 25) )
s3 = 4.
3.2. Teorema Chino del Residuo 57
Tomemos
Ejercicio Halle el menor múltiplo positivo de 7 que deja residuo 2 cuando se divide
por 5, residuo 3 cuando se divide por 6 y residuo 5 cuando se divide por 11.
Solución 1 Sea x = 7k. Las condiciones del problema llevan al sistema de con-
gruencias lineales:
x 2 (mod 5)
x 3 (mod 6)
x 5 (mod 11)
Como los residuos son primos relativos por pares, podemos aplicar el teorema Chino
del residuo. Sean
N1 1 (mod 5) ) s1 = 1. N2 1 (mod 6) ) s2 = 1.
N3 8 (mod 11) ) 1 = 11 (3) + 8 ( 4) ) 8 ( 4) 1 (mod 11) ) s3 =
4 7 (mod 11) .
Tomemos
330t + 27, t 2 Z.
Luego,
7k 2 (mod 5) k 6 1 (mod 5)
7k 3 (mod 6) ) k 3 3 (mod 6)
7k 5 (mod 11) k 40 7 (mod 11)
x 2 (mod 5)
x 3 (mod 6)
x 0 (mod 7)
x 5 (mod 11)
Como los residuos son primos relativos por pares, podemos aplicar el teorema Chino
del residuo. Sean
N1 2 (mod 5) ) s1 = 8. N2 1 (mod 6) ) s2 = 1.
N3 1 (mod 7) ) s3 = 1. N4 1 (mod 11) ) s4 = 1.
Tomemos
2n 1
1 (mod n) .
Si esto fuera verdad, proporcionaría un test eficiente de primalidad ¿Por qué ellos
creyeron que esta congruencia se podría usar para determinar si un entero es primo?
Primero, ellos observaron que la congruencia se satisfacía siempre que n es primo.
Por ejemplo, 5 es primo y
25 1
= 24 = 16 1 (mod 5) .
Segundo, ellos nunca hallaron un entero compuesto n para el cual la congruencia se
cumpliese. Los antiguos chinos sólo estaban parcialmente en lo correcto. Ellos tenían
razón al pensar que la congruencia se cumple siempre que n es primo, pero se equiv-
ocaban en concluir que n es necesariamente primo si la congruencia se satisface.
El 18 de octubre de 1640, Fermat escribió una carta a Bernhard Frénice de Bessy, un
oficial del ejercito francés que también era un gran aficionado a la teoría de números.
En su carta, Fermat le comunicaba el siguiente resultado.
ap 1
1 (mod p) .
. .................................................................................. .
Prueba. Comencemos por considerar los primeros p 1 múltiplos positivos de a :
Similarmente, si
an a (mod n) ,
falla para alguna elección de a, entonces n es necesariamente compuesto.
tenemos que
Luego, 2117 44 6 2 (mod 117) . Así, n tiene que ser compuesto. De hecho, 117 =
32 13. X
Por otro lado, veamos que el recíproco del teorema de Fermat no es válido. En otras
palabras, mostremos que si an a (mod n) para algún entero a, entonces n no es nece-
sariamente primo. Requerimos un lema técnico.
Lema 3.1 Si p y q son primos distintos con
ap a (mod q) y aq a (mod p) ,
Ejercicio Halle el residuo cuando 242010 se divide por el número primo 17.
Solución Como 24 7 (mod 17) , se sigue que 242010 72010 (mod 17) . Por el
pequeño teorema de Fermat,
Teorema de Wilson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Si p es un primo, entonces
(p 1) ! 1 (mod p) .
. .................................................................................. .
Prueba. Descartemos los casos evidentes p = 2 y p = 3. Tomemos p > 3. Suponga
que a es cualquiera de los p 1 enteros positivos
1, 2, 3, ... , (p 1)
2 3 (p 2) 1 (mod p) .
Equivalentemente,
(p 2) ! 1 (mod p)
Ahora multiplicando por p 1, obtenemos que ( p 1) ! p 1 1 (mod p).
Ejemplo Ilustremos la prueba del teorema de Wilson para p = 13.
p 3
Solución Es posible dividir los enteros 2, 3, . . . , 11 en 2 = 5 parejas cuyo pro-
ducto es igual a 1 módulo 13. Explícitamente,
2 7 = 14 1, 3 9 = 27 1, 4 10 = 40 1, 5 8 = 40 1 y 6 11 = 66 1 (mod 13) .
1
ϕ pk = pk 1
(p 1) = p k 1 .
p
1 1
ϕ (n) = ∏ϕ pk = ∏ pk 1
(p 1) = ∏ pk 1
p
= n∏ 1
p
.
p p p p
Teorema de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Si gcd ( a, n) = 1, entonces
a ϕ(n) 1 (mod n) .
. .................................................................................. .
Prueba. Sean m = ϕ (n) y 1 = r1 < r2 < < rm < n tales que
Como gcd ( a, n) = 1, por el corolario 3.2 (a) y el corolario 2.3 (b), los enteros a
r1 , . . . , a rm también cumplen que
Por hipótesis, gcd (ri , n) = 1, para todo i = 1, 2, . . . , m. Por el corolario 2.3 (b) (apli-
cado m veces),
gcd (∏i ri , n) = 1.
Luego, por el corolario 3.2 (a), am 1 (mod n) . Esto es, a ϕ(n) 1 (mod n) .
ap 1
1 (mod p) .
. .................................................................................. .
Ejemplo Dado que 1, 5, 7 y 11 son primos relativos a 12, ϕ (12) = 4. Por el teorema
de Euler, si gcd ( a, 12) = 1, entonces
a4 1 (mod 12) .
x 11 ϕ(24) 1
( 1) 117 ( 1) (112 )3 ( 11) 11 (mod 24) .
1272 = 16 129 55 (mod 893) 1274 552 = 3025 346 (mod 893)
1278 3462 = 119 716 54 (mod 893) 12716 542 = 2916 237 (mod 893)
Por consiguiente,
x ( x341 )17 (127)17 = (127)16 1271 237 127 = 30 099 630 (mod 893) .
X
Ejercicios
1. Liste cinco enteros que sean congruentes con 4 módulo 12.
2. Decida si los siguientes enteros son congruentes a 5 módulo 17.
(a) n es primo.
(b) n = pq, donde p y q son primos distintos.
(c) n es divisible por el cuadrado de un primo. [Sug: Puede ser útil considerar
el caso n = 12].
10. Pruebe que para todo a y b, a2 + b2 nunca deja residuo 3 cuando se divide por
4.
11. Muestre que si a b (mod n) , entonces
15 + 25 + 35 + + 995 + 1005
se divide por 4?
16. Pruebe que el entero 53103 + 10353 es divisible por 39, y que 111333 + 333111 es
divisible por 7.
17. Para n 1, use la teoría de congruencias para establecer cada una de los sigu-
ientes enunciados de divisibilidad:
(a) 7 j 52n + 3 25n 2. (b) 13 j 3n+2 + 42n+1 .
[Sug: Note que ( 13)2 13 + 1 (mod 181) ; use inducción sobre n].
19. Pruebe los siguientes enunciados:
21. Sea a un entero tal que a 6 0 (mod 7) . Muestre que a 5k (mod 7) para algún
entero k.
22. Sean a, b, c, d y x enteros y p un primo. Muestre que si ( ax + b) (cx + d)
0 (mod p) , entonces
89 j 244 1 y 97 j 248 1.
(a) x2 4 (mod 13) (b) 4x2 + 3x + 7 0 (mod 5) (c) (2x + 1) (3x + 4) 0 (mod 17)
(a) 25x 15 (mod 29) (b) 5x 2 (mod 26) (c) 6x 15 (mod 21)
(d) 20x 19 (mod 43) (e) 34x 60 (mod 98) (f) 36x 18 (mod 102)
31. Muestre que 15 es un inverso de 7 módulo 26 y que 937 es un inverso de 13
módulo 2436.
32. Calcule un inverso multiplicativo de a módulo n.
34. Muestre que no puede existir un inverso multiplicativo de a módulo n si gcd ( a, n) >
1.
36. ¿Qué enteros son divisibles por 5 y dejan un residuo de 1 cuando se dividen
por 3?
37. Halle el menor entero a > 2 tal que
2 j a, 3 j a + 1, 4 j a + 2, 5 j a + 3, 6 j a + 4.
38. Obtenga tres enteros consecutivos cada uno de ellos teniendo un factor cuadrado
[Sug. Halle a tal que 22 j a, 32 j a + 1 y 52 j a + 2].
39. Obtenga tres enteros consecutivos, el primero de los cuales es divisible por
un cuadrado, el segundo es divisible por un cubo y el cuarto por una cuarta
potencia.
40. (Antiguo problema chino). Una banda de 17 piratas robo un baúl lleno de mon-
edas de oro. Cuando se trato de dividir el botín en partes iguales, sobraron
3 monedas. Despues de la pelea sobre quién se debía quedar con las mon-
edas extras, un pirata fue asesinado. La fortuna fue redistribuida, pero esta
vez sobraron 10 monedas. De nuevo hubo otra discusión en la que otro pirata
fue muerto. Pero ahora el botín total se distribuyo totalmente entre los sobre-
vivientes. ¿Cuál fue el número total de monedas que pudo haber sido robadas?
41. Cierto entero entre 1 y 1200 deja residuo 1, 2, 6 cuando se divide por 9, 11, 13,
respectivamente. ¿Cuál es el entero?
42. Halle un entero que deje residuos 1, 2, 5, 5 cuando se divide por 2, 3, 6, 12,
respectivamente (Yih-hing, fallecido en 717).
43. Halle un entero que deje residuos 2, 3, 4, 5 cuando se divide por 3, 4, 5, 6,
respectivamente (Bhaskara, nacido en 1114).
44. Este ejercicio ofrece otro método para mostrar que 2340 1 (mod 341).
(a) Use el pequeño teorema de Fermar para mostrar que 2340 1 (mod 11)
al notar que 2340 = (210 )34 .
(b) Muestre que 2340 1 (mod 31) usando el hecho que 2340 = (25 )68 = 3268 .
45. (a) Use el pequeño Fermar para computar 3302 mod 5, 3302 mod 7 y 3302 mod 11.
68 3. Congruencias
(b) Use el teorema chino del residuo para hallar 3302 mod 385 (Note que 385 =
5 7 11).
46. (a) Use el pequeño Fermar para computar 52003 mod 7, 52003 mod 11 y 52003 mod 13.
(b) Use el teorema chino del residuo para hallar 52003 mod 1001. (Note que
1001 = 7 11 13).
a ( a + 1) (a + p 2) 1 (mod p) .
(n p)!
( 1) n (mod p) .
n! pn
(a) 2 ( p 3) ! 1 (mod p) .
(b) 12 32 (p 2)2 ( 1)( p+1)/2 (mod p) .
(c) 22 42 (p 1)2 ( 1)( p+1)/2 (mod p) .
(a) Para todo entero a : a37 a (mod 1729) . [Sug: 1729 = 7 13 19]
(b) Para todo entero a : a13 a (mod 2730) . [Sug: 2730 = 2 3 5 7 13]
(c) Para todo entero impar a : a33 a (mod 4080) . [Sug: 4080 = 15 16 17]
3.3. Tres Grandes Teoremas 69
61. Use el teorema de Euler para mostrar que para todo entero n 0:
51 j 1032n+9 7.
62. Pruebe que 215 23 divide a a15 a3 para todo entero a. [Sug: 215 23 =
5 7 8 9 13]
1 + a + a2 + + a ϕ(n) 1
0 (mod n) .
(a) 3x 5 (mod 26) . (b) 13x 2 (mod 40) . (c) 10x 21 (mod 49) .
67. Use el teorema de Euler para evaluar 2100,000 mod 77 y 3100,000 mod 35.
68. Halle el último dígito de la expansión decimal de 31000 .
69. Muestre que si a es un entero tal que a no es divisible por 3 o tal que a es
divisible por 9, entonces a7 a (mod 63) .
70. Muestre que si n es un entero impar que no es múltiplo de 5, entonces n divide
un entero cuya expansión decimal sólo contiene el dígito 1 (i.e. n divide algún
repunit).
70 3. Congruencias
4
Números Cardinales
A finales del siglo XIX, Georg Cantor introdujo la teoría de conjuntos para poder
desarrollar la noción de infinito. Cantor había investigado el problema de unicidad
de la representación de una función por una serie de Fourier, obteniendo resultados
de la forma
∞ ∞
∑ (an sin x + bn cos x) = ∑ (a0n sin x + bn0 cos x) , 8x 2 S ) an = a0n y bn = bn0 , 8n.
n =0 n =0
para varios tipos de subconjuntos S de [0, 2π ] . Después de probar que que el resul-
tado se cumple para conjuntos S que excluyen finitos puntos de [0, 2π ] , él también
pudo hacerlo para conjuntos S que excluían ciertos conjuntos infinitos de puntos.
Para poder explicar la estructura de los conjuntos de puntos excluidos, Cantor desar-
rolló una teoría de “magnitudes” infinitas a partir de ideas sobre magnitudes finitas,
i.e. los números naturales. Cantor se enfocó en extender dos usos básicos de los natu-
rales: contar y ordenar. Esta extensión dio lugar a dos clases distintas de números: los
números cardinales para describir tamaños de conjuntos y los números ordinales para
describir formas de ordenar bien un conjunto. Además, Cantor dotó ambas clases de
números con operaciones aritméticas (suma, producto y exponenciación) que coin-
cidían con la aritmética usual de los números naturales.
En este capítulo desarrollaremos los aspectos básicos de la teoría de números car-
dinales. Para un desarrollo de la teoría de números ordinales se puede consultar
[En77], [Go96], [Hr99] o [Le02].
f 1 (y) , si y 2 A.
h0 (y) =
g (y) , si y 2 B.
Dado que C \ D = ∅, h0 está bien definida. Razonando por casos se tiene que
h0 (h ( x )) = x y h h0 (y) = y,
N E y N O.
Notemos que E \ O = ∅. X
Proposición 4.1 Z Z Z+ Z N.
Prueba. Mediante la biyección a 7! a, vemos que Z Z+ . Por tanto,
Z N E y Z+ N O.
Z = Z [ Z+ E [ O = N.
4.1. Cardinalidad de Conjuntos 73
n, si m = 2n.
f (m) =
n, si m = 2n + 1.
Dado que f es biyectiva (ejercicio), se tiene que Z N. Ahora, basta aplicar transi-
tividad.
Volvamos a considerar el ejemplo del teatro. Puede ocurrir que todas las personas
esten sentadas, pero haya sillas vacías o no. En cualquier caso, la cantidad de per-
sonas es menor o igual a la cantidad de sillas. La situación se generaliza del siguiente
modo.
Teorema de Schröder-Bernstein .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ..
Si A B y B A, entonces A B.
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
La primera prueba del teorema fue hallada por Dedekind en 1887, pero él no la
publicó en su época y aparecio sólo hasta 1932. Cantor probó el teorema en 1897,
pero usando tácitamente el Axioma de Elección. Ernst Schröder anunció una prueba
sin usar elección en un abstract de 1896. Luego, publicó una prueba errónea en 1898,
corrigiéndola en 1911. Felix Bernstein proporcionó la primera prueba totalmente sat-
isfactoria sin usar el Axioma de Elección. Esta prueba apareció en el texto Leçons sur
la théorie des fonctions (1898) de Emile Borel y, luego, en la tesis doctoral de Bernstein
de 1901.
Desde entonces, otros famosos matemáticos han ofrecido nuevas demostraciones
al teorema de Schröder-Bernstein. Entre estas, destacamos las pruebas dadas por A.
74 4. Números Cardinales
Schoenflies (1900), Bertrand Russell (1902), Henri Poincaré (1905), Giuseppe Peano
(1906), Ernst Zermelo (1908) o Banach, Knaster y Tarski (1924).
Dejaremos la prueba del teorema para el final de la sección. En el apéndice B, ofre-
cemos otras pruebas alternativas que pueden ser de interés para el lector.
Proposición 4.2 N N N.
Prueba 1. Consideremos la función f : N N ! N dada por
f (m, n) = 2m (2n + 1) 1.
g (n) = (n, 0) .
g(m, n) = 21 (m + n)(m + n + 1) + m.
Z+ Z+ N N N Z+ .
Q = Q [ f 0 g [ Q+ Z [ f0g [ Z+ = Z.
Por transitividad, Q N.
Ejemplo Podemos mostrar que N Q mediante dovetailing. Arreglamos Q en una
matriz infinita la cual recorremos como lo indica la siguiente trayectoria.
76 4. Números Cardinales
+ * + * +
+ * +
Ejercicio Muestre que (0, 1) [0, 1] . Concluya que (0, 1) [0, 1) (0, 1] [0, 1] .
Solución Notemos que
Por los ejemplos anteriores, podemos afirmar que todos los intervalos acotados de R
tienen la misma cardinalidad. ¿Qué podemos decir de los intervalos no acotados?
Primero, notemos que R+ = (0, +∞) (1, +∞) mediante la traslación x 7! x + 1.
Usando la función inverso x 7! x tenemos que (1, +∞) (0, 1) . Luego,
1
R+ (0, 1) .
R R+ (0, 1) .
4.1. Cardinalidad de Conjuntos 77
(0, 1) R.
Recordemos que
F( f )
C ! D
? x
1? ?ψ
ϕ y ?
A ! B
f
Por tanto, B = B0 .
Ahora, veamos que F es sobreyectiva: dada f : A ! f0, 1g , tomamos
1
B= f (1) = f x 2 A j f ( x ) = 1g .
Es claro que χ B = f .
78 4. Números Cardinales
2A 2B y P ( A) P ( B) .
En lo que sigue supondremos válido un resultado clásico del análisis real: todo
número real α tiene una única representación decimal
∞
αn
α = m+ ∑ 10n
,
n =1
C ( α ) = fr 2 Q j r < α g .
Por la densidad de Q en R, dados α < β números reales, existe un racional r tal que
α < r < β. Luego, C es inyectiva. Así, R P (Q). Como Q N, por el corolario 4.3,
P (Q) P (N) . Por el lema 4.2 (b), R P (N) .
Recíprocamente, sea F : 2N ! [0, 1] definida por
∞
sn
F (s) = 0.s0 s1 s2 s3 = ∑ 10 n +1
.
n =0
Dado que todo número real tiene un única representación decimal, F es inyectiva.
Por tanto,
P (N) 2N [0, 1] R.
De nuevo, por el lema 4.2, P (N) R. Basta aplicar el teorema de Schröder-Bernstein.
En vista de los resultados obtenidos hasta ahora, se podría creer que cualquier par
de conjuntos infinitos son equipotentes entre sí. Uno de los grandes descubrimientos
de Cantor es la existencia de distintas cardinalidades infinitas.
Teorema de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Para todo conjunto A : A P ( A) .
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
D := f a 2 A j a 2
/ g ( a)g .
d2D sii d2
/ g (d) sii d2
/ D.
N6 R.
Cantor probó este importante resultado por primera vez en 1873. En 1891, él ofreció
una segunda demostración mediante su famoso método de diagonalización.
Teorema 4.2 (Cantor) .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ..
El conjunto N no es equipotente a R.
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
donde cada αnm es un dígito decimal. Ahora, definamos β = 0.β1 β2 2 (0, 1) por
diagonalización. Para cada n 1 :
8
< 1, si αnn 6= 1.
βn =
:
5, si αnn = 1.
Proposición 4.7 R R R y C R.
Prueba. Primero usemos el teorema de Schröder-Bernstein para mostrar que (0, 1)
(0, 1) (0, 1) .
(i) (0, 1) (0, 1) (0, 1) . Dados α, β 2 (0, 1] , hacemos
N R
E, O [0, 1] , (0, 1)
Cualquier intervalo de R
Z, Q C
N N, Nk R R, Rk
P (N) , 2N
4.1. Cardinalidad de Conjuntos 81
¿Todo conjunto infinito A de números reales es enumerable o tiene la potencia del continuo?
A n +1 = ( g f ) [ An ] y A0 = A ran ( g) .
Hagamos Bn = f [ An ] . Luego,
A n +1 = g [ f [ An ]] = g [ Bn ] .
Definamos h : A ! B por
1
a2 = g g ( a2 ) = g (h ( a2 )) 2 g [ Bn ] = An+1 .
En caso contrario, b 2
/ Bn , para todo n. Sea a = g (b) . Notemos que a 2 ran ( g) .
Luego, a 2
/ A0 . Como b 2
/ Bn y g es inyectiva, tenemos que
g (b) 2
/ g [ Bn ] = An+1 .
Por tanto, a 2
/ An+1 , para todo n. En este caso,
1 1
h ( a) = g ( a) = g ( g (b)) = b.
J0 = ∅ y Jn = fk 2 N j 1 k ng , para n 1.
Jn+1 = Jn [ fn + 1g .
Ahora, sea f : Jn+1 ! Jn+1 una función inyectiva. Consideremos dos casos.
4.2. Conjuntos Finitos y Contables 83
Por inducción matemática, podemos concluir que la afirmación es válida para todo
n.
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Prueba. Razonemos por el absurdo. Supongamos que B ( A y que f : A ! B es
biyectiva. Luego, la extensión f : A ! A es una función inyectiva con ran ( f ) = B (
A. Lo cual contradice el corolario anterior.
m<n o n<m o n = m.
Corolario 4.7 Para todo conjunto finito A existe un único n 2 N tal que A Jn .
Definición El único n 2 N que satisface A Jn se denomina el cardinal de A y se
denota por n = j Aj .
Sean A y B conjuntos finitos. Entonces
A B si y sólo si j Aj = j Bj .
K Jk y jK j = k.
Prueba. Usemos inducción sobre n. El paso base es trivial. Para el paso inductivo,
supongamos que el enunciado es válido para n.
Sea K Jn+1 . Consideremos dos casos.
(a) (n + 1) 2
/ K. Luego, K Jn . Por hipótesis inductiva, existe k tal que K Jk y
jK j = k n < n + 1.
(b) (n + 1) 2 K. Luego, K = I [ fn + 1g , donde I = K fn + 1g Jn . Por hipóte-
sis inductiva, existe i n tal que I Ji . Sea g : Ji ! I biyectiva. Extendamos g de
un modo natural.
Sea ge : Ji+1 ! K dada por
f ( j) , si j i.
ge ( j) =
n + 1, si j = i + 1.
A [ B también es finito y j A [ Bj = m + n.
A [ B0 Jm+n y fbg f m + n + 1g .
j A [ Bj = j Aj + j Bj j A \ Bj .
A [ B = A [ (B A) y A \ (B A) = ∅.
86 4. Números Cardinales
j A [ Bj = j Aj + j B Aj . (4.1)
B = (B A) [ ( A \ B) y (B A) \ ( A \ B) = ∅.
jB Aj = j Bj j A \ Bj . (4.2)
j A [ Bj = j Aj + j Bj j A \ Bj = j Aj + j Bj j∅j = j Aj + j Bj .
jA Bj = j Aj j Bj .
A B también es finito y jA Bj = m n.
A B = A ( B0 [ fbg) = A B0 [ A fbg .
Conjuntos Contables
Definición Sea A un conjunto arbitrario.
Por el comentario anterior y el principio del buen orden, h está bien definida. Por el
teorema de recursión, existe una función f : N ! A tal que
A N E y B N O.
A B N N.
P ( A) P (N) R6 N.
Definamos
0, si ann = 2.
bn =
2, si ann = 0.
4.3. Cardinales con el Axioma de Elección 89
∞
bn
Sea β =
3n ∑
. Es claro que bn 2 f0, 2g , 8n 1. Por definición del conjunto de
n =1
Cantor, β 2 C.
∞
amn
Como f es sobreyectiva, existe m 1 tal que β = f (m) = ∑ 3n
.
n =1
En particular, bm = amm . Pero, por construcción,
De hecho, el conjunto de Cantor C tiene la potencia del continuo. Basta notar que
E = f an g∞
n =0
f (i ) 2 Ai , para todo i 2 I.
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Lema de Zorn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Sea A una familia no vacía de conjuntos. Si para toda cadena C A se cumple que
[
C 2 A,
Para aplicar el lema de Zorn, consideraremos familias de funciones (con cierta propiedad)
parcialmente ordenadas por extensión. Decimos que la función g extiende a la fun-
ción f si
Γ f = f( x, f ( x )) j x 2 dom ( f )g .
f g sii Γf Γg .
Más aún, en dicha situación, existe una función bien definida h que satisface
[ [
Γh = Γf y dom (h) = dom ( f ) .
f 2F f 2F
4.3. Cardinales con el Axioma de Elección 91
Por tanto, h está unívocamente determinada al decir que h es una extensión de f para
toda f 2 F y que el dominio de h es la unión de los dominios de las funciones f 2 F .
Nos referiremos a h como la unión de la familia totalmente ordenada de funciones
F.
Teorema 4.7 Sean A y B conjuntos no vacíos. Las siguientes condiciones son equivalentes:
g ( f ( x )) = x.
A = fϕ : C ! B j C A y 8 x 2 C : g ( ϕ ( x )) = x g .
f 0 = f [ f( a, b)g .
Es rutinario verificar que el lema de Zorn se aplica a F dando lugar a una función
maximal f 2 F .
Afirmamos que dom ( f ) = N. En caso contrario, existe n tal que dom ( f ) = Jn .
Sea B = ran ( f ) . Como f es inyectiva, f : Jn ! B es biyectiva. Por tanto, B es un
subconjunto finito de A. Como A es infinito, existe a 2 A B. Definamos
f 0 = f [ f(n + 1, a)g .
(A E) \ ( E f a0 g) = ∅ = ( A E) \ E.
B = (A E) [ ( E f a0 g) (A E) [ E = A.
Prueba. Por AC, podemos elegir una función biyectiva ϕn : N ! En , para cada n.
Definamos g : N N ! E por
g (m, n) = ϕn (m) , para todo (n, m) 2 N2 .
Veamos que g es sobreyectiva.
Sea x 2 E . Entonces, x 2 Ek para algún k. Como ϕk es sobreyectiva, existe i tal que
ϕk (i ) = x. Luego,
g (i, k ) = ϕk (i ) = x.
Esto es, x 2 ran ( g) .
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Prueba. Si I es finito, aplique inducción matemática. Supongamos que I es enu-
merable. Sin perdida de generalidad, podemos tomar I = N. También podemos
suponer que An En y En es enumerable. Luego, A es un subconjunto de un con-
junto enumerable E . Por tanto, A es contable.
Apliquemos los anteriores teoremas para mostrar la existencia de incontables números
trascendentes.
A p = f α 2 C j p ( α ) = 0g .
Por el Teorema Fundamental del Álgebra, todo polinomio con coeficientes reales de grado
n tiene a lo sumo n raíces complejas. Luego, A p es finito, para todo p 2 Z [ x ] .
De la definición de número algebraico, se sigue que
[
A= Ap.
p 2Z[ x ]
C = A [ (C A)
Axiomas de cardinalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Para todo conjunto A existe su número cardinal j Aj de modo que se cumple
A B si y sólo si j Aj = j Bj .
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4. Aritmética Cardinal 95
producto cardinal κ λ = jA Bj
exponenciación κλ = A B = jf f j f : B ! A es funcióngj
Por el ejercicio anterior, la definición de suma cardinal tiene sentido. Ahora, por los
lemas 4.1, 4.3 y 4.4 de la sección 4.1, las operaciones cardinales están bien definidas
(no depende de representantes).
Las operaciones satisfacen las leyes aritméticas usuales (κ, λ y µ denotan números
cardinales).
Asociatividad κ + (λ + µ) = (κ + λ ) + µ κ (λ µ) = (κ λ ) µ
Neutros κ+0 = κ κ 1 = κ
Distributividad κ (λ + µ) = κ λ+κ µ
Por último,
jRj = jP (N)j = 2jNj = 2@0 .
κ = j Aj y λ = j Bj
Definimos
Luego,
κ<λ sii κ λ y κ 6= λ.
Por el lema 4.2 de la sección 4.1, vemos que la anterior definición no depende de
los conjuntos A y B tomados. Esto es, la relación en los números cardinales está
bien definida. Como vimos, es una relación reflexiva, antisimétrica y transitiva en
cualquier colección de conjuntos. Por tanto, es una relación de orden en la clase de
los números cardinales. En particular, el teorema de Schröder-Bernstein y el teorema
de Cantor se pueden enunciar del siguiente modo.
Teorema de Schröder-Bernstein .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ..
Sean κ y λ cardinales. Si κ λ y λ κ, entonces κ = λ.
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Teorema de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Para todo cardinal κ : κ < 2κ . En particular, @0 < 2@0 .
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
A[C B [ C, A C B C y AC BC .
Luego, se cumplen las desigualdades enunciadas.
Para la otra desigualdad, primero supongamos que µ = 0. Por hipótesis, κ 6= 0.
Luego, A 6= 0. Por tanto,
µκ = 0κ = jf f j f : A ! ∅ es funcióngj = j ∅ j = 0 µλ .
Ahora, supongamos que µ 6= 0. Luego, C 6= ∅. Fijemos c 2 C. Dada una función
f : A ! C, se extiende a la función F ( f ) : B ! C de un modo natural por
f (x) , si x 2 A.
F ( f ) (x) =
c, si x 2
/ A.
Corolario 4.16 (a) El conjunto de sucesiones infinitas de números naturales tiene cardi-
nalidad 2@0 .
(b) El conjunto de sucesiones infinitas de números reales tiene cardinalidad 2@0 .
El siguiente teorema es muy útil para determinar la cardinalidad de subconjuntos
de R.
Teorema 4.14 Sean A y B conjuntos tales que A B. Si j Aj = @0 y j Bj = 2@0 , entonces
jB A j = 2@0 .
A\C = ∅ y j A [ C j = j A j + j C j = @0 + @0 = @0 = j C j .
Por tanto,
j Bj = j B ( A [ C )j + j A [ C j = j( B A) C j + jC j = j B Aj .
Luego, j B A j = j B j = 2@0 .
Corolario 4.17 (a) El conjunto de todos los números irracionales tiene cardinalidad 2@0 .
(b) El conjunto de todos los números trascendentes tiene cardinalidad 2@0 .
4.4. Aritmética Cardinal 99
Los anteriores resultados muestran la importancia del número cardinal 2@0 . Luego,
no es sorprendente que el problema de determinar la magnitud de 2@0 fuese tan im-
portante para Cantor.
Por último, usaremos el lema de Zorn para mostrar que los números cardinales sat-
isfacen la ley de tricotomía. En 1915 Friedrich Hartogs probó que la ley de tricotomía
implica AC [Gi02, p. 551]. Por tanto, la siguiente proposición es equivalente a AC.
Proposición 4.17 (a) Sean A y B conjuntos. Entonces A BoB A.
(b) Sean κ y λ cardinales. Entonces κ λoλ κ
Prueba. Sin perdida de generalidad, podemos tomar A, B 6= ∅. Sea
F = fϕ : C ! B j C A y ϕ es inyectivag .
ordenada
S
por extensión. Es fácil verificar que si G F es una cadena, entonces
G 2 F . Por el lema de Zorn, existe una función f : C ! B que es maximal en F .
La maximalidad de f implica que C = A o que f es sobre. En caso contrario, ex-
isten a 2 A y b 2 B tales a 2 / dom ( f ) y b 2
/ ran ( f ) . Luego, la función inyectiva
f 0 = f [ f( a, b)g 2 F sería una extensión propia de f , absurdo.
Si C = A, entonces f : A ! B es inyectiva; esto es, A B. En caso contrario,
f : C ! B sería sobre. Por el teorema 4.7, existe f : B ! C A inyectiva. Luego,
B A.
2@0 = @ 1 . (CH)
Durante décadas, Cantor intentó infructuosamente probar CH. A pesar de estos fra-
casos, él siempre creyo en la validez de su conjetura.
100 4. Números Cardinales
prueba de Sierpiński se obtenía mediante una versión más refinada del teorema de
Hartogs. Para más detalles se puede consultar [Gi02] o [Sm96].
En 1938, Kurt Gödel probó que GCH y AC son consistentes con ZF. Veinticinco años
después, Paul Cohen logró mostrar que las negaciones de CH y de AC también son
consistentes con estos axiomas. Al tomarse juntos, estos dos resultados nos dicen
que la Hipótesis del Continuo y el Axioma de Elección son independientes de los
axiomas de Zermelo-Fraenkel.
102 4. Números Cardinales
5
Combinatoria Básica
El estudio formal de la combinatoria data al menos del texto Dissertatio de Arte Com-
binatoria de Gottfried Wilhelm Leibniz del siglo XVII. Sin embargo, en los últimos
cincuenta años, se ha visto un enorme crecimiento en esta área, impulsado por prob-
lemas y aplicaciones en muchos campos de estudio. Las aplicaciones de la combina-
toria surgen, por ejemplo, en la química, al estudiar arreglos de átomos en moléculas
y cristales; en la biología, en problemas sobre la estructura de genes y proteinas; en
la física, en problemas de mecánica estadística; en comunicaciones, en el diseño de
códigos para encriptar, comprimir y corregir errores, y, especialmente, en la ciencia
de computación, por ejemplo, en problemas de organización y ubicación de recursos
y en el análisis de la eficiencia de algoritmos.
En esencia, la combinatoria es el estudio de arreglos. Hay tres principales ramas
en este campo. La combinatoria enumerativa es la ciencia del conteo. Los problemas en
esta área involucran determinar el número de arreglos bajo ciertas restricciones par-
ticulares. La combinatoria existencial estudia problemas concernientes a la existencia
de arreglos que posean alguna propiedad específica. La combinatoria constructiva es
el diseño y el estudio de algoritmos para crear arreglos con propiedades especiales.
En este capítulo nos enfocaremos en desarrollar aspectos elementales de la combi-
natoria enumerativa de conjuntos finitos. Esto es, si S es el conjunto solución de un
algún problema combinatorio y S es finito, entonces podemos estar interesados en
hallar la cardinalidad de S o en enumerar los elementos de S.
104 5. Combinatoria Básica
6
Teoría de Grafos
106 6. Teoría de Grafos
Apéndice A
Construcción de los Números Reales
Las primeras dos construcciones del sistema numérico real (a partir de los racionales)
fueran dadas por Richard Dedekind y Karl Weierstrass. En su monografía, Con-
tinuidad y Números Irracionales (1872), Dedekind explicó que cuando él dio sus primeras
clases de cálculo en 1858, se sintio profundamente insatisfecho con los fundamentos
de la aritmética. Aunque reconocía la importancia de la intuición geométrica en un
primer curso de cálculo, consideraba que era pedagógicamente necesario reemplazar
estos conceptos intuitivos y construir una teoría satisfactoria de las magnitudes con-
tinuas que serviese como fundamento del cálculo. Dedekind señalaba que una car-
acterización precisa de la continuidad de la recta numérica había eludido por mu-
cho tiempo a los matemáticos e insistía que el problema era definir una “propiedad
precisa” a partir de la cual se pudiesen hacer deducciones válidas. Weierstrass, in-
dependiente del trabajo de Dedekind, comenzó en 1859 una construcción de los
números reales en sus clases en la Universidad de Berlín, siendo su principal mo-
tivación obtener un fundamento solido para desarrollar una teoría rigurosa de las
funciones complejas analíticas.
Aunque los cuadernos de Dedekind revelaban que él había descubierto su con-
strucción de los números irracionales en Noviembre de 1858, él no se preocupo por
publicar estos resultados hasta que supó que Georg Cantor (1872) ya había pub-
licado una construcción. El enfoque de Dedekind difiere radicalmente del prop-
uesto por Weierstrass, Cantor y Charles Méray; los últimos usaron sucesiones fun-
damentales (= de Cauchy) de números racionales para definir los números irra-
cionales, mientras que Dedekind retornó a Euclides para su inspiración, basandose
para su definición en la teoría de Eudoxo de los cocientes de magnitudes. La idea de
Dedekind es que un número irracional α se puede definir mediante un conjunto in-
finito de racionales; de hecho, el conjunto de todos los racionales menores que α. Para
evitar circularidad en esta definición, Dedekind introdujo el concepto de cortadura
para caracterizar este conjunto de racionales sin ninguna mención de α.
El enfoque de Weierstrass y Cantor se basa en la idea de que un número irra-
cional se puede definir dando una sucesión de números racionales que converja a él.
Así, uno puede tomar el conjunto de todas las sucesiones convergentes y dividirlo
por una relación de equivalencia (dos sucesiones son equivalentes si convergen al
mismo límite). Pero existe un problema: los conceptos de “convergente” y “equiva-
lente” tienen que ser definidos sin ninguna referencia al número real al cual la suce-
sión converge (puesto que dicho real aún no existe). Sin embargo, esto se puede
solucionar apelando a las sucesiones de Cauchy. Además, este enfoque cuenta con
la ventaja que se puede generalizar a otras áreas de las matemáticas, como por ejem-
plo, el análisis funcional, la teoría de la medida y la topología.
108 Apéndice A. Construcción de los Números Reales
Definiciones Básicas
Campos Ordenados
Recordemos que un campo hK, +, i es ordenado si existe un subconjunto no vacío
K+ de K que satisface las siguientes propiedades:
a 2 K+ _ a=0 _ a 2 K+ .
O2. Si a, b 2 K+ , entonces
a + b 2 K+ y a b 2 K+ .
a<b sii b a 2 K+ .
K+ = f a 2 K j 0 < a g y K = f a 2 K j a < 0g
E (r + s ) = E (r ) + E ( s ) , E (r s ) = E (r ) E ( s ) y r < s $ E (r ) < E ( s ) .
f (1) = 1 y f (n + 1) = f (n) + 1.
1
b=b n < b n e = n a.
n
Es obvio que (b) y (c) son equivalentes.
El valor absoluto de a 2 K se define por
a si a 0
j aj =
a si a < 0.
j a bj = j aj jbj y ja bj = jb aj .
3. Para todo a, M 2 K :
j aj M sii M a M.
j a + bj j aj + jbj y j aj jbj ja bj .
En particular, para a, b, c 2 K :
ja bj ja cj + jc bj .
f a n bn g ∞
n =1 , f an g∞
n =1 y fj an jg∞
n =1 .
En este caso, también se dice que f an g converge a a. Es fácil de probar que una
sucesión f an g sólo puede converger a un único elemento a 2 K, el cual se denomina
el límite de la sucesión f an g y se denota por
a = lim an .
n!∞
Prueba. (a) Sea e > 0. Por hipótesis, existe N tal que para todo n N se cumple
que
j a an j < 2e .
Por tanto, si m, n N se cumple que
e e
j an am j j an aj + j a am j < 2 + 2 = e.
j an j j am j j an am j < 1.
j jxj jyj j jx yj , 8 x, y 2 K.
j j aj j an j j ja an j < e.
j an j M1 y j bn j M2 , 8n 2 N.
j a n bn a m bm j j a n bn a m bn j + j a m bn a m bm j j an a m j j bn j + j bn bm j j a m j
e e
< M2 + M1 = e.
2M2 2M1
Luego, f an bn g es de Cauchy en K.
Recordemos que una sucesión f an g es nula si
j an am j < 2e , 8m, n N.
e
Particularizando para c = 2 y N en (A.1), existe m > N tal que j am j < 2e . Así, para
todo n N se cumple que
e e
j an j j an am j + j am j < 2 + 2 = e.
Lema A.2 Dada una sucesión de Cauchy f an g , se cumple una y sólo una de las siguientes
posibilidades:
0 < c < j an j , 8n N0 .
8 N1 9n / K+
N1 an 2 y 8 N2 9n /K
N2 an 2 (A.2)
/ K+ y a m 2
Por (A.2), podemos elegir n, m > N 0 tales que an 2 / K . Por tricotomía,
an 0 y am 0. Por tanto,
2c > j am an j = am an = j am j + j an j 2c > 0.
Absurdo.
De acuerdo a la proposición A.1 (a), toda sucesión convergente es una sucesión de
Cauchy. Un campo ordenado K se denomina completo si toda sucesión de Cauchy
f an g en K converge a un elemento a en K. El concepto de completez juega un papel
esencial en el análisis moderno. El siguiente teorema relaciona la noción de com-
pletez con la noción de continuidad.
Teorema A.3 ....................................................................
Si K es arquimediano y completo, entonces K satisface el axioma del supremo.
. .................................................................................. .
Prueba. Sea A un subconjunto no vacío de K acotado superiormente por b 2 K.
Fijemos n 2 N. Sea
Tn = fk 2 Z j 8 a 2 A ( n a k)g .
114 Apéndice A. Construcción de los Números Reales
kn 1 1 kn 1
an < < 4 (α q) y α < 4 (α q) .
n n n
Por tanto,
kn kn kn kn
an q = (α q) + ( an )+( α) (α q) ( an ) n α
n n n
3 1 1 1
> 4 (α q) 4 (α q) 4 (α q) = 2 (α q) > 0.
Luego, q < an , absurdo. Por consiguiente, α q. Podemos concluir que α = sup A.
El recíproco del teorema A.3 es cierto; esto es, un campo ordenado que satisfaga el
axioma del supremo también es arquimediano y completo. Pero la prueba de este hecho
involucra conceptos que están más alla de los objetivos de este apéndice.
115
Sucesiones de Cauchy en Q
Sabemos que Q es un campo ordenado y arquimediano que no satisface el axioma
del supremo. Por el teorema A.3, se concluye que Q no es completo. Esto significa
que podemos afirmar que existen sucesiones de Cauchy de números racionales que
no son convergentes en Q. Sin embargo, construiremos algunos ejemplos familiares
de sucesiones con tales características.
Ejemplo Consideremos la sucesión fSn g definida por
1 1 1 n 1
Sn = 1 + 1 + + +
2! 3!
+
n!
= ∑k=0 k! .
Veamos que fSn g es una sucesión de Cauchy en Q. Aplicando inducción, es fácil
probar que
2n < ( n + 1 ) ! 8n 2 N.
Ahora, notemos que para todo n, p se cumple que
1 1 1 1 1 1
Sn + p Sn = + + + + n +1 + +
( n + 1) ! ( n + 2) ! (n + p)! 2n 2 2n + p 1
1 1 1 2 1 1
= 1+ + + p 1 = n 1 < n 1.
2n 2 2 2 2p 2
Luego, dado e > 0, basta tomar N tal que 21 N < e. Si m, n N, podemos suponer
que m > n. Por tanto, existe p tal que m = n + p. Por tanto,
1 1
j Sm Sn j < < e.
2n 1 2N 1
/ Q, fSn g es una
donde e denota el número de Euler (cfr. [Ru76, p. 63-65]). Como e 2
sucesión de Cauchy de números racionales que no es convergente en Q. X
1 2 1 2
a = lim an = lim an+1 = 2 lim an + lim an = 2 a+ a .
n!∞ n +1! ∞
bn + 2
b1 = 1 y bn +1 = , 8n 2 N.
bn + 1
116 Apéndice A. Construcción de los Números Reales
De nuevo, aceptemos, sin prueba, que fbn g es una sucesión de Cauchy en Q. Supong-
amos que fbn g converge a b 2 Q. Por tanto,
lim bn + 2 b+2
b = lim bn = lim bn+1 = = .
n!∞ n +1! ∞ lim bn + 1 b+1
Así, b2 + b = b + 2. Luego, b2 = 2; absurdo. Por tanto, fbn g no converge en Q. X
Intuitivamente, la recta racional es una especie de queso Gruyère llena de huecos que
corresponderían a incontables números irracionales. Ahora, la idea es adicionar es-
tos puntos para obtener una recta real completa y continua. En términos algo más
precisos, la recta real R se obtiene añadiendo a la recta racional Q aquellos puntos
que corresponden a sucesiones de Cauchy de números racionales que no convergen
en Q. Así, toda sucesión f an g de Cauchy de números racionales determinaría un
número real de la siguiente forma:
– Si lim an = a 2 Q, entonces a se llama un número real “racional”.
– Si f an g no converge en Q, entonces f an g determina un número real
“irracional”.
La gran dificultad que surge aquí es que un número real dado puede ser deter-
minado por muchas sucesiones de Cauchy.
p n Como o vimos, las sucesiones f an g y fbn g
determinan a 2. Ahora, si r 2 Q, tanto r + n como la sucesión constante fr g con-
1
vergen a r y determinan el mismo número real racional r. Por tanto, a cada número
real se le asociar más de una sucesión de Cauchy. Por esta razón, un número real
será definido como una clase de equivalencia de sucesiones de Cauchy de números
racionales.
Construcción de R
Siguiendo [Bl03, p. 354], denotemos por CS el conjunto de todas las sucesiones de
Cauchy de números racionales. Dadas f an g , fbn g 2 CS , definimos por
f an g f bn g sii f an bn g es nula en Q sii 8e > 0 9 N 8n N [ j an j < e] .
Lema A.3 es una relación de equivalencia en CS .
Prueba. Supongamos que f an g f bn g y f bn g fcn g . Por tanto, f an bn g
y fbn cn g son sucesiones nulas en Q. Por la proposición A.4 (a), f an cn g =
f an bn g + fbn cn g también es nula. Esto es, f an g fcn g .
El lema A.3 justifica la siguiente definición:
R = CS / .
Por tanto, un número real α es una clase de equivalencia de sucesiones de Cauchy de
números racionales.
Aritmética en R
Sean α = [f an gn ] y β = [fbn gn ] números reales. Definimos
α + β = [f an + bn gn ] y α β = [f an bn gn ]
117
f a n + bn g fr n + s n g y f a n bn g fr n s n g .
f( an + bn ) (rn + sn )g = f( an r n ) + ( bn sn )g
a n bn r n s n = ( a n bn r n bn ) + ( r n bn rn sn ) = ( an r n ) bn + ( bn
sn ) rn .
(A.4)
Por la proposición A.1 (b), fbn g y frn g son sucesiones acotadas. Así, por la proposi-
ción A.4 (b), f( an rn ) bn g y f(bn sn ) rn g son sucesiones nulas. Por (A.4), f an bn rn sn g
también es una sucesión nula. Es decir, f an bn g frn sn g .
Leyes Asociativas α + ( β + γ) = (α + β) + γ α ( β γ) = (α β) γ.
Leyes Conmutativas α+β = β+α α β = β α.
Leyes Distributivas α ( β + γ) = α β + α γ (α + β) γ = α γ + β γ
α + 0R = α y α 1R = α.
Dado α = f an g∞
n=1 2 R, definimos el inverso aditivo de α por
α = f an g∞
n =1 .
1
an = 1, si 1 n < N0 , y an = , si n N0 . (A.6)
an
1
Por (A.5), se tiene que para todo n N0 : 0 < j an j
< 1c . Ahora, dado e > 0, existe N1
tal que para todo n, m N1 se cumple que
j an am j < c2 e.
1 1 j am an j c2 e
j an am j = = < = e.
an am j am j j an j c c
an , si 1 n < N0 .
an an =
1, si n N0 .
hR, +, , 0R , 1R i es un campo.
Orden en R
Dados los números reales α = [f an gn ] y β = [fbn gn ] , decimos que α < β si y sólo si
para cualquier par de sucesiones f an g en α y fbn g en β se cumple que
α 2 R+ _ α = 0R _ α 2 R+ .
(b) Si α, β 2 R+ , entonces
α + β 2 R+ y α β 2 R+ .
Prueba. Notemos que la ley de tricotomía (a) se sigue del lema A.2.
(b) Si α = [f an g] y β = [fbn g] están en R+ , entonces existen c, d 2 Q+ y N0 , N1 2 N
tales que
0 < c < an , 8n N0 , y 0 < d < bn , 8n N1 .
Tomando N = max f N0 , N1 g , tenemos que para todo n N:
α = [f an g] < [fkg] = k.
Así, R es un campo arquimediano.
Dado que R es un campo ordenado, podemos definir el valor absoluto para todo
α2R:
α, si α 0R .
jαj =
α, si α < 0R .
Como consecuencia de lo visto en la anterior sección (pág. 109), el valor absoluto j j
en R posee las propiedades usuales.
121
Por el lema A.6, podemos cambiar el “radio” real δ por un “radio” racional e. Es
decir,
Entonces la sucesión f an g∞
n=1 converge a α en R.
α an < e. (A.7)
De nuevo, para todo m N, se tiene que
e e
( an am ) e j an am j e< 2 e= 2.
e<α an . (A.8)
De (A.7) y (A.8), se tiene que
jα an j < e, 8n N.
Esto es, lim an = α en R.
n!∞
122 Apéndice A. Construcción de los Números Reales
α < r < β.
. .................................................................................. .
Prueba. Dados α < β, sea γ = 12 (α + β) . Es fácil de verificar que α < γ < β. Como
γ 2 R, γ = [fcn g] , donde fcn g es una sucesión de Cauchy en Q. Por la proposición
A.9,
lim cn = γ en R.
n!∞
1
Por tanto, para δ = 2 (β γ) > 0R , existe N tal que
lim an,k = αn en R.
k!∞
∞
Así, para 1
n 2 Q+ , podemos elegir un número racional an,kn de la sucesión an,k k =1
tal que
αn an,kn < n1 .
Sea An = an,kn , para todo n 2 N. Veamos que f An g∞
n=1 2 CS .
Como fαn g∞
n=1 es una sucesión en R, para e 2 Q , existe N0 tal que
+
Por tanto,
e < An Am < e, 8m, n N1 .
Como An , Am y e son números racionales, por la proposición A.8
Ahora, sea α = f An g∞
n=1 2 R. Veamos que f αn g converge a α en R.
En efecto, sea e 2 Q+ . Por la proposición A.9, la sucesión An converge a α en R.
Por tanto, existe N2 tq
An α < 2e , 8n N2 .
1 e
Tomemos un número natural N3 tal que N3 N2 y N3 < 2. Por tanto, para todo
n N3 se cumple que
1 e 1 e e e
jαn αj αn An + An α < n + 2 N3 + 2 < 2 + 2 = e.
Primera Prueba
Primero notemos que no hay perdida de generalidad si suponemos que A \ B = ∅.
(ejercicio: explique por qué). Por tanto, fijemos conjuntos disjuntos A, B y funciones
inyectivas
f :A!B y g : B ! A.
Ahora, definamos J : A [ B ! A [ B por
f (x) , si x 2 A.
J (x) =
g (x) , si x 2 B.
Se puede verificar fácilmente (ejercicio) que J es una función bien definida, inyectiva y
que mapea A en B y a B en A.
Ex = Ez = f J p (z) j p 2 Ng .
f J p ( z ) j p 2 Ng Ez = Ex .
Sea yEz. Luego, existen m, n 2 N tales que J m (z) = J n (y) . Tenemos que m n,
pues, en caso contrario, n m 1 2 N y z = J J n m 1 (y) , lo cual contradice que
z es un origen. Por tanto, m n 2 N y y = J m n (z) . Así,
Ex = Ez f J p ( z ) j p 2 Ng .
126 Apéndice B. Pruebas alternativas del Teorema de Schröder-Bernstein
Ex = f J p ( b ) j p 2 Ng .
x 0 Eh x 0 = h ( x ) 2 Ex ,
g 1
(x) = h (x) = h x0 = g 1
x0 .
f (x) = h (x) = h x0 = f x0 .
h ( x ) = f ( x ) = y.
Segunda prueba
A continuación bosquejamos otra prueba del teorema de Schröder-Bernstein [Hr99],
[Sm96]. Esta prueba usa un lema notable debido a Knaster y Tarski. De hecho, usa
un caso especial (el lema se puede generalizar a retículos completos). Primero, nece-
sitamos algo de terminología.
Lema del Punto Fijo Toda función monótona tiene un punto fijo.
Bosquejo. Sea F : P ( A) ! P ( A) monótona. Tome los conjuntos
\
A = fX A j F (X) X g 6= ∅ y X= A.
Se tiene que
X 2 A, F X 2A y F X = X.
Por tanto, F tiene un punto fijo.
F ( X ) = (C D) [ ϕ (X ) .
S = (C D ) [ ϕ (S) .
ϕ (x) , si x 2 S.
ψ (x) =
x, si x 2
/ S.
Por tanto, C D.
Para finalizar, notemos que
g ( f ( A)) g ( B) A.
A g ( f ( A)) y B g ( B) .
Tercera prueba
Primero necesitamos un lema debido a Banach [Dr96, p. 43].
Lema B.3 Si f : A ! B y g : B ! A son funciones inyectivas, entonces existe S A tal
que
g ( B f (S)) = A S.
Prueba. Sean ϕ = g f : A! AyT= A g ( B) . Ahora, tomemos
S = T [ ϕ ( T ) [ ϕ ( ϕ ( T )) [
y notemos que S = T [ ϕ (S) . Dado que g es inyectiva, se cumple que para todo
y2B:
y2/ f (S) sii g (y) 2
/ ( g f ) (S) = ϕ (S) .
Dado que g (y) 2
/ T, esto implica que g (y) 2
/ T [ ϕ (S) = S. Así para todo y 2 B :
Definamos h : A ! B por
f (x) , si x 2 S.
h (x) = 1 (x) ,
g si x 2
/ S.
[Ad95] Adler, A. & Coury, J. The Theory of Numbers. A Text and a Source of Problems.
Belmont: Jones & Bartlett, 1995.
[Be03] Bedoya, L. Peano, Lawvere, Peirce: Tres Axiomatizaciones de los Números Nat-
urales. Tesis. Ibague: Universidad de Tolima, 2003.
[Bl03] Blöch, E. Proofs and Fundamentals. A First Course in Abstract Mathematics.
Boston: Birkhaüser, 2003.
[Bu07] Burton, D. Elementary Number Theory. New York: McGraw Hill, 2007.
[Ca55] Cantor, G. Contributions to the Founding of the Theory of Transfinite Numbers.
New York: Dover, 1955.
[Dr96] Drake, F. R. & Singh, D. Intermediate Set Theory. Chichester: John Wiley &
Sons, 1996.
[En77] Enderton, H. Elements of Set Theory. New York: Academic Press, 1977.
[En98] Engel, A. Problem-Solving Strategies. New York: Springer-Verlag, 1998.
[Ep95] Epp, S. Discrete Mathematics with Applications. Belmont: Brooks/Cole, 1995.
[Fe64] Feferman, S. The Number Systems. Foundations of Algebra and Analysis. Read-
ing: Addison-Wesley, 1964.
[Gi02] Gillman, L. Two Classical Surprises concerning the Axiom of Choice and
the Continuum Hypothesis. American Mathematical Monthly. 109 (2002), 544-
553.
[Go96] Goldrei, D. Classical Set Theory. A guided independent study. London, Chap-
man & Hall, 1996.
[Go98] Goodaire, E. & Parmenter, M. Discrete Mathematics with Graph Theory. Up-
per Saddle River: Prentice-Hall, 1998.
[Gr96] Grassman, W. K. & Tremblay, J. Logic and Discrete Mathematics. A Computer
Science Perspective. Upper Saddle River: Prentice-Hall, 1996.
[Gr00] Grattan-Guinness, I. The Search for Mathematical Roots, 1870 1940. Prince-
ton: Princeton UP, 2000.
[He86] Herstein, I. N. Abstract Algebra. New York: Macmillan, 1990.
[Hr99] Hrbacek, K. & Jech, T. Introduction to Set Theory. New York: Marcel Dekker,
1999.
130 Referencias
[Je03] Jech, T. Set Theory. Third Millennium Edition (revised and expanded). Berlin:
Springer-Verlag, 2003.