Los nmeros Transfinitos: Hablemos del infinito

Cantor innova la manera de contar o medir el tamao de un conjunto, inaugurando el orden

como una fantstica y eficaz herramienta. Cuando un conjunto es finito y posee un reducido nmero de
elementos, conocer su tamao es bien sencillo, basta contar los elementos que posee, as, por ejemplo,
el conjunto V= {a,e,i,o,u} posee cinco elementos y decimos que su cardinal es 5, escribimos:
card(V)=5. Cuando el conjunto es finito pero posee ya un elevado nmero de elementos, la cuestin se
vuelve ms tediosa, pongamos otro ejemplo:
Imaginemos que nos encontramos en una (tan desgraciadamente de moda) Macrofiesta que
rene a miles de personas, y deseamos saber si hay ms chicos que chicas o al contrario. Pues aunque
fuese tedioso y llevase tiempo, una primera manera de hacerlo, sera contar uno a uno los asistentes a
dicha fiesta, pero Cantor hubiera utilizado esta otra manera, a ver qu les parece:
Cantor propondra que se formaran todas las parejas posibles chico/chica; al final del
emparejamiento pudiera ocurrir que, o bien quedan chicas sin pareja, en este caso, habra ms chicas que
chicos, o chicos sin pareja, lo contrario o, de manera excepcional, hubiese el mismo nmero de chicos
que de chicas despus del emparejamiento uno a uno, chico/chica, es decir, no quedara nadie sin
pareja (Cuando esto ltimo ocurre, decimos en Matemticas que existe una biyeccin, en este caso
entre el conjunto de chicos y el conjunto de chicas).
Pues bien, esto mismo hizo Cantor con los Naturales y los Pares.
Podemos utilizar este mtodo llamado de Cantor para comparar sus cardinales. Basta con olvidar
por un momento eso de que en el primer conjunto hay elementos que en el segundo no hay.
Establezcamos una relacin de uno a uno, para emparejar a todos de manera ordenada (segn el orden
natural).
Biyeccin entre el conjunto de los nmeros naturales y los
nmeros pares.
As, al 1 le asociamos el primer par (su doble) 2, al 2 el segundo
par 4, al 3 el tercero 6, a cualquier natural n su par asociado 2n
y as sucesivamente (Es de hacer notar, que con este
sucesivamente, estamos haciendo uso de un proceso recursivo
interminable, pues esta ltima expresin as sucesivamente
encierra la misma idea de reiteracin ilimitada, al infinito, es
decir, estamos haciendo uso del infinito potencial).

De este modo no hay ninguno que se quede solo (sin pareja) en

ninguno de los dos conjuntos, luego ambos tienen el mismo cardinal, es decir, poseen el mismo
tamao.
De igual modo podemos hacer con los nmeros impares:

Biyeccin entre el conjunto de los nmeros naturales Biyeccin entre el conjunto de los nmeros naturales y
y los nmeros impares. los cuadrados perfectos (Paradoja de Galileo)

Unidad 1- F. de Matemtica-4 Ao Prof. de Matemtica-ISFD N 168-Prof.: Vazquez Mario- Ao 2017

O con los nmeros triangulares:

Biyeccin entre el conjunto de los nmeros naturales y los

triangulares.
Hasta aqu todo bien. Hemos visto que todos estos conjuntos infinitos, por paradjico que resulte,
tienen el mismo tamao.

Es momento de ordenar ideas y presentarlas con algo de ms rigor:

DOS CONJUNTOS A Y B SON EQUIVALENTES SI ES POSIBLE PONERLOS,
POR UNA CIERTA LEY, EN UNA RELACIN MUTUA TAL QUE A CADA
ELEMENTO DE UNO DE ELLOS CORRESPONDE UN ELEMENTO, Y SLO
UNO, DEL OTRO. (Georg Cantor).

Conjuntos Equipotentes
Se dice que los conjuntos A y B tienen igual potencia, que son equipotentes o que son
conjuntos coordinables, si existe una biyeccin (relacin uno a uno) entre ellos, lo que se expresa:

As, los conjuntos vistos anteriormente, Naturales, pares, impares, triangulares, primos,
son equipotentes entre s.

Cardinal
Dado un conjunto A, a l y a cualquiera de los conjuntos equipotentes con l se le asignar un objeto
matemtico (Tamao) llamado cardinal o potencia de A, y que escribiremos:

