Tema

Conjuntos nitos y conjuntos numerables

En este tema vamos a usar los nmeros naturales para contar los elementos de un conjunto, o dicho con mayor precisin, para denir los conjuntos nitos y su nmero de elementos. Tambin abordaremos el problema de clasicar los conjuntos innitos atendiendo a su tamao. En realidad, el estudio de este tipo de problemas no es parte del Anlisis Matemtico, sino ms bien de la Teora de Conjuntos. Por ello, omitiremos algunas demostraciones, exponiendo con detalle slo las que son importantes en nuestro estudio de los nmeros reales.

3.1.

Conjuntos nitos

Para discutir el tamao de un conjunto, nos guiaremos por dos ideas intuitivas muy claras. En primer lugar, dos conjuntos entre los cuales se pueda establecer una aplicacin biyectiva deberan tener el mismo tamao. Adems, si n N, el conjunto {k N : k n} debera ser nito y tener exactamente n elementos. Empezamos formalizando esas dos ideas. Decimos que un conjunto A es equipotente a un conjunto B cuando existe una aplicacin biyectiva de A sobre B, en cuyo caso escribimos A B. Es evidente que cualquier conjunto A verica que A A, puesto que la identidad en A es una aplicacin biyectiva de A sobre s mismo, luego la equipotencia entre conjuntos es un relacin reexiva. Tambin es simtrica, es decir, A B implica B A, pues si f : A B es una aplicacin biyectiva, su inversa f 1 : B A tambin es biyectiva. Finalmente, tambin es una relacin transitiva, es decir, de A B y B C se deduce que A C, puesto que si f : A B y g : B C son aplicaciones biyectivas, la composicin g f : A C tambin es biyectiva. As pues, tenemos una relacin de equivalencia que invitara a clasicar conjuntos en clases de equivalencia, de forma que dos conjuntos perteneceran a una misma clase cuando fuesen equipotentes. No vamos a llegar tan lejos, de hecho el asunto tiene sus problemas desde el punto de vista lgico. Nos limitaremos a trabajar con los conjuntos intuitivamente ms pequeos.

18

3. Conjuntos nitos y conjuntos numerables

19

Para cada nmero natural n consideramos el conjunto In = {k N : k n}

y nos gustara decir que un conjunto A tiene n elementos cuando A In . Para eso, a poco que se piense, debemos asegurarnos previamente de lo siguiente: m, n N , Im In = m = n (1)

Esta armacin, cuya demostracin por induccin no es difcil, hace que tengan sentido las deniciones que siguen. / , o bien existe n N tal que Decimos que un conjunto A es nito cuando, o bien A = 0 A In . En el segundo caso, en vista de (1) podemos asegurar que n es nico y decimos que A tiene n elementos, o que n es el nmero de elementos de A. Tambin es costumbre enumerar los elementos del conjunto A, escribiendo por ejemplo A = {a1 , a2 , . . . , an }. En realidad lo que estamos haciendo es usar cualquier aplicacin biyectiva f : In A y tomar ak = f (k) para todo k In . Es lgico convenir que el conjunto vaco tiene 0 elementos. Finalmente, decimos que un conjunto es innito cuando no es nito. Obviamente, si A es un conjunto nito con n elementos y B A, entonces tambin B es nito y tiene n elementos. Dos propiedades relevantes de los conjuntos nitos son las siguientes: Todo subconjunto de un conjunto nito es nito. Equivalentemente: si A es un conjunto nito y f : B A una aplicacin inyectiva, entonces B es nito. La imagen de un conjunto nito por cualquier aplicacin es un conjunto nito, es decir: si A es un conjunto nito y f : A B una aplicacin sobreyectiva, entonces B es nito. La primera de estas propiedades se comprueba por induccin sin mucha dicultad y de ella se deduce la segunda an ms fcilmente. Entrando ya en el terreno que ms nos interesa, la siguiente propiedad de los conjuntos nitos de nmeros reales se usa con mucha frecuencia: Todo conjunto de nmeros reales, no vaco y nito, tiene mximo y mnimo. Para demostrarlo razonamos por induccin sobre el nmero de elementos, es decir, probamos por induccin que, para todo n N, todo subconjunto de R con n elementos tiene mximo y mnimo. Para n = 1 esta armacin es obvia. Dado n N, suponemos que todo subconjunto de R con n elementos tiene mximo y mnimo, y queremos probar que todo subconjunto de R con n + 1 elementos tiene mximo y mnimo. Sea pues A R tal que exista una aplicacin biyectiva f : In+1 A. Para entender lo que sigue conviene tener presente que In+1 = In {n + 1}. Tomando a = f (n + 1), vemos fcilmente que al restringir f a In obtenemos una aplicacin biyectiva de In sobre el conjunto B = A \ {a}, luego B tiene n elementos y, por tanto, tiene mximo y mnimo. Poniendo u = m ax B y v = m n B, veamos los casos que pueden darse al comparar u y v con a. Si u < a tenemos claramente a = m ax A; de lo contrario ser a < u, con lo que u = m ax A. Anlogamente, puede ocurrir que v < a y v = m n A, o bien que a < v y a = m n A. En cualquier caso, A tiene mximo y mnimo, como se quera.

