Académique Documents
Professionnel Documents
Culture Documents
Esta biyecci on enumera Z como {1, 0, 2, 1, 3, 2, 4, 3, ...}. Ejemplo: El producto cartesiano N N es numerable. Se pueden listar los pares ordenados de la siguiente manera:
1 Notas
..(15)
Los super ndices indican como corresponder los elementos de N N con los de N. Otra forma de demostrar lo anterior es la siguiente: todo n umero natural admite una u nica descomposici on como producto de una potencia de dos por un n umero impar, entonces la funci on f : N N N denida por f (i, j ) = 2i1 (2j 1) es biyectiva. Ejemplo: Si A y B son dos conjuntos numerables el producto cartesiano A B tambi en es numerable. Como A = {a1 , a2 , ...} y B = {b1 , b2 , ...}, basta reemplazar en el arreglo del ejemplo anterior (i, j ) por (ai , bj ). Teorema: Si A es numerable y B A entonces B es numerable. Demostraci on: Si B es nito no hay nada que probar, asumamos entonces que B es innito. Sea f : N A una biyecci on que permite escribir A como {a1 , a2 , a3 , ...}. Buscaremos entre los elementos de A aquellos que pertenecen a B . Debido al ordenamiento de A obtenemos un ordenamiento en B y podemos reescribir los elementos de B = {b1 , b2 , b3 , ...} donde b1 es el primer elemento de A que est a en B ; es decir, b1 = an1 donde n1 = m n{n : an B }, y en general, br+1 = anr+1 donde nr+1 = m n{n : an B {b1 , b2 , ..., br }}. Notemos que los bi son todos distintos y cada elemento de B aparece en la lista b1 , b2 , ... Para ver esto u ltimo tomemos un elemento cualquiera b de B . Como B A tenemos que b = am para alg un m. La lista n1 < n2 < ... es innita y por lo tanto en algun punto debemos tener nt m < nt+1 . Si valiese nt < m < nt+1 tendr amos la existencia de am = b B tal que m n{n : an B {b1 , b2 , ..., bt }} > m > m n{n : an B {b1 , b2 , ..., bt1 }}. La primera desigualdad nos dice que b / B {b1 , b2 , ..., bt } mientras que la segunda nos dice que b B {b1 , b2 , ..., bt1 }, lo cual es contradictorio. Por lo tanto, debemos tener m = nt de forma tal que b debe aparecer en nuestro listado como bt . Ya que cada elemento de B ocurre en la lista b1 , b2 , ... tenemos que la aplicaci on g : N B, n bn es sobreyectiva. Podemos ver que es inyectiva si asumimos g (s) = g (t) tal que bs = bt , es decir, ans = ant . Pero entonces ns = nt porque los elementos etiquetados de A son distintos. Igualmente los nj son distintos por lo que vale s = t. Resulta entonces que g es una biyecci on y B es numerable. Ejemplo: el conjunto de los racionales, Q, es numerable. Escribamos cada elemento como r/s, con s N, r Z, s y r coprimos (es decir, la fracci on est a reducida a sus m as peque nos t erminos). Luego podemos corresponder Q con un subconjunto del arreglo del producto cartesiano A B , mediante la identicaci on r/s (r, s) La imagen de esta aplicaci on es un subconjunto de un arreglo del que sabemos que es numerable y por lo tanto el subconjunto es numerable, y la aplicaci on es una biyecci on. 2
Ejemplo: Una uni on numerable de conjuntos numerables es numerable. Que la uni on sea numerable implica que los conjuntos pueden ser listados como S1 , S2 , S3 , ... Cada Si es numerable y por lo tanto resulta Si = {ai1 , ai2 , ai3 , ...}. Entonces a contenida en el i=1 Si est siguiente arreglo (se dice que est a contenida porque puede ocurrir que en el arreglo hayan elementos repetidos los cuales se cuentan una sola vez en el uni on). a11 a21 a31 a41
(1)
(2)
(6)
a14
(7)
..(15)
(3)
(5)
(8)
..(14) ..
(4)
(9)
(13)
(10)
(12)
..(11)
Como en los ejemplos anteriores este arreglo es numerable y entonces i=1 Si es numerable.
La teor a de la potencia no ser a interesante si todos los conjuntos innitos tuviesen igual cardinalidad. Mediante su famosa prueba de la diagonal, Cantor demostr o que el conjunto de los n umeros naturales no es equivalente al conjunto de los puntos en un segmento de l nea. Ejemplo: El conjunto de los n umeros reales no es numerable. 1 Prueba: Basta demostrar que (0, 1) no es numerable. La funci on f (x) = arctan x+ 1 2 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 escribi endolos en forma decimal. La lista empezar a 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) denido mediante bj = ajj + 1 1 si 0 ajj 8 si ajj = 9.
Obviamente, para cada j 1 el n umero diere 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 armaci on de que la lista contiene todos los n umeros en el intervalo [0, 1). Por lo tanto, tal armaci on es falsa y R no es numerable. Denici 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 nito, el n umero de sus subconjuntos est a dado por 2|A| . Usaremos esta observaci on para asignarle un s mbolo a la potencia de una colecci on de subconjuntos de un conjunto innito. Denici on: Si A es un conjunto (posiblemente innito), la colecci on de todos los subconjuntos de A ser a denotada 2A y su potencia mediante 2|A| .
Ejemplo: El conjunto 2N es no numerable. Prueba: La prueba es muy similar a la utilizada para demostrar que R no es numerable. Supongamos que 2N es numerable y enumeremos sus elementos como {v1 , v2 , ...}. Denamos un nuevo conjunto v diciendo que k v s y s olo si k / vk . Luego, para todo k 1, uno y solo uno del par v y vk contiene a k , y por lo tanto v diere de vk . Es decir, v no aparece en el listado y contradice nuestra suposici on de que 2N es numerable. Denici on: Decimos que un conjunto A tiene una potencia (o cardinalidad) mayor a la de un conjunto B si A no puede ponerse en correspondencia biun voca con B , pero un subconjunto propio de A s puede ser puesto en correspondencia biun voca con B . Entonces la potencia de 2N es mayor que la de N. La pregunta es si existe un conjunto A cuya potencia sea mayor a la de N pero menor a la de 2N . Cantor estableci o en su hip otesis del continuo que tal conjunto no existe. En particular, esto signica que todo subconjunto innito de 2N est a en una correspondencia biun voca con N o con 2N . Alternativamente, todo conjunto no numerable, A, satisface |A| c. Extra namente, no se espera que alguna vez sepamos si la hip otesis del continuo es verdadera o falsa. Ejemplo: No es muy dif cil demostrar que 20 = c. Sugerencia: para cada x [0, 1], escrito en base 2 como una expansi on x = 0.a1 a2 a3 a4 ...., dena un subconjunto V de N mediante k V s y s olo si ak = 1.
Lecturas adicionales
Primer cap tulo de Elementos de la teor a de funciones y del an alisis funcional, A. N. Kolmog orov y S. V. Fom n. Medida e integral de Lebesgue, N. Fava y F. Zo, p aginas 11 y siguientes. Una breve historia de la teor a de conjuntos puede encontrarse en la p agina web http://www-history.mcs.st-andrews.ac.uk/history/HistTopics/Beginnings of set theory.html