Dos conjuntos son equipotentes si y slo si tienen el mismo cardinal (la misma potencia), esto es:

Conjuntos Infinitos Numerables

Son todos aquellos equipotentes a N, es decir: cualquier conjunto infinito que pueda ponerse en
biyeccin con el conjunto de los naturales, se dice Numerable.

Pues bien, segn hemos visto, el cardinal de los naturales, los pares, los impares, los primos, los
cuadrados, etc. es el mismo y por tanto numerables. A dicho cardinal CANTOR lo represent con el
smbolo ALEPH SUB CERO. As pues, aleph sub cero representa el cardinal de los conjuntos
infinitos numerables (aquellos que pueden ponerse en aplicacin biyectiva con los nmeros naturales)
y es, como veremos, el primero del sistema que llam Cantor de los nmeros transfinitos.

Unidad 1- F. de Matemtica-4 Ao Prof. de Matemtica-ISFD N 168-Prof.: Vazquez Mario- Ao 2017

As, hemos descubierto un increble y, matemticamente hablando, un maravilloso hallazgo: Hemos
encontrado partes propias (el conjunto de pares es distinto de los naturales y est incluido en l;
decimos en matemticas que es una parte propia de N) de un todo, que poseen el mismo tamao que
el todo por paradjico que resulte. Nuestro primer infinito:

Primer nmero Transfinito.

Pero esto no es ms que el comienzo, subamos un peldao ms en esta escalera del infinito.

