Conjuntos innitos: N umeros naturales y cardinalidad

1. meros naturales como Conjuntos finitos e infinitos: Los nu clases de equipotencia de conjuntos finitos.

Denici on 1. Dos conjuntos A y B se dicen equipotentes si existe una aplicaci on biyectiva f : A B . Proposici on 1. La relaci on ser equipotente a es una relaci on de equivalencia. Demostraci on. Reexiva: Dado un conjunto A, la aplicaci on idA : A A es biyectiva, por tanto todo conjunto es equipotente a s mismo. Sim etrica: Si f : A B es una aplicaci on biyectiva, entonces la 1 aplicaci on f : B A tambi en es biyectiva. Transitiva: Si f : A B , g : B C son aplicaciones biyectivas, entonces su composici on g f : A C es una aplicaci on biyectiva.

Denici on 2. Dado un conjunto A, la clase de equivalencia [A] de los conjuntos equipotentes con A se llama cardinal del conjunto A y se denota por |A|, por Card(A) o por #A indistintamente. Nota: Dado un n umero natural n N denotemos por n N el subconjunto de los n primeros n umeros naturales n := {0, 1, 2, 3, . . . , n 1}. Los conjuntos equipotentes con estos conjuntos son los conjuntos nitos . Nombraremos los cardinales de lo conjuntos nitos de la siguiente forma: 0 := ||, 1 := |1|, donde 1 = {0}, 2 := |2|, donde 2 = {0, 1}, 3 := |3|, donde 3 = {0, 1, 2}, . . . n := |n|, donde n = {0, 1, 2, 3, . . . , n 1}.
1

Notaci on: Los conjuntos no nitos se denominan innitos. Observaci on 1. El siguiente es un axioma fundamental en la teor a de conjuntos: Axioma de innitud: existe al menos un conjunto innito. Este axioma es equivalente a decir que los cardinales nitos forman un conjunto, que adem as es un conjunto innito. Denici on 3. Denimos los n umeros naturales N como el conjunto de los cardinales de los conjuntos nitos. Observaci on 2. Un conjunto A es nito si, y s olo si, para cualquier subconjunto B A si |A| = |B | necesariamente B = A. Por tanto, dado un conjunto A: A es innito Ejemplo 1. 1. El conjunto de los n umeros naturales N es innito: Existe una aplicaci on biyectiva f : N P, f (n) = 2n, donde P = {0, 2, 4, 6, . . .} son los n umeros naturales pares. 2. El conjunto de los n umeros reales R es innito: Por ejemplo las siguientes son aplicaciones biyectivas del intervalo abierto (0, 1) en R: x1/2)3 a ) f : (0, 1) R, denida por f (x) = 6(x (x1) ; b ) g : (0, 1) R, g (x) = tang (2x 1)/2; c ) h : (0, 1) R, h(x) =
1 2x

B A, B = A tal que |A| = |B | .1

1 +1

1 2(x1)

si 0 < x 1/2 si 1/2 x < 1

Denici on 4. Entre dos cardinales se dene la relaci on: |B ||A| : existe una aplicaci on inyectiva i : B A. Observaci on 3. Tomando B = Im(i) A en la denici on anterior, la aplicaci on i : B B es biyectiva, por tanto: |B ||A| existe un subconjunto B A tal que |B | = |B |.
1Este enunciado equivalente fue el propuesto por Dedekind (1882) como denici on de

conjunto innito: Es innito todo aquel conjunto que es equipotente a un subconjunto propio, y es nito todo aquel conjunto que no es innito.

