ISFD No 127 Ciudad del Acuerdo

UNIDAD 2: CONJUNTOS NUMERABLES Y NO NUMERABLES Se pueden contar los elementos de un conjunto nito y decir cuntos hay. Por ejemplo, A = {1, 2, 3} tiene tres a elementos y B = {p N : p primo p 20} tiene 8 elementos. De hecho, si se nos preguntase qu se entiende e por conjunto nito, probablemente responder amos que es aquel cuyos elementos pueden ser contados. Sin embargo, no es en principio fcil decir cuntos elementos tienen N, Z, Q o R; todos ellos son conjuntos innitos, a a pues no podemos contar sus elementos, y en un primer anlisis un tanto ingenuo parece que las inclusiones a estrictas N Z Q R, indican que N es el ms pequeo y R el ms grande. Sin embargo, veremos que a n a aunque, en efecto, R es ms grande que N, los conjuntos N, Z y Q tienen, esencialmente, el mismo nmero de a u elementos. Comentarios histricos o El actual tratamiento de los conjuntos innitos es obra del matemtico alemn George Cantor (1845-1918), a a quien a nes del siglo pasado logr sistematizar las ideas desordenadas que giraban en torno a este tema desde o varios siglos antes y avanzar en el anlisis de resultados insospechados hasta entonces. a La preocupacin por denir el innito es muy antigua, matenindose a lo largo del tiempo la nocin de lo o e o mucho, lo que no puede ser contado como su equivalente natural. Antiguamente se entend como una especie a de tope, ms all del cual no pod haber nada. Lo que fue variando de una civilizacin a otra es la ubicacin a a a o o de ese tope. A medida que la posibilidad de contar progresaba, el innito se corr a. Varios siglos despus, Arqu e medes calcul que el nmero de granos de arena en un globo del tamao de la esfera o u n celestial ser del orden de 1052 . Ese fue su innito. a As fueron encontrados nmeros cada vez mayores, hasta que se comprendi que no puede haber l u o mite al pensamiento humano. No importa cun numerosa sea una coleccin, siempre se puede imaginar una mayor, a o agregando un ente a la anterior. Los griegos no pudieron denir el innito pero comprendieron su esencia: un conjunto innito es el que no tiene topes, que no se cierra, que no termina nunca. Ellos, por ejemplo, sab que el conjunto de puntos de an cualquier segmento de recta es innito. Este avance en la comprensin de la idea les acarre nuevas inquietudes. o o Es clebre la paradoja de Zenn segn la cual Aquiles nunca podr alcanzar a una tortuga. El razonamiento e o u a de Zenn era el siguiente: o Supongo que Aquiles arranca corriendo desde A y la tortuga en ese mismo instante sale de T y luego de un tiempo Aquiles alcanza a la tortuga en E. A cada posicin de Aquiles entre A y E le corresponde una unica o posicin de la tortuga entre T y E y, rec o procamente. Luego, el segmento AE tiene tantos puntos como el T E contenido estrictamente en AE. Siendo esto imposible surge que Aquiles no puede alcanzar a la tortuga

Es posible que ni siquiera Zenn creyera tal conclusin que signicaba negar el movimiento. Ms lgica es o o a o pensar que disfrutaba volando con su intelecto creando estas paradojas que no lograban desentraar ni l ni sus n e contemporneos. En el siglo XVII Galileo acepta que el segmento AE tiene tantos puntos como el segmento a T E, siendo T E una parte de AE, pero no logra explicarlo adecuadamente. A principios del siglo XIX el respetado matemtico C. F. Gauss dec Protesto contra el uso de magnitudes a a: innitas como si fuera algo terminado; este uso no es admisible en Matemtica. El innito es slo una forma a o de hablar... Esta actitud que podr amos llamar horror innity, fue habitual en los matemticos hasta casi nes a de siglo. La Matemtica deb ocuparse solamente de magnitudes nitas y nmeros nitos mientras que el a a u tratamieto del actual innito deb dejarse a la Filosof a a. Cantor, pese a la indiscutible autoridad de Gauss se dedic al tema, poniendo de maniesto una gran intuicin o o creativa y mucha energ para perseverar dado que muchos de sus contemporneos discut fuertemente su a a an trabajo. Por ejemplo, Kronecker se rehus a publicarlo, argumentando que el mismo era oscuro y falso, tra o do

