I

t
a
m
Apuntes de An alisis
C esar L. Garca y H ector E. Lomel
Departamento de Matem aticas
Instituto Tecnol ogico Aut onomo de M exico
25 de enero de 2012
I
t
a
m
Captulo 1
Conceptos B asicos
1.1. Conjuntos
La denici on formal de conjunto es bastante t ecnica y delicada. Los grandes pensadores de
la Matem atica y de la L ogica, partiendo de un concepto intuitivo de conjunto, han construido
todo un edicio te orico que, si bien es necesario para fundamentar s olidamente a la matem atica,
est a lleno de conictos l ogico-los ocos de los cuales no nos ocuparemos. Para una introduc-
ci on m as detallada a la teora de conjuntos y l ogica, el lector interesado, podra consultar [9] o
bien el cl asico [6]. Para entender un poco de la Historia de la L ogica y la Teora de Conjuntos,
recomendamos consultar [14].
Para nuestros nes bastar a que el lector use la siguiente noci on intuitiva de conjunto: una
colecci on de objetos, denidos quiz as por alguna propiedad. Como una suposici on general, con-
sideraremos que en cada problema existe un conjunto universal que contiene a todos los conjuntos
relevantes al problema. Con frecuencia, denotaremos a este conjunto universal con la letra X. Di-
remos que todos los conjuntos son subconjuntos del conjunto universal. Posteriormente daremos
una denici on m as formal del hecho de que un conjunto sea subconjunto de otro. Veamos algunos
ejemplos de conjuntos:
a) El conjunto de guras del p oker , , , .
b) El conjunto de n umeros naturales N = 1, 2, 3, 4, . . ..
c) El conjunto de n umeros enteros Z = . . . , 4, 3, 2, 1, 0, 1, 2, 3, 4, . . ..
d) El conjunto de primos p N : p es un n umero primo = 2, 3, 5, 7, 11, 13, . . ..
I
t
a
m
1.1 CONJUNTOS 2
En la l ogica matem atica, existen cierto tipo de armaciones que dependen de los distintos
elementos del conjunto universal. Esto es, existen armaciones de la forma P(x) que pueden ser
verdaderas o falsas seg un el elemento x que se tenga. A este tipo de armaciones se les llama
predicados o propiedades de los elementos de X.
Es conocido que se pueden denir conjunto a partir de predicados. Si el conjunto esta denido
por alguna propiedad, digamos P(x), la notaci on ser a: x : P(x) Leeremos en tal caso: el
conjunto de las xs tales que P(x).
A los objetos que constituyen un conjunto los llamaremos elementos del conjunto y la relaci on
de pertenencia la denotamos en la forma usual: si A es un conjunto y x es un elemento de A,
escribiremos x A. Del mismo modo, si x no es un elemento del conjunto A, escribiremos
x / A. Un conjunto muy importante es el conjunto sin elementos, llamado el conjunto vaco. El
conjunto vaco y es denotado por el smbolo .
Supongamos que tenemos un conjunto X. En dicho conjunto, la propiedad P(x) puede ser
verdadera o falsa, seg un el elemento x X que se escoja. Para la propiedad en cuesti on, deni-
remos un nuevo conjunto. Dicho conjunto, que llamaremos A, consiste de todos los elementos de
X que satisfacen la propiedad P(x). Esto es,
A = x X : P(x) .
Claramente pueden suceder varias cosas: podemos tener A = , A = X o A ,= . Algunas de
estas situaciones son de especial inter es y nos ayudar an introducir un par de conceptos nuevos.
Denici on 1.1.1 (Cuanticador de existencia) Diremos que existe x X tal que P(x) es ver-
dadera si A ,= . Esto se escribir a tambi en como
xP(x) (x X) P(x) A ,= .
Denici on 1.1.2 (Cuanticador universal) Diremos que todos los elementos x X cumplen
que P(x) es verdadera si A = X. Esto se escribir a tambi en como
xP(x) (x X) P(x) A = X.
En muchas ocasiones ser a necesario negar armaciones que contienen cuanticadores. Es
f acil ver que esto se hace de la siguiente manera: se niega la propiedad P(x) y se cambia el
cuanticador. Es decir,
xP(x) xP(x), xP(x) xP(x).
I
t
a
m
1.1 CONJUNTOS 3
Frecuentemente demostraremos armaciones de la forma
xP(x).
Para hacer esto, se utiliza el llamado principio de generalizaci on, que consiste en tomar un ele-
mento arbitrario de X y demostrar la propiedad P(x) para ese elemento. El elemento arbitrario
es indistinguible de los dem as y la misma demostraci on aplicara para cualquier otro.
Pensemos, por ejemplo, que X es un conjunto con N elementos. Es decir,
X = a
1
, a
2
, . . . , a
N
.
En este contexto, si queremos demostrar que xP(x), podemos intentar demostrar por separado
para cada uno de los N elementos de X; esto es, tendramos que demostrar N armaciones
distintas:
P(a
1
), P(a
2
), . . . , P(a
N
).
Una menor manera de hacer esto es tomar un elemento a X sin decir cual y encontrar una
demostraci on que sirva para a. De este modo, como a puede ser sustituido por cualquier elemento
de X, se tiene una demostraci on general.
Conclumos que, demostrar proposiciones de la formaxP(x), donde P(x) es una armaci on
que puede ser verdadera o falsa, lo que se hace es tomar un elemento arbitrario x del conjunto X
y se demostrar que ese elemento cumple con P(x). Por tanto, una demostraci on que utiliza esta
t ecnica iniciar a con la frase: Sea x X arbitrario.
Dado un conjunto A, se puede cuanticar utilizando solo los elementos de A. Tomaremos
como una denici on lo siguiente.
Denici on 1.1.3 Sea A un conjunto y P(x) un predicado o propiedad denida en el conjunto
universal X. Diremos que la propiedad P(x) se cumple para todo x A si, para todo x, se
cumple la implicaci on x A P(x). Esto se denota de la siguiente manera.
(x A) P(x) x(x A P(x))
Diremos adem as que la propiedad P(x) se cumple para alg un x A si, existe x tal que x A y
P(x). Esto se denota de la siguiente manera.
(x A) P(x) x(x A P(x))
La relaci on de pertenencia nos permite comparar conjuntos.
I
t
a
m
1.1 CONJUNTOS 4
Denici on 1.1.4 si A y B son conjuntos diremos que A es un subconjunto de B si cada elemento
del conjunto A es un elemento del conjunto B. Esto se denotar a como A B y se lee A es un
subconjunto de B (o bien, B contiene a A). En t erminos de cuanticadores
A B (x A) x B.
Notemos que, como ambos conjuntos A y B son subconjuntos de conjunto universal X, se
puede ver que
A B x(x A x B) .
Esto sugiere una manera de demostrar que un conjunto est a contenido en otro. Supongamos que
deseamos demostrar A B, donde A y B son conjuntos del conjunto universal X. La idea es
tomar un elemento arbitrario x X y demostrar que
x A x B.
Hay dos posibilidades: x A o x / A. Si x / A, la implicaci on anterior es autom aticamente
verdadera. Basta, por tanto, considerar s olo el caso en ele que x A.
Otras observaciones interesantes son que cada conjunto es subconjunto de si mismo y que
el conjunto vaco es subconjunto de cualquier conjunto. La negaci on: A no est a contenido en B
(que quiere decir esto?) ser a denotada por A B y cuando A est e contenido en B pero existan
elementos de B que no est an en A (i.e., A es un subconjunto propio de B) escribiremos A B.
Al poder comparar conjuntos, tenemos una manera de decidir si dos conjuntos son iguales o no.
Denici on 1.1.5 Si A y B son conjuntos, decimos que A = B si y s olo si A B y B A.
Otro ejemplo interesante de conjunto, es el siguiente.
Denici on 1.1.6 Si X es un conjunto denimos el conjunto potencia de X, denotado por 2
X
o
T(X), como: T(X) = A : A es conjunto y A X.
Por ejemplo si X es un conjunto con tres elementos digamos X = a, b, c, entonces
T(X) = , a, b, c, a, b, a, c, b, c, a, b, c.
Denici on 1.1.7 (Operaciones b asicas de conjuntos) Sea X un conjunto y sean A y B subcon-
juntos de X. Entonces se dene:
a) A B = x X : x A y x B (intersecci on de A con B)
I
t
a
m
1.1 CONJUNTOS 5
b) A B = x X : x A o x B (uni on de A con B)
c) A B = x X : x A y x / B (complemento de B en A, o diferencia de A menos B)
d) A
c
= x X : x / A (complemento de A)
e) AB = x X : x A B, x / A B = (A B) (A B) (diferencia sim etrica
entre A y B).
Algunas propiedades sencillas de las operaciones de conjuntos se listan en la siguiente propo-
sici on, se deja al lector comprobarlas como una buena pr actica de la denici on 1.1.5. En algunos
incisos es util hacer una representaci on gr aca usando los famosos diagramas de Venn
1
, que se-
guramente el lector ya conoce. Como una observaci on, se puede ver que siempre se cumple
A
c
= X A,
A B = A B
c
,
AB = (A B) (B A).
Proposici on 1.1.8 Sea X un conjunto y A, B, C subconjuntos de X entonces
a) A A = A, A A = A (idempotencia)
b) A B = B A, A B = B A (conmutatividad)
c) A (B C) = (A B) C, A (B C) = (A B) C (asociatividad)
d) A (B C) = (A B) (A C), A (B C) = (A B) (A C) (distributividad)
e) AB = (A B) (A B) = (A B) (B A)
f) X (A B) = (X A) (X B), X (A B) = (X A) (X B) (Leyes de De
Morgan
2
)
Las leyes de De Morgan tambi en se pueden escribir de una manera m as compacta como
(A B)
c
= A
c
B
c
,
(A B)
c
= A
c
B
c
.
1
John Venn, 1834-1923.
2
Augustus De Morgan, 1806-1871.
I
t
a
m
1.1 CONJUNTOS 6
Consideremos un conjunto X. Supongamos que tenemos un conjunto cualquiera J. Utilizare-
mos al conjunto J como el conjunto de etiquetas para distinguir distintos subconjuntos de X.
Para cada j J, tenemos un subconjunto A
j
X. Frecuentemente se utiliza J = N, el conjunto
de n umeros naturales. Una familia es, de hecho, un subconjunto T 2
X
, que utiliza las etiquetas
de J. Esto se escribir a como
T = A
j
X : j J
Notemos que, intuitivamente, pensaramos que tenemos a lo m as tantos conjuntos As como ele-
mentos tiene el conjunto de ndices J.
Las operaciones de conjuntos se pueden extender a estas familias arbitrarias de conjuntos. Si
J denota un conjunto de ndices y T = A
j
X : j J es una familia de subconjuntos de un
conjunto X entonces
_
jJ
A
j
= x X : x A
j
para alguna j J,