La relaci on es una relaci on de orden sobre cualquier conjunto de cardinales: Es claro que es reexiva (la aplicaci on identidad es biyectiva, por tanto |A| = |A| para todo conjunto A) y es transitiva ya que la composici on de aplicaciones invectivas es una aplicaci on inyectiva. El siguiente teorema demuestra la propiedad antisim etrica de la relaci on entre cardinales: Dados A y B conjuntos, si |A| |B | y |B | |A|, entonces |A| = |B |. Teorema 2 (Cantor-Schr oder-Bernstein ). Sean A y B conjuntos. Si existen aplicaciones inyectivas f : A B y g : B A, entonces existe una aplicaci on biyectiva h : A B , es decir A y B son equipotentes. Demostraci on. La aplicaci on g : B Im(g ) es una aplicaci on biyectiva entre el conjunto B y el conjunto B := Im(g ). Componiendo la aplicaci on inyectiva f : A B con la aplicaci on biyectiva g : B B , obtenemos una aplicaci on inyectiva g f : A B siendo B A un subconjunto de A. La demostraci on del teorema de Cantor-Schr oder-Bernstein, se reduce a la demostraci on del siguiente lema (que es un caso particular del enunciado del teorema): Lema 1. Sea A un conjunto y B A un subconjunto. Si existe una aplicaci on inyectiva f : A B , entonces se puede construir una aplicaci on biyectiva h : A B . Demostraci on. Consideremos T A el subconjunto de A denido por T := (A B ) f (A B ) f 2 (A B ) f 3 (A B ) De la denici on de T se deduce que f (T ) = f (A B ) f 2 (A B ) f 3 (A B ) , por tanto, T se obtiene como la uni on T = (A B ) f (T ). De esta representaci on de T se deduce que el complementario de T en A es igual al complementario de f (T ) en B : A T = B (A f (T )) = B f (T )

Obs ervese que A y B se obtienen como uniones disjuntas de dos partes A = (A T ) T B = (A T ) f (T );

Consideremos entre los trozos correspondientes de A y B las siguientes aplicaciones biyectivas: la aplicaci on identidad Id : A T A T , y la aplicaci on biyectiva determinada por f T f (T ) x f (x)

Estas dos aplicaciones determinan una aplicaci on h : A B denida a trozos x si x A T h(x) := f (x) si x T que es una aplicaci on biyectiva. Nota: La relaci on de orden denida entre cardinales es una relaci on de oren total (Ley de tricotom a de cardinales), pero es m as es un buen orden. Zermelo demostr o que el orden denido entre cardinales es un buen orden haciendo uso del Axioma de la Elecci on del que hablaremos al nal del cap tulo. Teorema 3 (Zermelo). Todo conjunto de cardinales est a bien oreado con la relaci on .

Introducimos ahora el sucesor de un cardinal, que es clave en las propiedades de los n umeros naturales, y que nos permitiri a distinguir los cardinales nitos de los no nitos. Denici on 5. Para cualquier conjunto A se dene el conjunto sucesor A+ A+ := A {A} .2 Sea a un cardinal. Supongamos que a = |A| para un conjunto A. Se dene el sucesor de a, a+ , como el cardinal a+ := |A {A}|, es decir |A|+ := |A+ |. Observaci on: Dado un conjunto A y un elemento b / A, los conjuntos A+ y A {b} son equipotentes, es decir |A {b}| = |A+ | = |A|+ . Ejemplos: 1. El sucesor del conjunto vac o es + = {} = {}, que es equipotente con el conjunto 1 = {0} y por tanto 0+ =1. 2. El sucesor de + es ++ = {}+ = { , {} } , que es biyectivo con 2 = {0, 1} y as 1+ =2. 3. El sucesor de ++ es +++ = {, {}}+ = { , {}, {, {}} } , que es equipotente con el conjunto 3 = {0, 1, 2} y as 2+ =3. 4. El sucesor de +++ es ++++ ={ , {}, {, {}} }+ = ={ , {}, {, {}}, {, {}, {, {}}} } que es equipotente con el conjunto 4 = {0, 1, 2, 3} y as 3+ =4.
2El axioma de regularidad (o axioma de fundaci on) es un postulado de la teor a de

conjuntos (Zermelo-Fraenkel) que implica que ning un conjunto es un elemento de s mismo.

