1 Conjuntos nitos e innitos

En este cap tulo se establecer con precisin la diferencia entre cona o junto nito y conjunto innito. Tambin se har la distincin entre e a o conjunto numerable y conjunto no numerable. El punto de partida es el conjunto de los n meros naturales. u

1. N meros naturales u El conjunto N de los n meros naturales se caracteriza por las u siguientes propiedades: 1. Existe una funcin inyectiva s : N N. La imagen s(n) de o cada n mero natural n se llama sucesor de n. u 2. Existe un unico n mero natural 1 N tal que 1 = s(n) para u todo n N. 3. Si un conjunto X N es tal que 1 X y s(X) X (esto es, n X s(n) X) entonces X = N. Estas armaciones pueden ser reformuladas as :

Conjuntos Finitos

Cap. 1

1 . Todo n mero natural tiene un sucesor, que tambin es un n meu e u ro natural; n meros diferentes tienen sucesores diferentes. u u 2 . Existe un unico n mero natural que no es sucesor de ninguno. 3 . Si un conjunto de n meros naturales contine el n mero 1 y tamu u bin contiene el sucesor de cada uno de sus elementos, entonces e ese conjunto contiene a todos los n meros naturales. u Las propiedades 1, 2, 3 de arriba se llaman axiomas de Peano. El axioma 3 es conocido como principio de induccin. Intuitivao mente, ste signica que todo n mero natural puede obtenerse a e u partir del 1, tomando su sucesor s(1), el sucesor de ste, s(s(1)) e y as en adelante, en un n mero nito de etapas. (Evidentemente u n mero nito es una expresin que, en este momento, no tiene u o todav signicado. La formulacin del axioma 3 es una manera a o extraordinariamente hbil de evitar la introduccin de un nuevo a o principio hasta que la nocin de conjunto nito est dada). o e El principio de induccin es la base de un mtodo para demoso e trar teoremas sobre n meros naturales, conocido como el mtodo de u e induccin (o recurrencia), que funciona as si una propiedad P es o : vlida para el n mero 1 y si, suponiendo P vlida para el n mero a u a u n, como consecuencia se tiene que P tambin es vlida para su sue a cesor, entonces P es vlida para todos los n meros naturales. a u Como ejemplo de demostracin por induccin, probaremos que o o para todo n N, se tiene s(n) = n. Esta armacin es verdedara o cuando n = 1, porque el axioma 2 se tiene 1 = s(n) para todo n, luego, en particular, 1 = s(1). Si suponemos verdadera la armacin para alg n n N, se cumple n = s(n). Como la funcin s es o u o inyectiva, entonces s(n) = s(s(n)), esto es, la rmacin es verdadeo ra para s(n). En el conjunto de los n meros naturales se denen dos operau ciones fundamentales, la adicin, que asocia a cada par de n meros o u naturales (m, n) su suma m + n, y la multiplicacin que hace coo rresponder al par (m, n) su producto m n. Estas dos operaciones se caracterizan por las siguientes igualdades, que sirven como de-

Seccin 1 o

N meros naturales u

nicin: o m+1 m + s(n) m1 m (n + 1) = = = = s(m) ; s(m + n), esto es, m + (n + 1) = (m + n) + 1; m m n + m.

Con otras palabras: sumar 1 a m signica tomar su sucesor. Y una vez conocida la suma m + n tambin es conocido m + (n + 1), e que es el sucesor de m + n. En cuanto a la multiplicacin: multio plicar por 1 no altera el n mero. Y conocido el producto m n es u conocido m (n + 1) = m n + m. La demostracin de la existencia o de las operaciones + y con las propiedades anteriores, as como su unicidad, se hace por induccin. Los detalles se omiten aqui. El o lector interesado puede consultar el Curso de Anlisis Matemtia a co, vol. 1, o las referencias bibliogrcas de dicho libro, donde se a demuestran (inductivamente) las siguientes propiedades de la adicin y la multiplicacin: o o asociativa: (m + n) + p = m + (n + p), m (n p) = (m n) p; distributiva: m (n + p) = m n + m p; Conmutativa: m + n = n + m, m = n m; ley de corte: m + n = m + p m = p, m n = m p n = p. Dados dos n meros reales m, n se escribe m < n cuando existe u p N tal que m + p = n. Se dice que m es menor que n. La notacin m n signica que m < n o m = n. Se puede probar que o m < n y n < p m < p (transitividad) y que dados m, n N cualesquiera, se cumple una, y slo una, de estas tres posibilidades: o m < n, m = n o m > n. Una de las propiedades ms importantes de la relacin de orden a o m < n entre n meros naturales es el llamado principio de buena u ordenacin, enunciado y probado a continuacin. o o Todo subconjunto no vac A N posee un menor elemento, o esto es, un elemento n0 A tal que n0 n para todo n A. Para probar esta armacin llamemos, para cada n mero n N, o u u In al conjunto de los n meros naturales n. Si 1 A entonces

