TEOREMA DE LA

DIAGONAL CANTOR
DICE…

El conjunto de los números reales R, no es

numerable, es decir que INI<IRI, este argumento
nos permite afirmar que R no es numerable,
porque la cantidad de elementos o números
que hay no es la misma cantidad de números
naturales, se procede a demostrar el teorema
con la negación o contradicción.
Recordar los siguientes conceptos!

 Numerabilidad: un conjunto es numerable si y solo si es equipotente

con el conjunto de los N
 Conjuntos finitos e infinitos:
Finitos: un conjunto X es finito si no es equipotente con una de sus
partes.
Infinitos: x es infinito si es equipotentes con cada una de sus partes
 Biyectividad: una función F es biyectiva si y solo si es inyectiva(uno
a uno) y sobreyectiva ( toca todos los elementos)
 Equipotente: Dos conjuntos son equipotentes cuando existe una
biyección.
Supóngase:

F: N R ( hay una biyección de los naturales en los

reales). Si existe esa biyección los N tendrían la misma
cantidad de elementos que los R, afirmando que los R
serian un infinito numerable.
 Vamos a considerar representaciones de los números
reales para hacer este espacio decimal y ver si es
posible que exista esta biyección.
 Vamos a prohibir ambigüedades, no permitiendo
expresiones que tengan infinidad de nueves:
0.9999999999 porque lo podemos apreciar como 1
Se procede a establecer la biyección
o sucesión:
F(1)=r1=…..b31b21b11 . a11a12a13...
A 1 le corresponde el real 1, esta sucesión en la parte
izquierda en algún punto terminara y será cero(0), de igual
forma para el lado derecho, de esta forma se comienza a
formar la matriz y a asignar a cada natural un real,
expresándolo de la siguiente manera:
F(m)=rm=…..b3mb2mb1m . a1ma1ma1m...
MATRIZ
 ¿Cómo realizar la contradicción?
• Vamos a generar un número
distinto de cero y uno, vamos a
determinar sus decimales, es un
número < 1 ya que las entradas
podrían ser 0 también.

• Para determinar el primer decimal,

tenemos que mirar quien es el
primer decimal del primer real en la
sucesión, osea a11 de la primera
fila, a este nuevo número lo
llamaremos b y decimos:
b1∉[9, a11 ]
• Para el segundo decimal a22
exactamente lo mismo:
b2∉[9, a22 ]
.
.
.
¿Como determinar la diagonal?

 La diagonal se puede determinar a elección de cada

uno, en este caso simplemente la vamos a probar
diciendo que:
b estará compuesto por:
b1 = a11 +1
b2 = a22 +1
.
.
.
b= 0, b1b2b3….
Conclusión

 Es claro que r ≠ rm al que denominamos b, porque no coincide su

valor en a11 , a lo mejor tiene unos elementos que son iguales en
otros difiere, pero en a11 es distinto y como no hay ambigüedad en
la relación no es r1 , de la misma manera no es r2 porque no va a
coincidir con a22 y así con cada elemento de la sucesión, entonces
r ∉ Img.F
 Por lo tanto es una contradicción por el hecho de suponer que hay
una biyección, porque en particular tendría que ser sobreyectiva,
esta “biyección” surge de suponer que R es infinito numerable
como es el caso de los números naturales , de esta forma se
demuestra que R es infinito no numerable.
 Ejemplo 1
Tenemos las siguientes relaciones:
Para formar la diagonal tomaremos la
restricción propuesta anteriormente,
b estará compuesto por:
b1 = a11 +1
b2 = a22 +1
.
.
.
b= 0, b1b2b3….
b= 0, 45035…
Conclusión:
Construido así bϵ [0,1] y también es claro
que b no corresponde con ningún número Hemos encontrado un elemento del
natural ya que difiere a r1 en al menos un intervalo [0,1] que no corresponde
decimal, con r2 en el segundo a r3 en el a con ningún elemento o número
tercero… natural por lo tanto INI<I[0,1]I y en
consecuencia INI<IRI
EJEMPLO 2

 A es el conjunto contenido por [0,1] y cuya expresión decimal es (ceros,

cincos, y nueves)
 ¿Qué relación existe entre la cardinalidad del conjunto IAI y el intervalo
[0,1]?
A ≈[0.1]
Sabemos que lo representamos a través de una expansión:

Sabemos que en cada uno

de estos intervalos existen
infinitos números los cuales
pertenecen a A
 Por el teorema de equipotencia que hay podemos decir que el intervalo
[0,1] va a estar en la recta de los reales.
[0 1]

Existen 2 elementos que a su vez van a tener

infinitos números naturales y así se va hasta el
infinito. Ejemplo 0,5…………..0,509………
0,5009…..0,559……..0,59,…………
 Vamos a demostrar:
 Relación [0,1]≈R
 [0,1]≠N
 Vamos a suponer [0,1] es numerable por medio de la diagonal de cantor para
verificar si es numerable.
[0,1] No es numerable, suponemos entonces [0,1] =[a0, a1, a2.....]
Se ha numerado biyectivamente,
a0= 0. a0,0, a0,1, a0,2 a0,3
a1= 0. a1,0, a1,1, a1,2 a1,3
a2= 0. a2,0, a2,1, a2,2 a2,3

Formaremos un decimal b= 0, b1b2b3….

Donde:
0 ≠ b0 ≠ a0,0
0 ≠ b1 ≠ a1,1 b [0,1] ninguna cifra de b es cero b≠ an
0 ≠ b2 ≠ a2,2
  b [0,1] ninguna cifra de b es cero b≠ an (sucesión de an )
 A ≈ [0,1] por lo tanto B ⊂ A

En este ejemplo lo que queremos

mirar es la expansión de 0 y 5 es
decir que exista un B que tendrá
dicha expansión y que estará
contenido en A
 B ≈ [0,1]
 B ⊂ A ∀ x ∈ B, x es un numero cuya expansión decimal es de ceros y
cincos, se utilizará el método de la diagonal de Cantor suponiendo
si B es numerable, por lo tanto se puede expresar como sucesiones
que van desde a1, hasta an donde el primer número es cero y los ai
son valores que toma i y el orden de cada cantidad de ceros que
anteceden a cada 5.

a1= 0. 05a11 005 a120005 a13

a2= 0. 055a21 00550 a22 0055 a23

a3= 0. 0555 a3100555 a32 000555 a33

a4= 0. 05555a41005555 a42 0005555 a43 …….a44

an=……………..
 Ahora vamos a tener un número b que se forma en la diagonal marcada
anteriormente, el cual no va a aparecer en la sucesiones de an , puesto
que el ai cuyos dígitos son 0,050 son los números de la sucesión de a1 pero
al ver los demás se diferencia de esta

a1= 0. 05a11 005 a120005 a13

a2= 0. 055a21 00550 a22 0055 a23

a3= 0. 0555 a3100555 a32 000555 a33

a4= 0. 05555a41005555 a42 0005555 a43 …….a44

an=……………..
Comparemos a1 con b
a1 = 0,050050005
Quiere decir que en los primeros 6 dígitos son iguales,
b = 0,050055000 pero en el séptimo digito difiere, lo que nos conduce a
una contradicción.
Conclusión

 x ∈ B ≠ an (los elementos de b no pudieron ser ubicados

en la sucesión de an )
 Concluyendo que b no es numerable y por la hipótesis
del continuo:
B ⊂ [0,1] y I[0,1]I
IBI ≠ IBI
Por lo tanto [0,1] ≈ B