Análisis Real Mg.Juan Carlos Broncano Torres.

Dpto. Matemática Aplicada.

Facultad de Ciencias-UNJFSC.
Conjuntos Numerables y Conjuntos Contables Sesión de Clase 03.

Logro de la Sesión
Al finalizar la sesión, el estudiante demuestra algunas afirmaciones
matemáticas sobre conjuntos numerables y contables de manera lógica y
clara.
1 Concepto de Numerabilidad
Un conjunto numerable es un conjunto con la misma cardinalidad que algún
subconjunto de los números naturales. Un conjunto numerable puede ser finito
o un infinito. Más concretamente, un conjunto se dice que es numerable (o
contable) cuando existe una biyección entre este conjunto y un subconjunto de
los números naturales.
La noción de numerabilidad fue introducida por Georg Cantor en un artı́culo
de 1874, Sobre una propiedad del sistema de todos los números algebraicos
reales? donde establece por una parte que el conjunto de números algebraicos
reales (es decir, el conjunto de los números reales que son solución de alguna
ecuación polinómica con coeficientes racionales) es numerable,? y por otra que
el conjunto de todos los números reales no lo es, a partir de lo cual deduce
inmediatamente la existencia de números trascendentes o no algebraicos, re-
descubriendo ası́ un resultado de Liouville.
Su origen está ligado a la concepción del infinito en matemáticas. Hasta el
descubrimiento de Cantor, el infinito era el infinito potencial, la posibilidad
de continuar un proceso sin detenerse nunca. La comparación de conjuntos
infinitos trae consigo la noción de infinito alcanzado, actual o completo: un
conjunto infinito visto como un todo, un concepto que ha sido rechazado por
numerosos matemáticos (Gauss, o, en la época de Cantor, Kronecker, etc).?
Para ellos, el hecho de considerar una infinidad de objetos como un todo, es
decir, el concepto de conjunto infinito no tiene sentido, sino que el infinito sólo
puede surgir del proceso de enumeración sin repetición que nunca se detiene.
Sólo el infinito numerable puede tener en rigor algún sentido.
1.1 Conjuntos Numerables
Un conjunto numerable es un conjunto con la misma cardinalidad que algún
subconjunto de los números naturales. Un conjunto numerable puede ser finito
o un infinito. Más concretamente, un conjunto se dice que es numerable (o
contable) cuando existe una biyección entre este conjunto y un subconjunto de
los números naturales.
Estos conjuntos son más sencillos de estudiar porque el hecho de que exista
una biyección con los naturales implica que se puede generar una lista de es-
tos elementos (aunque esta lista no termine debido a que los naturales son
infinitos).
Definición 1.1. (Conjuntos Numerables). Un conjunto infinito, A, es nu-
merable si es equipotente con N, es decir, si existe una función f : N −→ A
biyectiva.
Como la función identidad Id : N −→ N es biyectiva se deduce que N es nu-
merable.
Cuando el conjunto es numerable se dice que mantiene un orden ya que se
pueden contar sus elementos, por la correspondencia entre este conjunto y los
nùmeros naturales. Además los conjuntos numerables tienen por cardinal al
número Aleph subcero.
Ejemplo 1.2. Toda sucesión infinita a1 , a2 , a3 , · · · formada por distintos
términos dos a dos es numerable pues la aplicación f : N −→ {a1 , a2 , a3 , · · · }
dada por f (n) = an es biyectiva.
Ejemplo 1.3. Si A el conjunto de todas las sucesiones cuyos elementos son
los dı́gitos 0 y 1, entonces demuestre que A es no numerable.
Por hipótesis cada elemento de A es una función con dominio N y rango
{0, 1}, es decir f : N −→ {0, 1}. Lo cual también puede verse como fn =
(f (1), f (2), f (3), · · · , f (n), · · · ), donde cada entrada f (n) ∈ {0, 1}.
La notación anterior no es adecuada, debemos utilizar un doble ı́ndice para
referirnos a elementos especı́ficos de una sucesión dada.
Si razonamos por el absurdo, supongamos que A es numerable, luego
sus elementos se pueden enumerar de la siguiente forma:
{x1 , x2 , x3 , · · · , xn , · · · }; es decir x1 es la primer sucesión, x2 es la segunda
sucesión y ası́ sucesivamente, entonces se puede observar los siguiente:
x1 = x11 , x21 , x31 , · · · , xm