MSL (2010)

3o Profesorado en Matemtica-Topolog a a

ISFD No 127 Ciudad del Acuerdo

al mundo cien aos antes de tiempo. Poco a poco fueron aceptndose sus teor y actualmente hay consenso n a as en aceptar la legitimidad de las mismas. Mostraremos, entonces, cmo pueden denirse y estudiarse las magnitudes innitamente grandes siguiendo sus o ideas. Descubriremos a lo largo del tratamiento que en este tema se evidencia fuertemente una de las principales caracter sticas de la Matemtica: en ella, ms que en cualquier otra ciencia, reina la libre creacin. No es un a a o accidente que en el nacimiento de la Teor de conjuntos (1883) se acuara la expresin: a n o La verdadera esencia de la Matemtica es su libertad. a

MSL (2010)

3o Profesorado en Matemtica-Topolog a a

ISFD No 127 Ciudad del Acuerdo

CARDINALIDAD Denicin o Se dice que los conjuntos A y B tienen igual potencia, que son equipotentes o que son conjuntos coordinables, si existe una biyeccin entre ellos, lo que se expresa poniendo A B. o = La relacin es reexiva, simtrica y transitiva; por ello, los conjuntos se clasican respecto de su potencia en o = e clases disjuntas. Dado un conjunto A, a l y a cualquiera de los conjuntos equipotentes con l se le asignar un e e a objeto matemtico llamado cardinal de A, |A|. a Dos conjuntos son equipotentes si y slo si tienen el mismo cardinal, esto es, |A| = |B| equivale a poner A B. o = Observacin o La relacin de equipotencia, es efectivamente: o =, reexiva, pues para todo conjunto A es A A ya que la funcin identidad es una biyeccin de A en A. o o = simtrica, ya que si f : A B es una biyeccin, entonces tambin lo es f 1 : B A ; es decir, e o e A B B A. = = transitiva (Ejercicio). La equipotencia entre conjuntos satisface, pues, a las tres leyes de las relaciones de equivalencia. Denicin o A partir del conjunto vac construyamos los conjuntos: o, , {} , {, {}} , {, {} , {, {}}} , ... donde los elementos de cada conjunto son los del conjunto anterior y, adems, el propio conjunto anterior. Los a cardinales de estos conjuntos se representan por los s mbolos 0, 1, 2, 3, ..., respectivamente, y son los n meros u naturales; el conjunto de todos ellos se denota por N. A los conjuntos que tienen por cardinal a un nmero natural se les llama conjuntos nitos. u Observaciones Si A es un conjunto nito, a su cardinal se le conoce tambin como el n mero de elementos de A; dos e u conjuntos nitos son, pues, equipotentes si y slo si tienen el mismo nmero de elementos. o u El principio del palomar, tambin llamado principio de Dirichlet, establece que si n palomas se e distribuyen en m palomares, y si n > m, entonces al menos habr un palomar con ms de una paloma. a a Si A es un conjunto nito y B est estrictamente incluido en A, entonces no existe ninguna biyeccin entre a o A y B; esto es, un conjunto nito no es equipotente a ninguna de sus partes propias (sin demostracin). o Segn lo anterior, si un conjunto A se puede poner en correspondencia biyectiva con alguna de sus partes u propias, entonces A no puede ser nito; en tal caso, se dir que A es innito. a Ejemplos 1. El conjunto N de los nmeros naturales es innito pues podemos establecer una biyeccin entre N y el u o conjunto P = {2n/n N} de los nmeros pares, que est contenido estrictamente en N; una tal biyeccin u a o es, por ejemplo: f : N P, n f (n) = 2n (Ejercicio) 2. El conjunto R de los nmeros reales es innito pues se puede poner en correspondencia con el intervalo u (1, 1), por ejemplo, que est estrictamente incluido en R, ya que la funcin a o
MSL (2010) 3o Profesorado en Matemtica-Topolog a a

ISFD No 127 Ciudad del Acuerdo

f : (1, 1) R, x f (x) = es una biyeccin. o

x 1x2