Proposici on 4. Un conjunto A es innito si, y s olo si, |A| = |A+ |. Demostraci on. Trivialmente |A| |A+ | (ya que la inclusi on A A+ es una aplicaci on inyectiva). Probaremos en primer lugar la implicaci on: A innito = |A| = |A+ |. Si A es innito, existe un subconjunto propio B A tal que |B | = |A|. Entonces existe a CA (B ) tal que B B {a} A. Las inyecciones can onicas proporcionan las relaciones |A| = |B | |B + | |A|, y por lo tanto |A| = |B + | = |A+ |. Demostremos ahora la otra implicaci on: |A| = |A+ | = A es innito. Si |A| = |A+ |, existe una biyecci on f : A {} A, siendo un elemento que no pertenece a A. Sea A1 := A {f ()}. La aplicaci on f1 : A A1 denida por f1 (x) := f (x) es biyectiva y A1 = A {f ()} es un subconjunto propio de A. Por tanto A es innito.

Corolario 1. Un conjunto A es nito si, y s olo si, |A| < |A+ |.

Ejercicio. Demuestra que si A es un conjunto innito existe una aplicaci on inyectiva N en A. Ejercicio. Dados dos n umeros reales a < b demuestra que los conjuntos [a, b], (a, b] y (a, b) son equipotentes. Son equipotentes al conjunto x R/1 < x < 4 y x / {2, 5 2 , 3} ?

2.

n. Operaciones y orden en N Principio de Induccio

Comenzaremos deniendo las operaciones (suma y producto) entre cardinales cualesquiera:

Denici on 6. Sean a y b dos cardinales se dene la suma de a y b como a + b := |A B | . siendo A y B son dos conjuntos disjuntos tales que a=|A| y b=|B |. Observaci on 4. Obs ervese que no existe ning un problema en elegir dos representantes disjuntos de los cardinales a y b: Si a=|A| y b=|B | pero A y B no son disjuntos, podemos considerar A {1} y B {2} que son conjuntos disjuntos tales que |A {1}| = |A| y |B {2}| = |B |.

Denici on 7. Dados dos cardinales a=|A| y b=|B |, se dene el producto de a y b como a b := |A B | .

Observaci on: La suma y producto de cardinales extiende la suma y producto denidos entre n umeros naturales. Adem as que si n = n N es + un cardinal nito entonces su sucesor es n = n + 1. Denotaremos por s(n) = n + 1 el sucesor del n umero natural n. La aplicaci on s : N N es la aplicaci on sucesor de N, que es la clave de las propiedades de los n umeros naturales. En 1889, Peano public o un trabajo donde daba un enfoque axiom atico de los n umeros naturales. Demostr o que las propiedades de los n umeros naturales podr an desarrollarse sobre la base de un n umero peque no de axiomas. Aunque Peano atribuy o la formulaci on de los axiomas a Dedekind (en 1888), se conocen generalmente como Postulados o Axiomas de Peano. El m etodo tradicional de describir el conjunto N de los n umeros naturales axiom aticamente es por medio de los siguientes axiomas:

Postulados (Axiomas) de Dedekind-Peano. 1. 0 N. 2. Para cada n N existe un u nico sucesor n+ , es decir, existe una aplicaci on sucesor s : N N, s(n) = n+ . 3. n+ = 0 para cualquier n N, es decir, 0 / Im(s). 4. La aplicaci on sucesor s : N N es inyectiva: n+ = m+ n = m 5. Sea S un subconjunto de N tal que (i) 0 S , (ii) si n S n+ S , entonces S = N. Con la aplicaci on sucesor se pueden denir las operaciones b asidas de los n umeros naturales y demostrar todas sus propiedades: La suma de n umeros naturales est a determinada por las dos condiciones siguientes: 1) m + 0 = m, m N; 2) dados m, n N, m + s(n) = s(m + n). El producto de n umeros naturales est a determinado por las dos condiciones siguientes: 1) m 0 = 0, m N; 2) dados m, n N, m s(n) = m n + m. El quinto postulado se conoce como el Axioma de inducci on o Principio de Inducci on . Este axioma resume las propiedades fundamentales de los n umeros naturales y es la base de muchas pruebas de teoremas en matem aticas. Como veremos es un propiedad que es consecuencia inmediata del buen orden de los n umeros naturales.3 Teorema 5 (Principio de inducci on). Si S un subconjunto de N que verica las dos condiciones siguientes (i) 0 S , (ii) n S s(n) S , entonces S = N.
3Es m as el Principio de inducci on de los naturales equivale a que el orden de denido