Cantor sigui hacindose preguntas algo ms amplias: Son todos los infinitos iguales?, es decir,
todos los conjuntos infinitos son numerables?
Hasta ahora hemos comparado tamaos entre N y algunas de sus partes, qu ocurrir si comparamos
N con otros conjuntos en los que est contenido?
De otro modo qu sucede con los nmeros enteros (es decir, los naturales positivos junto con los
negativos y el cero, o con los racionales (enteros y fraccionarios), o con el todopoderoso R de los
nmeros reales? que son conjuntos que contienen a N o, por decirlo de algn modo, ms amplios
que N. Son estos conjuntos numerables? O, lo que es lo mismo, pueden ponerse en biyeccin con
N?, poseen por cardinal tambin a Aleph sub cero?.

La respuesta como veremos enseguida es variada.

Comencemos por comparar el infinito del conjunto Z (del griego Zhalem) de los nmeros enteros, con
nuestro Aleph sub cero de los Naturales.
Naturales y Enteros
Si confiramos de nuevo en la intuicin, al
contener Z a N, podramos en principio
pensar que Z posee un cardinal mayor que
el de N; pues de nuevo Cantor nos prueba
que no, es exactamente igual.
Para probarlo y segn lo dicho
anteriormente, bastara encontrar una
biyeccin que pusiera en relacin a N con
Z para poder asegurar que Z es otro conjunto infinito numerable, es decir con el mismo cardinal que N:
aleph sub cero.

Pues aqu va una tal biyeccin que nos resuelve la situacin:

Biyeccin entre el conjunto de los nmeros

naturales y el de los nmeros enteros.

Donde:

Podemos as asegurar que N y Z son equipotentes, es decir, poseen el mismo cardinal, nuestro primer
transfinito aleph sub cero.
Unidad 1- F. de Matemtica-4 Ao Prof. de Matemtica-ISFD N 168-Prof.: Vazquez Mario- Ao 2017
Pero Cantor nos sube un peldao ms en esta imparable escalera que nos sube al infinito,
preguntndose:
Qu ocurrir con Q (Racionales: Enteros mas fraccionarios)?, ser tambin Q un conjunto
infinito numerable?, es decir, del mismo tamao que N?.

Est claro que el conjunto de los nmeros racionales es, al menos, tan grande como el de los naturales,
ya que cualquier nmero natural se puede escribir como fraccin de denominador uno.

Ya hemos comprobado que no debemos llevarnos de la intuicin ni dar respuestas precipitadas pues
acabamos de ver como hay tantos naturales como pares, o tantos como primos, o como cuadrados,
enteros, etc. a pesar de que no todos los naturales son pares, primos o cuadrados ni todos los enteros
son naturales.

Densidad en Q.
Entre dos nmeros racionales cualesquiera (por muy prximos entre s que se encuentren en la recta
real) existen una cantidad infinita de nmeros racionales.
Esta propiedad (arquimediana) de los racionales en matemticas la llamamos densidad, podemos decir
que Q es denso en el conjunto de los reales que lo contiene.

No es difcil imaginar la densidad, basta considerar dos nmeros racionales como extremos de un
segmento. El punto medio de ese segmento ser tambin racional, y genera dos segmentos que, a su
vez, se pueden subdividir infinitamente (de nuevo el infinito potencial).
Pero vayamos a la cuestin, nos preguntbamos sobre el tamao de Q, su cardinalidad, de si es o no un
conjunto infinito numerable.
Para ello Cantor de nuevo se plantea si es posible ordenar todas las fracciones segn el orden natural,
y aqu vuelve a brillar su genio y nos presenta la siguiente ordenacin de Q.
Comenzamos colocando todos los nmeros racionales en una tabla, y aprovechando que una fraccin
no es ms que una pareja de enteros que ocupan su numerador y su denominador respectivamente, los
dispone del siguiente modo: cada fila tiene un mismo nmero natural en el numerador, y cada columna
un mismo nmero en el denominador:
Diagrama que contiene a los racionales ordenados.
O en forma de biyeccin:

Biyeccin entre N y Q
De nuevo quedamos fascinados ante el resultado: El conjunto Q de los nmeros racionales ES
INFINITO NUMERABLE, es decir, posee por cardinal nuestro aleph sub cero, el mismo cardinal que
N y Z. As, N, Z y Q posee la misma potencia.
Unidad 1- F. de Matemtica-4 Ao Prof. de Matemtica-ISFD N 168-Prof.: Vazquez Mario- Ao 2017
Pero sigamos subiendo nuestra escalera infinita, el incansable Cantor se enfrenta ahora al
Continuum, el conjunto de los nmeros reales, el que contiene a todos los anteriores y algunos ms:
los famosos nmeros Irracionales, que tanto dieron que hacer a los Pitagricos.
Cul ser el cardinal de R?, es decir, Cul ser la Potencia del continuum?

La potencia del continuum

Hemos comprobado como N, Z, Q y otros conjuntos (Pares, primos, triangulares) poseen la misma
potencia: Aleph sub cero. Uno podra empezar a preguntarse, con razn, si todos los conjuntos
infinitos de nmeros poseen la misma potencia, pero Cantor, como veremos enseguida, demostr de
manera concluyente que no es ste el caso.
El conjunto de los nmeros reales, por ejemplo, como veremos enseguida, posee mayor potencia que,
hasta ahora, la nica que conocemos: nuestro Aleph sub cero.
Para demostrar esto Cantor utiliz un razonamiento por REDUCTIO AD ABSURDUM (La
reduccin al absurdo consiste, bsicamente, en suponer verdadero lo contrario de lo que deseamos
demostrar y a partir de esa premisa llegar a una contradiccin) comparando el conjunto de nmeros
naturales con el conjunto de los infinitos nmeros reales comprendidos entre 0 y 1: [0,1].
Nota: Es fcil probar que [0,1] es un conjunto infinito, bastara encontrar una biyeccin entre l y uno
cualquiera de sus sub-intervalos, lo que est probado, y hacer uso de nuestra definicin Dedekind-
Cantor de conjunto infinito dada en entradas anteriores.
El razonamiento fue el siguiente:
El argumento de la diagonal
Supongamos que el conjunto de nmeros reales entre 0 y 1 es numerable (Posee la misma potencia que
N, aleph sub cero) y supongmoslos expresados todos ellos como decimales que no terminan en una
sucesin de ceros, que, por ejemplo 1/3 aparecera como 0,3333, 1/2 como 0,499999 etc.
Cantor nos propone considerar la siguiente ordenacin de todos los infinitos nmeros reales de [0,1]:
El argumento de la diagonal.
Este famoso argumento se conoce con el nombre de Argumento de la
Diagonal de Cantor.
Construyamos un nmero real, en la que su primera cifra decimal sea
la primera cifra decimal del primer nmero de la lista, su segunda cifra
decimal la del segundo nmero de la lista, la tercera es la tercera cifra
decimal del tercer nmero, etc. En la imagen anterior, nuestro nmero
sera el 0,2496218 y tiene infinitas cifras decimales, ya que nuestra lista
ordenada contiene infinitos nmeros. Es fcil prever que el nmero que
acabamos de construir coincide en una cifra decimal, al menos, con cada
uno de los de la lista (la primera con el primero, la segunda con el segundo,
la tercera con el tercero, etc.). Desde luego, es incluso posible que
coincida en todas sus cifras decimales con alguno de la lista, y de hecho
esto suceder necesariamente si, como afirmamos al principio, nuestra
lista contiene todos los nmeros reales entre 0 y 1.
De nuevo aparece la genialidad del cejudo Cantor y nos propone:
Hagamos slo una cosa ms, sugiere Cantor.
Sumemos uno a cada cifra decimal del nmero construido, de modo que el 1 se convierta en 2, el 2
en 3, y el 9 en 0. Nuestro nmero anterior ser ahora, por tanto, 0,3507329,y qu?, nos podemos

Unidad 1- F. de Matemtica-4 Ao Prof. de Matemtica-ISFD N 168-Prof.: Vazquez Mario- Ao 2017

preguntar, seguramente que este nmero tambin estar contenido en la lista, pues hemos aceptado
como hiptesis que la lista contiene a todos y ste es uno de ellos.
De nuevo la intuicin nos precipita. Analicemos la situacin con algo de ms calma:
Antes, la primera cifra coincida con la primera del primer elemento de la lista, pero como le hemos
sumado uno, acabamos de asegurar que nuestro nuevo nmero no coincide con el primero de la lista,
pues esa cifra decimal ya no coincide. Igual ocurre con el segundo elemento: nuestro nmero no es
se, pues al menos en la segunda cifra decimal no coinciden. Y eso mismo pasa con absolutamente con
todos los elementos de la lista. As, nuestro nmero es distinto de todos y cada uno de ellos al menos
en una cifra decimal, porque as lo hemos construido, es decir, nuestro nmero no est en la lista.
Hemos encontrado la contradiccin!
Habamos supuesto que [0,1] era numerable, es decir, que podramos ordenar todos sus nmeros (la
lista contena todos y cada uno de los infinitos nmeros reales entre 0 y 1) lo que, como acabamos
de ver es falso, pues el nmero que hemos construido no se encuentra en la lista.
Dicho de otro modo el intervalo [0,1] es incontable en el sentido cantoriano ms amplio, pues, no
slo no podemos contar el nmero de elementos que posee en el sentido cuantitativo (tradicional),
sino que tampoco podemos ponerlo en biyeccin con N, es decir, no podemos ordenarlos de ninguna
manera. Su cardinal es infinito, pero ms infinito que el de los naturales: es un infinito que decimos
en MatemticasINCONTABLE.
En forma de Teorema:
Teorema:
EL CONJUNTO DE NMEROS REALES DEL INTERVALO [0,1] NO ES
NUMERABLE, ES DECIR, NO SE PUEDE PONER EN CORRESPONDENCIA
UNO-UNO CON EL CONJUNTO DE LOS NMEROS NATURALES.

Llegado a este momento, para extender este resultado al conjunto R de los nmeros reales bastar con
establecer una biyeccin entre este intervalo y los reales, no es difcil encontrar una tal biyeccin entre
[0,1] y R, pongamos de ejemplo:

Biyeccin entre [0,1] y R

Es momento de poder exclamar Hemos encontrado dos infinitos diferentes!, De modo que, ya no es
posible decir simplemente INFINITO como contraposicin a FINITO: el infinito empieza a dejar
de ser la borrosa idea y sin distincin que el APEIRON GRIEGO nos propona, sino que existen
de diversos grados o tamaos, unos mayores que otros y, que como veremos ms tarde, hasta se
pueden ordenar.
Cantor denomin al nuevo infinito encontrado asociado a R, potencia del continuo, notado
como c y posteriormente, como veremos ahora, por Aleph sub uno (1).

Potencia del continuo

Cantor demostr una propiedad bastante sencilla y razonable (aunque, como ya hemos visto, la
intuicin se debe limitar enormemente en este terreno de lo infinito): SI DOS CONJUNTOS SON
NUMERABLES, TAMBIN LO ES EL CONJUNTO QUE SE CREA AL UNIRLOS . Lo que
le permiti explorar en el territorio siempre misterioso de los nmeros irracionales.

Unidad 1- F. de Matemtica-4 Ao Prof. de Matemtica-ISFD N 168-Prof.: Vazquez Mario- Ao 2017

 Raz cuadrada de 2,
inconmensurable
pitagrico.

Nmeros Irracionales.

Este conjunto ya atorment a los pitagricos hasta el punto que decidieron esconder su
descubrimiento: guardaron en secreto la prueba de que la diagonal del cuadrado y su lado
son inconmensurables. Como el conjunto de los nmeros reales (no numerable como hemos visto) es
la unin de racionales e irracionales, stos tienen que ser no numerables ya que si fueran numerables,
lo tendra que ser R por ser la unin de ellos y no lo es.

La densidad de Q, en los trminos de que entre dos racionales cualesquiera, por muy prximos que
se encuentren siempre podremos encontrar infinitos ms, pues bien, el conjunto I de los nmeros
irracionales es infinitamente ms denso que el de los racionales, por poner un ejemplo grfico:
Podemos emplear, puntos azules para los nmeros racionales y rojos para los irracionales.
Como acabamos de decir, los nmeros racionales tienen la propiedad de ser densos. En otras palabras,
en un segmento cualquiera [a,b] de la recta real, por mucho zoom que hagamos para ampliar su
tamao siempre veremos infinitos puntos azules infinitamente prximos entre s.
Pero a pesar de este hecho, los racionales dejan huecos o poros en la recta real que son rellenados
por los nmeros irracionales, y sorprendentemente, el nmero de poros es muchsimo mayor.

Para entender la enorme diferencia de magnitud entre el nmero de nmeros racionales y de

irracionales (es decir, entre 0 y la potencia del continuo 1 ), hagamos el siguiente experimento
mental: imaginemos que un jugador lanza un dardo de punta infinitamente fina sobre un segmento
cualquiera de la recta real. Pues bien, saben cul es la probabilidad que tiene, a priori, de acertar en un
nmero racional. La respuesta es 0!.
Es decir, si eligiramos un nmero real al azar, la probabilidad de que sea racional es 0!.

Resulta probado, pues, que I es no numerable mientras que ya sabamos que Q s lo es. As que es
la extrema densidad de los irracionales (ese conjunto cuya existencia descubrieron los pitagricos del
que se conocan no muchos elementos: los radicales de los nmeros primos, el nmero Pi, el nmero
ureo Fi, ), la que asegura que la potencia del continuo es mayor que la de N.

El conjunto de los nmeros irracionales I TIENE LA POTENCIA DEL CONTINUO.

G. CANTOR.
Pero Cantor ira todava ms lejos, y comienza a cuestionarse la existencia de un posible conjunto que
tenga una potencia comprendida entre la potencia de N, 0 y la potencia del continuo, 1 que hemos
descubierto hoy. En definitiva, Cantor empez a conjeturar la conocida y cuestionada Hiptesis del
Continuo

Los nmeros reales pueden clasificarse en dos tipos de diferentes maneras, por ejemplo, como hemos
visto en la entrada anterior en racionales e irracionales, o en algebraicos y transcendentes.
Llamamos nmeros construibles a los nmeros que con ayuda de los instrumentos clsicos de dibujo
(regla y comps) y, slo stas, se pueden representar sobre una recta en la que hemos sealado dos
puntos que representan al 0 (origen) y al 1 (unidad de medida). Todos los nmeros racionales son
construibles y algunos irracionales tambin.
Unidad 1- F. de Matemtica-4 Ao Prof. de Matemtica-ISFD N 168-Prof.: Vazquez Mario- Ao 2017
Un nmero decimos que es algebraico, si es raz de una ecuacin polinmica, por ejemplo el nmero
5 es algebraico, pues puede obtenerse como solucin de la sencilla ecuacin: 2x 10= 0; Tambin lo
es EL NMERO UREO , que adems es irracional, pues se obtiene como solucin de la
ecuacin cuadrtica:

TODOS LOS RACIONALES SON ALGEBRAICOS, Y, TAMBIN LO SON TODOS

LOS IRRACIONALES CONSTRUIBLES. Al revs no es cierto, de manera que los nmeros
construibles son un subconjunto estricto o propio (no igual) de los algebraicos. Los
nmeros transcendentes son el resto, entre los que se encuentran los famosos pi, e,
Cantor prob que la clase de los nmeros algebraicos, que es mucho ms extensa que la de los
nmeros racionales, tiene sin embargo, la misma potencia que el conjunto de los nmeros
naturales: 0 , es decir, es un conjunto infinito numerable. Por lo tanto, son los
nmeros transcendentes los que les dan al sistema de los nmeros reales el fuerte carcter
de densidad que trae como consecuencia su potencia ms alta.
En resumen, podemos decir:
Dentro del conjunto de los irracionales existe un conjunto de nmeros que no son algebraicos. A esos
nmeros los llamamos trascendentes.
Como los nmeros algebraicos son numerables, el resto de nmeros reales, los trascendentes, tienen
que tener la potencia del continuo.
Una vez que en 1874, Cantor demuestra que el cardinal del conjunto de los naturales es estrictamente
menor al de los nmeros reales y, despus de analizar la numerabilidad de los conjuntos de nmeros
algebraicos y transcendentes. Lo siguiente a preguntarse es si existen conjuntos cuyo cardinal est
incluido estrictamente entre el de ambos conjuntos, es decir:

Existe algn conjunto A, cuyo tamao sea MAYOR que el de los nmeros NATURALES, pero
MENOR que el de los nmeros REALES?

Cantor nos responde con La hiptesis del continuo (en lo sucesivo HC).

HC: NO EXISTEN CONJUNTOS CUYO TAMAO EST COMPRENDIDO

ESTRICTAMENTE ENTRE EL DE LOS NATURALES Y EL DE LOS NMEROS
REALES.

Cantor trat en vano demostrar la hiptesis del continuo, era slo una conjetura.

La demostracin (o negacin) de la Hiptesis del Continuo es uno de los 23 PROBLEMAS DE

HILBERT (de hecho, es el primero), algunos de los cuales todava no han sido resueltos. Fueron
propuestos por HILBERT en 1900 como desafo a las generaciones presentes y futuras de
matemticos.
Al igual que la geometra eucldea se sustenta en un paquete de postulados o axiomas, la Teora de
Conjuntos tambin lo hace en base a un sistema de axiomas que denominamos Axiomtica Zermelo-
Fraenkel, en lo sucesivo axiomtica ZF; Cuando aadimos a este conjunto de axiomas el llamado y
muy cuestionado Axioma de eleccin, el sistema lo notamos por ZFC.

Unidad 1- F. de Matemtica-4 Ao Prof. de Matemtica-ISFD N 168-Prof.: Vazquez Mario- Ao 2017

Pues bien, el no menos genial KURT GDEL demostr en 1940 que no se poda demostrar como
falsa la hiptesis del continuo partiendo de la axiomtica ZF (Zermelo-Fraenkel), incluso si se aada
el Axioma de Eleccin (ZFC). Pero, aos ms tarde, en 1963, PAUL COHEN, demostr, a su vez, lo
contrario, esto es: que tampoco poda probarse su veracidad partiendo de dichos axiomas. As
pues, la HC es indecidible (indemostrable): ni puede afirmarse, ni puede negarse.

Dicho de otro modo Gdel nos asegura que puede construirse una teora de conjuntos
consistente donde la HC fuese cierta y, simultneamente Cohen tambin nos asegura la construccin
de una teora de conjuntos consistente donde la HC es falsa. Es decir, obtenemos sistemas
axiomticos consistentes en ambos casos. Una situacin anloga a la que se obtiene cuando en
geometra admitimos como cierto el quinto axioma o postulado de las paralelas o lo negamos en todas
sus formas posibles, el resultado provoca la existencia de geometras distintas y consistentes, las
llamadas geometras no eucldeas: la propia eucldea, la debida a Riemann (Geometra elptica) y la
de Bolyai-Lobachevsky (Geometra hiperblica).

Hemos visto en este trayecto como la densidad determina la cardinalidad o potencia de un

conjunto. Cantor, nos sube ahora un peldao de su particular escalera y comienza a plantearse si
la dimensin determina de alguna manera la potencia de un conjunto.

Nota: En matemticas decimos que una recta es un objeto de dimensin 1 (un punto de una recta
viene determinado por un nmero real), un plano de dimensin 2 (un punto del plano viene
determinado por dos nmeros reales), el espacio tridimensional de dimensin 3 (un punto de nuestro
espacio cotidiano viene determinado por una terna de nmeros reales: tres), etc.
Y nos propone la pregunta: Dnde hay ms puntos en un segmento o en un cuadrado?
O, an ms fuerte: dnde hay ms puntos, en un segmento, en un cuadrado o en un cubo?
Dimensiones: Segmento, cuadrado, cubo.
De nuevo nos pone la imaginacin a prueba.
Y, Cantor de nuevo destroza la intuicin con su
imponente genio, demostrando que:
EL SEGMENTO, EL CUADRADO Y EL CUBO
(OBJETOS DE DIMENSIONES DISTINTAS)
POSEEN LA MISMA POTENCIA: LA POTENCIA
DEL CONTINUO, 1 .

Para ello, en un derroche de elegancia propone el siguiente emparejamiento (biyeccin de nuevo)

entre los puntos del segmento [0,1] y los del cuadrado que tiene por lado la misma longitud que el
segmento, esto es: 1.

Biyeccin entre los puntos de un segmento y los de un cuadrado.

Si tomamos un punto cualquiera de la superficie del cuadrado

de coordenadas (x,y), ocurrir, por como ha sido construido
el cuadrado que, x e y sern nmeros reales entre el 0 y el 1.
Tomemos en particular un punto concreto del cuadrado, el de
la imagen:
(x,y)=(0,3143256408876, 0,6244356998124)
Cantor asocia ahora este punto con un nico punto del
segmento [0,1] del siguiente modo:

El nuevo nmero r, se obtiene alternando los decimales de x e y, as, su primera cifra decimal ser la
primera cifra decimal de x, su segunda cifra decimal ser la primera cifra decimal de y, la tercera cifra

Unidad 1- F. de Matemtica-4 Ao Prof. de Matemtica-ISFD N 168-Prof.: Vazquez Mario- Ao 2017

decimal ser la segunda de x, la cuarta la segunda de y, la quinta la tercera de x,y de nuevo as
sucesivamente.
El nmero que hemos construido r, ser: r=0,36124434235566490988817264
De este modo ni un solo punto del cuadrado se quedar sin pareja en el segmento. La biyeccin est
establecida y, por tanto, la potencia del cuadrado coincide con la del segmento [0,1], que como ya
hemos visto es 1.
Y, qu ocurre con el cubo?, pues exactamente igual:

Biyeccin entre un segmento y un cubo

En este caso, tenemos un punto (x,y,z) del espacio tridimensional de coordenadas:

x=0,3143256408876, y=0,6244356998124, Z=0,7763423906215

El nuevo nmero r, se obtiene de nuevo alternando los decimales ahora de x, y, z as, su primera
cifra decimal ser la primera cifra decimal de x, su segunda cifra decimal ser la primera cifra decimal
de y, la tercera cifra decimal ser la primera de z, la cuarta la segunda de x, la quinta la segunda de y,
la sexta la segunda de z,y de nuevo as sucesivamente.

El nmero que hemos construido r, ser: r=0,367127446343234552663499090

Y de este modo establecemos otra biyeccin que permite asegurar que la potencia del cubo coincide
con la del segmento [0,1], es decir, 1.

Sorprendentemente, aunque se ample el conjunto de puntos de un segmento al de los puntos de

un cuadrado o un cubo, no hay ms puntos en el cubo ni en el cuadrado que en el segmento, por
ms raro que esto resulte no incrementamos realmente el nmero de objetos con los que
trabajamos!
Este resultado que puede ampliarse al hiper-espacio (Espacio de dimensin 4) o a otros de mayor
dimensin, chocaba tan frontalmente con la intuicin que Cantor mismo escriba en una ocasin
a Dedekind, en 1877 con ocasin, precisamente de su construccin de la biyeccin entre el segmento y
el cuadrado: <<Je le vois, mais je ne le crois pas>> (<<Lo veo pero no lo creo>>), y le peda
vehementemente a su amigo que revisase cuidadosamente la demostracin.

Pero el incansable Cantor, sigue subiendo peldaos y ahora, a la vista de los resultados, piensa si las
dos nicas potencias son la de los naturales 0 y la del continuo 1, y se pregunta:

Existirn conjuntos con un cardinal o potencia mayor que 1?

Unidad 1- F. de Matemtica-4 Ao Prof. de Matemtica-ISFD N 168-Prof.: Vazquez Mario- Ao 2017