jJ
A
j
= x X : x A
j
para toda j J.
Usando los cuanticadores l ogicos, las operaciones de uni on e intersecci on se pueden escribir del
siguiente modo
_
jJ
A
j
= x X : (j J) x A
j
,

jJ
A
j
= x X : (j J) x A
j
.
En el ejercicio 1.3 se pide demostrar una versi on general de las leyes de De Morgan a partir de la
denici on anterior de uni on e intersecci on arbitrarias de una familia de conjuntos.
Concluimos esta secci on con una operaci on m as de conjuntos, el producto cartesiano:
Denici on 1.1.9 Si Ay B son conjuntos, el producto cartesiano de Acon B, AB, es el conjunto
de parejas ordenadas (a, b) : a A, b B, d onde cada pareja ordenada (a, b) se dene a su
vez como el conjunto a, a, b.
La denici on conjuntista de pareja ordenada dada arriba permite, entre otras cosas, mostrar
que dos parejas ordenadas (a, b) y (c, d) son iguales si y s olo si a = c y b = d. Algunas propieda-
des utiles del producto cartesiano relacionadas con las operaciones b asicas de conjuntos se listan
en los ejercicios.
I
t
a
m
1.2 FUNCIONES 7
EJERCICIOS
1.1 Si A, B son conjuntos cualesquiera demostrar que
a) A B = A (A B).
b) (A B) (B A) = (A B) (A B).
1.2 Demostrar que A B si y s olo si A B
c
= .
1.3 Sea X un conjunto cualquiera y un conjunto de ndices. Si A
j
es un subconjunto de X
para cada j , demuestre que,
_

jJ
A
j
_
c
=
_
jJ
A
c
j
,
y
_
_
jJ
A
j
_
c
=

jJ
A
c
j
.
1.4 Sea P un predicado denido en un conjunto universal X. Demostrar lo siguiente.
a) Si A = entonces la armaci on (x A) P(x) siempre es verdadera.
b) Si A = entonces la armaci on (x A) P(x) siempre es falsa.
1.5 Demostrar las siguientes f ormulas.
(x A) P(x) (x A) P(x),
(x A) P(x) (x A) P(x).
1.6 Si B
1
, B
2
son subconjuntos de B tales que B = B
1
B
2
, compruebe que A B = (A
B
1
) (AB
2
).
1.2. Funciones
Sin duda una de las nociones m as importantes de las Matem aticas y, en general, del pensa-
miento humano, es el concepto de funci on. La misma denici on intuitiva, como la de una regla de
correspondencia entre dos conjuntos, digamos, A y B, que asigna a cada elemento del conjunto A
un y s olo un elemento del conjunto B, ofrece inmediatamente una lista innumerable de ejemplos.
La denici on formal de funci on reza como sigue:
I
t
a
m
1.2 FUNCIONES 8
Denici on 1.2.1 Un subconjunto f AB es una funci on si siempre que
a) Si (a, b) f y (a, b

) f entonces b = b

.
b) Dado a A existe b B tal que (a, b) f.
Alternativamente, se dice que f es una funci on de Aen B si f es una regla de correspondencia
que asocia a cada elemento de A uno y s olo uno de B. Usaremos la notaci on y la terminologa
usual para funciones, f : A B, denotar a a la funci on f de A en B. Tradicionalmente se denota
f(a) al elemento de B asociado por f al elemento a. Es decir f(a) es el unico elemento tal que
(a, f(a)) f.
A f se le llama la regla de correspondencia de la funci on, mientras que a A se le llama el
dominio y a B el codominio de la funci on respectivamente. Note que, a fortiori para cada a en A
debe haber un f(a) mientras que si b est a en B entonces b no necesariamente es de la forma f(a)
para alguna a en A.
A continuaci on daremos algunos ejemplos de funciones.
Ejemplo 1.2.2 Sea f : a, b, c a, b, c, dada por f(a) = a, f(b) = c, f(c) = c. Aunque el
dominio sea un conjunto bastante simple, f es una funci on. Por otro lado, g : a, b, c a, b, c,
dada por g(a) = a, g(a) = b, g(b) = c, g(c) = b no es una funci on pues al elemento a se le asocian
dos elementos del codominio
Ejemplo 1.2.3 Si A y B son conjuntos y b
0
B, f : A B dada por f(a) = b
0
para todo
a A es una funci on, la llamada funci on constante.
Ejemplo 1.2.4 Si A es un conjunto, id
A
: A A, y denimos id
A
(a) = a para todo a A,
obtenemos la llamada funci on identidad en A.
Ejemplo 1.2.5 f : A T(A), f(a) = a es una funci on.
Ciertamente las funciones que hallamos en nuestros cursos de c alculo (polinomios, funciones
trigonom etricas, logaritmos, exponenciales, etc.) son ejemplos de funciones: las funciones reales
de variable real. Estas funciones son el principal objeto de estudio del An alisis.
Denici on 1.2.6 Sea f : A B una funci on
I
t
a
m
1.2 FUNCIONES 9
a) Al subconjunto de B,
Im(f) = b B : b = f(a) para alguna a A,
se le llama la imagen de A bajo f o simplemente el rango de f.
b) Si C A entonces
f(C) = f(c) : c C
es la imagen directa de C bajo f, o simplemente imagen de C.
c) Sea D B. Al subconjunto de A dado por
f
1
(D) = a A : f(a) D,
se la llama la imagen inversa de D bajo f.
La denici on de imagen se ilustra en la gura 1.1. En ocasiones se abusa de la notaci on y se
escribe f
1
(b) = f
1
(b). La notaci on para la imagen inversa es un poco desafortunada porque
puede confundirse con la funci on inversa de f o bien, pensar que f
1
(b) es 1/f(b). Aqu f
1
(D)
siempre denotar a un subconjunto del dominio de la funci on, como ilustran los siguientes ejemplos.
Ejemplo 1.2.7 Sea f : [1, 1] R la funci on dada por f(x) = x
2
, entonces el rango de f es
f([1, 1]) = f([0, 1]) = [0, 1]. Adem as se tiene f
1
(1/4) = 1/2, 1/2, f
1
(0) = 0,
f
1
((, 1)) = .
Ejemplo 1.2.8 Sea g : R R
2
, g(t) = (cos t, sin t). Entonces,
Im(g) = (cos t, sin t) R
2
: t R .
Geom etricamente, este conjunto es la circunferencia de radio 1 en R
2
.
Ejemplo 1.2.9 En el ejemplo del inciso anterior g
1
((0, 1)) = /2 + 2n : n Z y si S es
el arco superior de la circunferencia que une los puntos (1, 0) y (1, 0), entonces
g
1
(S) = [3, 4] [, 2] [0, ] [2, 3]
Denici on 1.2.10 Sea f : A B una funci on. Diremos que
a) f es inyectiva o uno a uno si siempre que a, a