en N es un buen orden.

Demostraci on. Para demostrar que S = N, probaremos que CN S = . Lo haremos por reducci on al absurdo. Supongamos que CN S = . Ya que N est a bien ordenado, el subconjunto CN S tiene un elemento m as peque no n . El elemento n no puede ser 0 por la condici on (i). Entonces existe m N tal que n = m+1. Luego m < n y as m / CN S ya que n es el primer elemento del conjunto CN S . Por lo tanto m S . Aplicando la condici on (ii) deducimos que n = m + 1 S que es una contradicci on. Una variaci on del resultado anterior es: Teorema 6 (Segundo Principio de inducci on o Principio de inducci on fuerte o completa). Si S es un subconjunto de N que verica las propiedades (i) 0 S , (ii) dado un natural n N, si k S para cualquier natural k < n, entonces n S , entonces S = N. Demostraci on. Procederemos por reducci on al absurdo. Supongamos que CN S = . Sea n el elemento m as peque no de CN S . Entonces n = 0 por (i). Adem as k N tal que k < n , k S . Por (ii) se concluye que necesariamente n S , lo cual que es una contradicci on. As podemos establecer los procedimientos de demostraci on por inducci on : Primer Principio de Inducci on o Principio de Inducci on Matem atica. Supongamos que para cada n umero natural n N tenemos un enunciado P (n) (en funci on de n) tal que (i) P (0) es verdadero (paso base ), (ii) si P (n) es verdadero (hip otesis de inducci on), entonces P (n + 1) es verdadero (paso de inducci on ), entonces P (n) es verdadero para todo n N.

10

Otros puntos de partida. Qu e pasa si queremos demostrar que una propiedad se cumple a partir de n0 = 17? o, incluso, a partir de n0 = 13? En realidad, dado n0 Z, podemos considerar, en lugar de N, el conjunto {n Z | n n0 }, y demostrar la propiedad deseada para n en dicho conjunto (N corresponde a la elecci on n0 = 0). Los principios de inducci on que establecemos pueden ser adaptados a cualquier elecci on de un entero n0 . Segundo Principio de Inducci on o Principio de Inducci on fuerte. Fijemos un entero n0 . Supongamos que para cada entero n n0 tenemos un enunciado P (n) tal que: (i) P (n0 ) es verdadero (paso base ), (ii) y dado un entero k n0 , si [P (n0 ), P (n0 + 1), . . . , P (k )] son verdaderos (hip otesis de inducci on), entonces P (k + 1) es verdadero (paso de inducci on ), entonces P (n) es verdadero para todo entero n n0 .

Una variante del Principio de Inducci on Fuerte es el Principio de Inducci on Completa en el que el paso base y el inductivo se funden en un u nico caso: Principio de Inducci on completa. Fijemos un entero n0 . Supongamos que para cada entero n n0 tenemos un enunciado P (n). Dado un entero k n0 supongamos que se verica la siguiente propiedad: j Z tal que n0 j < k, P (j ) verdadero = P (k ) es verdadero,

entonces P (n) es verdadero para todo entero n n0 .

11

Ejercicio 1. Demuestra que la suma de los n primeros enteros positivos impares es n2 . Soluci on. Para cada n N, denotemos por P (n) la propiedad
n

P (n) :
i=1

(2i 1) = n2 .

Tenemos que demostrar que es verdadero el enunciado: n N, n 1, P (n). (Por ejemplo, para n = 5, se verica P (5) : 1 + 3 + 5 + 7 + 9 = 25 = 52 .) Demostraci on por inducci on: Paso base : Se verica P (1):
1

(2 1 1) = 12 = 1 .
i=1

Hip otesis de inducci on: Dado k N, supongamos que P (k ) es verdadera, es decir que se verica
k

(2i 1) = k 2 .
i=1

Paso inductivo: Demostraci on de que se verica P (k + 1), es decir

k+1

(2i 1) = (k + 1)2 .
i=1

Prueba del paso inductivo:

k+1 k

(2i 1) =
i=1 i=1 2