3. Conjuntos nitos y conjuntos numerables

20

Del resultado anterior deducimos, por ejemplo, que N es un conjunto innito, puesto que no tiene mximo. Como consecuencia, Z, Q y R son conjuntos innitos. Tambin podemos precisar mejor algo ya sabido: para r, s Q con r < s, el conjunto A = {t Q : r < t < s} es innito, porque no tiene mximo ni mnimo. Debe estar claro que el recproco del resultado recin demostrado es falso: un subconjunto innito de R puede tener mximo y mnimo; es lo que le ocurre, por ejemplo, al conjunto {x R : 0 x 1}.

3.2.

Conjuntos numerables

Hasta ahora hemos clasicado los conjuntos nitos atendiendo a su nmero de elementos. Ahora estudiaremos los que pueden verse como los conjuntos innitos ms pequeos. / o existe una aplicacin inyectiva de Se dice que un conjunto A es numerable cuando A = 0 A en N. Equivalentemente, A es numerable cuando es equipotente a un subconjunto de N. En particular, todo subconjunto de N es numerable. Para motivar una propiedad clave de los conjuntos numerables, pensemos por ejemplo en el conjunto de los nmeros pares, es decir, el conjunto P = {2n : n N}. Es evidente que la aplicacin f : N P, denida por f (n) = 2n para todo n N, es biyectiva, luego P es equipotente a N. Informalmente podramos decir que hay tantos nmeros pares como nmeros naturales, pero lo mismo podramos decir de los nmeros impares. En realidad, vamos a ver enseguida que todo subconjunto innito de N es equipotente a N. Ms concretamente vamos a probar lo siguiente: Si A es un subconjunto innito de N, existe una aplicacin biyectiva f : N A, que tiene la siguiente propiedad: n, m N , n < m = f (n) < f (m) (2)

Un comentario previo ayudar a entender la demostracin. Dicho de manera intuitiva, con la aplicacin f pretendemos enumerar consecutivamente todos los elementos de A. La denicin de f se har por induccin y es evidente que debemos tomar f (1) = m n A, luego slo queda explicar la forma de obtener f (n + 1) a partir de f (n), para todo n N. La idea es sencilla: conocido f (n), deberamos detectar el siguiente elemento de A. Consideramos el conjunto {a A : f (n) < a}, que no puede ser vaco, pues si lo fuese, tendramos A {x N : x f (n)} y A sera nito por ser subconjunto de un conjunto nito. El principio de buena ordenacin nos permite entonces denir f (n + 1) = m n {a A : f (n) < a} As pues, hemos denido por induccin una aplicacin f : N A y vamos a comprobar que esta aplicacin tiene las propiedades deseadas, empezando por la condicin (2).

3. Conjuntos nitos y conjuntos numerables

21

Es claro que f (n) < f (n + 1) para todo n N. Dicho de otra forma, la armacin f (n) < f (n + k) n N (Pk )

es cierta para k = 1. Pero suponiendo que se cumple (Pk ) para un k N, tenemos obviamente f (n) < f (n + k) < f (n + k + 1) para todo n N, luego se cumple (Pk+1 ). Esto prueba por induccin que se verica (Pk ) para todo k N. Dados n, m N con n < m, podemos tomar k = m n N para deducir que f (n) < f (m). Comprobada la propiedad (2), de la que claramente se deduce que f es inyectiva, queda ver que f es sobreyectiva. Razonamos por reduccin al absurdo, suponiendo que la imagen de f no es todo el conjunto A, para llegar a contradiccin. Suponiendo f (N) = A, tomamos z = m n A \ f (N) . Puesto que f (1) = m n A, tendremos m n A < z, luego el conjunto {a A : a < z} es no vaco y nito, as que dicho conjunto tendr mximo. Sea pues x = m ax{a A : a < z} y, puesto que x / A \ f (N), ya que x < z, deber ser x f (N), es decir, existe n N tal que x = f (n). Concluimos probando que z = f (n + 1), que es la contradiccin buscada. En efecto, si a A y x < a, deber ser a z, pues si fuese a < z, la denicin de x nos dira que x a. Puesto que x < z, hemos demostrado que z = m n{a A : x < a} = m n{a A : f (n) < a} = f (n + 1), como queramos. Como consecuencia de lo recin demostrado, tenemos para los conjuntos numerables la siguiente disyuntiva: Todo conjunto numerable es nito o equipotente a N. En efecto, si A es un conjunto numerable, tenemos una aplicacin inyectiva f : A N y es evidente que A f (A). Si f (A) es nito, tambin lo ser A. En caso contrario, hemos visto que f (A) N, luego tambin A N. Intuitivamente podramos decir que no hay conjuntos innitos que tengan estrictamente menos elementos que N.

3.3.

Ejemplos de conjuntos numerables