en A son tales que a ,= a

entonces f(a) ,=
f(a

); es decir, puntos distintos del dominio A van, bajo la funci on f, a puntos distintos del
codominio B.
I
t
a
m
1.2 FUNCIONES 10
A
B
f
Im(f)
C
f(C)
Figura 1.1: Dada una funci on f : A B, el conjunto rango o imagen Im(f) no tiene que ser
igual al codominio. Para cualquier C A, se tiene que la imagen de C bajo f est a contenida en
Im(f).
b) f es suprayectiva o sobre si Im(f) = B. Equivalentemente, para todo b B existe a A
tal que f(a) = b.
c) f es biyectiva si es inyectiva y suprayectiva.
d) si f : A B y g : B C son funciones entonces la composici on de f seguida de g es la
funci on g f : A C dada por (g f)(a) = g(f(a)).
Recordemos que la funci on identidad en un conjunto A es la funci on id
A
: A A tal que
id
A
(x) = x. Tenemos la siguiente proposici on que se da sin demostraci on.
Proposici on 1.2.11 Sea f : A B una funci on biyectiva. Entonces existe una unica funci on
g : B A tal que
a) f g = id
B
,
b) g f = id
A
.
A esta funci on se le llama la funci on inversa de f y se denota por f
1
= g.
En el ejercicio 1.16 se pide demostrar que tanto la funci on identidad como la funci on inversa,
son funciones biyectivas.
I
t
a
m
1.2 FUNCIONES 11
EJERCICIOS
1.7 Sea g : X Y una funci on cualquiera. Sea C X un conjunto no vaco. Demostrar que
g(C) ,= .
1.8 Considerar f una funci on cualquiera. Determine si las siguientes armaciones son falsas
o verdaderas (d e un contraejemplo o una demostraci on, seg un sea el caso, para justicar sus
aseveraciones). En cada caso, A y B son subconjuntos del dominio de f.
a) f(A B) = f(A) f(B),
b) f(A B) = f(A) f(B),
c) f(A B) = f(A) f(B),
d) f(AB) = f(A) f(B).
e) Existe una funci on g tal que (gf)(x) = x para toda x Dom(f) si y s olo si f es inyectiva.
1.9 Sea f : X Y . Demostrar las siguientes propiedades de la imagen inversa.
a) Si A Y entonces f
1
(A
c
) = (f
1
(A))
c
.
b) Sea D Y . Entonces f
1
(D) = si y s olo si D Im(f) = .
c) Sea D Y . Entonces f
1
(D) = X si y s olo si Im(f) D.
1.10 Sea f : X Y una funci on y un conjunto de ndices. Si A
j
es un subconjunto de Y
para cada j , demuestre que se cumple
f
1
_
_
jJ
A
j
_
=
_
jJ
f
1
(A
j
) ,
y
f
1
_

jJ
A
j
_
=

jJ
f
1
(A
j
) .
1.11 Sea f : R R la funci on dada por f(x) = x
2
1. Sea = (0, ). Para cada j se
dene el conjunto A
j
= [0, j).
a) Calcular, para cada j , el conjunto f
1
(A
j
).
I
t
a
m
1.3 LOS N UMEROS NATURALES 12
b) Encontrar

jJ
A
j
y

jJ
f
1
(A
j
).
c) Vericar que se cumple f
1
_

jJ
A
j
_
=

jJ
f
1
(A
j
).
1.12 Calcule f
1
(0) para f : R R, f(t) = t
6
14t
4
+49t
2
36 y T
1
(0) para T : R
2
R
2
,
T(x, y) =
1

2
(x +y, x +y).
1.13 Si f : A B es tal que para todo b B, f
1
(b) tiene a lo m as un punto ser a f
inyectiva?
1.14 Sean f : A B y g : B C dos funciones biyectivas. Explicar y demostrar la f ormula
(g f)
1
= f
1
g
1
.
1.15 Demuestre que si f : X Y es una funci on inyectiva y A X entonces se cumple
f
1
(f(A)) = A. Demuestre tambi en que si f es suprayectiva y B Y entonces f(f
1
(B)) =
B Son ciertas las proposiciones si se omiten las hip otesis de inyectividad y suprayectividad
respectivamente?
1.16 Demostrar que la funci on identidad y la funci on inversa (denida en la proposici on 1.2.11)
son biyectivas.
1.17 Sea f : N N N la funci on dada por f(m, n) = 2
m1
(2n 1). Demostrar que f es
biyectiva. Describir los siguientes conjuntos: f
1
(2N), f
1
(2N1), f
1
(7N).
1.3. Los n umeros naturales
Quiz as el conjunto de n umeros con el que estamos m as familiarizados es el conjunto de los
n umeros naturales
N = 1, 2, 3, 4, 5, 6, 7, . . ..
A n de cuentas, este es el conjunto de n umeros que usamos para contar. Los n umeros naturales
se denen en forma axiom atica va los llamados axiomas de Peano
3
. Aqu no presentaremos
con detalle la axiomatizaci on de Peano y asumiremos sin mayor justicaci on que tenemos una
operaci on de suma (+) entre naturales y la relaci on de orden usual (). Sin embargo, uno de
los axiomas de Peano que si debemos considerar es el archiconocido Principio de Inducci on
Matem atica.
3
Giuseppe Peano, 1858-1932.
I
t
a
m
1.3 LOS N UMEROS NATURALES 13
El lector seguramente ha tenido oportunidad de hacer pruebas por inducci on y recordar a que
este es el argumento que se usa por excelencia cuando uno quiere demostrar que cierta f ormula o
propiedad se satisface para todos los n umeros naturales. El enunciado del axioma o principio de
inducci on es como sigue:
Axioma 1.3.1 (Primer Principio de Inducci on o axioma de Peano) Sea S un subconjunto de
N tal que:
a) 1 S,
b) si k S entonces k + 1 S.
Entonces S = N.
Las demostraciones por inducci on son muy utiles en situaciones en donde se requiere demos-
trar que una propiedad P(n) se cumple para todo n umero natural n N. Esto es, con frecuencia
se va a demostrar proposiciones de la forma
(n N) P(n).
La idea es recordar la denici on de cuanticador y utilizar el siguiente conjunto.
S = n N : P(n)
Entonces tenemos la siguiente equivalencia:
(n N) P(n) S = N.
Notemos que esta es justo la conclusi on del primer principio de inducci on 1.3.1. De hecho, tene-
mos las siguientes equivalencias
S = N (n N) P(n)
1 S P(1)
n S P(n)
n + 1 S P(n + 1)
n S = n + 1 S P(n) = P(n + 1)
I
t
a
m
1.3 LOS N UMEROS NATURALES 14
Ejemplo 1.3.2 El ejemplo cl asico para ilustrar el uso del principio de inducci on es la f ormula de
Gauss
4
para calcular la suma de los primeros m n umeros naturales:
1 + 2 + 3 + +m1 +m =
m(m+ 1)
2
.
En efecto, sea
S =
_
m N : 1 + 2 + +m =
m(m + 1)
2
_
.
Claramente 1 S porque 1 =
1(2)
2
. Si suponemos que k S, es decir que, 1+2+ +k =
k(k+1)
2
,
entonces debemos probar que k + 1 S. Pero
1 + 2 + +k + (k + 1) =
k(k + 1)
2
+ (k + 1) =
(k + 1)(k + 2)
2
.
Luego, k + 1 S y por lo tanto S = N.
No siempre es necesario demostrar una propiedad de los n umeros naturales por inducci on: la
f ormula de Gauss tambi en puede demostrarse haciendo
T = 1 + 2 + +n,
T = n + (n 1) + + 1,
sumando t ermino a t ermino, obtenemos n sumandos iguales a n + 1. Esto es,
2T = (n + 1) + (n + 1) + + (n + 1)
. .
n veces
Luego T = n(n + 1)/2. La historia cuenta que este fue el argumento que descubri o Gauss a los
siete a nos cuando fue invitado por su maestro a sumar los primeros 100 n umeros naturales.
Ejemplo 1.3.3 (Desigualdad de Bernoulli)
5
Si x > 1 entonces
(1 +x)
n
1 +nx para todo n N.
Soluci on
Nuevamente sea S = n N : (1 + x)
n
1 + nx. Note que (1 + x)
1
= 1 + 1 x, luego
1 S. Por otro lado si k S, es decir, (1 +x)
k
1 +kx, entonces
(1 +x)
k+1
= (1 +x)(1 +x)
k
(1 +x)(1 +kx)
= 1 + (k + 1)x +kx
2
1 + (k + 1)x.
4
Johann Carl Friedrich Gauss, 1777-1855.
5
Jacob Bernoulli, 1654-1705.
I
t
a
m
1.3 LOS N UMEROS NATURALES 15
Por el principio de inducci on se concluye que S = N, es decir, la f ormula es v alida para todo
n umero natural.
Ejemplo 1.3.4 (Proceder inductivamente) La frase proceder inductivamente aparecer a a menu-
do en secciones subsecuentes y merece un apartado especial porque es una frase que evita a qui en
escribe abundar en detalles formales en alg un argumento. Esencialmente se reere a lo siguiente:
para tratar de exhibir alg un conjunto X cuyos elementos tengan alguna propiedad P, en ocasiones
es necesario dar el conjunto paso a paso: damos un elemento x
1
que goce de la propiedad P y
decimos c omo, a partir del elemento x
1
, se obtiene un siguiente elemento x
2
que tambi en tenga la
propiedad P.
Habiendo construido x
1
, x
2
, . . . , x
n
con la propiedad P, decimos como construir un si-
guiente elemento x
n+1
tambi en con la propiedad P y as sucesivamente. Este argumento permite
obtener para cada n N un elemento x
n
con la propiedad P.
Existen dos maneras alternativas de formular el principio de inducci on. En el teorema 1.3.7
se demostrar a que los tres principios son equivalentes. Esto es, basta tener alguno de los tres
principios para tener los otros dos.
Axioma 1.3.5 (Segundo Principio de Inducci on) Sea S N y supongamos que,
a) 1 S
b) Si 1, 2, . . . , k S entonces k + 1 S
Entonces S = N.
Axioma 1.3.6 (Principio del Buen Orden) Si S N y S ,= entonces S tiene un primer ele-
mento; es decir, existe un elemento m S tal que m n para toda n S.
Teorema 1.3.7 Los siguientes axiomas son equivalentes:
a) El Primer Principio de Inducci on (PPI).
b) El Segundo Principio de Inducci on (SPI).
c) El Principio del Buen Orden (PBO).
Demostraci on
a) = b) Veamos que el PPI implica el SPI. Sea S N un conjunto tal que
I
t
a
m
1.3 LOS N UMEROS NATURALES 16
1 S
Si 1, 2, . . . , k S entonces k + 1 S
Vamos a probar que S = N. Sea