(2i 1) + 2(k + 1) 1 =

=k + 2(k + 1) 1 = =k 2 + 2k + 1 = (k + 1)2 .

12

Ejercicio 2. Sea n un entero positivo. Supongamos que tenemos un tablero cuadrado de lado 2n dividido en 22n cuadrados peque nos. Un triomin o es una losa formada por tres cuadrados en forma de L:

Demuestra que el tablero formado por el cuadrado de lado 2n menos una losa peque na se puede enlosar con triomin os. Casos particulares (para n = 2): encuentra en los dos casos particulares siguientes un enlosado por triomin os retirando en cada caso la losa roja.

Soluci on. En el caso general la demostraci on se puede hacer por inducci on: Paso base: Para n = 1 es trivial. El tablero de lado 2 sin una losa pequea es un triomin o. Hip otesis de inducci on: Cualquier tablero cuadrado de lado 2n sin una losa se puede enlosar por triomin os. Paso inductivo: Supongamos que tenemos un tablero cuadrado de lado 2n+1 del que hemos retirado una losa. El tablero de lado 2n+1 se divide en cuatro tableros cuadrados de lado 2n . Por hip otesis de inducci on se puede enlosar el subtablero de lado 2n que contiene el cuadrado que falta. A los tres subtableros restantes le quitamos un triomin o formado por tres losetas una en cada uno de ellos (v ease la ilustraci on siguiente). Lo que queda de cada uno de los subtableros se puede enlosar con triomin os por hip otesis de inducci on.

13

Ejercicio 3 (Juego del Nim). Sea n un entero, n 1. Supongamos el juego con 2 montones de n cerillas. Cada jugador en su turno quita una o m as cerillas de uno de los montones. Gana el jugador que quite la u ltima cerilla. Demuestra que el segundo jugador puede ganar siempre. Soluci on. Para cada n N, n 1, denotemos por P (n) el enunciado: P (n) : con 2 montones de n cerillas el segundo jugador puede ganar el juego del Nim. P (1) es cierto ya que con 2 montones de 1 cerilla cada uno, el segundo jugador gana siempre. Fijemos un entero k 1. Supongamos que el segundo jugador gana cuando tenemos 2 montones de j cerillas, 0 j k . Veamos que [P (1), P (2), . . . , P (k )] P (k + 1). Supongamos que tenemos dos montones de k + 1 cerillas. Entonces el primer jugador puede elegir quitar entre 1 y k + 1 cerillas. Podemos distinguir dos casos: (i) Si el primer jugador quita k + 1 cerillas, el segundo jugador gana quitando todas las cerillas del otro mont on. (ii) Si el primer jugador quita j cerillas con 1 j k , el segundo jugador quita las mismas cerillas del segundo mont on, reduciendo el problema a dos montones de (k + 1 j ) cerillas. Como 1 (k + 1 j ) k el segundo jugador puede ganar por hip otesis de inducci on.

14

Falacia sobre el Principio de Inducci on. Encu entrese el error en el siguiente argumento: Todas la personas son del mismo sexo. Paso base: Para n = 1, una persona tiene el mismo sexo que s misma. Hip oteis de inducci on: Fijado n 1, supongamos que en cualquier conjunto de n personas todas tienen el mismo sexo. Paso de inducci on: Admitiendo que en cualquier conjunto de n personas todas tienen el mismo sexo, probaremos que en un conjunto de n + 1 personas todas tienen el mismo sexo. Supongamos que esas personas son {p1 , p2 , . . . , pn , pn+1 }. Consideremos las n personas {p1 , p2 , . . . , pn }. Por hip otesis de inducci on todas tienen el mismo sexo. Ahora consideremos las n personas {p2 , p3 , . . . , pn , pn+1 } que tambi en tienen el mismo sexo. Como todos tienen el mismo sexo que p2 , entonces todas tienen el mismo sexo.

15

3.

Conjuntos numerables y no numerables