Por lo tanto por Teorema 1.5 se deduce que B es numerable.
1 ···

x2 = x12 , x22 , x32 , · · · , xm
2 ···

x3 = x13 , x23 , x33 , · · · , xm
3 ···
..
.

x(n) = x1n , x2n , x3n , · · · , xmn ···
..
.
A continuación vamos a construir una nueva sucesión diferente a todas las de-
scritas anteriormente de la siguiente manera:
y : N −→ {0, 1} tal que y(1) = 1−x11 , y(2) = 1−x22 , y en general, y(n) = 1−xnn
para cada n ∈ N.
Observe que y 6= x1 , y 6= y2 , ya que son diferentes por lo menos en el segundo
elemento, y ası́ sucesivamente y 6= yn , ya que difieren al menos en el enésimo
elemento. Por lo tanto, A no puede ser numerable.
Teorema 1.4. Un conjunto A es infinito, si y sólo si, existe B ⊂ A tal que B
es numerable.
Demostración:
En efecto; si B ⊂ A, entonces existe la función inclusión i : B −→ A y como
B es numerable, por definición, B es infinito. Es decir, existe una función
f : N −→ B biyectiva.
En tal circunstancia, si asumimos que A es finito, entonces para algún n ∈ N
existe una funcion biyectiva g : A −→ In . Luego la función g ◦i◦f −1 : N −→ In
serı́a inyectiva y por Teorema 1.14 de la sesión 2 se concluye que N es finito lo
cual es absurdo. Por lo tanto; A no es un conjunto infinito.
Supongamos que A es un infinito, entonces dado a1 ∈ A definimos el conjunto
A1 = A − {a1 }, y es claro que no es vacı́o, pues si esto no fuese ası́ A serı́a
finito lo cual es absurdo por hipótesis. Continuando de esta forma, se tiene que
an+1 ∈ An+1 , donde An+1 = {a1 , a2 , · · · , an }. Por lo tanto hemeos construido
un conjunto infinito, {a1 , a2 , · · · , an , · · · } incluido en A, y además numerable,
pues es posible etiquetar sus subı́ndices con números naturales.
Teorema 1.5. Si A es un conjunto numerable y g : B −→ A es una función
inyectiva, entonces B es numerable.
Demostración:
Como g : B −→ A es una función inyectiva, g(B) ⊂ A. Luego la función
g : B −→ g(B) es biyectiva. Además por hipótesis existe una biyección
f : N −→ A. Por lo tanto la función f −1 g(B) ◦g : N −→ B es una biyección;
es decir B es numerable.
Teorema 1.6. Si A es un conjunto numerable y g : A −→ B es una función
sobreyectiva, entonces B es numerable.
Demostración:
Como g : A −→ B es sobreyectiva y f : N −→ A es biyectiva, se deduce
que h = g ◦ f : N −→ B es sobreyectiva. Entonces para cada b ∈ B, el
conjunto {n ∈ N : g(n) = b} no es vacı́o, luego por el principio de buen or-
A =
den tiene mı́nimo. Ello nos permite definir una función h : B −→ N, como
h(b) = min {n ∈ N : g(n) = b}, ∀b ∈ B. Es evidentemente que g(h(b)) = b para
todo b ∈ B, de donde deducimos que h es inyectiva.
Teorema 1.7. Todo conjunto infinito A es equipotente a uno de sus subcon-
juntos propios.
Demostración:
Como A es un conjunto infinito por definición, A 6= ∅, luego podemos tomar
a1 ∈ A y definir el conjunto B = A − {a1 } el cual es infinito, pues sino
fuese ası́, entonces A serı́a finito y esto es absurdo. Luego por Teorema 1.4,
se deduce que B posee un subconjunto numerable, y denotemos a dicho con-
junto por C = {a2 , a3 , a4 , · · · }. A partir de ello podemos definimos la función,
f : A −→ B, por medio de la fórmula:

 a2 si x = a1




f (x) = an+2 si x = an+1 ; n ∈ N





