Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Conjunto de Cantor PDF
Conjunto de Cantor PDF
APLICADA II
(1, 1)(1)
(1, 2)(2)
(1, 3)(6)
(1, 4)(7)
(2, 1)(3)
(2, 2)(5)
(2, 3)(8)
..(14)
(3, 1)(4)
(3, 2)(9)
(3, 3)(13)
..
(4, 1)(10)
(4, 2)(12)
..(11)
..(15)
..
..
a12
(3)
a22
(4)
a32
(10)
a42
a11
a21
a31
a41
..(11)
(2)
a13
(6)
(5)
a23
(9)
a33
(12)
..
(7)
a14
(8)
..(14)
(13)
..
..(15)
..
La teora de la potencia no sera interesante si todos los conjuntos infinitos tuviesen igual
cardinalidad. Mediante su famosa prueba de la diagonal, Cantor demostro que el conjunto de los
n
umeros naturales no es equivalente al conjunto de los puntos en un segmento de lnea.
Ejemplo: El conjunto de los n
umeros reales no es numerable.
Prueba: Basta demostrar que (0, 1) no es numerable. La funcion f (x) = 1 arctan x+ 12 establece
una biyecci
on entre (0, 1) y R y, por lo tanto, ambos conjuntos son equivalentes.
Asumamos que [0, 1] es numerable y hagamos una lista de los elementos escribiendolos en forma
decimal. La lista empezara as
a1 = 0.a11 a12 a13 a14 ...
a2 = 0.a21 a22 a23 a24 ...
a3 = 0.a31 a32 a33 a34 ...
..
.
Consideremos ahora el n
umero b = 0.b1 b2 b3 b4 ... [0, 1) definido mediante
ajj + 1 si 0 ajj 8
bj =
1
si ajj = 9.
Obviamente, para cada j 1 el n
umero difiere del elemento j en el listado en el decimal ubicado
en el lugar j. Por lo tanto, b no puede pertenecer al listado. Esto contradice la afirmacion de que
la lista contiene todos los n
umeros en el intervalo [0, 1). Por lo tanto, tal afirmacion es falsa y R
no es numerable.
Definici
on: Si un conjunto, A, tiene la misma potencia que R escribimos |A| = c y decimos
que A tiene la potencia del continuo.
Nota: Si A es un conjunto finito, el n
umero de sus subconjuntos esta dado por 2|A| . Usaremos
esta observaci
on para asignarle un smbolo a la potencia de una coleccion de subconjuntos de un
conjunto infinito.
Definici
on: Si A es un conjunto (posiblemente infinito), la coleccion de todos los subconjuntos
de A ser
a denotada 2A y su potencia mediante 2|A| .
Lecturas adicionales
Primer captulo de Elementos de la teora de funciones y del an
alisis funcional, A. N. Kolmog
orov y S. V. Fomn.
Medida e integral de Lebesgue, N. Fava y F. Zo, paginas 11 y siguientes.
Una breve historia de la teora de conjuntos puede encontrarse en la pagina web
http://www-history.mcs.st-andrews.ac.uk/history/HistTopics/Beginnings of set theory.html