El cardinal de N se denota 0 (aleph cero ). Denici on 8. Un conjunto se dice numerable si es nito o es equipotente con N (innito numerable). Proposici on 7. Z es numerable, es decir |Z| = 0 . Demostraci on. La aplicaci on f : Z N, f (x) = es biyectiva. Proposici on 8. Q es numerable. Demostraci on. Veamos que Q>0 = { x Q / x > 0 } es numerable: Escribimos todas las fracciones que tienen numerador 1 en una la, todas las que tienen numerador 2 en la segunda la, y as sucesivamente:
1 1 2 1 3 1 4 1 5 1 6 1 1 2 2 2 3 2 4 2 5 2 6 2 1 3 2 3 3 3 4 3 5 3 6 3 1 4 2 4 3 4 4 4 5 4 6 4 1 5 2 5 3 5 4 5 5 5 6 5 1 6 2 6 3 6 4 6 5 6 6 6

2x 2x 1

si x 0 si x < 0

... ... ... ... ... ...

Trazamos una echa comenzando con el 1/1. Siguiendo la echa damos una   enumeraci on del conjunto: 1/1, 1/2, 2/1, 1/3, Z 2/2 Z , 3/1, 1/4, 2/3, 3/2,
 Z , Z , Z , 5/1, . . . (saltamos los n    2/4 3/3 4/2 4/1, 1/5, Z umeros que ya est an nuZ Z Z Z Z Z merados, y as la funci on es biyectiva). Por lo tanto existe una aplicaci on biyectiva f : Q>0 N {0}. La aplicaci on h : Q Z denida por si x > 0 f (x) h(x) = 0 si x = 0 f (x) si x < 0

es biyectiva. Por tanto |Q|= |Z|= 0 .

16

Ejercicio. Demuestra que 0 + 0 = 0 . Como consecuencia deduce que la uni on nita de conjuntos numerales es un conjunto numerable. Soluci on. Sean I el conjunto de los n umeros naturales impares y P el conjunto de los n umeros naturales pares. Las aplicaciones i : N I , denida por i(n) = 2n + 1, y p : N P , denida por i(n) = 2n, son biyectivas. Estos dos conjuntos proporcionan una partici on de N, {I, P }, por tanto 0 = |N| = |I P | = |I | + |P | = 0 + 0 Ejercicio. Sea A un conjunto innito demuestra los siguientes enunciados: 0 |A|. Para cualquier cardinal nito a se tiene a+|A| = |A|. 0 + |A| = |A|. Ejercicio. Demuestra que |N N| = |N|. Y como consecuencia que el producto de conjuntos numerales es numerable. Ejercicio. Demuestra que si A N es un subconjunto no nito de los naturales entonces |A| = |N|. Y como consecuencia demuestra que un subconjunto de un conjunto numerable es numerable.

17

Proposici on 9. R no es numerable. Demostraci on. R no es numerable ya que no es posible denir una aplicaci on sobreyectiva entre N y R. Dada una aplicaci on (cualquiera) f : N R demostraremos que existe un n umero real que no est a en Im(f ) utilizando el procedimiento diagonal de Cantor (1879). Si n es un n umero natural representaremos la expresi on decimal del n umero real f (n) de la siguiente forma: f (n) = f (n)0 , f (n)1 f (n)2 f (n)3 . . . siendo f (n)0 la parte no decimal de f (n), y ni { 1, 2, 3, . . . , 9} la i- esima cifra decimal del n umero real f (n) (para cada i N). Sea a R el n umero real a = a0 , a1 a2 a3 . . . aj . . . construido mediante el siguiente procedimiento diagonal: Para cada i N denimos: ai = 2 si f (i)i = 1, y ai = 1 si f (i)i = 1. El n umero real construido a no est a en la imagen de la aplicaci on f , ya que, por la construcci on de a, f (0) = a porque f (0)0 = a0 y para cualquier natural n > 0 el d gito decimal de f (n) en la posici on n despu es de la coma diere del d gito de a en la posici on decimal n. (Ejemplo: Supongamos que la aplicaci on f : N R toma los siguientes valores: f (0) = 2 3 6 , 1 0 1 1 . . . f (0)0 = 2 3 6 f (1) = 7 , 1 7 7 0 . . . f (1)1 = 1 f (2) = 3 f (2)2 = 0 f (3) = 2, 7 1 8 1... f (3)3 = 8 f (4) = 2, 3 3 8 1... f (4)4 = 1 . . . . . . . . . En este caso particular las primeras cifras del elemento a construido por el procedimiento diagonal de Cantor es a = 1,2112 . . .)

