El cardinal de los racionales:

Cuntos nmeros racionales hay? Qu hay ms, naturales o racionales? Puede parecer que la respuesta sera, obviamente hay ms racionales, puesto que los naturales son tambin nmeros racionales, y adems hay otros racionales, como 1/2 por ejemplo, que no son naturales, por lo que podemos concluir que el cardinal de los racionales es naturales. que el de los

Pero podemos tambin probar que hay ms naturales que racionales. Una forma de hacerlo sera seguir el siguiente razonamiento grfico. Coloquemos los enteros en un eje horizontal, y tambin en un eje vertical. Cada punto (a,b) del retculo que se forma representar al racional a/b. Comenzamos ahora a trazar un camino en espiral, partiendo del origen que recorra uno a uno todos los puntos del retculo como se ve en la siguiente grfica:

Es claro que podemos poner en correspondencia biyectiva los puntos del retculo con los naturales sin ms que irlos numerando a medida que la linea espiral pasa por cada uno de ellos. Ahora bien, no todos los puntos del retculo se corresponden con nmeros racionales, ya que los de la forma (n,0) no se corresponden con ningn racional, y adems muchos puntos del retculo representan al mismo nmero racional, por ejemplo (1,2) y (2,4) representan al mismo nmero racional, ya que 1/2=2/4. De aqu se concluye que podemos dar una correspondencia sobreyectiva de en , y por tanto que el cardinal de es que el cardinal de .

Combinando ambos resultados podemos concluir que el cardinal de decir, que Q es un conjunto infinito numerable.

es igual que el de

, es

REALES NO SON NUMERABLES

Vamos a demostrar que no es numerable, y para ello vamos a considerar nicamente los nmeros reales entre 0 y 1 y vamos a ver que ellos ya forman un conjunto no numerable, por lo que el conjunto total de los reales ser ciertamente no numerable ya que contiene un subconjunto no numerable. El conjunto de todos los nmeros reales entre 0 y 1 est formado por todas las expresiones decimales que tienen 0 como parte entera (es decir, la parte a la izquierda de la coma decimal). Razonemos por reduccin al absurdo y supongamos que s pueden numerarse dichas expresiones decimales. Denominemos corrrespondencia a la primera de ellas, a la segunda, etc, de modo que la

es biyectiva.

Definimos ahora para cada n Consideremos la expresin decimal Obviamente ............. tal que es , pero , que es

est entre 0 y 1, luego debe existir algn -sima cifra decimal de

vemos que esto no es posible ya que la obviamente distinta de la

-sima cifra decimal de , que es

Ntese que, teniendo en cuenta que , el hecho de haber probado que el conjunto de los reales es no numerable y el de los racionales numerable, automticamente implica que el conjunto de los irracionales ha de ser no numerable.

La prueba original de Cantor demuestra que el intervalo [0,1] no es numerable, es decir, no podemos enumerar la lista de todos los reales dentro del intervalo (siempre habr ms). Se extiende a todos los reales, ya que es posible equipotenciar estos al intervalo. Podemos demostrar que lo que es vlido para el intervalo [0,1] lo es para cualquier otro, por grande que sea (exceptuando el intervalo [0,0] que est vaco). La demostracin es por reduccin al absurdo: 1. Se supone que el intervalo [0,1] es infinito numerable. 2. En ese caso se podra elaborar una secuencia de los nmeros, ( r1, r2, r3,... ) 3. Se sabe que los reales entre 0 y 1 pueden ser representados solamente escribiendo sus decimales. 4. Se colocan los nmeros en la lista (no necesariamente en orden). Considerando los decimales peridicos, como 0.499... = 0.500..., como los que tienen infinitos nueves.

La secuencia podra tener un aspecto similar a: r1 = 0. 5 1 0 5 1 1 0... r2 = 0. 4 1 3 2 0 4 3... r3 = 0. 8 2 4 5 0 2 6... r4 = 0. 2 3 3 0 1 2 6... r5 = 0. 4 1 0 7 2 4 6... r6 = 0. 9 9 3 7 8 3 8... r7 = 0. 0 1 0 5 1 3 5... ... Por la hiptesis hechas y por construccin dicha lista contendra todos los nmeros reales entre 0 y 1. Vamos a construir un nmero x que debera estar en la lista. Para eso usamos los nmeros de la diagonal. r1 = 0. 5 1 0 5 1 1 0... r2 = 0. 4 1 3 2 0 4 3... r3 = 0. 8 2 4 5 0 2 6... r4 = 0. 2 3 3 0 1 2 6... r5 = 0. 4 1 0 7 2 4 6... r6 = 0. 9 9 3 7 8 3 8... r7 = 0. 0 1 0 5 1 3 5... ... El nmero x est definido as: al dgito xk le corresponde el k-simo dgito de rk + 1 (si fuera un nueve, le asigno el dgito cero) Entonces x= 0.6251346.... El nmero x es claramente un real. Pero.. Dnde est x? Si yo quisiera decir que x est en el n-simo lugar de mi lista, no sera cierto, ya que el elemento nsimo dgito de rn es distinto al de x. Entonces esta no es una lista completa de los reales en el intervalo [0,1]. Existe una contradiccin, que nace de la premisa de suponer que estos nmeros son infinitos numerables. Para extender este resultado al campo R tenemos que establecer una relacin biyectiva entre este intervalo y los reales. Esto es posible gracias a una funcin como esta:

definida por Con esto podemos decir que hay tantos nmeros reales como reales hay entre 0 y 1.

Instituto Tecnolgico de la Laguna

Ingeniera Industrial Calculo Diferencial Conjunto de los racionales y reales. Prof.: M.C J. Agustn Flores vila N Control 12130821 Flor Belinda Hernndez Chvez Grupo F
4-Sept-12