x si x 6= a1 , an+1
Luego la función ası́ definida es biyectiva. Por lo tanto se ha demostrado que f (1) = 0.a11 a12 a13 · · · a1n · · · table si es finito, o bien numerable. Algunas veces a los conjuntos numerables
todo conjunto infinito A es equipotente a uno de sus subconjuntos propios. f (2) = 0.a21 a22 a23 · · · a2n · · · se les llama conjuntos contablemente infinitos.
f (3) = 0.a31 a32 a33 · · · a3n · · · La definición anterior indica que cuando trabajemos con conjuntos conta-
Teorema 1.8. Sea A un conjunto. Las siguientes proposiciones son equiva-
..
lentes: . bles hay que diferenciar que puede ser finito o infinito, y que si es infinito es
f (n) = 0.an1 an2 an3 · · · ann · · · numerable.
1. El conjunto A es infinito.
.. Lema 1.15. Todo subconjunto de N es contable.
2. Existe una función inyectiva f : N −→ A. .
Demostración:
3. Existe una función biyectiva de A con un subconjunto propio de A. No debe olvidarse que en la representación decimal de cada f (i) se tiene que Sea A ⊂ N. Si A es finito, entonces A es contable por definición.
los respectivos aij son números enteros entre cero y nueve. Ahora vamos a con- Si A es un conjunto infinito, por Teorema 2.6 de la sesión 2 se deduce que A
Demostración: struir un número en h0, 1i distinto a todos los f (i), con la finalidad de llegar a es enumerable. Por lo tanto por definición es contable.
1) ⇒ 2) una conclusión absurda.
Resultado del Teorema 2.6 de la sesión 2. En efecto; si consideramos el número x ∈ h0, 1i dado por x = 0.b1 b2 · · · bn · · · , Lema 1.16. Si A y B son conjuntos contables, entonces A ∪ B es contable.
2) ⇒ 3) donde cada bi sólo toma valores entre cero y ocho, y además bi 6= aii para cada Demostración:
Como f : N −→ A inyectiva, la función f : N −→ f (A) ⊂ A, es biyectiva. i ∈ N, entonces x 6= f (i) ya que por lo menos difieren en la posición aii . Demostrar la validez de la afirmación implica analizar dos caso:
Por lo tanto, A posee un subconjunto numerable, luego por Teorema 1.4, A Por lo tanto hemos construido un nuevo elemento de h0, 1i tal que x 6= f (i), 1. Caso 01: Si A ∩ B = ∅
es infinito. Finalmente por Teorema 1.7 se concluye que existe una función para todo i ∈ N lo cual nos lleva a un absurdo, a menos que h0, 1i no sea nu- tenemos los siguientes subcasos:
biyectiva entre A y uno de sus subconjuntos propios. merable.
3) ⇒ 1) Sólo resta decir que los bi se toman entre cero y ocho, ya que evitamos tener (a) Si A y B son finitos.
Resultado del Teorema 2.7 de la sesión 2. cadenas infinitas de nueves porque nos lleva a que ciertos números posean dos Existen funciones biyectivas f : In −→ A, y g : Im −→ B. Es claro
representaciones decimales diferentes, es decir, por ejemplo, tratamos de evitar que si m > n, la función h : {n + 1, · · · , n + m} −→ Im es biyectiva,
decimales del tipo: 0.49999999 · · · = 21 = 0.500000 · · · luego la composición g ◦ h : {n + 1, · · · , n + m} −→ B es biyectiva.
Actividad 01 Luego definimos la función:
Lema 1.11. Si A es un conjunto tal que posee un subconjunto B no numerable, 
1. Demuestre que N × N es numerable. Para ello cosntruya una funcion  f (k) si 1≤k≤n
entonces A es no numerable.
biyectiva entre N y N × N. f 0 (x) =
Demostración:
(g ◦ h)(k) si n + 1 ≤ k ≤ n + m

2. Demuestre que el conjunto de los números enteros Z es numerable. Si A fuese numerable, cada subconjunto de él es finito o numerable, luego no
puede pasar que B sea no numerable, y por lo tanto se concluye que A es no Esta función f 0 : In+m −→ A ∪ B es claramente biyectiva. Por lo
3. Demuestre que el conjunto de los números racionales Q es numerable. numerable. tanto A ∪ B es finito.
4. Si M es un conjunto infinito, y A un conjunto numerable arbitrario. Corolario 1.12. El intervalo [0, 1] es no numerable (b) Si A es finito y B es numerable.
Demuestre que M y M ∪ A son equipotentes. Demostración: En este caso existen funciones biyectivas f : In −→ A, y g : N −→
Como h0, 1i ⊂ [0, 1] y h0, 1i es numerable por Lema 1.11 se concluye que [0, 1] B. Luego si consideremos la siguiente función:
5. Demuestre que el conjunto de números primos es numerable. es no numerable.

 f (k) si 1 ≤ k ≤ n