S = n N : 1, . . . , n S .
Claramente 1

S. Supongamos que n

S entonces 1, . . . , n S y por hip otesis n + 1 S.
Estas dos condiciones implican que 1, . . . , n + 1 S. Concluimos por tanto que n + 1

S.
Por el Primer Principio de Inducci on, tenemos que

S = N. Es f acil ver que esto tambi en implica
que S = N.
b) = c) Supongamos cierto el SPI y sea S N no vaco. Si S no tiene un primer elemento,
entonces 1 / S de donde 1 NS. Si 1, . . . , k NS entonces k +1 NS de lo contrario,
k + 1 sera un primer elemento de S. Entonces, por el SPI N S = N de donde S = , lo cual
contradice que S ,= . Luego S tiene un primer elemento.
c) = a) Para probar que el PBO implica el PPI, sea S N tal que satisface las hip otesis
del PPI. Veamos que S = N. Procedemos por reducci on al absurdo y suponemos que S N
entonces NS ,= . Luego por el PBO NS tiene un primer elemento, digamos m. Observemos
que m ,= 1 porque 1 S. Tambi en, m 1 S porque m es el primer elemento de N S. Pero
por la segunda hip otesis del PPI, m S, lo cual contradice que m N S. As, S = N.
Denici on 1.3.8 Un subconjunto S N es nito si existe n N tal que S 1, 2, . . . , n. Un
subconjunto S N es innito si no es nito. Esto es, S N es innito si S 1, 2, . . . , n , =
para todo n N.
El Principio del buen orden 1.3.6 implica el siguiente resultado.
Teorema 1.3.9 Sea S N un conjunto innito. Entonces existe una funci on : N N tal que
a) es estrictamente creciente
6
,
b) (k) k para todo k N,
c) Im() = S.
6
Una funci on g : N N es estrictamente creciente si g(m) < g(n) para todo m < n.
I
t
a
m
1.3 LOS N UMEROS NATURALES 17
Demostraci on
Denimos S
1
:= S. Por el PBO existe n
1
N, primer elemento de S
1
. Sea
S
2
:= n S : n > n
1
= S 1, . . . , n
1
.
Claramente, S
2
,= porque S es innito. Por PBO existe n
2
N primer elemento de S
2
.
Procediendo inductivamente se obtiene n
1
, n
2
. . . S tales que n
k
es el primer elemento de S
k
y
S
k+1
:= n S : n > n
k
= S 1, . . . , n
k
.
Notemos que se cumple S
1
S
2
S
3
y adem as, se tiene que S
k
S
k+1
= n
k
. Denimos
: N N como (k) = n
k
. Como n
k+1
S
k+1
, se cumple que n
k+1
> n
k
. Por tanto, la funci on
es estrictamente creciente. Por inducci on,
7
se puede demostrar que (k) k para todo k N.
Sea S arbitrario. Entonces n

= () . Esto implica que / S

+1
. Denimos
B = k N : / S
k+1
.
Por lo que acabamos de demostrar, B ,= . Por el Principio del buen orden 1.3.6, existe un
elemento B que es el primer elemento de B.
Si = 1 entonces / S
2
. Sin embargo, siempre se cumple S = S
1
. Si > 1 entonces
1 es un n umero natural que no est a en B y por tanto S

. En cualquier caso, se cumple que

S

y / S
+1
. Esto implica que n

y como n

es el primer elemento de S

entonces
= n

. Esto es () = .
El hecho de que : N N sea estrictamente creciente implica que es inyectiva. Por lo tanto,
tenemos el siguiente resultado.
Corolario 1.3.10 Sea S N innito. Entonces existe una funci on biyectiva : N S.
EJERCICIOS
1.18 Use el Principio de Inducci on para probar la siguiente variante del Principio de Inducci on:
Sea S un subconjunto de N tal que para alguna n
0
N se cumple:
a) n
0
S,
b) si k n
0
y k S entonces k + 1 S.
7
Ver ejercicio 1.20.
I
t
a
m
1.3 LOS N UMEROS NATURALES 18
Entonces S contiene al conjunto n N : n n
0
.
1.19 Practique la inducci on,
a) Compruebe que n
3
+ 5n es divisible entre 6 para todo n N.
b) Demuestra que 2
n
< n! si n 4.
c) Conjeture una f ormula para la suma de los primeros n n umeros naturales impares y de-
mu estrela por inducci on.
d) Demuestre que, para toda n N,
1 2 + 2 3 + +n (n + 1) =
n(n + 1)(n + 2)
3
.
e) Demuestre que para toda n 2, n N,
1

1
+
1

2
+ +
1

n
>

n.
1.20 Sea : N Nuna funci on estrictamente creciente. Demostrar por inducci on que (k) k
para todo k N.
1.21 Usar el segundo principio de inducci on para demostrar que cualquier n umero natural n 8
puede ser escrito como una suma de la forma n = 3 + 5, donde , N.
1.22 Demostrar que, para todo n umero natural m, se cumple la siguiente igualdad
m

n=1
(1)
n
n
2
=
(1)
m
2
_
m+m
2
_
.
1.23 Sean x
1
= x
2
= 1, y x
n+1
= 5x
n
6x
n1
, para todo n 2. Demostrar, usando el segundo
principio de inducci on, que se cumple la igualdad x
n
= 2
n
3
n1
.
1.24 Se dene de manera recursiva un conjunto de n umeros naturales llamados n umeros de Fi-
bonacci de la siguiente manera: F
1
= F
2
= 1, y F
n+2
= F
n+1
+F
n
. Demostrar, usando el segundo
principio de inducci on, que se cumplen las siguientes desigualdades:
_
3
2
_
n2
F
n

_
7
4
_
n1
,
para todo n N.
I
t
a
m
1.3 LOS N UMEROS NATURALES 19
1.25 Demostrar que los n umeros de Fibonacci satisfacen
F
2
n+1
F
n
F
n+2
= (1)
n
,
para todo n N.
1.26 En ocasiones se tiene una propiedad P(n, k) que depende de dos variables. Supongamos
que desea demostrar que (n N)(k N)P(n, k). Para hacer esto, se puede utilizar el principio
de generalizaci on y el principio de inducci on al mismo tiempo. Para ello se podra tomar n N
arbitraria y, para n ja, demostrar por inducci on (k N)P(n, k).
Sea (0, 1). Suponer que se tiene una funci on g : NN Rque cumple con las siguientes
condiciones, para todo n, k N.
a) g(n, 1)
n
,
b) g(n, k + 1) g(n +k, 1) +g(n, k).
Demostrar que
g(n, k)