18

Teorema 10. (Teorema de Cantor) Sea A cualquier conjunto. Entonces |A| < |P (A)|. Demostraci on. Si A = , entonces P (A) = {}. As |A| = 0 < 1 = |P (A)|. Supongamos que A = , entonces denimos la aplicaci on i : A P (A), i(a) = {a}. Claramente esta aplicaci on es inyectiva, y por tanto |A| |P (A)| Veamos que ninguna aplicaci on F : A P (A) es sobreyectiva. Sea B = {x A | x / F (x)}. Veamos que B / Im(F ). Supongamos que B = F (y ) para alg un y A. Existen dos posibilidades: Si y B entonces y B = F (y ). Pero esto contradice la denici on de B . Si y / B entonces y / B = F (y ). Pero por denici on de B necesariamente, y B . Llegando tambi en en este caso a una contradicci on. Por tanto B / Im(f ).

Proposici on 11. P (N) es equipotente con R. Es decir, 20 = |P (N)| = |R|. Demostraci on. Recordemos que, dado un conjunto X , los conjuntos P (X ) X y 2 son equipotentes, donde 2 = {0, 1} y 2X denota el conjunto de aplicaciones de X en 2. En particular |{0, 1}N | = |P (N)|. Demostraremos que |{0, 1}N | = |R|. Denimos una funci on inyectiva F : {0, 1}N R de la siguiente manera: Dado un elemento {0, 1}N , es decir, una aplicaci on : N {0, 1}, construimos el n umero real F () := (0), (1)(2)(3)(4) . . . La aplicaci on F es inyectiva y su existencia prueba la desigualdad |P (N)| = |{0, 1}N | |R|.

19

Como |R| = |(0, 1)|, demostrar la desigualdad |R| |{0, 1}N | equivale a demostrar que |(0, 1)| |{0, 1}N |. Demostraremos este hecho como consecuencia de la expansi on binaria de los n umeros reales. Por convenio, dado un n umero real x R denotaremos por B (x) la expresi on binaria de x que no tenga una sucesi on innita de 1s despu es de la coma. Con este convenio, la expansi on binaria de los n umeros reales, nos permite denir una aplicaci on inyectiva B : (0, 1) {0, 1}N , que a cada n umero real x (0, 1) le asigna B (x) = x una sucesi on de ceros y unos correspondiente a la escritura en base 2 del n umero real x, es decir: x (0) = 0 y, para n > 0, x (n) es el n esimo d gito binario despu es de la coma en la expansi on binaria B (x) de x. Por ejemplo, si el n umero real x (0, 1) se escribe 0,1100010 . . . en base 2, x = (0,1100010 . . . )2 , entonces x es la aplicaci on x : N {0, 1} cuyos valores sucesivos son x (0) = 0, x (1) = 1, x (2) = 1, x (3) = 0, x (4) = 0, x (5) = 0, x (6) = 1, x (7) = 0, . . . La existencia de B prueba que |R| = |(0, 1)| |{0, 1}N | = |P (N)|.

Observaci on: Recordemos la identicaci on de las expresiones binarias 0,1000 . . . = 0,0111 . . . .

1 ambas representan el n umero real 2 . As por ejemplo,

1 1 1 0,01010101 . . . , 0, 01 , 0,001100110011 . . . 3 4 5

20

4.

n y el Lema de Zorn El Axioma de la Eleccio

El axioma de la elecci on fue formulado por Zermelo en 1904 para probar su Teorema del Buen Orden. El axioma fue considerado controvertido porque fue introducido con un enfoque altamente no constructivo que difer a de los otros axiomas de la teor a de conjuntos. Axioma de Elecci on (AC: Axiom of Choice ). Dada una familia de conjuntos no vac os y disjuntos, se puede elegir (elecci on ) exactamente un u nico elemento de cada conjunto de la familia.