Conjuntos Finitos

Cap. 1

1 es el menor elemento de A. Si 1 A entonces consideramos el / conjunto X de los n meros naturales n tales que In N A. Como u I1 = {1} N A, vemos que 1 X. Por otra parte, como A no es vac conclu o, mos que X = N. Luego la conclusin del axioma 3 o no es vlida. Se sigue que debe existir n X tal que n + 1 X. a / Entonces In = {1, 2, . . . , n} N A y n0 = n + 1 A. Por lo tanto n0 es el menor elemento del conjunto A. 2. Conjuntos nitos Continuaremos usando la notacin In = {p N; p n}. Un o conjunto X se dice nito cuando es vac o bien existen n N y una o biyeccin f : In X. Escribiendo x1 = f (1), x2 = f (2), . . . , xn = o o f (n) tenemos X = {x1 , . . . , xn }. La biyeccin f se llama enumeracin de los elemento de X, y el n mero n se llama nmero de o u u elementos o cardinal del conjunto nito X. El Corolario 1 ms a adelante prueba que el cardinal est bien denido, esto es, que no a depende de la enumeracin f escogida. o Lema 1. Si existe una biyeccin f : X Y , entonces dados a X o y b Y tambin existe una biyeccin g : X Y tal que g(a) = b. e o Demostracin: Sea b = f (a). Como f es subrayectiva, existe o a X tal que f (a ) = b. Denamos g : X Y como g(a) = b, a g(a) = b y g(x) = f (x) si x X no es igual ni a a ni a b. Es fcil ver que g es una biyeccin. o

Teorema 1. Si A es un subconjunto propio de In , no puede existir una biyeccin f : A In . o Demostracin: Supongamos, por reduccin al absurdo, que el o o u teorema sea falso y consideremos n0 N el menor n mero natural para el que existen un subconjunto propio A In0 y una biyeccin f : A In0 . Si n0 A entonces, por el Lema, existe una o biyeccin g : A In0 con g(n0 ) = n0 . En este caso la restriccin de o o g a A {n0 } es una biyeccin del subconjunto propio A {n0 } en o In0 1 , lo que contradice la minimalidad de n0 . Si, por el contrario, / amos a A con f (a) = n0 y la tuvisemos n0 A entonces tomar e

Seccin 2 o

Conjuntos nitos

restriccin de f al subconjunto propio A {a} In0 1 ser una o a biyeccin en In0 1 , lo que de nuevo contradice la minimalidad de o n0 . Corolario 1. Si f : Im X y g : In X son biyecciones, entonces m = n. En efecto, si tuvisemos m < n entonces In ser un subconjunto e a propio de In , lo que violar el Teorema 1, pues g 1 f = Im In a es una biyeccin. Anlogamente se demuestra que no es posible o a m < n. Luego m = n. Corolario 2. Sea X un conjunto nito. Una aplicacin f : X X o es inyectiva si, y slo si, es suprayectiva. o o En efecto, existe una biyeccin : In X. La aplicacin f : o 1 X X es inyectiva o sobreyectiva si, y slo si, f : In In o lo es. Luego podemos considerar f : In In . Si f es inyectiva entonces tomando A = f (In ) tendremos una biyeccin f 1 : A o procamente, In . Por el Teorema 1, A = In y f es souprayectiva, Rec si f es suprayectiva entonces, para cada x In podemos escoger y = g(x) In tal que f (y) = e. Entonces g es inyectiva y, por lo que acabamos de probar, g es suprayectiva. As si y1 , y2 In son , tales que f (y1 ) = f (y2), tomamos x1 , x2 con g(x1 ) = y1 , g(x2 ) = y2 y tendremos x1 = f g(x1 ) = f (y1 ) = f (y2 ) = f (g(x2)) = x2 , de donde y1 = g(x1 ) = g(x2 ) = y2 , luego f es inyectiva. Corolario 3. No puede existir una biyeccin entre un conjunto o nito y una parte propia de ste. e El Corolario 3 es una mera reformulacin del Teorema 1. o Teorema 2. Todo subconjunto de un conjunto nito es nito. Demostracin: En primer lugar probaremos el siguiente caso paro ticular: si X es nito y a X entonces X {a} es nito. En efecto, existe una biyeccin f : In X que, por el Lema, podemos suo poner que cumple f (n) = a. Si n = 1 entonces X {a} es nito. Si n > 1, la restriccin de f a In1 es una biyeccin en X {a}, o o luego X {a} es nito y tiene n 1 elementos. El caso general se prueba por induccin sobre el n mero n de elementos de X. Este es o u