n
(1
k
)
1
,
para todo n, k N.
1.27 Algunos problemas de inducci on pueden ser resueltos haciendo el problema m as general,
al introducir nuevas variables. Sea F
n
el n- esimo n umero de Fibonacci. La siguiente igualdad se
cumple
F
2n+1
= F
2
n+1
+F
2
n
,
para n N. Intentar una demostraci on por inducci on de la f ormula anterior es algo complicado.
Sin embargo es m as f acil probar que se cumple la siguiente f ormula, que es mucho m as gene-
ral.
F
k+n+1
= F
k+1
F
n+1
+F
k
F
n
,
para todo n, k N. Obviamente la f ormula original se obtiene al hacer k = n. Demostrar lo
anterior por inducci on sobre k, jando primero n.
1.28 Sea
1
,
2
: N N un par de funciones estrictamente crecientes que, adem as, cumplen
que Im(
1
) = Im(
2
). Demostrar que
1
=
2
.
1.29 Demostrar el corolario 1.3.10.
I
t
a
m
1.3 LOS N UMEROS NATURALES 20
1.30 Sea m N y z > m. Demostrar que, para todo n N con n m se cumple
_
1 +
z
n
_
n

_
1 +
z
m
_
m
.
(Sugerencia: usar la desigualdad (1 +x)
n+1
1 + (n + 1)x, dada en el ejemplo 1.3.3 con
x =
z
(n + 1)n
_
1 +
z
n
_
1
y el principio de inducci on del ejercicio 1.18.)
1.31 Sea A un conjunto cualquiera y f : N A una funci on Suponer que existe a A tal que
S = f
1
(a) es un conjunto innito. Demostrar que existe una funci on : N Nestrictamente
creciente tal que f es una funci on constante.
I
t
a
m
1.4 CARDINALIDAD 21
1.4. Cardinalidad
Qu e hacemos cuando contamos? B asicamente establecemos una correspondencia biunvo-
ca entre los elementos de un conjunto y, lo que podramos llamar, un segmento inicial de los
n umeros naturales. Por ejemplo, si queremos cerciorarnos de que la bolsa de naranjas del s uper
efectivamente contiene las 24 naranjas que anuncia, tomaramos una a una las naranjas de la bolsa
recitando a la vez, una, dos, tres, . . ., veinticuatro. En t erminos rimbombantes diramos que el
conjunto de naranjas en la bolsa tiene por cardinal o n umero de elementos 24. El prop osito de
esta secci on es extender esta idea de contar a conjuntos arbitrarios (l ease innitos).
Una observaci on que ser a de utilidad en nuestro estudio posterior de cardinalidad es el hecho
de que la relaci on estar biyectado con es una relaci on de equivalencia entre conjuntos: A B
si y s olo si existe f : A B biyectiva. Recordemos que sea de equivalencia quiere decir que
es reexiva, sim etrica y transitiva.
Proposici on 1.4.1 La relaci on A B es de equivalencia.
Demostraci on
Vamos a demostrar que la relaci on es reexiva, sim etrica y transitiva. Demostremos cada una
de las condiciones anteriores.
a) Para demostrar que la relaci on es reexiva, vamos a demostrar que dado un conjunto arbi-
trario A, se cumple A A. Queremos encontrar una biyecci on f : A A. Escogemos
f = id
A
. Es f acil ver que id
A
es una biyecci on. Ver ejercicio 1.16.
b) La simetra se demuestra del siguiente modo. Supongamos que A B. Queremos demos-
trar que B A. Sabemos que existe una biyecci on f : A B. Dado que f es biyectiva,
f
1
es biyectiva. Ver ejercicio 1.16. Por lo tanto f
1
: B A y esto implica B A.
c) Finalmente, demostremos transitividad. Supongamos que A B y B C. Sabemos que
existen dos funciones biyectivas f : A B y g : B C. Notemos que g f es una
funci on g f : A C nos hara falta demostrar que g f es biyectiva.
Primero demostraremos inyectividad. Sean a ,= a

elementos de A por la inyectividad de f
se tiene que f (a) ,= f (a

) y por la inyectividad de g, se cumple g (f (a)) ,= g (f (a

)). Esto
implica (g f) (a) ,= (g f) (a

) y por lo tanto g f es inyectiva.

Finalmente demostraremos la suprayectividad. Sea c C. Por la suprayectividad de g,
existe b B tal que g (b) = c y, por la suprayectividad de f, existe a A tal que f(a) = b.
I
t
a
m
1.4 CARDINALIDAD 22
Por lo tanto, con esta a A, se tiene que (g f) (a) = g (f (a)) = g (b) = c. Concluimos
que g f es suprayectiva.
Esto termina la demostraci on.
Siempre que se tiene una relaci on de equivalencia en un conjunto o familia T, (la familia de
conjuntos en nuestro caso) esta induce una partici on de la familia en clases de equivalencia, es
decir, si [A] = B T : B A es la clase de equivalencia del conjunto A, entonces [A] ,= ,
para toda A. Adem as se tiene
a) si A, B est an en T entonces [A] = [B] o [A] [B] = , y
b) T =

[A] : A T.
La etiqueta o nombre que usaremos para identicar a las clases de equivalencia de conjuntos
bajo esta relaci on es cardinal y denotaremos al cardinal de un conjunto A por #(A). Intuitiva-
mente, dos conjuntos en la misma clase de equivalencia tienen el mismo n umero de elementos.
Por ejemplo, el cardinal del conjunto a, b, c, d es 4 (aqu el smbolo 4 es la etiqueta que llevan
todos los conjuntos que se biyectan con a, b, c, d). En denitiva, contar consiste en hacer a dos
conjuntos equivalentes y esto sucede si existe una funci on biyectiva entre ellos. En la denici on
1.3.8 se haba establecido lo que se entiende por nito e innito para subconjuntos de N. La si-
guiente denici on generaliza esos conceptos para conjuntos arbitrarios. En el ejercicio se pide
demostrar que la denici on 1.4.2 generaliza la denici on 1.3.8.
Recordemos que tenemos una denici on de conjunto nito para subconjuntos de los naturales.
Podemos generalizar dicha denici on para cualquier conjunto dado.
Denici on 1.4.2 Un conjunto A es nito si A = o es equivalente a un subconjunto nito de N.
Esto es, existe una biyecci on
f : S A,
donde S es nito seg un la denici on 1.3.8.
La demostraci on del siguiente resultado se deja como ejercicio al lector.
Proposici on 1.4.3 Un conjunto A no vaco es nito si existe una biyecci on
f : 1, 2, . . . , n A,
para alguna n N.
I
t
a
m
1.4 CARDINALIDAD 23
En este caso, diremos que A tiene n elementos y escribiremos #(A) = n. Si denotamos por
a
j
a f(j), para cada j 1, 2, . . . , n, diremos que a
1
, a
2
, . . . , a
n
es una numeraci on de A. Un
conjunto A es innito si no es nito.
Proposici on 1.4.4 N es innito.
Demostraci on Supongamos, por reducci on al absurdo, que N es nito. Entonces existe m N
y f : 1, 2, . . . , m N biyectiva. Sea x
i
:= f(i), i = 1, 2, . . . , n y sea p = x
1
+ +x
n
. Como
p N y f es suprayectiva entonces p = x
i
para alguna i, lo cual no es posible pues p > x
j
para
toda j. Luego, N es innito.
Note que por transitividad cualquier conjunto biyectable con el conjunto de n umeros naturales
es, en consecuencia, innito. Por ejemplo, el conjunto de n umeros naturales impares (aquellos de
la forma 2n 1 con n N) es innito.
Denici on 1.4.5 Un conjunto A es numerable si existe una funci on f : N A biyectiva. Si
a
j
:= f(j), j N, diremos que a
1
, a
2
, . . . es una numeraci on de A. Diremos adem as que
A tiene la cardinalidad de N y escribiremos #(A) = #(N). El smbolo
0
(l ease aleph cero)
denotar a a #(N) y por lo tanto, si A es numerable entonces #(A) =
0
.
Ejemplo 1.4.6 El conjunto de los n umeros enteros en apariencia m as grande que el conjunto
de los n umeros naturales es numerable, en efecto, la funci on g : N Z dada por
g(n) =
_

_
0, si n = 1,
k, si n = 2k, k 1,
k, si n = 2k + 1, k 1.
es biyectiva:
1 2 3 4 5 2k 2k + 1