Tambin R es equipotente con R+ = {a R/a > 0} v f (x) = ex (Ejercicio). e a Denicin o Se llaman conjuntos innitos a los conjuntos que no son nitos; es decir, un conjunto A es innito si |A| no es un nmero natural. u Caracterizaciones de los conjuntos innitos: Un conjunto A es innito si y slo si se verica cualquiera de las siguientes condiciones: o Algn subconjunto de A es equipotente con N. u El conjunto A es equipotente con alguna de sus partes propias. (Sin demostracin) o Los anteriores ejemplos ponen de maniesto que N y R son conjuntos innitos. Los cardinales de estos conjuntos son, de entre los no nitos, los de mayor inters. e Denicin o El conjunto N de los nmeros naturales es innito; a su cardinal se le denota por 0 (alef cero). Se dice que u A es un conjunto innito numerable si es equipotente con N, es decir, si |A| = 0 . Los conjuntos Z, Q son innitos numerables. El conjunto R de los nmeros reales es innito, pero R no es innito numerable. Se dice que R y todos los u conjuntos equipotentes con R tienen la potencia del continuo; el cardinal de R se denota por 1 (alef uno) -o por una c gtica-. o El conjunto C tiene la potencia del continuo. Sketch de prueba: El conjunto Z, de los nmeros enteros, es innito numerable, ya que la siguiente funcin es una biyeccin: u o o f : N Z, n f (n) = (Ejercicio: completar la prueba) El conjunto Q, de los nmeros racionales, es numerable, pues se puede probar que Q+ = {q Q/q > 0} u puede distribuirse como: 1
1 2 1 3 1 4

n 2

n+1 2

si si

n es par n es impar

2
2 2 2 3 2 4

3
3 2 3 3 3 4

... (Ejercicio: completar la prueba)

...

...

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

Al escribir |R| = 1 implicamos que |R| = 0 . Este hecho lo demostr G. Cantor, creador de la Teor de o a Conjuntos y de la Teor de los Cardinales. a Para ello basta demostrar que el intervalo (0, 1) no es numerable, ya que ste es un subconjunto propio e de R. En efecto, supongamos que todos los nmeros reales del intervalo dado, pueden colocarse en una tabla de u innitos decimales,
MSL (2010) 3o Profesorado en Matemtica-Topolog a a

ISFD No 127 Ciudad del Acuerdo

primer nmero u segundo nmero u tercer nmero u ...

0, a1 a2 a3 ... 0, b1 b2 b3 ... 0, c1 c2 c3 ... ...

La parte principal de la demostracin consiste en construir mediante un proceso diagonal un nuevo nmero o u perteneciente al intervalo que no est incluido en la tabla. Para hacer esto, basta escoger el primer decimal e a de este nmero de manera que diera de a1 y que no sea ni 0 ni 9 (para evitar ambigedades que u u resultar de igualdades como 0,999...=1,000...), elegir b diferente a b2 y que no sea ni 0 ni 9, elegir c an de manera similar y continuar as De esta forma construiremos el nmero x = 0, abcd... que diere de . u cada uno de los nmeros de la tabla anterior: del primero en el primer decimal, del segundo en el segundo u decimal, y en general del nmero que ocupe el lugar n en el n esimo decimal. Esto prueba que la tabla u u e anterior no contiene todos los nmeros del intervalo (0, 1) y, por tanto, ste no es numerable. El conjunto C, de los nmeros complejos, tiene la potencia del continuo. Esta armacin equivale a esta u o otra: el intervalo real (0, 1) es equipotente al producto cartesiano (0, 1) (0, 1), ya que R es equipotente a (0, 1), C es equipotente a R R, y este conjunto los es, pues, a (0, 1) (0, 1). Todo se reduce a encontrar una funcin como: o f : (0, 1) (0, 1) (0, 1), (x, y) f (x, y) = 0, a1 b1 a2 b2 ... donde que es biyectiva. (Ejercicio: completar la prueba) Observacin o De acuerdo con lo dicho anteriormente, si A es un conjunto innito numerable, entonces existe alguna biyeccin o f : N A, n f (n) Llamando an = f (n), el conjunto A se puede escribir como: A = {an /n N} = {a0 , a1 , a2 , ..., an , ...} Rec procamente, todo conjunto de la forma {a0 , a1 , a2 , ..., an , ...} (con ai = aj para i = j) es innito numerable ya que f : N A, n f (n) = an es una biyeccin. o Podemos resumir lo anterior diciendo que un conjunto A es innito numerable si y slo si es posible numerar o sus elementos recurriendo a los nmeros naturales o, tambin, si y slo si, los elementos de A pueden ponerse u e o en forma de sucesin indenida (a0 , a1 , a2 , ..., an , ...). o Denicin o Dados dos conjuntos A y B, se pondr |A| |B| si A es equipotente con una parte de B. a Los conjuntos nitos tienen menor cardinal que el de N y la potencia del continuo es superior a la potencia de lo numerable, es decir |R| > |N|, o sea 1 > 0 . Observaciones Dados dos conjuntos A y B, la relacin |A| |B| signica que existe una aplicacin inyectiva de A en o o B. Si |A| |B| |A| = |B| |A| < |B|. Esto ocurrir pues hay una aplicacin inyectiva de A en B y a o ninguna biyectiva. No existe ningn conjunto innito con potencia inferior a la de N, ya que todo conjunto innito incluye a u un conjunto innito numerable. No se conoce ningn conjunto A tal que |N| < |A| < |R|. Se ha probado que la proposicin existe un u o conjunto A tal que |N| < |A| < |R| es indecidible (ni se puede demostrar, ni se puede refutar). Se llama hiptesis del continuo al axioma que establece que no existe ningn cardinal estrictamente comprendido o u entre N y R.
MSL (2010) 3o Profesorado en Matemtica-Topolog a a