Conjuntos Finitos

Cap. 1

evidente si X = o n = 1. Supongamos el Teorema verdadero para conjuntos de n elementos, sean X un conjunto de n + 1 elementos e Y un subconjunto de X. Si Y = X no hay nada que probar. En caso contrario, existe a X tal que a Y . Entonces tambin se / e cumple Y X {a}. Como X {a} tiene n elementos, se sigue que Y es nito. Corolario 1. Dada f : X Y , si Y es nito y f es inyectiva entonces X es nito; si X es nito y f es suprayectiva entonces Y es nito. En efecto, si f es inyectiva entonces es una biyeccin de X en o el subconjunto f (X) del conjunto nito Y . Por otra parte, si f es suprayectiva y X es nito entonces, para cada y Y podemos elegir x = g(y) X tal que f (x) = y. Esto dene una aplicacin o g : Y X tal que f (g(y)) = y para todo y Y . Se concluye que g es inyectiva luego, por lo que acamos de probar, Y es nito. Un subconjunto X N se dice acotado cuando existe p N tal que x p para todo x X. Corolario 2. Un subconjunto X N es nito si, y slo si, est acoo a tado. En efecto, si X = {x1 , . . . , xn } N es nito, tomando p = x1 + + xn vemos que x X x < p, luego X est acotado. a Rec procamente, si X N est acotado entonces X Ip para a alg n p N, por tanto del Teorema 2 se sigue que X es nito. u 3. Conjuntos innitos Se dice que un conjunto es innito cuando no es nito. As X es , innito cuando ni es el conjunto vac ni existe para ning n n N o u una biyeccin f : In X. o Por ejemplo, en virtud del Corolario 2 del Teorema 2, el conjunto N de los n meros naturales es innito. Por el mismo motivo, si u k N entonces el conjunto k N de los m ltiplos de k es innito. u Teorema 3. Si X es un conjunto innito, entonces existe una aplicacin inyectiva f : N X. o

Seccin 4 o

Conjuntos numerables

Demostracin: Para cada subconjunto no vac A X escogeo o mos un elemento xA A. A continuacin, denimos f : N o X inductivamente. Hacemos f (1) = xX , suponiendo ya denidos f (1), . . . , f (n), escribimos An = X {f (1), . . . , f (n)}. Como X es innito An no es vac Entonces denimos f (n + 1) = o. o xAn . Esto completa la denicin de f . Para probar que f es inyectiva, sean m, n N, por ejemplo m < n. Entonces f (m) {f (1), . . . , f (n 1)} mientras que f (n) X {f (1), . . . , f (n 1)}, luego f (m) = f (n). Corolario. Un conjunto X es innito si, y slo si, existe una bio yeccin : X Y es un subconjunto propio Y X. o En efecto, sea X innito y f : N X una aplicacin inyeco tiva. Escribimos, para cada n N, f (n) = xn . Consideremos el o subconjunto propio Y = X {x1 }. Denimos entonces la biyeccin : X Y tomando (x) = x si x no es ninguno de los xn y procamente, si existe una biyeccin de o (xn ) = xn+1 (n N). Rec X en un subconjunto propio entonces X es innito, en virtud del Corolario 3 del Teorema 1. Si N1 = N {1} entonces : N N1 , (n) = n + 1, es una biyeccin de N en su subconjunto propio N1 = {2, 3, . . .}. De o forma general, dado p N podemos considerar Np = {p + 1, p + 2, . . .} y denir la biyeccin : N Np , (n) = n + p. Este o tipo de fenmenos ya eran conocidos por Galileo, el primero en o observar que hay tantos n meros pares como n meros naturales, u u que demostr que si P = {2, 4, 6, . . .} es el conjunto de los n meros o u pares entonces : N P , dada por (n) = 2n, es una biyeccin. o Evidentemente, si I = {1, 3, 5, . . .} es el conjunto de los n mero u impares, entonces : N I, (n) = 2n 1, tambin es una e biyeccin. En estos dos ultmos ejemplos, N P = I y N I = P o son innitos, mientras que N Np = {1, 2, . . . , p} es nito. 4. Conjuntos numerables Un conjunto X se dice numerable cuando es nito o cuando existe una biyeccin f : N X. En este caso, f se llama numeracin de o o los elementos de X. Si escribimos f (1) = x1 , f (2) = x2 , . . . , f (n) = xn , . . . se tiene entonces X = {x1 , x2 , . . . , xn , . . .}.