0 1 1 2 2 k k
Esencialmente, aquellos conjuntos equivalentes a los conjuntos nitos o a los n umeros natu-
rales son los conjuntos que podemos contar. Adoptaremos en consecuencia la siguiente termino-
loga.
Denici on 1.4.7 Un conjunto es contable si es nito o numerable.
Veamos algunas propiedades de conjuntos contables.
I
t
a
m
1.4 CARDINALIDAD 24
Lema 1.4.8 Sea A nito, A ,= con #(A) = n y sea a A. Entonces #(A a) = n 1.
Demostraci on
Si #(A) = 1 entonces A = a. As, A a = y #() = 0. Supongamos ahora que
#(A) = n > 1 y sea a
1
, a
2
, . . . , a
n
una numeraci on de A. Entonces a = a
i
para alguna
i = 1, 2, . . . , n. Sea g : 1, . . . , n 1 A a la siguiente funci on: si a = a
1
entonces
g(j) = a
j+1
y si a = a
n
entonces g(j) = a
j
para toda j = 1, . . . , n 1. Por otro lado si
1 < i < n sea
g(j) =
_
a
j
, 1 j i 1,
a
j+1
, i j n 1.
g es una funci on biyectiva y por lo tanto, #(Aa) = n 1.
Proposici on 1.4.9 Si A, B, son conjuntos nitos entonces A B es un conjunto nito.
Demostraci on
Si A = o B = entonces AB = B o AB = A, respectivamente. Luego AB es nito.
Supongamos que A ,= y B ,= . Procedemos por inducci on sobre #(B). Si #(B) = 1 entonces
B = b y si A = a
1
, . . . , a
n
entonces en el caso de que b = a
i
para alguna i 1, . . . , n
se tiene que A B = A y A es nito. Por otro lado si b ,= a
i
para toda i 1, . . . , n, sea
f : 1, . . . , n + 1 A B dada por
f(i) =
_
a
i
, 1 i n,
b, i = n + 1.
Entonces A B es nito y #(A B) = n + 1. Supongamos ahora que si #(B) = m entonces
A B es nito. Debemos probar que si #(B) = m+ 1 entonces A B es nito. Sea b B, por
el lema 1.4.8, B b tiene m elementos. Entonces, por hip otesis de inducci on, A(B b) es
nito. Entonces A (B b) b es nito. Por lo tanto A B es nito.
La proposici on anterior se extiende f acilmente por inducci on a la uni on nita de conjuntos
nitos:
Proposici on 1.4.10 Si T es un conjunto nito de conjuntos nitos, entonces

AF
A es nito.
La proposici on anterior la pudimos haber escrito de otra manera. Dado que T es un conjunto
nito de conjuntos nitos, podemos numerar los elementos de la siguiente manera
T = A
1
, . . . , A
n

I
t
a
m
1.4 CARDINALIDAD 25
Por lo tanto, si cada A
k
es nito entonces
n
_
k=1
A
k
=
_
AF
A
es nito.
Corolario 1.4.11 Si A es un conjunto nito y B A, entonces B es nito.
Demostraci on
Si A = entonces B = y es B nito. Procedemos ahora por inducci on sobre #(A). Si
#(A) = 1 entonces B = o B = A, luego B es nito. Supongamos que si #(A) = n y B A
entonces B es nito. Sea A un conjunto con #(A) = n + 1 y sea B A. Sea a A entonces,
por el lema 1.4.8, A a tiene n elementos. Si a , B entonces B (A a), de donde, por
hip otesis de inducci on, B es nito. Finalmente, si a B entonces (B a) (A a), pero
B a es nito, luego (B a) a es nito (por la proposici on 1.4.9). Por lo tanto B es
nito.
Como consecuencia del corolario anterior tenemos,
Corolario 1.4.12 Si B es un conjunto innito y B A, entonces A es innito.
Demostraci on
Si A fuese nito entonces por el corolario anterior, B sera nito.
Proposici on 1.4.13 Si A es numerable y B A entonces B es contable. Es decir, un conjunto
numerable s olo contiene subconjuntos nitos o numerables.
Demostraci on
Sea f : N A una funci on biyectiva. Sea S = f
1
(B). Por la denici on 1.4.2 el conjunto
S es nito si y s olo si B es nito. Si B es innito entonces S es innito y por el teorema 1.3.9
existe una funci on biyectiva : N S. Claramente f : N B es biyectiva y por lo tanto B
es numerable.
En particular, del teorema de Euclides
8
(que dice que el conjunto de n umeros primos es in-
nito) y de la proposici on 1.4.13 se tiene que el conjunto de n umeros primos es numerable. Sin
embargo, no se conoce, en forma explcita, una funci on biyectiva f : N p N : p es primo .
8
Euclides de Alejandra, 325(?)ac-265ac.
I
t
a
m
1.5 LOS N UMEROS ENTEROS Y LOS N UMEROS RACIONALES 26
La existencia de tal funci on est a ntimamente relacionada con uno de los Problems of the Mi-
llennium: la llamada conjetura de Riemann
9
, por cuya soluci on el Instituto Clay de Matem aticas
ofrece la bicoca de un mill on de d olares.
EJERCICIOS
1.32 Demostrar que si A A

y B B

entonces AB A