Para completar nuestro estudio preliminar de los conjuntos numerables, vamos a ver que se conservan por determinadas operaciones. En primer lugar, la siguiente armacin es evidente: Todo subconjunto de un conjunto numerable es numerable. Equivalentemente: si A es un conjunto numerable y f : B A es una aplicacin inyectiva, entonces B es numerable. Estudiemos la imagen de un conjunto numerable mediante cualquier aplicacin. Para ello, dado un conjunto B, supongamos que existe una aplicacin sobreyectiva g : N B. Entonces, para cada b B, el conjunto {n N : g(n) = b} no es vaco, luego tiene mnimo. Ello nos permite denir una aplicacin h : B N, sin ms que escribir h(b) = m n {n N : g(n) = b} b B Se tiene evidentemente que g h(b) = b para todo b B, de donde deducimos que h es inyectiva y por tanto B es numerable.

3. Conjuntos nitos y conjuntos numerables

22

Sea ya A un conjunto numerable y f : A B una aplicacin sobreyectiva. Si A es nito, sabemos que B tambin es nito, luego numerable. Si A es innito, tendremos A N, es decir, existe una aplicacin biyectiva : N A. Entonces g = f es una aplicacin sobreyectiva de N en B. Por lo demostrado anteriormente, B es numerable. Hemos probado lo siguiente: Si A es un conjunto numerable y f : A B una aplicacin sobreyectiva, entonces B es numerable. Equivalentemente: la imagen de un conjunto numerable, por una aplicacin cualquiera, es un conjunto numerable. Pasemos ahora a considerar un producto cartesiano: Si A y B son conjuntos numerables, entonces A B es numerable. Empezamos viendo que N N es numerable. Para ello basta observar que la aplicacin : N N N denida por (m, n) = 2m 3n m, n N es inyectiva. Ello se debe a que, por ser 2 y 3 nmeros primos, la igualdad 2m 3n = 2 p 3q , con m, n, p, q N, implica que m = p y n = q. Si ahora A y B son conjuntos numerables, tenemos sendas aplicaciones inyectivas : A N y : B N. Deniendo f (a, b) = (a), (b) para todo (a, b) A B, obtenemos una aplicacin inyectiva f : A B N N, luego A B es numerable, por serlo N N. Veamos ahora lo que ocurre al unir conjuntos numerables: Si para cada n N tenemos un conjunto numerable An , entonces el conjunto A = es numerable.
nN

An

Para cada n N, tenemos una aplicacin inyectiva n : An N. Podemos entonces construir una aplicacin : A N N de la siguiente forma. Dado a A, se tendr que a An para algn n N, podemos entonces tomar k = m n {n N : a An } y denir (a) = k, k (a) Es casi evidente que es inyectiva, pero sabemos que N N es numerable, luego A tambin es numerable, como queramos demostrar. En particular, observamos que la unin de una familia nita de conjuntos numerables es numerable: si n N y A1 , A2 , . . . , An son conjuntos numerables, la unin A1 A2 . . . An es numerable. De hecho, si I es un subconjunto cualquiera de N, podemos asegurar que el conjunto A = An es numerable. Pero, a poco que lo pensemos, no es necesario que se tenga I N, lo
nI

nico importante es que I sea numerable. Por tanto, para usar este resultado con ms comodidad, lo podemos enunciar de la siguiente forma: Si I es un conjunto numerable y para cada i I tenemos un conjunto numerable Ai , entonces el conjunto A = Ai es numerable.
iI

3. Conjuntos nitos y conjuntos numerables

23

Suele decirse simplemente que toda unin numerable de conjuntos numerables es numerable. Podemos ya dar ejemplos de conjuntos numerables que nos pueden sorprender. En primer lugar, Z es numerable, pues se obtiene como unin de tres conjuntos numerables: N, {0} (que es nito) y el conjunto {n : n N}, que es claramente equipotente a N. Pero an podemos decir algo mejor: Q es numerable. En efecto, una vez sabido que Z es numerable, podemos asegurar que Z N es numerable. Consideramos entonces la aplicacin f : Z N Q dada por f ( p, m) = p p Z, m N m

Es evidente que f es sobreyectiva, luego Q es la imagen de un conjunto numerable por una aplicacin. An no han aparecido ejemplos de conjuntos no numerables. En general, se puede demostrar que un conjunto A nunca puede ser equipotente al conjunto P(A), de todos los subconjuntos de A. En particular, P(N) no es numerable. Ms adelante veremos tambin que R no es numerable.

3.4.

Ejercicios de revisin

1. Dar un ejemplo de una aplicacin biyectiva de N {0} sobre N. 2. Fijado m N, dar un ejemplo de una aplicacin biyectiva de N sobre N \ Im . 3. Dar un ejemplo de una aplicacin biyectiva de Z sobre N. 4. Probar que R R . 5. Probar que, para cualesquiera a, b R con a < b, se tiene: {t R : 0 t 1} {x R : a x b}

6. Usando la aplicacin f : R R denida por f (x) = comprobar que R {x R : |x| < 1}. 7. Probar que R+ {x R : 0 < x < 1}. x x R 1 + |x|