Conjuntos Finitos

Cap. 1

Teorema 4. Todo subconjunto X N es numerable. Demostracin: Si X es nito no hay nada que demostrar. En o caso contrario, numeramos los elementos de X tomando x1 = menor elemento de X. Suponiendo denidos x1 < x2 < < xn , escribimos An = X {x1 , . . . , xn }. Observando que A = , pues X es innito, denimos xn+1 = menor elemento de An . Entonces u X = {x1 , x2 , . . . , xn , . . .}. En efecto, si existiese alg n elemento de X diferente de todos los xn tendr amos que x An para todo n N, luego x ser un n mero natural mayor que todos los elementos del a u conjunto innito {x1 , . . . , xn , . . .}, lo que contradice el Corolario 2 de Teorema 2. Corolario 1. Sea f : X Y inyectiva. Si Y es numerable X tambin lo es. En particular, todo subconjunto de un conjunto nue merable es numerable. En efecto, basta considerar el caso en que existe una biyeccin o : Y N. Entonces f : X N es una biyeccin de X en o un subconjunto de N, que es numerable, por el Teorema 4. En el caso particular X Y , tomamos f : X Y igual a la aplicacin o inclusin. o Corolario 2. Sea f : X Y suprayectiva. Si X es numerable entonces Y tambin lo es. e En efecto, para cada y Y podemos tomar x = g(y) X tal que f (x) = y. Esto dene una aplicacin g : Y X tal que o f (g(y)) = y para todo y Y . De donde se concluye que g es inyectiva. Por el Corolario 1, Y es numerable. Corolario 3. El producto cartesiano de dos conjuntos numerables es un conjunto numerable. En efecto, si X e Y son numerables entonces existen aplicaciones suprayectivas f : N X y g : N Y , luego : N N X Y dada por (m, n) = (f (m), g(n)) es sobreyectiva. Por tanto, es suciente probar que N N es numerable. Para esto consideremos la aplicacin : N N N dada por (m, n) = 3m 2n . Por la o unicidad de la descomposicin de un n mero en factores primos, o u es inyectiva. Se concluye que N N es numerable.

Seccin 4 o

Conjuntos numerables

Corolario 4. La unin de una familia numerable de conjuntos nuo merables es numerable. Tomando X = Xn , denimos la aplicacin suprayectiva o n=1 f : N N X haciendo f (m, n) = fn (m), El caso de unin nita o se reduce al caso anterior ya que X = X1 X2 Xn Xn+1 .

El Teorema 3 signica que el innito numerable es el menorde los innitos. En efecto, el teorema se puede reformular como sigue: Todo conjunto innito contiene un subconjunto innito numerable. Ejemplo 1. El conjunto Z = {. . . , 2, 1, 0, 1, 2, . . .} de los n meu ros enteros es numerable. Se puede denir una biyeccin f : N Z o como f (n) = (n 1)/2 si n es impar y f (n) = n/2 si n es par. Ejemplo 2. El conjunto Q = {m/n : m, n Z, n = 0} de los n meros racionales es numerable. En efecto, si escribimos Z = u Z {0} podemos denir una funcin suprayectiva f : Z Z Q o como f (m, n) = m/n. Ejemplo 3. (Un conjunto no numerable). Sea S el conjunto de todas las sucesiones innitas formadas con los s mbolos 0 y 1, como por ejemplo s = (01100010 . . .). Con otras palabras, S es el conjunto de todas las funciones s : N {0, 1}. Para cada n N, el valor s(n), igual a 0 o 1, es el n-simo trmino de la sucesin s. Armamos e e o que ning n subconjunto numerable X = {s1 , s2 , . . . , sn , . . .} S u es igual a S. En efecto, dado X, indiquemos mediante snn el no simo trmino de la sucesin sn X. Formamos una nueva sucesin e e o s X tomando el n-simo trmino de s igual a 0 si snn = 0. La e e sucesin s no pertenece al conjunto X porque su n-simo trmino o e e es diferente del n-simo trmino de sn . (Este argumento, debido a e e G. Cantor, es conocido como mtodo de la diagonal). e En el prximo cap o tulo demostraremos que el conjunto R de los n meros reales no es numerable. u