x = 0, a1 a2 ... y = 0, b1 b2 ...

ISFD No 127 Ciudad del Acuerdo

Dado un cardinal cualquiera, siempre existe otro cardinal mayor que l, como prueba el Teorema de e Cantor, que asegura que para cualquier conjunto A, |A| < |P(A)|, donde P(A) es el conjunto de partes o conjunto potencia de A. El Teorema de Cantor-Schrder-Bernstein establece un criterio para establecer si existe una funcin o o biyectiva entre dos conjuntos cualesquiera A y B: Para cualesquiera conjuntos A y B, si existe una funcin inyectiva de A en B y existe una funcin o o inyectiva de B en A, entonces existe una correspondencia biun voca entre B y A. El teorema puede parecer trivial para conjuntos nitos, pero el enunciado del teorema se cumple para conjuntos de cualquier cardinalidad. El teorema resulta util en muchos casos para poder determinar si un conjunto tiene la misma cardinalidad que otro conjunto, ya que dos conjuntos tienen la misma cardinalidad, justo cuando existe una correspondencia biun voca entre ellos.

Denicin o Para los nmeros transnitos (cardinales) se pueden extender sin ambigedad, la suma, la multiplicacin y la u u o potenciacin. o Sean por ejemplo, dos conjuntos disjuntos A y B, tales que |A| = a y |B| = b, la suma y la multiplicacin, o pueden construirse a partir del cardinal de la unin y del producto cartesiano de estos dos conjuntos: o a + b = |A B| a b = |A B| donde A B = {(a, b)/a A b B} Aunque la suma y la multiplicacin no presentan problemas, la resta y la divisin no estn denidas. o o a La potenciacin requiere construir un conjunto ms complicado, pero resulta igualmente bien denida: o a ab = AB donde AB = {f /f : B A} FIN

MSL (2010)

3o Profesorado en Matemtica-Topolog a a

ISFD No 127 Ciudad del Acuerdo

PRACTICA 2: Conjuntos numerables y no numerables 1. Probar que A = {1, 2, 3} no es equipotente a B = {4}. 2. Hallar el cardinal de los siguientes conjuntos: (a) A = x Z/ 2 < x < 3 (b) B = x R/ 2 < x < 3 (c) C = m4 + 5
n

/m, n N

(d) D = {2n 1 : n N} {2, 6} 3. Sean A y B dos conjuntos cualesquiera, mostrar que |A B| = |B A|. 4. Probar que [0, 1] es equipotente a [a, b]. 5. Probar que (0, 1] [0, 1). = o 6. Mostrar que si A A = . Por convencin, diremos || = 0. = 7. Probar que 0 1 . Ms an, como N R 0 < 1 . a u =

MSL (2010)

3o Profesorado en Matemtica-Topolog a a