Captulo 1

Conjuntos finitos e infinitos

En este captulo, se establecera con precision la diferencia entre conjunto finito
e infinito. Tambien sera hecha la distincion entre conjuntos numerables y conjuntos
no numerables. El punto de partida sera el conjunto de n
umeros naturales.

1.1.

N
umeros naturales

El conjunto N de los n
umeros naturales es caracterizado por los siguientes hechos:
1. Existe una funcion inyectiva s : N N. La imagen s(n) de cada n
umero
natural n N se llama el sucesor de n.
2. Existe un u
nico n
umero natural 1 N tal que 1 6= s(n) para todo n N .
3. Si un conjunto X N es tal que 1 X y s(X) X (esto es, n X s(n)
X ) entonces X = N.
Estas afirmaciones pueden ser reformuladas as:
1. Todo n
umero natural tiene un sucesor, que es un n
umero natural; n
umeros
diferentes tienen sucesores diferentes.
2. Existe un u
nico n
umero natural 1 que no es sucesor de ning
un otro.
3. Si un conjunto de n
umeros naturales contiene el n
umero 1 y contiene tambien
el sucesor de cada uno de sus elementos, entonces ese conjunto contiene todos
los n
umeros naturales.
Las propiedades 1, 2, 3 de arriba se llaman los axiomas de Peano. El axioma 3 es
conocido como el principio de induccion. Intuitivamente, significa que todo n
umero
natural n puede ser obtenido a partir de 1, tomando su sucesor s(1), el sucesor de
este, s(s(1)), y as para adelante, con un n
umero finito de etapas. (Evidentemente
es
n
umero finito. una expresion que, en este momento, a
un no tiene significado. La
formulacion del axioma 3 es una manera habil de evitar la necesidad de definir un
conjunto finito).
El principio de induccion sirve de base para un metodo de demostracion de
teoremas sobre n
umeros naturales, conocido como el metodo de induccion, lo cual
funciona as: si una propiedad P es valida para el n
umero 1 y si, suponiendo P
1

valida para el n
umero n resulta que P es valida tambien para sus sucesores s(n),
entonces P es valida para todos los n
umeros naturales.
Como ejemplo de una demostracion por induccion, probemos que, para todo
n N, se tiene s(n) 6= n. Esta afirmacion es verdadera para n = 1 porque, por
el axioma 2, tenemos 1 6= s(n) para todo n luego, en particular, 1 6= s(1). Suponiendo verdadera para un cierto n N, se tiene n 6= s(n). Como la funcion s es
inyectiva, de ah resulta s(n) 6= s(s(n)), esto es, la afirmacion es verdadera para s(n).
En el conjunto N de los n
umeros naturales se definen dos operaciones fundamentales: la adicion, que asocia a cada par de n
umeros (m, n) su suma m + n, y la
multiplicacion, que hace corresponde al par (m.n) su producto m.m. Estas operaciones son caracterizadas por las siguientes igualdades, que les sirven de definicion:
1. m + 1 = s(m)
2. m + s(n) = s(m + n), esto es, m + (n + 1) = (m + n) + 1
3. m,1 = m
4. m.(n + 1) = m.n + m
En otras palabras: sumar 1 a m significa tomar el sucesor de m. Y si ya conocemos
la suma m + n tambien conoceremos m + (n + 1), que es el sucesor de m + n. En la
multiplicacion: multiplicar por 1 no altera el n
umero. Y si conocemos el producto
m.n, conoceremos m.(n + 1) = m.n + m. La demostracion de la existencia de las
operaciones + y . con las propiedades de arriba, al igual que su unicidad, se hace
por induccion. Los detalles seran omitidos aqu. Las siguientes propiedades pueden
ser demostradas por induccion:
Asociatividad: (m + n) + p = m + (n + p), m.(n.p) = (m.n).p
Distributividad: m.(n + p) = m.n + m.p