.
1.33 Supongamos que A B a trav es de una biyecci on f : A B. Demostrar:
a) para todo C A se cumple que C f(C) y por ende #(C) = #(f(C)),
b) para todo D B se cumple que D f
1
(D) y por ende #(D) = #(f
1
(D)).
1.34 Demostrar que la siguiente es una biyecci on
F : 1, . . . , n 1, . . . , m 1, . . . , mn ,
F(p, q) = (p 1)m+q.
1.35 Demostrar que si A y B son conjuntos nitos entonces #(A B) = #(A)#(B).
1.36 Sea A un conjunto cualquiera. Sea f : N A una funci on cuya imagen es un conjunto
nito. Demostrar que existe una funci on : N N estrictamente creciente y tal que f es una
funci on constante.
1.37 Sea A un conjunto cualquiera y B un conjunto numerable. Sea f : B A una funci on
cuya imagen es un conjunto nito. Demostrar que existe una funci on : N B tal que f es
una funci on constante. (Sugerencia: Considerar primero el caso B = N.)
1.5. Los n umeros enteros y los n umeros racionales
Una vez que tenemos el conjunto de n umeros naturales, una simple construcci on formal (ver,
por ejemplo [7, Captulos 6 y 8]) permite construir a partir de N a los n umeros enteros
Z = . . . , 3, 2, 1, 0, 1, 2, 3, . . .
9
Georg Friedrich Bernhard Riemann, 1826-1866.
I
t
a
m
1.5 LOS N UMEROS ENTEROS Y LOS N UMEROS RACIONALES 27
y de estos construir a los n umeros racionales
Q =
_
p
q
: p Z, q N
_
Observe que N Z Qy que desde el punto de vista algebraico, Z y Qson estructuras distintas,
por ejemplo, mientras que, tanto en Z como en Q, cada elemento tiene un negativo, en Z hay
elementos que no tienen inverso multiplicativo mientras que en Q todo racional distinto de
cero lo tiene (1/7 es inverso multiplicativo de 7). El nombre t ecnico que el Algebra Moderna
provee para estructuras como Z y Q es dominio entero y campo respectivamente. Para estudiar
propiedades aritm eticas de los n umeros racionales y m as adelante de los n umeros reales, damos
a continuaci on los axiomas que denen a un campo, el lector podr a notar que efectivamente con
la idea intuitiva que se tiene de los n umeros racionales, estos forman un campo.
Denici on 1.5.1 Un campo es un conjunto no vaco, (, en el cual se denen dos operaciones
aritm eticas,
: ( ( ( y : ( ( (,
llamadas suma y producto respectivamente, que satisfacen las siguientes propiedades:
a) Propiedades de la Suma:
I. a b = b a para todas a, b ( (conmutatividad).
II. a (b c) = (a b) c para todas a, b, c ( (asociatividad).
III. Existe un elemento en (, denotado por 0, tal que a 0 = a para todo a ( (neutro
aditivo).
IV. Para toda a ( existe b ( tal que a b = 0 (inverso aditivo).
b) Propiedades del Producto:
I. a b = b a para todas a, b ( (conmutatividad).
II. a (b c) = (a b) c para todas a, b, c ( (asociatividad).
III. Existe un elemento en (, denotado por 1, tal que 1 ,= 0 y a 1 = a para todo a (
(neutro multiplicativo).
IV. Para toda a ( 0 existe c ( tal que a c = 1 (inverso multiplicativo).
I
t
a
m
1.5 LOS N UMEROS ENTEROS Y LOS N UMEROS RACIONALES 28
c) Propiedades Conjuntas:
I. a (b c) = a b a c para todas a, b, c ( (distributividad).
De la denici on de campo se puede demostrar f acilmente que tanto el inverso aditivo como el
inverso multiplicativo son unicos. Por ejemplo, si quisi eramos comprobar que el inverso aditivo
es unico, supongamos que para a ( existen b y b

en ( tales que a b = 0 y a b

= 0.
Entonces,
b = b 0 = b (a b

) = (b a) b

= (a b) b

= 0 b

= b

0 = b

.
Cada igualdad en la lnea anterior se justica usando el axioma de campo correspondiente,
por ejemplo, la tercera igualdad de izquierda a derecha se sigue de la propiedad asociativa de la
suma. La prueba anterior ilustra el llamado m etodo axiom atico por excelencia: de una colecci on
de axiomas o principios b asicos podemos deducir todas aquellas propiedades aritm eticas obvias
que usamos de manera natural y que nos parece tan extra no que sean propiedades demostrables.
Siendo unicos los inversos aditivos y multiplicativos de los elementos de un campo, los deno-
taremos por a y (a
1
o 1/a) respectivamente. Usualmente escribiremos a + b en lugar de a b
y ab o a b en vez de a b.
Ejemplo 1.5.2 A continuaci on listamos algunas propiedades aritm eticas b asicas cuya demostra-
ci on dejamos al lector para practicar el m etodo axiom atico. Supondremos que todos los elementos
dados pertenecen a un campo (.
a) a + 0 = 0 y a 0 = 0.
b) (a) = a.
c) a + (b) = (a +b).
d) Si a +b = a +c entonces b = c (ley de cancelaci on para la suma).
e) Si ab = ac y a ,= 0 entonces b = c (ley de cancelaci on para el producto).
f) (a b
1
) (c d
1
) = (ac)(bd)
1
.
g) a b
1
+c d
1
= (ad +cb)(bd)
1
.
I
t
a
m
1.5 LOS N UMEROS ENTEROS Y LOS N UMEROS RACIONALES 29
Adem as de las reglas aritm eticas que denen un campo, en muchas instancias tenemos una
relaci on de orden entre los elementos del campo, por ejemplo en Q podemos decir cuando un
n umero es menor a otro. En general, la denici on de orden es como sigue,
Denici on 1.5.3 Sea ( es un campo. Diremos que ( es ordenado si existe T ( 0, llamada
clase positiva, tal que:
a) Si a, b T entonces a +b T y a b T (cerradura).
b) Si a ( entonces una y s olo una de las siguientes propiedades se cumple: a T o a T
o a = 0 (tricotoma).
Si a, b (, diremos que a es menor que b (notaci on: a < b) si ba T. En este caso tambi en
se dice que b es mayor que a. Diremos que a es menor o igual que b si a < b o a = b (notaci on
a b). Observe que si b T entonces b > 0 pues b = b 0.
En el caso del campo de los n umeros racionales, la clase positiva T corresponde a los racio-
nales positivos, es decir, T = p/q : p, q N. Las siguientes son algunas propiedades de orden
que sugerimos al lector probar,
Ejemplo 1.5.4 Sea ( un campo y sean a, b, c ( entonces
a) Si a < b y b < c entonces a < c (propiedad transitiva).
b) Para a y b en ( se cumple una y s olo una de las siguientes propiedades: o a < b o b < a
o a = b.
c) Si a < b entonces a +c < b +c.
d) Si a < b y c > 0 entonces ac < bc.
e) Si a < b y c < 0 entonces bc < ac.
f) Si a
2
se dene como a a entonces a
2
0.
EJERCICIOS
1.38 Demostrar los incisos del ejemplo 1.5.2.
1.39 Demostrar los incisos del ejemplo 1.5.4.
I
t
a
m
1.6 CRITERIOS PARA LA EQUIVALENCIA ENTRE CONJUNTOS 30
1.40 En este ejercicio se muestra como construir Q a partir de Z y N. Denimos en Z N
la siguiente relaci on (p, q) (p

, q

) si y s olo si pq

= p

q. Pruebe que es una relaci on de

equivalencia. Denotamos por Q al conjunto de clases de equivalencia. Dena una suma (), un
producto () y una clase positiva T en Q que hagan a (Q, , , P) un campo ordenado. (De
hecho, este ser a Q!).
1.41 Demostrar que ( = QQes un campo si denimos las operaciones de la siguiente manera:
(a, b) (c, d) = (a +c, b +d),
(a, b) (c, d) = (ac + 2bd, ad +bc).
(Sugerencia: en este caso el neutro aditivo ser a 0 = (0, 0) y el neutro multiplicativo 1 = (1, 0).
Demostrar primero que si (a, b) ,= (0, 0) entonces a
2
2b
2
,= 0. )
1.42 En el ejercicio anterior demostrar que la siguiente es una clase positiva.
T =
_
(a, b) ( : a > 0, a
2
> 2b
2
_

_
(a, b) ( : b > 0, a
2
< 2b
2
_
.
(Sugerencia: Demostrar que si (a, b) ,= (0, 0) entonces (a, b) T o (a, b) T.)
1.6. Criterios para la equivalencia entre conjuntos
En esta secci on nuestro inter es ser a encontrar condiciones necesarias y sucientes para que un
conjunto sea numerable. Existen criterios generales para garantizar la equivalencia de conjuntos,
el m as famoso sin duda es el teorema de Cantor
10
, Schroeder
11
, Bernstein
12
que enunciamos a
continuaci on. Una demostraci on sencilla y bonita de este resultado puede consultarse en [3, p ag.
340], una m as se encontrar a en los ejercicios.
En general si se tiene un conjunto A siempre es posible construir un conjunto con cardinal
estrictamente mayor que el del conjunto A. Por ejemplo, si #(A) = n entonces #(T(A)) =
2
n
> n = #(A).
En el caso de conjuntos innitos tambi en podemos comparar la cardinalidad. El concepto
de que un cardinal sea mayor que otro consiste en lo siguiente. Dados dos conjuntos X y Y ,
diremos que la cardinalidad de X es menor que la cardinalidad de Y si X Y , esto es X
10
George Ferdinand Ludwig Philipp Cantor, 1845-1918.
11
Friedrich Wilhelm Karl Ernst Schroeder, 1841-1902.
12
Sergei Natanovich Bernstein, 1880-1968.
I
t
a
m
1.6 CRITERIOS PARA LA EQUIVALENCIA ENTRE CONJUNTOS 31
y Y no son equivalentes y si X es equivalente a un subconjunto de Y . Esto lo escribiremos
como #(X) < #(Y ). De hecho, siempre es cierto que para cualquier conjunto A no vaco,
#(A) < #(T(A)). Ver ejercicio 1.49. Esto nos permite denir una sucesi on de innitos unos
m as grandes que otros. Esto es, si
0
= #(N) denimos
1
= #(T(N)),
2
= #(T(T(N))),
etc. Por lo que hemos dicho, se tiene que
0
<
1
<
2
< .
La siguiente proposici on, junto con la proposici on 1.4.13, dice que el cardinal innito
0
que
corresponde a los n umeros naturales es el cardinal innito m as peque no posible.
Proposici on 1.6.1 Si A es un conjunto innito entonces A contiene un subconjunto numerable.
Demostraci on
Como A es innito, en particular es no-vaco, luego existe a
1
A. De nuevo, como A es
innito, Aa
1
, = . Sea a
2
Aa
1
. Entonces Aa
1
, a
2
, = . Procedemos inductivamente
para obtener un conjunto B = a
1
, a
2
, . . . , que es numerable.
Quiz as la primera anttesis los oca que encontramos con los conjuntos innitos es el hecho
de que no necesariamente el todo es mayor que cada una de sus partes, al menos, en cuanto
a cardinalidad se reere. Por ejemplo, N se biyecta con su subconjunto propio N 1 va la
funci on n n+1 o tambi en con n N : n par con la funci on m 2m. En general, tenemos
la siguiente proposici on, cuya prueba se deja al lector.
Proposici on 1.6.2 A es innito si y s olo si existe un subconjunto propio B de A que es equiva-
lente a A.
Teorema 1.6.3 (Cantor-Schroeder-Bernstein) Dos conjuntos A y B son equivalentes si y s olo
si A es equivalente a un subconjunto de B y B es equivalente a un subconjunto de A, es decir, si
existen f : A B y g : B A inyectivas.
Para decidir si un conjunto es numerable o no el siguiente teorema y su corolario son quiz as
las herramientas m as utiles para hacerlo, pues solamente es necesario exhibir una funci on supra-
yectiva de los naturales sobre el conjunto (o una funci on inyectiva del conjunto en los naturales).
Teorema 1.6.4 Si A ,= , A es contable si y s olo si existe una funci on f : N A suprayectiva.
Demostraci on
Supongamos primero que A es contable. Si A es nito, sea a
1
, . . . , a
n
. una numeraci on de
I
t
a
m
1.6 CRITERIOS PARA LA EQUIVALENCIA ENTRE CONJUNTOS 32
A y sea f : N A la funci on dada por
f(j) =
_
a
j
, 1 j n,
a
1
, j n + 1.
Claramente f es suprayectiva. Por otro lado, si A es numerable, digamos A = a
1
, a
2
, . . ., sea
f : N A la funci on suprayectiva dada por f(j) = a
j
, j N.
Para probar la suciencia, consideremos f : N A suprayectiva. Para cada a A podemos
elegir n
a
N tal que f(n
a
) = a. La funci on g : A N, dada por g(a) = n
a
es inyectiva, porque
f es funci on. Luego, A y g(A) son equivalentes. Como g(A) N entonces g(A) es contable y
por lo tanto A es contable.
Corolario 1.6.5 Un conjunto A es contable si y s olo si existe g : A N inyectiva.
Demostraci on
Si A es contable, cualquier numeraci on de A proporciona la funci on inyectiva deseada. Por
otro lado si g : A N es inyectiva entonces la funci on f : N A dada por
f(n) =
_
a, si g(a) = n,
7, si g(a) ,= n para toda n.
es suprayectiva.
Ejemplo 1.6.6 Z es numerable Sea f : Z N dada por
f(z) =
_
2z + 1, si z 0.
2z, si z > 0
f es inyectiva (de hecho biyectiva).
Un conjunto que, a priori, sera mucho m as grande en cardinalidad que el del conjunto de los
n umeros naturales, es el de los n umeros racionales. Sin embargo, como muestran los siguientes
dos ejemplos, hay tantos racionales como n umeros naturales.
Ejemplo 1.6.7 Q es numerable. Recordemos que
Q =
_
p
q
: p Z, q N, (p, q) = 1
_
.
Sea g : Q N dada por
g
_
p
q
_
=
_
2
p
3
q
, si p 0,
5
p
7
q
, si p < 0.
g es inyectiva por el Teorema Fundamental de la Aritm etica (aunque no es suprayectiva).
I
t
a
m
1.6 CRITERIOS PARA LA EQUIVALENCIA ENTRE CONJUNTOS 33
Ejemplo 1.6.8 Q
+
:= q Q : q > 0 es numerable. Una gura dice m as que mil palabras.
1
1

2
1
3
1

4
1
5
1


1
2
2
2
3
2
4
2


1
3
2
3
3
3


1
4
2
4


1
5

Ejemplo 1.6.9 Sea T = a
0
+ a
1
x + + a
n
x
n
: n 0, 1, . . ., a
i
Z, i 0, 1, . . . el
conjunto de polinomios con coecientes enteros y variable real. Sea
1 = races reales de elementos de T
Entonces 1es numerable. La demostraci on de este hecho se puede ver en [18].
Una proposici on an aloga a 1.4.10 es la siguiente.
Proposici on 1.6.10 Sea T una familia numerable de conjuntos contables no vacos entonces el
conjunto

AF
A es numerable.
La demostraci on de 1.6.10 se basa en el siguiente lema:
Lema 1.6.11 Si A, B son conjuntos numerables entonces AB es numerable.
Demostraci on
Como Ay B son numerables entonces por el teorema 1.6.4 existen funciones f : N Ay g :
N B suprayectivas. Entonces la funci on h : NN AB dada por h(n, m) = (f(n), g(m))
es suprayectiva y como NNes numerable (porque, por ejemplo, la funci on (n, m) 2
n1
(2m
1) es una funci on biyectiva de N N en N) entonces AB es numerable.
Probemos ahora la proposici on 1.6.10. Como T es numerable existe G : N T suprayectiva.
Tambi en, para cada A T existe f
A
: N A suprayectiva. Denimos
h : N N
_
AF
A dada por h(n, m) = f
G(n)
(m).
I
t
a
m
1.6 CRITERIOS PARA LA EQUIVALENCIA ENTRE CONJUNTOS 34
La funci on h es suprayectiva y por el lema anterior tenemos que
AF
A es numerable.
A la luz de la proposici on 1.6.10 podemos dar una prueba m as de que el conjunto de los
n umeros racionales es numerable. En efecto, para cada j N considere el conjunto A
j
= p/q
Q : [p[ + [q[ j. Cada A
j
es nito (cu al sera una cota superior para el n umero de elementos
de cada A
j
?) y ciertamente Q =

jN
A
j
.
Finalizamos la secci on con un resultado muy util conocido como principio fundamental de
conteo o principio de la pichonera.
Lema 1.6.12 (Principio de la pichonera) Sean A y B dos conjuntos nitos tales que #(A) >
#(B). Si f : A B es una funci on entonces existen dos elementos a, b A tales que a ,= b y
f(a) = f(b).
EJERCICIOS
1.43 Demostrar la proposici on 1.4.10.
1.44 Si A es nito con #(A) = n entonces #(T(A)) = 2
n
.
1.45 En este ejercicio se hace una generalizaci on del lema 1.4.8. Sea A nito y no vaco. De-
mostrar que, si B A entonces #(A B) = #(A) #(B).
1.46 Sea A es nito con #(A) = n. A partir de A se dene el conjunto
= (a, b) AA : a ,= b
demostrar 1, . . . , n 1, . . . , n 1.
1.47 Probar la proposici on 1.6.2.
1.48 Sean A, B, y C tres conjuntos tales que A B C. Suponer que A C. Demostrar que
A B C.
1.49 Sea E un conjunto no vaco.
a) Demostrar que E es equivalente al siguiente subconjunto de T(E).
x T(E) : x E .
I
t
a
m
1.6 CRITERIOS PARA LA EQUIVALENCIA ENTRE CONJUNTOS 35
b) Sea : E T(E) una funci on. Demostrar que el conjunto
A = x E : x / (x)
no est a en la imagen de y por tanto no existe una funci on suprayectiva E T(E).
c) Demostrar que E T(E) y por tanto #(E) < #(T(E)).
1.50 Sea A un conjunto. Probar que existe una biyecci on entre el conjunto
T(A) = g : A 0, 1
de funciones con dominio A y codominio 0, 1 y el conjunto potencia T(A) = B : B A.
(Sugerencia: demostrar que H : T(A) T(A) dada por H(g) = g
1
(1) es una biyecci on.)
1.51 En este ejercicio demostraremos el teorema 1.6.3. La idea original se encuentra en la de-
mostraci on que se da en [1].
Sean A y B dos conjuntos cualesquiera. Suponer que existen f : A B y g : B A
inyectivas. Sean
C
0
= A g(B),
y C
n+1
= g(f(C
n
)). Se dene
C =

_
n=0
C
n
.
a) Demostrar que f es inyectiva en C y que A C g(B).
b) Sea la funci on
h(x) =
_

_
f(x) x C,
g
1
(x) x / C.
Demostrar que h est a bien denida y es inyectiva.
c) Sea b B tal que g(b) C. Demostrar que existe a C tal que f(a) = b.
d) Demostrar que h es suprayectiva y concluir el teorema de Cantor-Schroeder-Bernstein.
I
t
a
m
Bibliografa
[1] M. AIGNER Y G. M. ZIEGLER. 2004. Proofs from The Book. Springer-Verlag, Berlin, 3
a
edici on.
[2] R. BARTLE. 1987. Introducci on al An alisis Matem atico. Limusa.
[3] G. BIRKHOFF Y S. MACLANE. 1941. A Survey of Modern Algebra. Macmillan Company,
New York.
[4] N. BOURBAKI. 1976. Elementos de historia de las matem aticas. Alianza Universidad.
[5] D. BRIDGES. 1998. Foundations of Real and Abstract Analysis. N umero 174 en GTM.
Springer-Verlag.
[6] G. CANTOR. 1955. Contributions to the Founding of the Theory of Transnite Numbers.
Dover.
[7] H. CRDENAS, E. LLUIS, F. RAGGI Y F. TOMS. 1981. lgebra Superior. Trillas.
[8] P. DAVIS. 1975. Interpolation and approximation. Dover.
[9] A. FRAENKEL. 1966. Set Theory and Logic. Addison-Wesley.
[10] E. HAIRER Y G. WANNER. 1996. Analysis by its history. Undergraduate Texts in Mathe-
matics. Springer-Verlag, New York.
[11] N. HASSER Y J. SULLIVAN. 1978. An alisis Real. Trillas.
[12] J. MARSDEN Y M. HOFFMAN. 1998. An alisis Cl asico Elemental. Addison-Wesley, 2
a
edici on.
I
t
a
m
BIBLIOGRAF

IA 37
[13] F. MORGAN. 2005. Real analysis. American Mathematical Society, Providence, RI.
[14] J. MOSTERN. 2000. Los Lgicos. Espasa Calpe.
[15] M. PINSKY. 2002. Introduction to Fourier Analysis and Wavelets. Brooks/Cole-Thomson.
[16] M. PROTTER Y C. MORREY. 1992. A First Course in Real Analysis. UTM. Springer-Verlag,
2
a
edici on.
[17] T. RIVLIN. 1969. An introduction to the Approximation of Functions. Dover.
[18] W. RUDIN. 1980. Principios de An alisis Matem atico. McGraw-Hill, 3
a
edici on.
[19] G. TOLSTOV. 1962. Fourier Series. Prentice-Hall.