Equivalentemente: Dada {Ai }iI una familia de conjuntos no vac os, existe una aplicaci on, llamada aplicaci on de elecci on, f : I i Ai tal que f (i) Ai para cada i I .

Un enunciado equivalente es: Toda aplicaci on sobreyectiva tiene una secci on: Para cada aplicaci on sobreyectiva f : X Y , existe una aplicaci on g : Y X tal que f g = 1Y .

Podemos pensar que esto es una tonter a, que c omo no va a ser verdad: pues claro que si tenemos un conjunto no vac o podemos coger un elemento de el y as con todos. Eso s , pero a lo mejor tenemos que hacer un n umero muy grande de elecciones simult aneas, puede que innitas, y entonces ya no est a tan claro que podamos hacerlo. Si tenemos una forma can onica (una especie de f ormula o regla) para hacer las elecciones entonces estamos salvados, pero si no . . . necesitamos la ayuda del Axioma de la Elecci on. Bertrand Russell lo ilustr o con una frase muy divertida: Si tenemos innitos pares de zapatos, podemos elegir can onicamente uno de cada par, escogiendo, por ejemplo, siempre el izquierdo. Pero, qu e sucede si tenemos innitos pares de calcetines?

21

Entonces la elecci on s olo nos la garantiza el axioma. Seleccionar un calcet n de cada uno de innitos pares de calcetines requiere el Axioma de Elecci on, pero para zapatos el axioma no se necesita. Pues bien, pese a lo inocente que puede parecer aceptar este axioma y que la mayor a de los matem aticos lo usan en sus demostraciones, hay matem aticos, la minor a, que no conf an en el. Teorema 12. Los siguientes enunciados son equivalentes: 1. Axioma de Elecci on. 2. Principio o Teorema del Buen Orden: Todo conjunto admite un buen orden. 3. Lema de Zorn: Si S es un conjunto ordenado, en el que toda cadena est a acotada superiormente, entonces S posee un elemento maximal. 4. Hip otesis de Comparaci on de Cardinales (o Ley de Tricotom a de Cardinales): Para cualquier par de conjuntos A y B , o bien |A| |B | o bien |B | |A|.

Proposici on 13. Dados dos conjuntos no vac os A y B demuestra que los siguientes enunciados son equivalentes: (i) |B | |A|. (ii) Existe una aplicaci on sobreyectiva f : A B . Demostraci on. (i) (ii) Supongamos que |B | |A|, es decir, que existe una aplicaci on inyectiva h : B A. Sea f : A B aplicaci on denida como sigue: Dado x A, por ser h inyectiva, si x Im(h) existe un u nico elemento bx B tal que h(bx ) = x. Fijemos un elemento b0 B . Sea f : A B la aplicaci on: f (x) = bx b0 si x Im(h) si x / Im(h)

Obs ervese que f h = IdB , por tanto f : A B es sobreyectiva. (ii) (i) Supongamos ahora que existe f : A B una aplicaci on sobreyectiva, veamos que |B | |A|:

22

Dado y B , denotaremos por Ay A el conjunto de antecedentes del elemento y mediante la aplicaci on f . Como la aplicaci on f : A B es sobreyectiva: Ay = { a A / f (a) = y } = , y B.

Elegimos un elemento ay Ay para cada elemento y B (para conjuntos nitos es evidente que esa elecci on se puede hacer, pero en general esto es posible gracias al Axioma de Elecci on). La asignaci on h : B A y ay

es una aplicaci on inyectiva ya que f h = IdB , por tanto |B | |A|

Observaci on 5. La proposici on anterior proporciona un criterio u til para decidir si un cardinal es menor que otro. Como aplicaci on, presentamos el siguiente argumento para demostrar que Q es numerable: El contenido N Q, nos da la relaci on 0 |Q|, veamos que |Q| 0 . El conjunto de los enteros positivos N+ y los enteros Z son (innito) numerables por tanto |Z N+ | = 0 . La aplicaci on f : Z N+ Q a (a , b) b es sobreyectiva y como consecuencia |Q| |Z N+ | = 0 .