6. Demuestre que la unión de dos conjuntos numerables es numerable. h0 (x) =
Teorema 1.13. Si a, b ∈ R, entonces el intervalo ha, bi, donde a, b ∈ R es no
g(k − n) si k ≥ n + 1

numerable
7. Demuestre que un conjunto que contiene un subconjunto numerable Es evidente que función es biyectiva.
Demostración:
es equipotente a la unión del conjunto y un conjunto numerable.
Se sabe pr Corolario 1.12 se sabe h0, 1i es no numerable, y por el Teorema 1.6 (c) Si A y B son numerables.
de la sección 2, ha, bi es equipotente con h0, 1i. Por lo tanto existe una función En este caso particular existen funciones biyectivas f : N −→ A, y
1.2 Conjuntos no Numerables biyectiva f : h0, 1i −→ ha, bi. Luego ha, bi es no numerable, ya que si fuese g : N −→ B. Luego definimos la función g 0 : N −→ A ∪ B como:
numerable deberı́a existir una biyección g : ha, bi −→ N, y como consecuen- 
k
En estos conjuntos no existe orden alguno que pueda ser establecido desde los
 f( 2 ) si k es par

cia de ello la composición g ◦ f : h0, 1i −→ N serı́a una biyección, y esto es 

naturales. El cardenal de los conjunto no numerables es Aleph subuno. 0
absurdo. g (x) =

 k+1
 g(
 ) si k es impar
2
Actividad 02
Queda como tarea demostrar que g 0 ası́ definida es biyectiva.
1. Demuestre que el conjunto de los números reales es no numerable.
2. Caso 02: Si A ∩ B 6= ∅
2. ¿El conjunto de los números irracionales es no numerable? Sean C = A ∩ B, y D = B − C. Es claro entonces que A ∩ D = ∅, esto
porque D es la parte de B que ya no tiene parte común con A. Además
3. Demuestre que el conjunto de todas las rectas no verticales que pasan
A ∩ B = A ∩ D. En resumen, tenemos dos conjuntos, A y D con in-
por el punto (0, 1) es no numerable.
tersección vacı́a y cuya unión es igual a A ∩ B. Esto reduce el caso en
Definición 1.9. (Conjuntos no Numerables). Un conjunto A que no es 4. Si A es no numerable y B es numerable entonces demuestre que A − B cuestión al caso ya estudiado.
finito, y para el que tampoco existe una biyección f : A −→ N se llama no es no numerable. Si D es contable, entonces al unirlo con A, el cual es finito o numerable,
numerable. se tiene por la parte ya probada que A ∩ D es contable, y por lo tanto,
5. Construya un ejemplo para el ı́tem anterior. A ∩ B es contable.
Ejemplo 1.10. El intervalo abierto h0, 1i es no numerable.
Para verificar tal afirmación se procederá por reducción al absurdo, es decir,

6. Demuestre que el conjunto x ∈ R3 : ∃ n ∈ N, x1 + x2 + x3 = n es no
supongamos que h0, 1i es numerable. numerable. References
Luego por Definición 1.1, existe una biyección f : N −→ h0, 1i, y por lo tanto,
podemos suponer que h0, 1i = {f (1), f (2), f (3), · · · }. Vamos a utilizar el he- [1] E. L. Lima, Curso de Análise, vol 1, (11a edición) Projeto Euclides, IMPA 2004.
1.3 Conjuntos Contables
cho de que cada elemento de h0, 1i puede escribirse en su forma decimal, esto [2] Costa Reparaz, E.; Otto Lopéz, B. Ideologı́a y matemáticas: El Infinito. XIII
significa que: Definición 1.14. (Conjuntos Contables). Un conjunto, A, se llamará con- Jornadas de ASEPUMA (1999).