Cantor y la teora de conjuntos

BALTASAR RODRIGUEZ SALINAS*

Georg Ferdinand Ludwig Philipp Cantor naci el 3 de marzo (19 de febrero segn el calendario antiguo) de 1845 en San Petersburgo. El padre de Cantor, Georg Waldemar Cantor, que haba crecido en Copenhague, haba abierto de joven una oficina de corredor de comercio en San Petersburgo, que le proporcion una considerable fortuna. Pero no slo era un comerciante afortunado, sino tambin un hombre de vasta cultura. Su madre Marie Bohm proceda de una familia muy inclinada hacia las Artes y las Ciencias. Sus parientes fueron unos renombrados virtuosos del violin; Cantor se confesaba "bastante inclinado a lo artstico" lamentndose a veces que su padre no le permitiera ser vioUnista. Su padre era protestante, igual que Cantor, y su madre catlica. El vnculo con el catolicismo pudo desarrollarse en la investigacin de las ideas filosficas de los pensadores catlicos. En San Petersburgo Cantor asisti a la escuela elemental. En el ao 1856 la familia se traslad a Frankfurt am Main debido a una enfermedad del padre. Cantor tuvo el precoz deseo de estudiar Matemticas. Pero su padre le orient para que siguiera una carrera ms provechosa, la de ingeniero. Asisti al Gymnasium in Wiesbaden y ms tarde entre 1860 y 1862 a la Escuela Profesional Superior de Darmstadt, curs all la Seccin General y super el examen de Bachillerato que le daba acceso a los estudios de Ciencias Fsicas y Naturales. Sus calificaciones eran buenas, y en Matemticas obtuvo una calificacin excelente. Por este motivo Cantor manifest de nuevo su deseo de estudiar Matemticas. Tras largas vacilaciones su padre le autoriz a matricularse en Zurich como estudiante en 1862. Cuando poco despus el padre muri repentinamente. Cantor se fue en 1863 a la Universidad de Berln, pues ella tena fama en los estudios de Matemticas. En ese tiempo Karl Weierstrass, famoso como profesor e investigador, atra a muchos estudiantes con talento a la Universidad de Berln. Sus lecciones daban al Anlisis una firme y precisa fundamentacin, de modo que muchos de sus discpulos se proclamaban con orgullo miembros de la "Escuela de Berln" y desarrollaron las ideas de su maestro. El propio Cantor muestra la influencia de Weierstrass con sus primeros trabajos sobre series y nmeros reales, aunque tambin estudi con
* Acadmico Numerario.

302

Kummer y Kronecker. Su tesis, De aequationibus secundi gradus indeterminatis , trat de un problema de Teora de Nmeros y fue presentada en el Departamento de Kummer. En aquellos tiempos todava exista la costumbre de que un candidato al doctorado defendiese su tesis frente a algunos de sus compaeros estudiantes. De especial mencin es la tercera tesis de Cantor para la obtencin de su grado de Doctor en 1867: In re mathematica ars proponendi pluris facienda est quam solvendi. Su conclusin, "en las Matemticas, el arte de plantear los problemas es ms importante que su resolucin", iba a ser decisiva para toda su posterior investigacin. Y de hecho sus posteriores logros no siempre consistieron en resolver problemas. Su principal contribucin a las Matemticas fue su modo de plantear cuestiones abiertas en vastas reas del conocimiento. Estos problemas fueron resueltos por l y en parte por sus discpulos. Cantor no vivi encerrado en su estrecha parcela de ciencia, as tuvo muchos amigos ntimos como H.A. Schwarz alrededor de 1880, especialmente por la ndole de sus trabajos y aficiones. Durante estos aos de Berln naci esa especial amistad entre l y Schwarz, que fue su tutor durante dos aos. Los dos reverenciaban a Weierstrass y los dos intentaban que Kronecker tuviese una buena opinin de los alumnos de Weierstrass, pues Kronecker los criticaba continuamente en sus conclusiones. Estos primeros aos de investigacin de Cantor fueron los ms felices de su vida. Sus cartas durante este periodo expresan su entusiasmo, que raramente se aprecia en los aos posteriores, en los que intentaba ganar la aceptacin de la Teora de Conjuntos. En el ao 1868 super el examen oficial para profesor de Enseanza Media y, como candidato de prueba, imparti clases en el ltimo curso de un Instituto de Berln. Sin embargo, desde un principio estaba decidido a seguir la carrera universitaria, aunque esto implicase sacrificios econmicos. No obstante, gracias a la herencia de su padre, estas dificultades se suavizaron y pudo elegir este camino sin vacilar. En 1869 fue aceptado para ser profesor en la Universidad de Halle, donde fue pronto profesor y en 1869 obtuvo el grado de Full Professor con el apoyo de H.A. Schwarz. All sigui su trabajo hasta su muerte. Su matrimonio en 1874 con Vally Gutmann naci de un gran afecto, y la personalidad alegre e inclinada a lo artstico de "Frau Vally", amiga de su hermana, dio un aire ms alegre al melanclico carcter del gran estudioso. Tuvieron cinco o seis hijos y la herencia del padre hizo posible a Cantor el construir una casa familiar, En aquellos das el profesor de Halle estaba tan mal pagado que sin otro ingreso hubiesen pasado estrecheces. Cantor esperaba conseguir una plaza de profesor en Berln de ms prestigio y mejor pagada, pero en Berln estaba el casi omnipotente Kronecker que le bloque el camino. El estaba en desacuerdo con las opiniones de Cantor sobre nmeros transfinitos y frustaba todos los intentos de Cantor para mejorar su situacin acadmica volviendo a la capital. Debido a sus resultados en la investigacin y a sus xitos docentes pronto le fueron conferidos los primeros honores. As fue elegido miembro

303

de la Sociedad para el estudio de la Naturaleza de Halle, y en 1873 miembro correspondiente de la Sociedad de las Ciencias de Gotinga. Finalmente, como hemos dicho, fue ascendido, en un intervalo de tiempo relativamente breve a Full Professor de la Universidad de Halle. Uno de sus colegas cientficos, E. Heine, sugiri a Cantor en los comienzos de su actividad en Halle que se dedicase a la teora de series trigonomtricas. Muy pronto obtuvo algunos resultados fundamentales en este rea. Adems, sus investigaciones le llevaron al estudio de las propiedades de ciertos conjuntos de puntos. Con la generalizacin de los teoremas obtenidos consigui los primeros resultados de la Teora de Conjuntos. Estos resultados y los problemas que de ellos surgieron se convirtieron desde entonces en el campo principal de las investigaciones de Cantor. Con intenssimo trabajo logr plantear y resolver muchas cuestiones que superaron concepciones que eran consideradas en Matemticas como definitivas. Su primer trabajo sobre Teora de Conjuntos se public en 1874. La acogida de sus descubrimientos en el ambiente matemtico fue muy diversa, solamente muy pocos advirtieron la importancia de los resultados obtenidos. As, su trabajo Una contribucin a la teora de las variedades slo pudo ser publicado en 1878 mediante la intervencin de Weierstrass. Otro trabajo no le fue publicado, colocndosele la acotacin llega con cien aos de anticipacin. Pero finalmente Cantor encontr en Mathematische Annalen una revista que aceptaba y publicaba sus trabajos de manera sucesiva. El eco as alcanzado continuaba siendo escaso. Esto se deba a que para muchos las ideas de Cantor eran absolutamente nuevas e inslitas. Adems, su teora haba encontrado adversarios. Su maestro, Weierstrass, en seguida advirti la fecundidad de las ideas de su discpulo y ya en 1874 utiliz algunas de las consideraciones de Cantor en la demostracin de teoremas sobre funciones reales. Sin embargo, ms tarde, su actitud hacia Cantor empez a cambiar, aun cuando al final se pronunciase ardientemente en favor de la Teora de Conjuntos de Cantor. En los aos de intensas investigaciones, la colaboracin de Cantor fue especialmente estrecha con R. Dedekind, cuyos trabajos estaban ntimamente relacionados con los de l. En su frecuente correspondencia ambos intercambiaban los resultados de sus reflexiones. As, Dedekind influy grandemente sobre las ideas y argumentos de Cantor. De esta forma ambos consiguieron idear sendos mtodos rigurosos para la construccin de los nmeros reales. Sin embargo, como hemos sealado, Cantor encontr en Kronecker un enconado adversario. Este aunque en las publicaciones cientficas no se opona expresamente a Cantor, ni tampoco citaba los teoremas y conceptos esenciales de Cantor que l consideraba errneos e inadmisibles, en cambio, en presencia de otros matemticos atacaba violentamente a Cantor con observaciones crticas, y en sus clases haca comentarios desfavorables sobre la Teora de Conjuntos. Kronecker incluso lleg al extremo de calificar a Cantor de corruptor de la juventud. Con esta actitud injusta

304

Kronecker influy sobre algunos matemticos en contra de las nuevas e inslitas ideas de la Teora de Conjuntos. Durante la elaboracin de su teora, Cantor se encontr con el llamado problema del continuo, cuya solucin crey vislumbrar pero cuya demostracin no pudo conseguir pese a sus enormes esfuerzos. Afectado por la acumulacin de dificultades personales y profesionales, agotado por la intensa y sutil investigacin de tantos aos, en 1884 Cantor sufri un profundo quebranto psquico. Las causas ltimas de esta enfermedad pudieran ser debidas a la propensin intelectual de Cantor, aunque seguramente los factores externos contribuyeron a que se declarase la enfermedad. Una vez restablecido se propuso ante todo abandonar totalmente la investigacin matemtica y dedicarse a cuestiones filosficas. As se ocup, con el ardor que l pona en todo, de estudios literarios sobre la personalidad de W. Shakespeare. Pero con crecientes interrupciones depresivas continu tanto sus cursos de Matemticas como sus investigaciones. En realidad, su enfermedad ya nunca le abandonara, siempre apareca intermitentemente. A finales de la dcada 1880-90 las ideas matemticas de Cantor comenzaron a imponerse en el mundo cientfico. El sueco G. Mittag-Leffler, amigo desde haca tiempo de Cantor, aplic teoremas de la Teora de conjuntos a la demostracin de teoremas de la Teora de Funciones, poniendo as de manifiesto la utilidad de los conceptos de Cantor. Pero todava hizo ms. En la revista Acta Mathematica, que editaba, public trabajos originales de Cantor y traducciones al francs de anteriores trabajos de Cantor. Sin embargo, tampoco l poda seguir todos los razonamientos de ste. A travs de estas publicaciones muchos matemticos extranjeros fijaron su atencin en los trabajos de Cantor.Especialmente, fueron los primeros los matemticos franceses e ingleses quienes cada vez ms reconocieron la importancia de la Teora de Conjuntos, la difundieron y la aplicaron a los diversos campos. Ya durante sus estudios en Berln Cantor haba aprendido a valorar la fecundidad del intercambio de ideas cientficas. All fue miembro de la Sociedad Matemtica (y de 1864 a 1865 presidente). As, pues, cunto no debi de lamentar la falta de tales coloquios cientficos en Halle, donde slo haba unos pocos colegas de su especialidad. Con los que estaban prximos a sus ideas slo poda comunicarse por carta. Por este motivo resulta natural que Cantor fuese partidario de intensificar la colaboracin entre los matemticos mediante la creacin de una organizacin apropiada. Desde haca tiempo exista entre los matemticos alemanes el deseo de asociarse, pero los primeros intentos no haban dado ningn resultado. Cantor continu con su proyecto con la tenacidad que le caracterizaba. Durante 1980-90 abog infatigablemente por escrito y verbalmente en favor de la realizacin de sus propsitos. En gran medida hay que agradecerle que, en el Congreso de los cientficos de la naturaleza y mdicos alemanes celebrado en Bremen en 1890, se fundase la Asociacin de Matemticos Alemanes. El objetivo de esta Sociedad era fomentar y desarrollar la Matemtica, elevar la posicin del matemtico en el seno de

305

6eorg Cantor

306

la vida intelectual de Alemania y ofrecer a los matemticos la oportunidad de conocerse e intensificar sus ideas, experiencias y predilecciones. Cantor fue elegido Presidente de esta Sociedad, pero al cabo de cierto tiempo se vio obligado a dimitir a causa de su enfermedad. Adems de esto Cantor tambin intent formar una sociedad de matemticos internacional. Aunque esto no se consigui, hay que contar a Cantor entre los iniciadores de los Congresos Internacionales de Matemticos, el primero de los cuales tuvo lugar en Zurich en 1897. En este congreso A. Hurwitz pronunci una conferencia en la que expuso cmo la Teora de Conjuntos poda conducir a un nuevo desarrollo de la Teora de Funciones. En los congresos posteriores la Teora de Conjuntos ocup tambin un lugar preferente. De este modo dichos congresos contribuyeron a que se reconociese y se considerase ms la gran importancia de la Teora de Conjuntos para muchas ramas de las Matemticas. Sociedades cientficas inglesas, rusas e italianas eligieron a Cantor miembro honorario. Tambin fue nombrado Doctor Honoris Causa por las Universidades de Cristiana (Noruega, 1902) y St. Andrews (Escocia, 1911). Alentado por tales acontecimientos. Cantor volvi a publicar trabajos de Matemticas, si bien stos trataban principalmente de la exposicin y defensa de los resultados obtenidos anteriormente. De este modo fueron apareciendo entre 1895 y 1897 sus Contribuciones a la Teora de Conjuntos que de manera sistemtica presentaban los resultados de su teora general. Al proseguir sus investigaciones se encontr en la construccin de conjuntos con ciertas antinomias. Y aunque logr reconocerlas y tambin describirlas, no pudo en cambio evitarlas. Tal vez sea sta una de las razones por lo que a partir de 1897 ya no publicase ningn trabajo, aunque se ocupaba de diversas cuestiones de matemticas y pensaba en ambiciosas publicaciones. Indudablemente otra causa resida en sus enfermedades nerviosas que siempre volvan a declararse y que paralizaban su actividad investigadora y tambin le impedan de manera creciente cumplir con sus deberes docentes. Ya en 1902 present una solicitud de jubilacin, que fue desestimada. Pero durante los aos siguientes tuvo a menudo que suspender sus clases por enfermedad, por lo que en 1913 qued definitivamente dispensado de tales obligaciones. Con motivo de su 70 aniversario se haba organizado en 1915 una magna celebracin internacional, pero se frustr debido a la I Guerra Mundial. Pese a todo, muchos matemticos alemanes se reunieron ese da en Halle para honrar a Cantor. Manifestacin de este respeto fue la donacin de un busto de Cantor en mrmol, que hoy da se encuentra en el edificio principal de la Universidad de Halle. De este modo Cantor, al final de su vida, supo que su obra haba sido considerada y reconocida tambin en Alemania. En lo sucesivo su salud fue empeorando cada vez ms. As Cantor falleci el 6 de enero de 1918 en la Clnica Psiquitrica de la Universidad de Halle y fue inhumado en dicha ciudad. Cantor era de buena estatura y su aspecto produca impresin. Posea una vasta cultura, especialmente en Filosofa. Tanto en las conversaciones como en su correspondencia manifestaba sus ideas en forma original y

307

vehemente, que le llevaban a arrebatos colricos. Aparte de su formidable imaginacin creadora era particularmente caracterstico de l la seguridad que tena en sus ideas que l intua y que sostena frente a toda oposicin. Desde un principio fue consciente de la gran trascendencia de la Teora de Conjuntos por l creada. Pero su gran convencimiento de la veracidad e importancia de sus ideas no lo volvieron arrogante ni vanidoso. En sus ms de treinta aos como profesor en la Universidad de Halle explic muchas asignaturas de Matemticas. Sin embargo sobre sus investigaciones en Teora de Conjuntos slo muy raramente explicaba alguna cosa en el Seminario Matemtico. Aunque tena muy pocos alumnos -debido al reducido nmero de estudiantes de Matemticas en la Universidad de Halle- en cambio, en el transcurso de los aos, form a un considerable nmero de ellos, en su mayora candidatos a cargos docentes. Apenas tuvo autnticos discpulos. Esto podra tener alguna relacin con el hecho de que los problemas que le preocupaban le cautivaban hasta tal punto que intentaba resolver todos por s mismo. Pero adems ocurra que el inters hacia tales cuestiones era todava escaso. Como hemos dicho, Cantor se vio inducido a las primeras consideraciones sobre la Teora de Conjuntos por determinadas cuestiones del Anlisis. Con ello hizo suyo el problema que desde haca ya mucho tiempo preocupaba igualmente tanto a filsofos como a matemticos: el problema del infinito. Aunque gracias a la contribucin de A.L. Cauchy, K. Weierstras y otros matemticos se haba logrado una cierta clarificacin del concepto de lmite hacia mediados del siglo XIX, en cambio con ello se confirmaba una vez ms la idea (dominante desde Aristteles) segn la cual el infinito solamente existe en la forma de infinito potencial. Esto significa que aunque para toda magnitud dada puede pensarse en una mayor, estas magnitudes siempre permanecen finitas y el proceso de crecimiento nunca finaliza de manera que no existe ninguna magnitud infinitamente grande. En una carta CF. Gauss haba expresado esta idea de la siguiente forma: "... por lo que protesto contra el uso de una magnitud infinita como si se tratase de una magnitud realizada, lo cual nunca es lcito en Matemticas. Lo infinito es slo una forma de hablar, en el fondo se habla de lmites a los que ciertas situaciones se aproximan tanto como se quiera, mientras que a otras les es permitido crecer sin restricciones". Seguramente esto no lo habra dicho Leibniz porque tena una idea de infinitsimo actual a travs del concepto de diferencial. Estos puntos de vista sobre el infinito eran comunes a todos los matemticos de la poca. Por eso con mayor razn debe admirarnos la genialidad y la audacia intelectual de Cantor, quien con sus resultados super con creces sus ideas. El pudo demostrar que se podan superar estas ideas concibiendo el conjunto de todos los nmeros naturales y tambin otros conjuntos con una infinidad de elementos. El mismo afirm en la introduccin a uno de sus trabajos: "La exposicin de mis investigaciones en la Teora de Variedades (Teora de Conjuntos), realizada hasta la fecha, ha alcanzado un punto en el que su continuacin depende de una generalizacin del concepto de nmero real entero que vaya mucho ms

308

all de los lmites actuales, y a decir verdad esta generalizacin se orienta en una direccin en la que, por lo que se v, hasta el momento no ha sido investigada por nadie". Que esta generalizacin no le fue fcil se lee en otra parte: "A la idea de considerar ... lo infinitamente grande no solamente en la forma de indefinidamente creciente, sino tambin de fijarlo matemticamente por medio de nmeros bajo la forma caracterstica del infinito actual ha sido casi contra mi voluntad, en oposicin de mis ms preciadas tradiciones, obligado de manera lgica por el sentido del esfuerzo cientfico y de las tentativas de muchos aos, y por eso tampoco creo que puedan aducirse argumentos en contra que yo no haya sabido encontrar". A partir de esta intuicin, y firmemente convencido de ella, Cantor construy su Teora de Conjuntos. En realidad, Cantor no formul lo que entenda por conjunto hasta relativamente tarde. En su trabajo Contribuciones a la fandamentacin de la Teora transfinita de Conjuntos, publicado en 1895, escribi: "Como conjunto nosotros entenderemos toda coleccin en un todo M de ciertos y bien diferenciados objetos m de nuestra percepcin o de nuestro pensamiento que sern llamados los elementos de M". Cantor ha pasado a la historia como el fundador de la Teora de Conjuntos, pero las Ciencias Matemticas estn en deuda con l tambin por sus importantes contribuciones al Anlisis Clsico. Hemos mencionado antes su trabajo sobre nmeros reales y sobre su representacin mediante sistemas numricos. En su tratado sobre series trigonomtricas que apareci en 1872, introdujo los nmeros reales con la ayuda de las series fundamentales. (Hoy las llamamos sucesiones fundamentales o sucesiones de Cauchy). Este mtodo ha servido tambin para la complecin de los espacios mtricos. Ms tarde Cantor demostr que cualquier nmero real positivo r se puede representar mediante series del tipo
r=ci+C2 / 2 ! + C3 / 3 ! + . . .

con los coeficientes Cn ^ (n-1)! para n > 1. Estas series se conocen actualmente con el nombre de series de Cantor. En el mismo trabajo hay una generalizacin de dicha representacin y una expresin de los nmeros reales mediante productos infinitos. Con estos artculos y con algunos estudios notables sobre las series trigonomtricas. Cantor se consolid como discpulo aventajado de Weierstrass. Sus resultados extendieron los trabajos de ste y de otros con tcnicas "convencionales". En noviembre de 1873 y por el intercambio de cartas con su colega Dedekind en Brunswick abord una cuestin que canalizara la labor cientfica de Cantor hacia una nueva direccin. Saba que era posible "contar" el conjunto de los nmeros racionales ponindolos en correspondencia biunvoca con el conjunto de los nmeros naturales. Pero se preguntaba si dicha correspondencia era posible para el conjunto de los nmeros reales. Pensaba que no, pero no consegua encontrar una

309 demostracin. Poco tiempo despus, el 2 de diciembre confes que "nunca se haba tomado en serio el problema por no tener un valor prctico" aadiendo "estoy de acuerdo con ustedes que no merece la pena dedicarle mucho tiempo". No obstante, profundiz en las correspondencias entre conjuntos y el 7 de diciembre de 1873 escriba a Dedekind indicndole que el "conjunto" ("aggregate") de los nmeros reales es no contable. Ese da se puede considerar como el da en que la Teora de Conjuntos haba nacido. Dedekind felicit a Cantor por lograrlo. El significado de la prueba fue claro. Mientras tanto Cantor y probablemente Dedekind haban logrado probar que el conjunto de los nmeros algebraicos es contable. As apareci entonces una nueva prueba del teorema de Liouville de existencia de nmeros transcendentes. Es de sealar que, en el mismo ao 1873, el matemtico francs Ch. Hermite logr demostrar que el nmero e es transcendente. El primer artculo publicado sobre Teora de Conjuntos se encuentra en Crelle's Journal (1874). Este trabajo, Uber eine Eigenschaft des Inbegrijfes aller reellen Algebraischen Zahlen, contena ms que el ttulo indicado, inclua no slo el teorema sobre nmeros algebraicos sino adems el de los nmeros reales en la versin simplificada de Dedekind, que difiere de la versin actual en que hoy usamos el "mtodo de la diagonal", entonces desconocido. Siguiendo su marcha Cantor atac nuevos problemas. En una carta a Dedekind del 5 de enero de 1874 plante la siguiente cuestin: "Puede una superficie (por ejemplo, un cuadrado con su borde) ponerse en correspondencia biunvoca con una lnea (por ejemplo, un segmento con sus extremos) de tal forma que para todo punto de la superficie exista un punto correspondiente en la lnea e, inversamente, para cada punto de la lnea exista un punto correspondiente en la superficie? Yo opino que contestar a esta cuestin no es un trabajo fcil ya que la respuesta parece ser tan clara que "no" que la demostracin parece casi innecesaria". La demostracin que Cantor tena pensada era una justificacin del no. Fue tres aos ms tarde, el 20 de junio de 1877, cuando en su correspondencia con Dedekind se encuentra una alusin a esta cuestin, pero esta vez da a su amigo razones para contestar s. Confiesa que aunque durante muchos aos pens lo contrario en ese momento le presenta un argumento probando que dos conjuntos continuos de dimensiones diferentes tienen igual potencia, cuestin ms general que la antes citada. (Esto consta en la correspondencia entre Cantor y Dedekind, publicada por Noether y Cavaills). Hoy da estamos en posicin para contestar la cuestin de Cantor con una demostracin muy breve. La prueba original de Cantor es muy complicada, pero es correcta, y con ella lleg a un resultado que a los matemticos de su tiempo pareca paradgico. Efectivamente, su resultado reduca el concepto de dimensin a trminos insignificantes. Pero Dedekind reconoci inmediatamente que la aplicacin de Cantor de un cuadrado sobre un segmento es discontinua, sospechando que una correspondencia biunvoca continua entre conjuntos de diferentes dimensiones no es posible.

310 Cantor intent probarlo, pero su demostracin no tena rigor. Fue Brouwer quien, en 1910, dio finalmente una demostracin completa de la conjetura de Dedekind. Los siguientes trabajos de Cantor sobre la Teora de Conjuntos de puntos contienen numerosos conceptos, teoremas y ejemplos que son habitualmente citados en los textos actuales de Topologa. La obra bsica en esta materia de Kuratowski contiene a pie de pgina numerosas referencias histricas y es interesante observar cuntos de los conceptos bsicos en topologa fueron dados por Cantor. Mencionamos slo "derivacin de un conjunto de puntos", la idea de "clausura", y los conceptos de "denso" y "denso en s". Cantor llamaba "perfecto" a un conjunto que fuera cerrado y denso en s mismo y dio un ejemplo notable de un conjunto perfecto y discontinuo. Este "conjunto de Cantor" es el conjunto de todos los puntos X del intervalo unidad [0,1] que se pueden expresar en la forma
oo

X= . n=l 3

con los nmeros a^ = O an = 2, el cual es homeomorfo al espacio {0,1 }^. Es fcil ver que el conjunto de Cantor tiene la misma potencia que el de los nmeros reales. A propsito de esto hacemos notar que del conocido teorema de Baire se deduce que todo espacio mtrico completo, no vaco y sin puntos aislados, es no contable. Justamente la demostracin de dicho teorema tiene un precedente en la prueba clsica de que el conjunto de los nmeros reales es no contable, ya que ambas demostraciones son similares. Modificando ligeramente esta demostracin se puede llegar ms lejos probando que todo espacio mtrico completo, no vaco y sin puntos aislados, contiene un subconjunto homeomorfo al conjunto ternario de Cantor. Estas conclusiones, evidentemente, no son vlidas para el conjunto de los nmeros naturales que es un espacio metrizable completo infinito con todos sus puntos aislados. Fue Cantor quien tambin dio la primera definicin satisfactoria del trmino "continuo", que apareci en los primeros escritos de los Escolsticos. Llam "continuo" a un conjunto perfecto continuo, de esta forma consigui que este concepto tan sutil se convirtiese en una herramienta matemtica til. Hacemos notar que actualmente un "continuo" se introduce de manera usual como un conjunto compacto continuo, definicin que no coincide con la de Cantor. El caso es que Cantor dio la primera definicin operativa de dicho trmino. En su trabajo fundamental de 1874, Cantor demostr que con el uso de correspondencias biunvocas se podan distinguir diferentes infinitos: Existen conjuntos contables y conjuntos que tienen la potencia del continuo. De fundamental importancia para el desarrollo de la Teora General de Conjuntos fue la demostracin de que para todo conjunto existe un conjunto de mayor potencia. Cantor sostuvo esto, inicialmente, mediante su teora de nmeros ordinales. Aunque se puede demostrar de

311 forma ms simple a travs de su Teorema de los subconjuntos, que aparece en una sola cita entre sus trabajos publicados, y para un caso especial. Pero en una carta a Dedekind con fecha del 31 de agosto de 1899 se halla una alusin de que el "mtodo de la diagonal", que Cantor haba estado usando, poda ser aplicado para demostrar el Teorema general de los subconjuntos. La esencia de esta demostracin es el hecho de que no puede haber una biyeccin entre un conjunto L y el conjunto M de sus subconjuntos. Para establecer esto, Cantor introduce funciones f (x) que asignan a los elementos x de un conjunto L los valores O, 1. Cada una de estas funciones define un subconjunto de L, el conjunto L' de los elementos X que verifican/(jc) = 0; y a cada subconjunto U cz L le corresponde una funcin /(jc) tal que/(x) = O cuando x pertenece a L' y/(x) = 1 en el otro caso. Entonces si existiese una correspondencia biunvoca entre L y M, el conjunto de funciones en cuestin podra escribirse en la forma 9 (JC, Z) (JC, Z ^ L) '' de modo que de cada especializacin de z se obtiene un elemento / (JC) = (p (jc, z) e, inversamente, cada elemento / {x) de M se ob- tiene de (p (JC, Z) mediante una especializacin de z. Pero esto lleva a una contradiccin, porque, si nosotros tomamos f{x) como la funcin de x que toma slo los valores 0,1 y es diferente de (p (JC, X) para cada valor de X, en tonces / (JC) es un elemento de M por un lado, mientras que por otro, / (x) no puede obtenerse mediante una especializacin z = Zo, porque fizo) es diferente de (p(zo, Zo)". De acuerdo con el Teorema de los subconjuntos, para cada conjunto L existe un conjunto de mayor potencia: el conjunto M de los subconjuntos de L, tambin llamado potencia de L y que se suele denotar por 2^ o P (L). La cuestin sobre una "Teora de Conjuntos" se agudiza. Cantor contempl su teora como una extensin natural de la teora clsica de nmeros. Introdujo los nmeros "transfinitos" (cardinales y ordinales) y desarroll una aritmtica para ellos. Con estos nmeros transfinitos. Cantor abri una "nueva provincia" para las Matemticas, segn hizo notar Gutzmer con motivo del 70 aniversario de Cantor en 1915. Lgicamente los primeros pasos en esta nueva teora fueron titubeantes. As los primeros conceptos sufrieron continuas modificaciones. En el trabajo sinptico de Cantor en Mathematische Annalen de 1895 podemos leer: "Nosotros llamamos potencia o nmero cardinal al concepto general que con la ayuda de nuestra activa inteligencia se obtiene de un conjunto M por abstraccin de la naturaleza de sus diferentes elementos m y del orden en que stos estn dados. Por tanto, cada elemento individual m, si ignoramos su naturaleza, se convierte en un 1 y el nmero cardinal M es un conjunto definido simplemente de unos". La Matemtica Moderna hace ya tiempo que desech esta definicin por buenas razones. Hoy dos conjuntos se dicen "iguales" si contienen los mismos elementos, de forma que son nombrados o distinguidos en la descripcin del conjunto. Por tanto, si ponemos en lugar de cada elemento del conjunto el 1, tenemos el conjunto unitario {1}.

312 Cantor mismo not lo inadecuado de esta primera definicin. En una discusin en su libro de 1884 y posteriormente en 1899 en una carta a Dedekind, llam potencia "aquel concepto general que se refiere al conjunto y a todos sus conjuntos equivalentes". Hoy nosotros diramos, ms simplemente, que "un nmero cardinal es un conjunto de conjuntos equivalentes". Pero esta definicin todava es inadecuada. De hecho sabemos que el concepto de "conjunto de todos los conjuntos" implica contradicciones. Por tanto, el concepto de "conjunto de todos los conjuntos equivalentes a un conjunto M" es tambin inconsistente. En efecto, sea M un conjunto infinito y M * = M u {L } , donde L es un elemento del conjunto de todos los conjuntos. El conjunto {L} tiene, evidentemente, potencia 1, y todo conjunto M * (que contiene slo un elemento ms que M ) es equivalente a M. Consistentemente, el sistema de todos los conjuntos M '^ es un subconjunto del "conjunto de todos los conjuntos equivalentes a M ". Pero como nosotros podemos aplicar este sistema en los elementos del "conjunto de todos los conjuntos", resulta un concepto que lleva inexorablemente a antinomias. Resumiendo, en todos los trabajos de Cantor no encontramos ninguna definicin rigurosa de nmero cardinal y ordinal. Pero la historia no termina aqu. Una tercera definicin de Cantor aparece en un informe de G. Kowalewski incluida en su biografa, Bestand und Wandel, de encuentros que tuvo con G. Cantor. Kowalewski escribi un libro delgado antes de su muerte cuando tena ochenta aos, alrededor de 1950. Con gran viveza relata sucesos y reuniones que ocurrieron cincuenta aos antes. Alrededor de 1900, Kowalewski era Privatdozent en Leipzig. En aquelos das los matemticos de Halle y Leipzig se reunan dos veces al mes, alternativamente en cada ciudad, y discutan sus trabajos. Aunque Cantor ya no publicaba, segn su joven colega sola asistir a estas reuniones para apoyar su teora de conjuntos o variedades. Esto inclua sus estudios sobre las "clases de nmeros", el conjunto de nmeros ordinales que pertenecen a conjuntos equivalentes. Los nmeros de la segunda clase de nmeros eran, por ejemplo, los nmeros ordinales de los conjuntos contables infinitos. Kowalewski entonces discute las potencias (que eran llamadas "alephs"). As dice: "Esta "potencia" se puede tambin representar, como sola hacer Cantor, como el nmero menor inicial de esa clase de nmeros, y los alephs se pueden identificar con estos nmeros iniciales de tal forma que podran ser utilizados para representar los trminos iniciales de la segunda y tercera clase de nmeros del informe de Schoenfliess sobre la Teora de Conjuntos". En un libro actual de Teora de Conjuntos se halla la siguiente definicin de nmero cardinal: Un nmero cardinal es un nmero ordinal que no es similar (o coordinable) a ningn otro nmero ordinal menor. Vemos as que la Matemtica Moderna ha adoptado la definicin de Cantor, que no se encuentra en ninguno de sus artculos publicados. Es bastante

313 improbable que Stoll, autor del libro citado anteriormente, leyese la biografa de Kowalewski. La moderna visin del concepto estuvo dormida durante cierto tiempo para luego ser acogida por generaciones ms jvenes. Debemos decir que Cantor finalmente lleg a la definicin de nmero cardinal que hoy se considera vlida. Esta moderna versin del concepto presupone la validez de un concepto de nmero ordinal. Para ste tampoco podemos aceptar la definicin clsica de Cantor, por las mismas razones que nos previenen de aceptar las primeras versiones del concepto de nmero cardinal. Hoy da, de acuerdo con John von Neumann, un nmero ordinal se describe como un conjunto X bien ordenado tal que todo elemento jc G X es igual al segmento generado por x. En resumen, no slo debemos a Cantor su iniciativa en el desarrollo de la teora de conjuntos transfinitos. El demostr los teoremas ms importantes de la nueva teora, y aport un campo de trabajo para las definiciones actuales del concepto. Sera absurdo criticarle por el hecho de que sus formulaciones iniciales no tuvieran la precisin moderna actual. Cualquiera que abre nuevos campos en las Matemticas requiere una imaginacin muy creativa y sus definiciones iniciales no pueden estar vigentes indefinidamente. Cuando Newton y Leibniz fundaron el Clculo infinitesimal, sus definiciones eran rudimentarias comparadas con las versiones elegantes que se desarrollaron aos despus refinadas por Weierstrass y sus discpulos. Lo mismo es aplicable para los conceptos de la teora de conjuntos y debemos hacer notar que Cantor estaba mucho ms cerca de las definiciones actuales. Por el gran avance sobre el conocimiento del infinito, Cantor potenci la investigacin de los fundamentos. Hilbert rehus entrar en el "paraso" que Cantor haba creado. Pero Cantor tampoco era un axiomtico. Su modo de pensar perteneca ms a la poca clsica. En las anotaciones de su artculo Grundlagen einer allgemeinen Mannigfaltigkeitslehre (1883), l expresa su apoyo incondicional a los "principios del sistema platnico", aunque tambin l habla de Spinoza, Leibniz y Toms de Aquino. La teora de conjuntos de Cantor no fue slo una disciplina matemtica. El la integr en la Metafsica que consideraba como una ciencia e intentt conectarla con la Teologa que utilizaba la Metafsica como herramienta cientfica. Cantor estaba convencido de que el infinito exista realmente tanto de una forma concreta como abstracta. A propsito de esto escribi: "Esta visin, que yo considero la correcta, es apoyada por muy pocos. Posiblemente sea yo el primero en la historia que adopta explcitamente esta posicin, con todas sus consecuencias lgicas, pero estoy seguro que no ser el ltimo!". Filsofos y matemticos que siguen el pensamiento de Platn aceptan actualmente el infinito de forma abstracta, pero no concreta. En una carta a Mittag-Leffler, Cantor escribe que cree que los tomos del Universo pueden ser contados, y que los tomos del ter podran servir como un ejemplo del conjunto con la potencia del continuo. Los fsicos actuales no estn de acuerdo con ello, pero para estudiar el Universo utilizan variedades continuas. Cuando nos preguntamos qu queda del trabajo de

314 Cantor podemos contestar: todo lo que es formalizable queda. Todas sus opiniones puramente matemticas han sido confirmadas y generalizadas por las siguientes generaciones, pero sus conceptos e ideas fsicas no son aceptadas por ellas. Al final de sus das Cantor crea que las bases de las matemticas eran metafsicas, incluso en los aos en que los formalismos de Hilbert empezaban a imponerse. Despus de su muerte se encontraron en sus escritos una nota escrita a lpiz, probablemente de 1913, en la cual reafirma su punto de vista de que "sin un grano de metafsica" las matemticas son inexplicables. Por Metafsica l entenda "la Teora del Ser". Es claro que los objetos matemticos son "seres" desde el momento que existen intelectualmente. Por eso ante las consecuencias de un teorema de indecidibilidad, como la consistencia de una recta real con conjuntos no medibles Lebesgue o con todos sus conjuntos medibles Lebesgue, no cabe atribuir la verdad o falsedad a cualquiera de ellas. Si son consistentes, desde su perspectiva, ambas son verdaderas. Lo que ocurre es que, en realidad, existen infinitas rectas reales que tienen ciertas propiedades comunes, de modo que existen infinitas de ellas que segn Solovay tienen todos sus conjuntos medibles Lebesgue. El teorema de Godel prueba que el concepto de un conjunto infinito no es lo ordinario, lo ordinario es que manejamos conjuntos infinitos que consideramos iguales por tener ciertas propiedades comunes, pero que en realidad no lo son. En la Teora de Conjuntos hay varios teoremas importantes que fueron mencionados por Cantor y probados por otros. Entre ellos est el Teorema de equivalencia de Cantor-Schroder-Bemstein: "Si un conjunto A es equivalente a un subconjunto B ' a B y B es equivalente a un subconjunto A ' c A , entonces A y 5 son equivalentes". Este teorema fue demostrado independientemente por Schroder en 1896, y por F. Bernstein en 1898. La sencilla demostracin de Bernstein, alumno de Cantor, se encuentra en una carta de Dedekind a Cantor. Que todo conjunto puede ser bien ordenado fue probado por Zermelo con el auxilio del Axioma de Eleccin. Esta prueba provoc gran desacuerdo porque ciertos constructivistas rechazaban los teoremas de existencia puros y criticaban las consecuencias paradjicas del Axioma de Eleccin. Ms importantes fueron las discusiones sobre las antinomias de la Teora de Conjuntos. De acuerdo con un teorema demostrado por Cantor, para todo conjunto de nmeros ordinales existe un nmero ordinal mayor que todos ellos. Lo que es una contradiccin cuando se considera el conjunto de todos los nmeros ordinales. Cantor mencion esta antinomia en carta a Hilbert de 1895. Mucho ms impacto caus la posterior antinomia de B. Russell sobre "el conjunto de todos los conjuntos que no se contienen a s mismos como elementos". Fue Hilbert quien, buscando salir del atasco, propuso una estricta formalizacin de la Teora de Conjuntos y de todas las Matemticas. El anhelaba salvar el "paraso" que Cantor haba creado. El formalismo de Hilbert exiga una enorme cantidad de tiempo para ser expuesto. No obstante, la estructura de las Matemticas actuales se formalizan en el sentido de Hilbert. En este formalismo el

315 concepto de conjunto es subyacente a todo l. La admiracin de Hilbert por Cantor queda condensada en las siguientes palabras: "los nmeros transfinitos es el ms admirable florecimiento del espritu matemtico y, en resumidas cuentas, una de las obras cumbre de la actividad puramente intelectual del ser humano". Cuando leemos un libro actual de Matemticas encontramos siempre los conjuntos en el sentido de Cantor. El autor puede comenzar con un captulo de lgica formal, pero luego es muy corriente que siga una seccin dedicada a la Teora de Conjuntos. Toda disciplina especializada se describe como la teora sobre ciertas clases de conjuntos. Por ejemplo, una estructura algebraica es un conjunto el cual se definen ciertas relaciones y operaciones. Los espacios topolgicos son ciertos conjuntos definidos por axiomas de entornos u otros axiomas. La Teora de Probabilidades se refiere a conjuntos de sucesos. Y la Teora de la Medida trata sobre la medida de conjuntos. En la obra de Klaua, Allgemeine Mengenlehre, hay una definicin de las matemticas muy simple: La Matemtica es la Teora de Conjuntos. Actualmente, podemos describir todas las disciplinas matemticas como especializaciones de la Teora de Conjuntos. Ciertamente, un alto precio (a los ojos de Cantor) ie pagado por este desarrollo. Las modernas matemticas trabajan con sistemas formales y Cantor que fue probablemente el ltimo gran platonista entre los matemticos, seguramente nunca acept el naciente formalismo. Para l, el Problema del Continuo era una cuestin metafsica. Durante muchos aos intent demostrar que no haba potencias intermedias entre las del conjunto de los nmeros naturales y reales. Hace algunos aos fue demostrado por Godel y Cohen que la Hiptesis del Continuo es independiente de los axiomas del sistema de Zermelo-Fraenkel. Esta solucin del problema no hubiese gustado a Cantor. Podra haber defendido contra Kronecker la tesis de que la esencia de las Matemticas consiste en la libertad? No incluira esta libertad la posibilidad de que la teora creada por Cantor fuese interpretada en disconformidad con sus ideas originales? El hecho de que su teora de conjuntos fuese influenciada por el pensamiento del siglo XX, de alguna manera no en armona con su visin, es una prueba del profundo significado de su obra. El siglo XXI puede ser que traiga novedades aproximndose a las ideas de Cantor sobre la Matemtica y la Metafsica. Es claro que hay que descartar la idea ingenua de atribuir a una proposicin indecidible, por ejemplo, sobre la Teora de Nmeros, la verdad o la falsedad por cualquier razn no objetiva. Toda proposicin consistente dentro de una teora matemtica se debe tomar como verdadera, de modo que el mismo formalismo da carta de naturaleza como "ser" a los objetos matemticos. Pero ser muy difcil frecuentemente probar que dos de tales objetos son iguales, porque pueden ser diferentes y no se encuentre ningn test para distinguirlos. No obstante, dos objetos matemticos son diferentes si uno tiene una propiedad que no tiene el otro, lo cual no es lo mismo que podamos efectivamente distinguirlos. Es claro que identificar ambas cosas puede ser

316 origen de paradojas. Esto nos hace pensar, como a Cantor, que en las Matemticas hay, en el fondo, mucha Metafsica. Sin duda alguna. Cantor es el creador de la Matemtica Moderna. En efecto, las mismas antinomias de la teora de conjuntos llevaron a una revisin de los fundamentos y a un enriquecimiento de las Matemticas. As lleg la formalizacin, al parecer no deseada por Cantor. En este momento no olvidamos tampoco a Hilbert por su importante contribucin en esta fundamentacin.

Bibliografa
[I] [2] CANTOR, G.: Gesammelte Abhandlungengen. Ed. E. Zermelo. Berlin, 1932. Expediente personal de Halle-Wittenberg. Cantor- del Archivo de la Universidad Martn Lutero de

[3]

BENDIEK, J.: Ein Brief Georg Cantor an P. Ignatius Jeiler OFM. Franziskanische Studien, 47 (1965), 65-73. FRAENKEL, A.: Georg Cantor. Jahresberichte der Deutschen Mathematikervereinigung, 39 (1930), 189-266.

[4]

[5] [6] [7]

FRANKEL, A.: Einleitung in die Mengenlehre. Berln, 1982. GERICKE, H.: Aus der Chronik der Deutschen Mathematikervereinigung. Jahresberichte der Deutschen Mathematikervereinigung, 68 (1966), 46-70. GRATTAN-GUINNESS, I.: Some Remarks on Cantor's Published and Unpublished Work on Set Theory. Schriften reihe fur Geschicte der Naturwissenschaften, Technik und Medizin (NTM), if 1/1971, pp. 1-8. KASDORD, G.: Abstraktion und objetive Realitt. Tesis Doctoral en la Universidad Humboldt. Berln, 1966. Allgemeine Mengenlehre. Berlin, 1964.

[8]

[9] [10] [II]

KLAVKD.:

KOWALEWSKI, G.: Bestand und Wandel. Munich, 1950. LOREY, W.: Der 70. Geburtstag des Mathematikers Georg Cantor. Zeitschrift (1915), 269-274. fur

mathematischen und naturwissenschaftlichen Unterricht, 46 [12] [13] [14]

MESCHKOWSKI, H.: Denkweisen grosser Mathematiker, pp. 80-91. Brunswick, 1961. MESCHKOWSKI, H.: Aus den Briefbchern Georg Cantor. Archive for the History of Exact Sciences, 6 (1965), 503-519. MESCHKOWSKI, H.: Problme des Unendlichen.Werk und Leben Georg Cantor. Brunswick, 1968.

317
[15] MESCHKOWSKI, H.: Georg Cantor. Dictionary of Scientific Biography. 3, New York: Charles Scribners's Sons, 1971, pp. 52-58. [16] [17] [18] [19] NOETHER, E. y J. CAVAILLES: Briefwechsel Cantor-Dedekind. Pans, 1937. RUSSELL, B.: Portraits From Memory and Other Essays. London, 1956, pp. 24-25. RUSSELL, B.: The Autobiography of Bertrand Russell 1872-1914. London, 1967, pp. 217-220. SCHOENFLIESS, A.: Zur Erinnerung an Georg Cantor. Jahresberichte Mathematikervereinigung, 31 (1922), 97-106. der Deutschen

[20]

SCHOENFLIESS, A.: Die Krisis in Cantors mathematischen Schaffen. Acta mathematica, 50 (1927), 1-23. TERNUS, J.: Zur Philosophie der Mathematik. Gorres-Gesellschaft, 39 (1926), 217-231. Philosophisches Jahrbuch der

[21]

[22]

TERNUS, J.: Ein Brief Georg Cantor an P. Joseph Hontheim S.J. Scholastik, 4 (1929), 561-571.

[23] [24] [25]

WANGERIN, A.: Georg Cantor. Leopoldina, 54 (1918), 10-13. WUSSING, H. y W. ARNOLD. Biografas de grandes matemticos. YOUNG, W.H.: The Progress of Mathematical Analysis in the Twentieth. Proceedings of the London Mathematical Society, 24 (1926), 412-426.

Propiedades del conjunto de Cantor.

Jos

Mateos Cortes.

ii

INTRODUCCION La mayor a de los cursos y libros que hablan del conjunto de Cantor lo tratan en forma puramente geom trica. Se empieza presentando su construcci n geom trica y, a partir de la geometr a, se deducen sus propiedades m s importantes. No consideramos que esta forma de presentarlo sea mala. De hecho es muy ilustrativa y los argumentos que se usan son muy claros. Este trabajo nace de las preguntas: Es posible hacer un tratamiento riguroso del conjunto de Cantor? Es posible dar este tratamiento riguroso sin sufrir demasiado? En esta tesis damos una respuesta positiva a la primera pregunta y damos una respuesta satisfactoria a la segunda. Claro, el lector tiene la ltima palabra para decir si no sufre mucho ley ndola. En el cap tulo 1 damos una construcci n an litica del conjunto de Cantor y probamos que es equivalente a la construcci n geom trica. Adem s damos pruebas formales de las propiedades b sicas que mencionan la mayor a de los libros. Aqu es oportuno mencionar que la construcci n que damos es original. Original en el sentido de que no la encontramos en ning n otro lado, aunque por su naturalidad no dudamos que haya sido desarrollada antes por otras personas. En el cap tulo 2 demostramos que el conjunto de Cantor es un espacio m trico, compacto, no vac o, totalmente disconexo, perfecto y no numerable. La prueba central de este cap tulo es la prueba del teorema que nos dice que el conjunto de Cantor es homeomorfo a un producto numerable de copias del espacio discreto f0 2g. Como vemos en el cap tulo 3, este teorema es muy til para deducir propiedades topol gicas del conjunto de Cantor. El cap tulo 3 est dedicado a desarrollar los que consideramos los resultados topol gicos m s importantes del conjunto de Cantor, a saber:

iii 1. Todo espacio m trico compacto es imagen continua del conjunto de Cantor, y 2. Todo espacio m trico, compacto, no vac o, totalmente disconexo y sin puntos aislados es homeomorfo al conjunto de Cantor.

Cap tulo 1

De nuestros cursos de An lisis Matem tico y Topolog a hemos vislumbrado que el conjunto de Cantor juega un papel muy importante en las matem ticas. Usualmente se nos presenta su construcci n geom trica y, a partir de ella, desarrollamos algunas de sus propiedades. En este cap tulo vamos a empezar recordando esta construcci n geom trica pero vamos a hacer algo m s. Vamos a dar las f rmulas exactas que de nen a los intervalos que se consideran en la construcci n del conjunto de Cantor para, de esta manera, probar sus propiedades formalmente.

CONSTRUCCION GEOMETRICA DEL CONJUNTO DE CANTOR.

Tomamos el intervalo unitario 0 1] de la recta real. Dividimos este intervalo en tres subintervalos iguales. De esta manera obtenemos los siguientes intervalos.
0
1 3

;1
3

2 3

2 3

:
1 3 1 3 2 3 2 3

El primer paso para la construcci n del conjunto de Cantor consiste en ; quitar el subintervalo abierto intermedio, es decir quitamos a : Sea el conjunto C la uni n de los intervalos restantes, o sea C = 0 1 : El segundo paso consiste en repetir el mismo proceso a cada uno de los intervalos que componen a C . En otras palabras, a cada intervalo que compone
1 1 1

2 a C lo dividimos en tres partes iguales gener ndose los siguientes subintervalos:

1

1 9

;1
9

2 9

2 9

3 9

6 9

7 9

;7
9

8 9

8 9

Quitamos ahora los ; subintervalos abiertos intermedios. Es decir a C le ; y . Sea C el conjunto que nos queda, o quitamos los intervalos sea
1 9 2 9 7 9 8 9 1 2

C
2

= 0

1 9

2 9

3 9

6 9

7 9

8 9

Repetimos el proceso, es decir, a cada uno de los intervalos que componen a C (que tienen longitud de ) lo dividimos en tres partes iguales y quitamos los tercios medios. Con esto obtenemos el tercer paso de la construcci n que consiste en el conjunto:
1 9

= 0

1 27

2 27

3 27

6 27

7 27

8 27

9 27

18 27

19 27

20 27

21 27

24 27

25 27

26 27

Este proceso se sigue inde nidamente. Es decir, para obtener a C , se dividen en tres partes todos los intervalos que componen a C y se quitan los intermedios. En general, Cm se construye dividiendo en tres partes iguales a los intervalos que componen a Cm y borrando los intervalos abiertos intermedios.
4 3 +1

denotar por la letra C , se de ne como la intersecci n de todos los conjuntos Cm. Es decir,

Figura 1. Ilustraci n de la construcci n de C ,C ,C y C . Finalmente el Conjunto de Cantor, que durante todo este trabajo se le
1 2 3 4

C = fCm : m 2 N g
depende de Cm . Entonces, si no hemos construido a Cm no sabemos qui n es Cm+1 . Esto di culta en gran manera la prueba de las propiedades del conjunto de Cantor. Nuestro primer trabajo, a partir de este momento, ser encontrar una f rmula expl cita para los Cm .

OBSERVACION 1.1. El problema con esta construcci n, es que Cm

+1

Una primera propiedad que podemos observar de los Cm es la siguiente.

ajenos.

PROPOSICION 1.2. Cm es la uni n de

1

2m

intervalos cerrados y

Demostraci n. Haremos esta prueba por inducci n matem tica. Claramente C est formado por 2 = 2 intervalos cerrados y ajenos. Supongamos ahora que Cm esta formado por 2m intervalos cerrados y ajenos. Sabemos que Cm se obtiene de Cm a partir de dividir cada uno de los intervalos cerrados que conforman a Cm en tres partes iguales y retirar el de en medio. Entonces de cada intervalo de Cm obtenemos dos intervalos. De modo que Cm tiene el doble de intervalos que Cm: Puesto que Cm tiene 2m, tenemos que Cm est formado por 22m = 2m intervalos cerrados y ajenos.
1 +1 +1 +1 +1

De acuerdo con la proposici n anterior los intervalos que conforman a Cm son 2m: Entonces una manera pr ctica de numerarlos ser tomando el conjunto de ndices j 2 f0 1 2 ::: 2m ; 1g : Durante todo este trabajo denotaremos con el s mbolo N el conjunto de los n meros naturales incluyendo al cero. Ahora vamos a dar una manera de construir el extremo izquierdo del j- simo intervalo de Cm : Para esto haremos una construcci n general de unos n meros aj , para las j 2 N :

j 6= 0 entonces escribimos a j en su notaci n binaria, es decir: j=b

0

CONSTRUCCION 1.3. Sea j 2 N : Si j = 0 de nimos a

20 + b1 21 + ::: + bm 2m :

= 0:

Si

4 donde bm = 1 y bi 2 f0 1g : De nimos

aj = 2b

30 + 2b1 3 + ::: + 2bm 3m :

En otras palabras, podemos expresar la construcci n as : dada j 2 N , la escribimos en su notaci n binaria, los unos los transformamos en doses y se piensa en el n mero correspondiente como un n mero escrito en base tres. Por ejemplo si j = 10 entonces en notaci n binaria, j = 0 2 + 1 2 + 0 2 + 1 2 : Por construcci n aj = a = 0 3 + 2 3 + 0 3 + 2 3 = 6 + 2 (27) = 6 + 54 = 60:
0 1 2 3 10 0 1 2 3

LEMA 1.4. a m = 2
2

3m

para cada m 2 N :

Demostraci n. Como
2m = 0 20 + 0 21 + 0 22 + ::: + 1 2m :

Calculando a m tenemos lo siguiente:

2

am =0
2

2 30 + 0 2 31 + ::: + 1 2 3m = 2 3m :

El siguiente teorema nos da una manera muy f cil y til de calcular aj : En l mostramos que la funci n aj tiene algunas propiedades de linealidad.
esto es:

TEOREMA 1.5. Sea j 2 N : Expresamos a j en su notaci n binaria,

20 + b1 21 + ::: + bm 2m . Entonces aj = a(b0 20 +b1 21 +:::+bm 2m ) = b0 a20 + b1 a21 + ::: + bm
0

j=b

am
2

notaci n binaria, esto es: j = b 2 + b 2 + ::: + bm 2m: (estamos suponiendo que bm = 1). Por de nici n aj = 2b 3 + 2b 3 + ::: + 2bm 3m: Por el lema 1.4, b a + b a + ::: + bm a m = 2b 3 + 2b 3 + ::: + 2bm 3m: As ,
0 0 1 1 0 0 1 1 0 20 1 2 2 0 0 1 1

Demostraci n. Sea j 2 N jo pero arbitrario y, lo expresamos en su

ab

( 0 20 + 1 21 +

:::+bm 2m ) = b0

20

+ b1

21

+ ::: + bm

a m:
2

Esto completa la prueba del teorema. A manera de ilustraci n, calcularemos aj para los primeros n meros.

EJEMPLO.
Expresando los siguientes n meros en su notaci n binaria tenemos:
=0 a1 = 1 2 30 = 2: a2 = 0 2 30 + 1 2 31 = 0 + 6 = 6: a3 = 1 2 30 + 1 2 31 = 2 + 6 = 8: a4 = 0 2 30 + 0 2 31 + 1 2 32 = 18: a5 = 1 2 30 + 0 2 31 + 1 2 32 = 20: a6 = 0 2 30 + 1 2 31 + 1 2 32 = 24: a7 = 1 2 30 + 1 2 31 + 1 2 32 = 26: a8 = 0 2 30 + 0 2 31 + 0 2 32 + 1 2 33 = 54: a9 = 1 2 30 + 0 2 31 + 0 2 32 + 1 2 33 = 56: a10 = 0 2 30 + 1 2 31 + 0 2 32 + 1 2 33 = 60:
0

La siguiente tabla resume estos resultados.

6 j 0 1 2 3 4 5 6 7 8 9 10

aj 0 2 6 8 18 20 24 26 54 56 60

Los siguientes lemas nos ser n tiles para encontrar una expresi n anal tica para los conjuntos Cm:

LEMA 1.6. aj + 1 < aj para cada j 2 N :

+1

ci n binaria es cero y entonces j se representa as :

Demostraci n. Si j es un n mero natural par, su primer cifra en notaj=0

Entonces
20 + b1 21 + b2 22 + ::: + bm 2m :

aj = 0
Como

2 30 + 2b1 31 + 2b2 32 + ::: + 2bm 3m :

j +1=1
+1

20 + b1 21 + b2 22 + ::: + bm 2m

Calculando aj obtenemos:

aj = 1 2 3 + 2b 3 + ::: + 2bm 3m: Observemos que aj y aj s lo di eren en el primer sumando, que en aj es 0 y en aj es 2. De manera que aj = 2 + aj y entonces aj > 1 + aj : En el caso de que j es impar, la escritura en notaci n binaria de j tiene un uno en la cifra de las unidades. De manera que j es de la forma j = 1 2 + 1 2 + 1 2 + ::: + 1 2i + 0 2i + bi 2i + ::: + bm 2m Por supuesto que podr a ocurrir que no hubiera ning n 0 en ese caso i = m: De todas maneras i 0: Por de nici n: aj = 1 2 3 + 1 2 3 + ::: + 1 2 3i + 0 2 3i + 2bi 3i + ::: + 2bm 3m: Adem s j + 1 = 0 2 + 0 2 + ::: + 0 2i + 1 2i + bi 2i + ::: + bm 2m. Por lo que aj = 0 2 3 + 0 2 3 + ::: + 0 2 3i + 1 2 3i + 2bi 3i + ::: + 2bm 3m: Como la ltima parte de las dos sumas coincide (la de aj y la de aj ), para probar el lema s lo tenemos que mostrar que: (2 3 + 2 3 + ::: + 2 3i + 0 3i ) + 1 < 0 3 + 0 3 + ::: + 0 3i + 2 3i : La suma de la izquierda es igual a
+1 0 1 1 +1 +1 +1 +1 0 1 2 +1 +2 +2 0 1 +1 +2 +2 0 1 +1 +2 +2 +1 0 1 +1 +2 +2 +1 0 1 +1 0 1 +1

1 3i+1

De manera que s lo tenemos que probar que 3i < 2 esta desigualdad es cierta. Esto concluye la prueba.
+1

3i+1 : Y claramente

LEMA 1.7. Para toda j 2 N Demostraci n. Sea

3aj = a2j :

j=b

20 + b1 21 + ::: + bm 2m :

Multiplicando por 2 obtenemos

2j = 2 (b0 20 + b1 21 + ::: + bm 2m ) = b0 21 + b1 22 + ::: + bm 2m+1 :

Calculemos a j :
2

aj=0
2

30 + 2b0 31 + 2b1 32 + ::: + 2bm 3m+1 : = 3 (2b0 30 + 2b1 31 + ::: + 2bm 3m ) = 3aj :
2

Por consiguiente a j = 3aj :

LEMA 1.8. Para cada j 2 N Demostraci n. Escribimos

j=b
entonces
0

3aj + 2 = a2j +1 :

20 + b1 21 + ::: + bm 2m

2j + 1 = (b0 21 + b1 22 + ::: + bm 2m+1 ) + 1 = 1 20 + b0 21 + b1 22 + ::: + bm 2m+1 :

Ya podemos calcular a j

2 +1

con esto obtenemos

aj

= 2 30 + 2b0 31 + 2b1 32 + ::: + 2bm 3m+1 = 2 + 3 (2b0 + 2b1 31 + ::: + 2bm 3m ) = 2 + 3aj :
2 +1 2 +1

Por tanto a j

= 3aj + 2:

Ahora ya estamos listos para dar una de nici n anal tica de los conjuntos Cm. Provisionalmente los llamaremos Bm:

DEFINICION 1.9. La forma anal tica para cada Bm con m 2 N es :

Bm =
2

m ;1

j =0

aj aj + 1 : 3m 3m

9
donde aj es como en la construcci n 1:3:

EJEMPLO.
B
1 +1 = a30 a03

a1 a1 +1 = 3 3

0 3

0+1 3

2 3

2+1 3

= 0

1 3

2 3

Ahora demostraremos que la forma anal tica en que se obtienen los extremos de un Bm es equivalente a la forma geom trica para obtener los extremos de Cm en el conjunto de Cantor. Es decir, Bm = Cm:

TEOREMA 1.10. Para toda m 2 N Bm = Cm : Demostraci n. Haremos esta demostraci n por inducci n matem tica. Con el ejemplo que acabamos de ver comprobamos que B = C : Ahora supongamos que Bm = Cm: Es decir, supongamos que
1 1

Cm =

m ;1

j =0

3m

aj aj + 1
3m
3
0

a a ::: a m ; a m ; Del Lema 1.6 se deduce que los intervalos am a m m m m m son ajenos entre s . De acuerdo con la construcci n geom trica, estos intervalos son los que tenemos que dividir en tres partes iguales para obtener a Cm : i h j Tomemos uno de estos intervalos, digamos el am aj m al dividirlo en tres partes iguales obtenemos los subintervalos: 3aj 3aj + 1 3aj + 1 3aj + 2 y 3aj + 2 3aj + 3 :
3
0 +1

1 +1

1 +1

+1

+1

3m+1

3m+1

3m+1

3m+1

3m+1

3m+1

Le quitamos el de en medio y de esta manera podemos decir que obtenemos a los intervalos que conforman a Cm a partir de Cm, esto es:
+1

Cm

2 +1

m ;1

j =0

3aj 3aj + 1 3m+1 3m+1

3aj + 2 3aj + 3 3m+1 3m+1

Aplicando el Lema 1.7 y el Lema 1.8 tenemos lo siguiente:

10
2 +1

Cm
=

m ;1

j =0

3m+1

a j a j +1
2

3m+1

aj a

3m+1

2 +1

aj a

2 +1

3m+1

+1

3m+1

20

20

3m+1

+1

2(2

3m+1

m ;1)

3m+1 a2(2m ;1) + 1 3m+1

2 0+1

2 0+1

3m+1
2(2

+1

3m+1

m ;1)+1

3m+1 a2(2m ;1)+1 + 1 3m+1

3m+1

21

21

+1

3m+1

2 1+1

2 1+1

3m+1

+1

:::

3m+1 3m+1

+1

am
2

3m+1

+1

;2

am
2

3m+1 3m+1

+1

3m+1

+1

;2 + 1
m

am
2

3m+1 3m+1
+1

+1

3m+1

;1

am
2

3m+1 3m+1

+1

:::

3m+1

+1

;1 + 1

2 +1

;1

j =0

aj aj + 1 m+1 3m+1 = Bm+1 : 3

Por consiguiente, hemos demostrado que la construcci n geom trica y la construcci n anal tica de Cm coinciden para toda m 2 N . Por lo cual, ya tenemos derecho a escribir:

Cm =

m ;1

j =0

aj aj + 1 : 3m 3m

Si al leer la De nici n 1.9, usted dud que el ltimo extremo derecho de Cm es igual a 1 para cada m 2 N : En la observaci n siguiente mostramos que esta a rmaci n es verdadera.

OBSERVACION 1.11. En efecto, como

20 + 21 + 22 + ::: + 2m;1 = 2m ; 1.

Aplic ndole la funci n tenemos:

11

a m;
2

= 1 2 30 + 1 2 31 + 1 2 32 + ::: + 1 2 3m;1 = 2 (30 + 31 + 32 + ::: + 3m;1 ) = 3m ; 1:

a m;
2

Y esto vale para cada m 2 N : Ahora que ya tenemos una expresi n anal tica para los intervalos que componen a Cm estamos en posibilidades de dar pruebas formales de algunas de sus propiedades. Varias de ellas son muy claras de la construcci n geom trica.
gitud de

3m

+1

3m ; 1 + 1 3m = m = 1: 3m 3

PROPOSICION 1.12. Los intervalos que componen a Cm tienen lon1 3

m:

Demostraci n. Ya sabemos que

Cm =
2

m ;1

j =0

aj aj + 1 : 3m 3m
+1

Sea k 2 f0 1 ::: 2m ; 1g : Por el Lema 1.6 los intervalos de Cm son ajenos entre s y, el k- simo intervalo tiene longitud igual a l ak ak + 1 = ak + 1 ; ak = 1 :
3m 3m 3m 3m 3m

que componen a Cm es igual a

PROPOSICION 1.13. ; m de las longitudes de los intervalos La suma

2 3

Demostraci n. Sea m 2 N y su correspondiente Cm, es decir:

Cm =
2

m ;1

j =0

aj aj + 1 : 3m 3m
1 3

Por la Proposici n 1.1 cada Cm tiene 2m intervalos cerrados y por la Proposici n 1.12 los intervalos que componen a Cm tienen longitud de m : Entonces la suma total de las longitudes es igual a:

12
1 1 1 1 + 1 + ::: + 1 2m + m + ::: + m = = m = 3m 3 m 3 3m 3
2 2

m veces

veces

2 3

PROPOSICION 1.14. Cm

+1

Cm para cada m 2 N : aj aj + 1 m+1 3m+1 3

+1

Demostraci n. Sabemos que

Cm
+1
+1

2 +1 +1

;1

j =0

Dada x 2 Cm entonces existe k 2 f0 1 ::: 2m ; 1g tal que a k x 2 mk am : Aplicando el Lema 1.7 y el Lema 1.8 obtenemos que para toda j se cumple: aj = 3aj = a j :
+1 3
+1

3m

3m+1

3m+1

aj + 1 = 3aj + 3 = 3aj + 2 + 1 = a
3m 3m+1 3m+1

2 +1

3m+1

+1

Ahora bien, por hip tesis

3m+1
+1

ak

ak + 1 :
3m+1

PRIMER CASO. Si k es un n mero par entonces k es de la forma k = 2 i: Como 0 k 2m ; 2 entonces 0 i 2m ; 1: Como ai = a i x a i + 1 = a i + 1 < ai + 1 = ai + 1
3m 3m+1
2

3m+1

3m+1
m ;1

3m+1

3m

3m

3m

Concluimos que

ai x 2 3m ai3+ 1 m
Por tanto x 2 Cm:

j =0

3m

aj aj + 1
3m

= Cm :

13 SEGUNDO CASO. Si k es un n mero natural impar entonces k es de la m ; = 2m ; 1: forma k = 2 i + 1: Como 1 k 2m ; 1 0 k; Entonces 0 i 2m ; 1: Por el Lema 1.6, a i + 1 < a i : De manera que a i < a i : Entonces ai = a i < ak x ak + 1 = a i + 1 = ai + 1 :
+1 1 2
+1

2 +1

2 +1

3m

3m+1
3

3m+1

3m+1

2 +1

3m+1

3m

i Por tanto x 2 am ai m Cm: Esto termina la prueba de que Cm

+1 3

+1

Cm:

Ahora demostraremos que tanto el extremo izquierdo como el extremo derecho de cada uno de los intervalos que componen a Cm pertenecen al conjunto de Cantor.

LEMA 1.15. Si cada n 2 N :

esto es:

2m

; 1 entonces

ak

2 Cn y

ak +1
3

2 Cn para

Demostraci n. Dada m 2 N consideremos a su correspondiente Cm

Cm =
2

m ;1

j =0

aj aj + 1 : 3m 3m

Sea k 2 f0 intervalo son

1 2

:::

2m ; 1g : 3m

Los extremos que corresponden a k- simo

3m

ak ak + 1 2 C Cm;

Por la Proposici n 1.14

Cm Cm;
1 2 1

:::

As , por lo anterior, los extremos izquierdo y derecho son elementos de Cm; Cm; ::: C : Ahora veremos que estos extremos tambi n est n en los Cn siguientes. Sabemos que (Lema 1.7)

14

a2k a4k a8k m = 3m+1 = 3m+2 = 3m+3 = ::: 3 ak

Como 0 k < 2m entonces 0 2k < 2m : As que 0 4k < 2m entonces 0 8k < 2m y as sucesivamente. Entonces ak es un extremo para C m m Cm Cm ::: Por otra parte, por el Lema 1.8, +1 a k +1 ak + 1 = a k + 1 = a k = = ::: m m m m 3 3 3 3
+1 +3 3 +1 +2 +3 2 2(2 +1)+1 +2 2(2(2 +1)+1)+1 +3 +1 +2

Como 0 k 2m ; 1 entonces 0 2k + 1 2m ; 1: De aqu que 0 2 (2k + 1) + 1 2m ; 1 y as sucesivamente. Entonces akm tambi n es un extremo para Cm Cm Cm ::: Esto termina la prueba del lema.
+1 +2 +1 3 +1 +2 +3

La siguiente proposici n nos dice que el conjunto de Cantor es un conjunto denso en s mismo.

PROPOSICION 1.16. Sea " > 0: Si x 2 C entonces existe y 6= x que jx ; y j < " y y 2 C:
;1
3 1 3

tal

Demostraci n. Sea " > 0: Como m ! 0 cuando m ! 1 existe N 2 N tal que N < ": Por hip tesis, x 2 C entonces x 2 Cm para cada m 2 N : En particular, k x 2 CN por lo cual, existe k 2 0 1 ::: 2N ; 1 tal que x 2 aN akN : ak 2 C y ak 2 C: Elegimos y = ak o y = ak para Por el Lema 1.15, N N N N que y = x: Entonces 6
+1 3 +1 3 3 +1 3 3 3

jx ; yj

ak + 1 ; ak
3n

= N 3n 3

< ":

Esto termina la prueba de la proposici n.

15 A continuaci n daremos una caracterizaci n de los elementos del conjunto de Cantor, que dice que x 2 C si y s lo si a x lo podemos expresar como una serie in nita de ceros y doses divididos entre potencias de tres.

TEOREMA 1.17. x 2 C si y s lo si existe una sucesi n femg1 con m cada em 2 f0 2g tal que
=1

x=

m=1 3

1 X em

Demostraci n. ()) : Sea x 2 C por la de nici n de C tenemos que x 2 Cm para cada m 2 N: n Haremos una construcci n general de unos n meros em con n 2 N y
( )

m n: Dada n 2 N x 2 Cn entonces existe k 2 f0 1 ::: 2n ; 1g tal que k x 2 an ak n : Escribimos al n mero natural k en notaci n binaria, esto es:
3 +1 3

k=b
Como
2r

20 + b1 21 + b2 22 + ::: + br 2r

con br = 1

br

2r + ::: + b2 22 + b1 21 + b0 20 = k

yk

2n ; 1,

por transitividad se obtiene

2r 2n ; 1 < 2n

Por tanto, r < n: Completando con ceros, si hace falta, escribimos al n mero natural k como lo siguiente:

k=b
Calculando ak

20 + b1 21 + b2 22 + ::: + bn;1 2n;1

ak = 2b

30 + 2b1 31 + 2b2 32 + ::: + 2bn;1 3n;1

16 (n tese que los ceros que pudimos haber a adido no afecta a la de nici n de ak ). As ak = 2b + 2b + 2b + ::: + 2bn; (*) 3n 3n 3n; 3n; 3 De nimos
0 1 2 1 1 2

enn

( )

= 2b0

enn;
( ) ( ) ( )

= 2b1

enn;
( )

= 2b2

::: e n

( ) 1

= 2bn;1

n (observemos que cada em es igual a 0 a 2): n Observemos que las em que estamos de niendo dependen de m de x y de n: En realidad queremos que s lo dependan de m y de x: Esto es lo que vamos a probar a continuaci n. n AFIRMACION. em no depende de n: En efecto, recordando la construcci n geom trica para C (ya vimos en el Teorema 1.10 que la construcci n geom trica y la anal tica son equivalentes) sabemos que a k a k +1 C \ ak ak + 1 = a k a k + 1
( )

n+1

3n

3n

3n+1

3n+1

3n+1

2 +1

2 +1

3n+1

Entonces x 2 ox2 n : n n De manera que ahora ya estamos en posibilidades de calcular em : En el caso en que x 2 an k a nk : Como a k = 2b 3 + 2b 3 + 2b 3 + ::: + 2bn; 3n Entonces, por de nici n
3

a2k a2k +1 n+1 n+1

3

a2k+1 a2k+1 +1
3 +1 3 +1

( +1)

3 +1 2

2 +1 3 +1

enn

( +1) +1

=0

enn

( +1)

= 2b0

enn;
n

( +1) 1

= 2b1

enn;
n

( +1) 2

= 2b2

::: e n
( )

( +1) 1

= 2bn;1 :

De modo que

enn

( +1)

= en

( )

enn;
3 +1

( +1) 1

= en;1
( )

::: e n :

( +1) 1

= e1

n:

Y en el caso en que x 2 Como a k

2 +1

a2k+1 a2k+1 +1
n
3 +1

= 2 30 + 2b0 31 + 2b1 32 + ::: + 2bn;1 3n

17 Entonces

enn

( +1) +1

=2

enn

( +1)

= 2b0

enn;

( +1) 1

= 2b1

enn;

( +1) 2

= 2b2

::: e n
( )

( +1) 1

= 2bn;1 :

De modo que

enn
( )

( +1)

= e(n) n

enn;

( +1) 1 ( )

= en;1
( ) ( +1)

::: e n

( +1) 1

= e1

n n Por tanto, en los dos casos em = em para toda m 2 f1 2 ::: ng : n n n Similarmente, em = em = em = ::: para toda m 2 f1 2 ::: ng : n Entonces a em tenemos derecho a llamarlo simplemente em :
( ) ( +2) ( +3)

Lo que sigue es probar que:

x=
;1
3

m m=1 3
1 3

1 X em

Sea " > 0: Como m ! 0 cuando m ! 1 existe N 2 N tal que Sea n 2 N tal que n N: Demostraremos que:
0

< ":

x;

m=1 3

n X em

<"
3

Sea k 2 f0
0

1 2

:::

2n ; 1g

tal que x 2
n X e(n) m

ak ak +1
n
3

por ( ) tenemos que:

1 3n 1 3N

x;

m =x; m = x ; 3n m=1 3 m=1 3

n X em

ak

<"

Esto concluye la prueba de que

x=
(()

m m=1 3

1 X em

Ahora estamos suponiendo que

x=

m=1 3

1 X em

18 donde cada em 2 f0 2g demostraremos que x 2 fCn : n 2 N g : Esto es equivalente a probar que x 2 Cn para cada n 2 N : O lo que es lo mismo probar que existe i h j j 2 f0 1 ::: 2n ; 1g tal que x 2 an aj n para toda n 2 N . Sea n 2 N . Vamos a proponer los coe cientes de la notaci n binaria del n mero j como: b = en b = en; ::: b = e :
+1 3 3 0

Es claro que, bi 2 f0 1g para i = 0

n;1

::: n ; 1: Probaremos que, si

j=b

20 + b1 21 + ::: + bn;1 2n;1 2

entonces j 2 f0 1 ::: 2n ; 1g : En efecto, por hip tesis, sabemos em

para cada m 2 N : Entonces

1

bm
0

2m
0 1

2m
1

para m = 0
1

::: n ; 1:
20 +21 + ::: +2n;1 = 2n ; 1:

De modo que j = b 2 +b 2 +:::+bn; Por consiguiente j 2 f0 1 ::: 2n ; 1g : Adem s,

2n;1

1 X em
m=1

2b0 30 + :::: + 2bn;1 3n;1 en en;1 e1 = = n + n;1 + ::: + 1 n n 3 3 3 3 3

aj

3m

1 1

en 2 2 + ::: + n + n+1 + n+2 + ::: 3 3 3 3

2 2 2

m=1 3

1 X em

m =x=

= = =

1 1

en 2 + :::: + n + n+1 3 3 3 3 aj + 1 = 3n
1 1

31

e +
+

en 2 + ::: + n + n+1 3 3 3
2 2

1+

32

en + + ::: +
3n

3n+1

1 X
i=0
3 2

1 1 + 2 + ::: 3 3 1 3 =

1 1

en 1 + ::: + n + n 3 3 3
2 2

19 es decir,
3n

aj

x
2

aj + 1
3n
n ;1

Por tanto,

aj x 2 3n aj3+ 1 n

i=0

3n

ai ai + 1
3n

= Cn :

Como esta construcci n es para una n ja pero arbitraria, concluimos, x 2 Cn para cada n 2 N : Por consiguiente, x 2 C: Esto termina la prueba del teorema.

20

Cap tulo 2

En este cap tulo desarrollaremos las propiedades topol gicas elementales del conjunto de Cantor. Para esto es muy conveniente ver que el conjunto de Cantor es homeomorfo al producto numerable de copias del espacio f0 2g donde f0 2g est dotado de la topolog a discreta. Una vez que se de este homeomor smo podremos obtener una serie de resultados topol gicos interesantes. l gicos. De nimos

DEFINICION 2.1. Dada una familia f(Xn

X=
1 Y
n=1
1 2 3

n )gn2N

de espacios topo-

Xn = f(x x x :::) : xn 2 Xn para cada n 2 N g U U ::: Un Xn Xn :::

Sea la familia de subconjuntos de X de la forma:

1 2 +1 +2

donde n 2 N y Ui 2 i para cada i n: Como se ve en los cursos elementales de topolog a, constituye la base de una topolog a para X: Es decir, est de nida por:
= fU

X : U es la uni n de elementos de g
1

Si cada n est dada por una m trica dn (con dn(x y) x y 2 Xn). De nimos 21

para cada

22

d : X X ;! R
por la siguiente f rmula

d(x y) =
donde x = (x x x :::) y y una m trica para X .
1 2 3

1 X dn (xn
n=1
2 3

2n

yn ) :

= (y1

y y :::): Es f cil comprobar que d es

En la siguiente proposici n demostraremos que, la topolog a coincide con la topolog a inducida por d en X: De esta manera podremos realizar m s f cilmente las pruebas de la continuidad de algunas funciones que de niremos a lo largo de este cap tulo.
de nimos usando a :

PROPOSICION 2.2. La topolog a inducida por d en X es la que Demostraci n. Denotaremos por a la topolog a para X usando y,

por o a la topolog a para X inducida por d: Demostraremos que y o son iguales. Sea U 2 entonces U se expresa como la uni n de elementos de es decir: existe un tal que

U=
1 2 3

fA : A 2 g

Sea x = (x x x :::) 2 U entonces existe un A 2 tal que x 2 A U: Como A 2 entonces A es de la forma

A = U U ::: Un Xn Xn ::: donde n 2 N y Ui 2 i para cada i n: Como xi 2 Ui 2 i y i se de ne usando a di existe ri > 0 tal que Bri (xi ) Ui: Para mostrar que U 2 o es su ciente con que demostremos que existe r > 0 tal que Br (x) U: Proponemos r = m{n r r ::: rn : n Dada y = (y y y :::) 2 Br (x) por la de nici n de d se tiene que 1 X di (xi yi ) <r d(x y) =
1 2 +1 +2 2
1

22

i=1

2i

23 Para cada j = 1
2

::: n se obtiene lo siguiente

i=1
2j

1 dj (xj yj ) < X di(xi yi) < r 2j 2i

rj

Por tanto, y 2 A: Hemos probado entonces que Br (x) A U: Entonces Br (x) U: Esto termina la prueba de que U 2 o: Ahora tomemos U 2 o: Sea x = (x x x :::) un punto cualquiera de U: Entonces existe r > 0 tal que Br (x) U: ; Como n ! 0 cuando n ! 1 existe N 2 N tal que N < r : Proponemos Ax como:
1 2 3 1 2 1 2 2

Por lo cual, dj (xj yj ) < rj entonces d (x y ) < r de modo que y 2 B (x ) U j j j j j rj j j 2j 2j

Ax = B r (x ) B r (x ) ::: B r (xN ) XN
2

+1

XN

+2

:::
2

Entonces Ax 2 : Dada y = (y y y :::) 2 Ax entonces yi 2 B r (xi ) para toda 1 i N: Entonces

1 2 3

d(x y) =

1 X di (xi
i=1

2i

yi) = d (x y ) +:::+ dN (xN yN ) + dN (xN

1 1 1

2N

+1

2N +1

+1

yN

+1

+ :::

< 2r
= 2

r 1 1 + ::: + N +1 + N +1 + N +2 + ::: 23 2 2 2
1 + N +1 2 1+ 1 1 + 2 + ::: 2 2

r
2

1+

1 1 + ::: + N ;1 2 2

Entonces y 2 Br (x): Por tanto Ax que Ax U: Por tanto, U 2 :

< 2r

1 r 1 (2) + N +1 (2) = + N 2 2 2

r r < 2 + 2 = r: U tenemos

Br (x): Como Br (x)

24 Posteriormente demostraremos que C es homeomorfo a f0 2g f0 2g ::: pero antes probaremos que el conjunto de Cantor es un conjunto compacto.

PROPOSICION 2.3. Para cada m 2 N Cm es un conjunto cerrado. Demostraci n. Para cada m 2 N sabemos que
Cm =
2

m ;1

j =0

aj aj + 1 : 3m 3m

As que, Cm es la uni n de 2m intervalos cerrados. La uni n nita de conjuntos cerrados es un conjunto cerrado. Por tanto, Cm es un conjunto cerrado, para cada m 2 N : Proposici n 1.14,

OBSERVACION 2.4. Cm
Cm C

0 1]

para cada m 2 N : En efecto, la

0 1] :

PROPOSICION 2.5. C es un conjunto compacto. Demostraci n. Por el Lema 2.3, Cm es un conjunto cerrado, para cada m 2 N : Por de nici n \ C = fCm : m 2 N g :
Esto es, C es la intersecci n de conjuntos cerrados, entonces C es un conjunto cerrado. Adem s, 0 1] es un conjunto compacto. Como C Cm y Cm 0 1] para cada m 2 N entonces C 0 1] : Finalmente, como los subconjuntos cerrados de conjuntos compactos, son compactos, C es un conjunto compacto. Con esto, se concluye la prueba. En el teorema siguiente, demostraremos que C es un conjunto perfecto, es decir, que C es un conjunto cerrado y denso en s mismo.

25

TEOREMA 2.6. C es perfecto. Demostraci n. Por la Proposici n 2.5, C es un conjunto cerrado y por la Proposici n 1.16, C es denso en s mismo.
Podr amos recurrir al teorema que dice que una intersecci n anidada de compactos no vac os es no vac a para concluir que C es no vac o. Tambi n podemos recordar que 0 es un extremo de C y que como vimos en el Lema 1.15, 0 2 Cn para toda n 2 N : De modo que 0 2 C: Esto demuestra la siguiente proposici n.
1

PROPOSICION 2.7. C es un conjunto no vac o. LEMA 2.8. Si 1 X em ; gm < 31n con em gm 2 f0 2g entonces e 3m
= g1

m=1

= g2

::: en = gn:

Demostraci n. Esta prueba se realizar por inducci n matem tica. Para n = 1 se tiene que probar lo siguiente:
Si
1 X em
m=1

; gm < 1 entonces e 3m 3

= g1 :

Lo haremos por reducci n al absurdo. Supongamos que

1 X em
m=1
1 1 1

; gm < 1 y, adem s, e = g : 6 3m 3
1 1 1 1 1

Como e y g pueden ser cero o dos, entonces (e y g = 2): Supongamos, por ejemplo que e = 2 y g

=2 =0

y g = 0) o (e calculando
1

=0

e ;g ; 3
1 1

1 X em
m=2

3m

; gm

e ;g
1

1 X em
m=2

; gm < 1 3m 3

26
2 = 3

e ;g < 1 + 3 3
1 1

1 X em
m=2

3m

; gm

Pero
1 X em
m=2
3m

; gm

je ; g j + je ; g j + je ; g j + :::
2 2 3 3 4 4

2 2 2 + 3 + 4 + ::: 2 3 3 3 = 2 32 1+ 1 1 + 2 + ::: 3 3 = 2 32 3 2 = 1 3

Es decir,
1 X em
m=2
3m

; gm

1 : 3 1 1 2 + = : 3 3 3

Por tanto < As , hemos obtenido <

2 3

2 3

X em ; gm 1 + m 3 m=2 3
2 3

lo cual es un absurdo. Por tanto,

1

1 X em
m=1
1

; gm < 1 implica que e 3m 3

1

= g1 :
1 1

El otro caso, cuando e = 0 y g = 2 es an logo, ya que je ;g j = j ; j = Supongamos ahora que la a rmaci n es cierta para n = k es decir,
0 2 3 3

2 3

Si

1 X em
m=1

; gm < 1 entonces e 3m 3k

= g1

= g2

::: ek = gk :

Demostraremos que entonces se cumple para n = k + 1 o sea,

27 Si
1 X em
m=1

; gm < 1 entonces e 3m 3k
+1

= g1

= g2

::: ek

+1

= gk+1 :

Supongamos entonces que

1 X em

Como Como ek ; gk
+1

1 3 +1

<

1 3

podemos aplicar la hip tesis de inducci n y obtener que

m=1

; gm < 1 : 3m 3k
+1

e
+1

= g1

= g2

::: ek = gk : em ; gm
3m =

3k+1

1 X
m=k+2

em ; gm
3m

1 X
m=k+1

1 X em
m=1

; gm < 1 3m 3k

+1

Obtenemos que

ek ; gk
+1

3k+1
+1

+1

< 3k
+1

1
+1

1 X
m=k+2

em ; gm
3m
+1

Supongamos que ek 6= gk tenemos dos subcasos, es decir, (ek y gk = 0) o (ek = 0 y gk = 2) en cualquier caso tenemos jek ; gk j = 2 :
+1 +1 +1 +1

=2

Calculando, como lo hicimos en el primer caso de la inducci n, tenemos que 1 2 ek ; gk < 1 + X em ; gm < 1 + 1 = 2 : =
3k+1
+1

3k+1

+1

3k+1

3k+1

+1

3k+1

Es decir, k < k lo cual es un absurdo. Esta contradicci n muestra que ek = gk : Esto concluye la prueba del lema.
2 3 +1 +1 2 3 +1 +1

m=k+2

3m

3k+1

3k+1

3k+1

TEOREMA 2.9. C es homeomorfo a f0 2g f0 2g f0 2g ::: Demostraci n. Sea

28

' : C ;! f0 2g f0 2g f0 2g ::: De nida de la siguiente forma. Dada x 2 C por el Teorema 1.17, existe una sucesi n femg1 donde cada em = 0 2 tal que m 1 X em x= :
=1

De nimos

m=1 3

'(x) = (e e e :::): Vamos a comprobar que ' esta bi n de nida. Para esto tenemos que ver que la representaci n de cada x como una serie de ese tipo es nica. Supongamos entonces que hay una x 2 C que tiene dos representaciones como las siguientes: 1 1 X em X gm x= = con e g 2 f0 2g para toda m 2 N :
1 2 3

Supongamos que existe n 2 N tal que en 6= gn y adem s, n es el primer sub ndice donde son distintas. Entonces (en = 0 y gn = 2) o ( en = 2 y gn = 0): Supongamos por ejemplo que en = 0 y gn = 2 calculando se tiene lo siguiente:

m=1 3

m=1 3

m m

1 1

31 = = = 31 31 31
1 1 1

+ + + + + + +

e < 3 g =

31

0 en+1 en+2 + ::: + n + n+1 + n+2 + ::: 3 3 3 3 e2 + ::: + en;1 + 2 + 2 + ::: 32 3n;1 3n+1 3n+2 e2 + ::: + en;1 + 2 1 + 1 + 2 + ::: 32 3n;1 3n+1 3 32 e2 + ::: + en;1 + 2 3 32 3n;1 3n+1 2 e2 + ::: + en;1 + 1 32 3n;1 3n e2 + ::: + en;1 + 2 + gn+1 + gn+2 + ::: 32 3n;1 3n 3n+1 3n+2 g2 + ::: + gn;1 + gn + gn+1 + gn+2 + ::: = x 32 3n;1 3n 3n+1 3n+2
2 2

29 De aqu que x < x lo cual es un absurdo. Por tanto, en = gn para cada n 2 N : En el otro caso, cuando en = 0 y gn = 2 la prueba es an loga. As , hemos probado que la representaci n de x es nica. Por tanto, ' esta bi n de nida. Para probar que ' es una funci n inyectiva sean

x=
1 2 3

m=1 3

1 X em

yx

m=1 3

1 X gm

donde em gm 2 f0 2g :
1 2 3

Supongamos que '(x) = '(x ): Por la de nici n de ' se tiene que (e e e :::) = (g g g :::): Por la de nici n de igualdad en el producto, se tiene que e = g e = g e = g ::: . Esto implica que, x = x : Por tanto ' es inyectiva. Para mostrar que ' es suprayectiva, tomemos (e e e :::) 2 f0 2g f0 2g f0 2g ::: . Consideremos la serie:
1 1 1 2 2 3 3 1 1 2 3

m=1 3
3

1 X em

m
2 3

m Ya que 0 em 2 entonces em m : De modo que esta serie est acotada por una que es convergente. Esto muestra que la serie

m m=1 3
1 2 3

1 X em

converge.

Le llamamos x a su l mite. Por el Teorema 1.17, x 2 C: Entonces ' (x) = (e e e :::) : Por tanto la funci n ' es suprayectiva. As , ' es una funci n biyectiva. Ahora demostraremos que ' es continua en C: Tenemos que mostrar que para cada " > 0 existe > 0 tal que si jx ; x j < entonces d('(x) '(x )) < ": Tomemos una " > 0 arbitraria. Sea M 2 N tal que M < " y sea = M : Tomemos x y x 2 C de manera que jx ; x j < M :
1 1 1 1 1 3 1 2 1 3

Escribimos x =

m m=1 3

1 X em

yx

m m=1 3

1 X gm

30 Por el Lema 2.8, como

1 X em
m=1
3m

; gm

1 = j x ; x1 j < M 3

entonces e

= g1

= g2

::: eM = gM :

Adem s, la m trica dn para el conjunto f0 2g es la m trica discreta, es decir:

dn(p q) = :
Es claro, que dn Calculando
1:

8 < jp;qj
2

si p 6= q si p = q

d('(x) '(x ))
1

= =

je ; g j + je ; g j + ::: + jeM ; gM j + jeM ; gM j + ::: 2 2 2M 2M jeM ; gM j + jeM ; gM j + :::

1 1 2 2 +1 +1 2 3 +1 +2 +1

+ + + :::: 2M +2 2M +3 2M +4 = 2M +2 2 1+ 1 1 + 2 + ::: 2 2

2M +2

+1

+2

2M +3

+2

2 1 = M +2 (2) = M 2 2

< ":

Como x y x fueron elegidos arbitrariamente en C entonces ' es uniformemente continua en C y, por tanto continua en C: Entonces tenemos una funci n ' continua e inyectiva del espacio m trico compacto C sobre el espacio m trico f0 2g f0 2g f0 2g ::: . De acuerdo con Rudin, Teo. 4.17] ' es un homeomor smo. Esto concluye la prueba del teorema.
1

Por el teorema Rudin, Teo. 2.43] como C es perfecto, se tiene que C es no numerable. En realidad, como C es homeomorfo a f0 2g f0 2g f0 2g ::: podemos y vamos a repetir la prueba cl sica de Cantor para mostrar que C no es numerable. A partir de este momento denotamos a f0 2g f0 2g f0 2g ::: por f0 2g1 :

31

TEOREMA 2.10. C es no numerable. Demostraci n. Haremos esta demostraci n por reducci n al absurdo. Esto es, supongamos que C es numerable. Por el Teorema 2.9, C y f0 2g1 tienen la misma cardinalidad. Entonces tambi n estamos suponiendo que f0 2g1 es numerable. De modo que estamos suponiendo que f0 2g1 se puede escribir en la forma
f0 2g1 = fa a a :::g
1 2 3

Supongamos que

a a a a

1 2 3 4

= ( e1 (2) = ( e1 (3) = ( e1 (4) = ( e1

(1)

e e e e

(1) 2 (2) 2 (3) 2 (4) 2

. . .

e e e e

(1) 3 (2) 3 (3) 3 (4) 3

e e e e

(1) 4 (2) 4 (3) 4 (4) 4

:::) :::) :::) :::)

Construyamos un elemento (e e e e :::) 2 f0 2g1 de la siguiente manera:

1 2 3 4

en = :
Entonces
(e1

8 <0

si enn si enn

( ) ( )

=2 =0

e e e :::) 2 f0 2g1 .
2 3 4 ( ) 1 ( ) 2 ( ) 3 ( ) 4 ( )

Notemos que, para toda n 2 N ,

(e1

e e e ::: en :::) 6= (e n e n e n e n ::: enn :::)

2 3 4

32 Porque en 6= enn para toda n 2 N : As , la lista en que numeramos a todos los elementos de f0 2g1 no contiene al elemento que acabamos de construir, lo cual es un absurdo. Por tanto, f0 2g1 es no numerable.
( )

Hasta ahora, hemos probado algunas propiedades topol gicas del conjunto de Cantor, a saber, que es un espacio m trico, compacto, no vac o, perfecto y no numerable. Ahora veremos, que es un conjunto totalmente disconexo, esto es, que las componentes conexas de C son s lo puntos. Para probar esta propiedad, daremos los siguientes lemas.

LEMA 2.11. Sean x 2 C r > 0 y n 2 N tales que Br (x) \ (R ; Cn) 6= :

1 23

< r entonces

Demostraci n. Haremos esta prueba por reducci n al absurdo. Supongamos, por el contrario, que Br (x) Cn: Por hip tesis, si x 2 C entonces x 2 Cn para toda n 2 N . Recordemos que
Cn =
3
0 0 +1

n ;1

n j =0 3
h

aj aj + 1
3n
2 1 2 1 +1

a a los intervalos an a n ::: a nn; a n ;n son cerrados y ajenos n n dos a dos. Adem s, Br (x) es un conjunto conexo y como Br (x) Cn entonces existe un k 2 f0 1 ::: 2n ; 1g tal que B (x) ak ak + 1
3 3
1 1 +1

3n

3n

de aqu que,
2r = diametro (Br (x))

diametro

3n

ak ak + 1
3n

1 = n: 3

Esta contradicci n prueba que Br (x) \ (R ; Cn) 6= y concluye la prueba del lema.

x < z < y:

LEMA 2.12. Sean x y 2 C con x < y entonces existe z 2 R; C tal que

33

Demostraci n. Supongamos por el contrario que (x y) C: Elegimos un p 2 (x y) entonces p 2 C: Sea r > 0 tal que Br (p) (x y): Sea n 2 N tal que n < r: Por el Lema 2.11, existe q 2 Br (p) \ (R ; Cn) : Entonces q 2 Br (p) (x y) C Cn y q 2 R ; Cn:
1 23

Este absurdo muestra que el lema es cierto.

TEOREMA 2.13. C es un conjunto totalmente disconexo.

conjunto de Cantor son sus puntos. Supongamos que una componente no es un punto y la llamamos A es decir, vamos a suponer que A es un conjunto conexo, A C y que existen x y 2 A tales que x < y: Por el Lema 2.12, existe z 2 R ; C tal que x < z < y: Dada p 2 A p 6= z pues z 2 C: De modo que p < z o p > z: Esto muestra = que

Demostraci n. Tenemos que probar que las componentes conexas del

A como la uni n de dos conjuntos abiertos (en A) ajenos y no vac os. Esto contradice la conexidad de A y termina la prueba del teorema.

1) \ A) : Notemos que x 2 (;1 z) \ A y y 2 (z 1) \ A: Entonces hemos escrito a

((z

A = ((;1 z) \ A)

34

Cap tulo 3

En el cap tulo anterior vimos que el conjunto de Cantor es un espacio m trico, compacto, perfecto, no vac o y totalmente disconexo. En este cap tulo probaremos que estas propiedades caracterizan al conjunto de Cantor. Es decir, si un espacio topol gico X tiene todas estas propiedades entonces X es homeomorfo al conjunto de Cantor. El otro resultado importante de este cap tulo ser que todo espacio m trico y compacto es una imagen continua del conjunto de Cantor. Los resultados importantes para probar este ltimo teorema son: - El conjunto de Cantor es homeomorfo a un producto numerable de copias de l. - Hay una funci n continua y suprayectiva de C al intervalo 0 1] : - Hay una funci n continua y suprayectiva de C al cubo de Hilbert. - Todo espacio m trico y compacto se puede encajar como un subconjunto cerrado del cubo de Hilbert. - El conjunto de Cantor se puede retraer a cualquiera de sus subconjuntos cerrados y no vac os.

una sucesi n de ceros y doses.

C con el espacio f0 2g1 : Esto es posible debido al Teorema 2.9. Entonces cuando nos re ramos a un elemento de C escribiremos

A lo largo de este cap tulo, identi caremos al conjunto de Cantor

PROPOSICION 3.1. Para toda n 2 N , C es homeomorfo a C n:

35

36

Demostraci n. Primero se demostrar para n = 2: Esto es, C es homeomorfo a C C: La prueba para toda n 2 N se har por inducci n matem tica.
Sea

f : C C ;! C
de nida por la correspondencia

f ((a a a :::) (b b b :::)) = (a b a b a b :::)

1 2 3 1 2 3 1 1 2 2 3 3

Demostraremos que f es una funci n inyectiva. Sean

f ((a a a :::) (b b b :::)) = (a b a b a b :::)

1 2 3 1 2 3 1 1 2 2 3 3

f ((c c c :::) (d d d :::)) = (c d c d c d :::) :

1 2 3 1 2 3 1 1 2 2 3 3

Supongamos que

f ((a a a :::) (b b b :::)) = f ((c c c :::) (d d d :::)) :

1 2 3 1 2 3 1 2 3 1 2 3

Esto es, equivalente a

(a1

b a b a b :::) = (c d c d c d :::)
1 2 2 3 3 1 1 2 2 3 3

entonces ai = ci al igual que bi = di para cada i 2 N esto es, por la de nici n de igualdad en el producto. As ,
(a1

a a :::) = (c c c :::) y (b b b :::) = (d d d :::) :

2 3 1 2 3 1 2 3 1 2 3

Por tanto, f es una funci n inyectiva. Para mostrar que f es una funci n suprayectiva tomemos un punto arbitrario (a a a :::) 2 C entonces ((a a a :::) (a a a :::)) 2 C C: Aplicando la f_ :
1 2 3 1 3 5 2 4 6

f ((a a a :::) (a a a :::)) = (a a a a :::) :

1 2 3 2 4 6 1 2 3 4

37 Por lo que, f es una funci n suprayectiva. Vamos a demostrar que f es una funci n continua. De acuerdo con Willard, Teo. 8.8] esto es equivalente a probar que, n f es continua para cada n 2 N : Sea n 2 N , calculando:
n

f ((a a a :::) (b b b :::)) = :

1 2 3 1 2 3

8 < a n+1

bn
2

si n es impar si n es par
1 2

Esta f rmula nos muestra que n f es pr cticamente una proyecci n. Para hacerlo m s expl cito, consideremos las funciones ' y ' de nidas por

' ((a a a :::) (b b b :::)) = (a a a :::) ' ((a a a :::) (b b b :::)) = (b b b :::) Calculando n (' ((a a a :::) (b b b :::))) = n ((a a a :::)) = an: Mientras que n; (f ((a a a :::) (b b b :::))) = a n; = an : De igual manera: n (' ((a a a :::) (b b b :::))) = n ((b b b :::)) = bn : Por otra parte, n (f ((a a a :::) (b b b :::))) = b n = bn : De manera que n ' = n; f y n ' = n f: Como ' ' y n son continuas, podemos concluir que n f es continua para toda n 2 N : Por tanto, f es una funci n continua.
1 1 2 3 1 2 3 1 2 3 2 1 2 3 1 2 3 1 2 3 1 1 2 3 1 2 3 1 2 3 2 1 1 2 3 1 2 3
2 1+1 2

2 2

Como C C es un m trico compacto (el producto cartesiano de conjuntos compactos es un conjunto compacto), y adem s tenemos una funci n f continua e inyectiva de un espacio m trico compacto sobre C: De acuerdo con Rudin, Teo. 4.17] f es un homeomor smo. Esto termina la prueba de que C es homeomorfo a C C: Para hacer el paso inductivo, suponemos que

C C;veces C es homeomorfo a C: ::: n

38 Como

C nC ;veces C es homeomorfo a (C C ::: C ) C :::

+1

n;veces

por hip tesis de inducci n, el producto de la derecha es homeomorfo a C C el cual vimos que es homeomorfo a C: Por tanto, C nC ;veces C tambi n es homeomorfo a C: ::: Esto completa la inducci n y la prueba de la Proposici n 3.1. Como se mencion al inicio de este cap tulo, vamos a demostrar que C es homeomorfo a un producto numerable de copias de l. Para esto, recordemos que N N es un conjunto numerable, por lo que, denotaremos con a una funci n biyectiva de N en N N ( : N ;! N N ) .
+1

ducto numerable de copias de l. Esto es, C es homeomorfo a C C C ::: .

PROPOSICION 3.2 El conjunto de Cantor es homeomorfo a un proDemostraci n. Sea

f : C C C ::: ;! C

de nida por la siguiente correspondencia f ((a a a :::) (a a a (a a a :::)

(1 1) (1 2) (1 3) (2 1) (2 2) (1) (2) (3) (1 1) (1 2) (1 3) (2 1) (2 2)

(2 3)

:::) (a

(3 1)

(3 2)

(3 3)

:::) :::) =

Demostraremos que f es una funci n inyectiva. Sean f ((a a a :::) (a a a :::) (a a a :::) :::) = (a a a :::) y f ((b b b :::) (b b b :::) (b b b :::) :::) = (b b b :::) Supongamos que
(2 3) (3 1) (3 2) (3 3) (1) (2) (3) (1 1) (1 2) (1 3) (2 1) (2 2) (2 3) (3 1) (3 2) (3 3) (1) (2) (3)

f ((a a a :::) (a f ((b b b :::) (b

(1 1) (1 2) (1 3) (1 1) (1 2) (1 3)

(2 1) (2 1)

a b

(2 2) (2 2)

a b

(2 3) (2 3)

:::) (a :::) (b

(3 1) (3 1)

a b

(3 2) (3 2)

a b

(3 3)

(3 3)

:::) :::) = :::) :::):

Esto es equivalente a que

39
(a
(1)

a a

(2)

(3)

:::) = (b

(1)

(2)

(3)

:::):

Por la de nici n de igualdad en el producto, obtenemos

( )

n = b (n)

para toda n 2 N .

Sea (n m) 2 N N , como que (r) = (n m): Por lo que,

es suprayectiva entonces existe r 2 N tal

a nm
(

= a (r) = b (r) = b(n m) :

As

a
(1 1) (1 2)

(1 1)

= b(1 1)

(1 2)

= b(1 2)

(1 3)

= b(1 3)

:::
(2 2)

Por tanto, (a a a :::) = (b b b :::) (a (b b b :::) (a a a :::) = (b Por tanto, f es una funci n inyectiva.
(1 3) (1 1) (1 2) (1 3) (2 1) (2 2) (2 3) (3 1) (3 2) (3 3) 1 1 2 3

(2 1)

(3 1)

a b

(3 2)

a b

(2 3)

(3 3)

:::) = :::) ::: .

Para mostrar que f es una funci n suprayectiva, tomemos un punto cualquiera (c c c :::) 2 C: Dadas n y m 2 N , de nimos a n m = c ; n m : Como ; (n m) es un n mero natural, c ; n m est bien de nido. Sea a = ((a a a :::) (a a a :::) (a a a :::) :::) 2 C C C ::: Aplicando f obtenemos
( )
1(

1(

(1 1)

(1 2)

(1 3)

(2 1)

(2 2)

(2 3)

(3 1)

(3 2)

(3 3)

f (a) = (a

(1)

(2)

(3)

:::) = (c ; c (c c c :::):
1 ( (1))

;1 (

(2))

;1 (

(3))

:::) =

Por tanto f es suprayectiva. Vamos a demostrar que f es una funci n continua. De acuerdo con Willard, Teo. 8.8] esto es equivalente a probar que n f es continua para toda n 2 N . Sea n 2 N , calculando:
n

f ((a

(1 1)

(a(3 1) n (a (1)

(1 2)

a a a

(1 3)

(3 2) (2)

:::) (a a a a :::) :::) = a :::) = a n :

(2 1) (2 2) (3 3) (3) ( )

(2 3)

:::)

40 Esta f rmula nos muestra que n f es pr cticamente una proyecci n. Para hacerlo m s explicito consideremos la funci n m de nida por a a :::) (a a a :::) (a a a :::) :::) = m = ((a (a m a m a m :::) para cada m 2 N . Como : N ;! N N , entonces (n) = (m r) : Calculando a a :::) (a a a :::) (a a a :::) :::) = r m ((a r (a m a m a m :::) = a m r = a n : De manera que n f = r m: Como r y m son continuas, podemos concluir que
(1 1) (1 2) ( (1 3) (2 1) (2 2) (2 3) (3 1) (3 2) (3 3) ( 1) ( 2) 3) (1 1) ( (1 2) ( (1 3) (2 1) ) (2 2) (2 3) (3 1) (3 2) (3 3) ( 1) 2) 3) ( ( )

f es continua para toda n 2 N .

Por tanto, f es una funci n continua. Como C C C ::: es un espacio m trico compacto (ya que, el producto de conjuntos compactos es un conjunto compacto), entonces f es una funci n continua e inyectiva de un espacio m trico compacto sobre C: Por el Teorema 4.17 de Rudin] f es un homeomor smo. Esto concluye la prueba de la Proposici n. Como dijimos en la introducci n de este cap tulo, mostraremos que el intervalo 0 1] es imagen continua de C: A continuaci n de nimos la funci n g que nos servir para dicho n. Para familiarizarnos con ella, la evaluaremos en algunos puntos y bosquejaremos su gr ca. La prueba de sus propiedades est en la Proposici n 3.3. Consideremos la funci n

g : C ;!
de nida por la f rmula

0 1] :

g ((a a a :::)) =
1 2 3 1 2 3

1 X
n=1

an : 2n
+1

Recordemos que cada elemento x 2 C lo estamos identi cando con la nica sucesi n (e e e :::) de ceros y doses que cumple

41

x=

1 X en
n=1

3n

Expresaremos algunos elementos de C en forma de serie para calcular su imagen bajo g:

0= 0 0 0 0 + 2 + 3 + 4 + ::: 3 3 3 3

1 0 2 2 2 = + 2 + 3 + 4 + ::: 3 3 3 3 3 2 2 0 0 0 = + 2 + 3 + 4 + ::: 3 3 3 3 3 1 0 0 2 2 = + 2 + 3 + 4 + ::: 9 3 3 3 3 2 0 2 0 0 = + 2 + 3 + 4 + ::: 9 3 3 3 3 7 2 0 2 2 = + 2 + 3 + 4 + ::: 9 3 3 3 3 8 2 2 0 0 = + 2 + 3 + 4 + ::: 9 3 3 3 3 1= 2 2 2 2 + 2 + 3 + 4 + ::: 3 3 3 3

Aplicando g a los elementos anteriores se tiene,

g((0 g((0

0 0 0

0 :::)) = 2 0 :::)) = 2

0 0 0 + 4 + 5 + ::: = 0 3 2 2 2 2 2 2 1 + 4 + 5 + ::: = 23 2 2 2

2 2 2

42

g((0 g((0 g((2 g((2 g((2 g((2

0 2 2

0 :::)) = 2 0 :::)) = 2 2 :::)) = 2 2 :::)) = 2 2 :::)) = 2

0 2 2 1 + 4 + 5 + ::: = 3 2 2 2 4 2 0 0 1 + 4 + 5 + ::: = 3 2 2 2 4 0 0 0 1 + 4 + 5 + ::: = 3 2 2 2 2 0 2 2 3 + 4 + 5 + ::: = 3 2 2 2 4 2 0 0 3 + 4 + 5 + ::: = 23 2 2 4 2 2 2 + 4 + 5 + ::: = 1 3 2 2 2

2 0 0

0 0 0

0 2 2

2 0 0

2 2 2

2 :::)) = 2

Figura 2. Ilustraci n de la gr ca de la funci n g.

43 Una vez bosquejada la gr ca de la funci n, demostraremos en la Proposici n siguiente que g es una fuci n continua y suprayectiva. Y por consiguiente, estaremos mostrando que el intervalo 0 1] es la imagen continua del conjunto de Cantor.

PROPOSICION 3.3. Sea

de nida por la f rmula

g : C ;!
2 3

0 1]

g ((a a a :::)) =
1

1 X
n=1

an : 2n
+1

Entonces g es continua y suprayectiva (Recordemos que estamos identi cando a C con f0 2g1):

Demostraci n. Aplicando g a un elemento cualquiera de C se tiene:

g ((a a a :::)) =
1 2 3

1 X
n=1

an : 2n
+1

a1
2
2

a2
2

Como an Entonces
1 2 3

para toda n 2 N entonces

1 1 1 1 + 2 + 3 + ::: = 2 2 2 2

2 2

a3
23
2

+ :::

an
2

para cada n 2 N :
=1

g ((a a a :::))

1+

El criterio de comparaci n para series nos dice que entonces la serie 1 X an es convergente y converge a un n mero entre 0 y 1: Por tanto g est bien de nida. Para mostrar que g es una funci n suprayectiva tomemos un n mero cualquiera entre 0 y 1 es decir, sea y 2 0 1] : Consideremos su presentaci n binaria, es decir:
n+1 n=1 2

1 1 1 + 2 + 3 + ::: 2 2 2

44

y=a
donde ai 2 f0 1g : Como

2 3 + a2 + a3 + ::: 2 2

y=a
1

2 3 + a2 + a3 + ::: = 22a21 + 22a32 + 22a43 + ::: = g ((2a1 2a2 2a3 2 2

:::))
=

y (2a 2a 2a :::) 2 f0 2g1 obtenemos que g es una funci n suprayectiva.

2 3

Demostraremos que g es una funci n continua. Sea " > 0. Sea Dados dos elementos (a a a :::) y (b b b :::) 2 C tales que d((a a a :::) (b b b :::)) < : Entonces
1 2 3 1 2 3 1 2 3 1 2 3

":

jg ((a a a :::)) ; g ((b b b :::))j

1 2 3 1 2 3

1 X 1 X
n=1

1 an ; X bn 2n 2n
+1

an ; bn
2n+1
2 1 3

n=1
=

+1

1 X
n=1
1

d((a a a :::) (b b b :::)) <

2 3

n=1

n=1 jan ; bn j 2n+1

1 X an

2n+1

; bn

= ":

Esto es,

jg ((a a a :::)) ; g ((b b b :::))j < ":

1 2 3 1 2 3

Por tanto, g es una funci n continua en C: Esto concluye la prueba de la proposici n. Ya estamos en condiciones de poder de nir una funci n continua y suprayectiva del conjunto de Cantor al cubo de Hilbert. El espacio m trico y compacto 0 1] 0 1] 0 1] ::: se le llama el cubo de Hilbert.

C en

PROPOSICION 3.4. Existe una funci n continua y suprayectiva de

0 1] 0 1] 0 1]

:::

a C C C ::: . Sea

Demostraci n. Por la Proposici n 3.2, tenemos que C es homeomorfo

45

f : C C C ::: ;!

0 1]

0 1]

0 1]

:::

de nida por la siguiente correspondencia

f (x x x :::) = (g(x ) g(x ) g(x ) :::)

1 2 3 1 2 3

donde g es la funci n de nida en la proposici n anterior. Como f es una funci n que se mete a un producto, para ver su continuidad basta comprobar que, n f es continua, para toda n 2 N . Sea n 2 N , calculando
n

f (x x x :::) = g(xn) = g
1 2 3

n (x1

x x :::)
2 3

donde n : 0 1] 0 1] ::: ;! 0 1] es la proyecci n n- sima. Por la Proposici n 3.3, g es continua en C: Por tanto, n f es continua para toda n 2 N . Por tanto f es continua. Para demostrar que f es una funci n suprayectiva sea (c c c :::) 2 0 1] 0 1] 0 1] ::: . Dada n 2 N , como g es una funci n suprayectiva, existe una xn 2 C tal que cn = g(xn). Consideremos el punto formado por estas xn : Es decir, tomemos (x x x :::) 2 C C C ::: aplicando f se tiene
1 2 3 1 2 3

f ((x x x :::)) = (g(x ) g(x ) g(x ) :::) = (c c c :::) :

1 2 3 1 2 3 1 2 3

Por tanto, f es una funci n suprayectiva. Esto concluye la prueba de la proposici n. Como se mencion al principio de este cap tulo, mostraremos que todo espacio m trico y compacto se puede encajar como un subconjunto cerrado del cubo de Hilbert. En los teoremas que a continuaci n se presentan, se muestra la construcci n para de nir dicha funci n. La prueba de sus propiedades est en el Teorema 3.8. La demostraci n de los siguientes dos teoremas se ve en los cursos de topolog a.

46
conjunto denso y numerable. nito.

TEOREMA 3.5. Todo espacio m trico compacto X contiene un sub-

TEOREMA 3.6. Todo espacio m trico compacto X , tiene diametro TEOREMA 3.7. Todo espacio m trico compacto X , se le puede dar
d (p q)
1

una m trica d1 tal que

para toda p q 2 X

Demostraci n. Por el Teorema 3.6, se tiene diametro X < 1: De nimos d de la siguiente manera: d(p q) d (p q) = diametro X para toda p q 2 X donde d(p q) es la m trica de nida en X: Es claro, que d es una m trica para X adem s, d (p q) 1 y se puede ver f cilmente que d y d inducen la misma topolog a en X: Esto concluye la prueba del Teorema.
1 1 1 1 1

se puede encajar en el cubo de Hilbert. Es decir, existe una funci n inyectiva y continua h : X ;! 0 1] 0 1] 0 1] :::

TEOREMA 3.8. Sea X un espacio m trico y compacto. Entonces X

Demostraci n. Por el Teorema 3.7 podemos suponer que d(p q) 1 para cualesquiera p q 2 X: Por el Teorema 3.5 existe un conjunto denso y numerable D = fa a a :::g en X: Sea h : X ;! 0 1] 0 1] 0 1] :::
1 2 3

de nida por la siguiente correspondencia

h(p) = (d(p a ) d(p a ) d(p a ) :::):

1 2 3

47 En primer lugar, mostraremos la continuidad de la funci n h: De acuerdo con Willard, Teo. 8.8] necesitamos comprobar que n h es continua para toda n 2 N . Sea n 2 N , calculando
n (h(p)) = n (d(p

a ) d(p a ) d(p a ) :::) = d(p an):

1 2 3 0

Si probamos que la distancia a un punto jo x 2 X es una funci n continua, habremos terminado. Sea

H : X ;! R
de nida por

H (x) = d(x x )
0

como d(x x ) d(x y) + d(y x ) entonces d(x x ) ; d(y x ) d(x y): Similarmente
0 0 0 0

d(y x ) ; d(x x ) d(y x):

0 0

Entonces jH (x) ; H (y)j d(x y) De aqu se sigue que H es continua. Por tanto, n h es continua para toda n 2 N , de donde h es una funci n continua. Demostraremos que h es inyectiva. Esta prueba se realizar por reducci n al absurdo, esto es, supongamos que h(p) = h(q) y, adem s que, p 6= q: Como p 6= q el n mero c = d(p q) es positivo. Ya que D es denso en X B c (p) \ D 6= : As que existe r 2 N tal que ar 2 B c (p): Como estamos suponiendo que h(p) = h(q) tenemos que
2 2

(d(p

a ) d(p a ) d(p a ) :::) = (d(q a ) d(q a ) d(q a ) :::):

1 2 3 1 2 3

Entonces d(p an) = d(q an) para toda n 2 N : En particular d(p ar ) = d(q ar ): Entonces

c = d(p q) d(p ar ) + d(ar q) = 2d(p ar ) < 2( c ) = c

2

48 As que c < c: Como este absurdo nace de suponer que h no es inyectiva, concluimos entonces que h es inyectiva. Ahora, analizando la imagen directa de X se tiene que h (X ) 0 1] 0 1] 0 1] ::: pero, adem s, h (X ) es un conjunto compacto (es la imagen continua de un compacto). Sabemos que los subconjuntos compactos de espacios m tricos son cerrados entonces h (X ) es un cerrado. Esto concluye la prueba del Teorema. Resumiendo hemos consiguido encontrar una funci n continua y suprayectiva de C al cubo de Hilbert. Por otra parte, hemos visto que todo espacio m trico y compacto se puede encajar en un subconjunto cerrado del cubo de Hilbert. Continuando con la l nea a seguir mencionada al principio de este cap tulo, nos falta la construcci n de una funci n que retraiga al conjunto de Cantor en uno de sus subconjuntos cerrados y no vac os. Pero antes de la de nici n de dicha funci n, mostraremos una manera topol gicamente equivalente de construir a C:

LEMA 3.9. Sea

D=
Si

( 1 X an

n : an n=1 4

2 f0 3g para toda n 2 N :

f : C ;! D
est de nida por la f rmula

1 X an
n=1
3n

1 X
n=1

3 2

4n

an

donde an 2 f0 2g

entonces f es un homeomor smo de C en D:

Demostraci n. Cada serie de la forma

1 X an
n=1
4n

con an 2 f0 3g para toda n 2 N ,

49 est acotada por la serie

1 X 3
n=1
4n =3

1 X 1
n=1

4n

= 1:

Por tanto cada serie de las que de nen a D es convergente y representa a un n mero en el intervalo 0 1] : Cada x 2 C por el Teorema 2.9, tiene una representaci n nica de la forma 1 X an x= donde a 2 f0 2g
n n=1 3 n

entonces an 2 f0 3g : Esto muestra que f est bien de nida.

3 2

Ahora mostraremos que f es inyectiva. Sean x y 2 C tales que x 6= y: Escribimos 1 1 X bn X an y= donde a b 2 f0 2g : x=

n n=1 3 n n=1 3 n n

Como x 6= y entonces existe m 2 N tal que am 6= bm y m es la primer ndice en donde son diferentes. Entonces (am = 0 y bm = 2) o (am = 2 y bm = 0): Analizando un t rmino cualquiera de la serie, obtenemos que se puede acotar superiormente por
3 2

4n

an an

4n

3 2

3 4n

para cada n 2 N :

Es decir,
3 2

4n

3 4n

para cada n 2 N :

Primer caso. Si am = 0 y bm = 2 se tiene

f (x)

3 2

41

3 2

42

3 am+1 3 am+2 0 + ::: + m + 2 m+1 + 2 m+2 + ::: 4 4 4

50
3 2

= = =

3 2

4 4 4 4

a a a a

1 1

+ + + +

3 2 3 2

4 4 4 4

a a a a

2 2

+ ::: + + ::: + + ::: + + ::: +

3 2 3 2

+ m+1 + m+2 + ::: 4m;1 4 4

1

am; am; am; am;

3 2

3 3 3

1 1

2 2

+ m+1 4m;1 4 + m+1 4m;1 4 + m 4m;1 4 + m 4m;1 4

1 1

1+ 4 3

1 1 + 2 + ::: 4 4

3 2

3 2

3 2

1 1

2 2

3 2

3 2

3 2

<

3 2 1 1 3 2 1 1

b b

+ +

3 2 2 2 3 2 2 2

b b

Es decir, f (x) < f (y): Por tanto, f (x) 6= f (y): En el caso, am = 2 y bm = 0 la demostraci n de que f (x) 6= f (y) es similar. Por tanto f es inyectiva. Para mostrar que f es suprayectiva. Sea y 2 D esto es, 1 1 X an X y = an con a 2 f0 3g : Sea x = como an 2 f0 3g entonces an 2 f0 2g as que x 2 C: Aplicando f al elemento x se obtiene ! 1 1 1 X an X an X an f n = n = n =y
2 3 2 3

4 = f (y ):

3 bm+1 3 bm+2 3 + ::: + m + 2 m+1 + 2 m+2 + ::: 4 4 4 4

+ ::: +

bm;

n n=1 4

n n=1 3

Por tanto, f es una funci n suprayectiva. Por consiguiente, f es una funci n biyectiva. Demostraremos que la f es una funci n continua. ; ; Sea " > 0: Como n ! 0 y n ! 0 cuando n ! 1 existe M 2 N tal que M < ": Hacemos = M : Tomemos x y 2 C tales que jx ; yj < entonces
1 4 1 4 1 3 1 3

n=1 3

2 3

n=1 4

32 23

n=1 4

51
1 X
3 2

jf (x) ; f (y)j =
Ya que
1 X an
n=1

n n=1 4

an

1 X

n n=1 4

3 2

bn

1 X
n=1

3 2

an ; bn
4n
3 2

1 X
n=1

3 2

jan ; bn j :
4n

3n

; bn

1 = jx ; y j < M 3

por el Lema 2.8, se obtiene que

a
4
3 2 2

= b1

= b2

::: aM = bM :
3 2

Observemos que jan ; bnj = n para toda n 2 N : Entonces

3 4

; para toda n 2 N : Por lo cual, jann bn j

4

jf (x) ; f (y)j

1 X
n=1
3

3 2

jan ; bn j = jaM ; bM j + jaM ; bM j + ::: 4n 4M 4M

3 2 +1 +1 3 2 +2 +2 +1 +2

4M +1 3 = M +1 4 3 = M +1 4

3 3 + M +2 + M +3 + ::: 4 4 1 1 1 + + 2 + ::: 4 4 4 1 = M <" 3 4

Hemos obtenido, entonces que

jf (x) ; f (y)j =

1 X

n n=1 4

3 2

an

1 X

n n=1 4

3 2

bn

<"

Por tanto, f es una funci n continua. Resumiendo, hemos obtenido una funci n continua e inyectiva de un espacio m trico compacto C sobre el espacio m trico D por Rudin, Teo. 4.17] se obtiene que f es un homeomor smo de C en D: Esto concluye la prueba del lema

52

LEMA 3.10. No existen a b c 2 D tales que a < b < c y c ; b = b ; a: Demostraci n. Esta prueba se realizar por reducci n al absurdo. Sean a b c 2 D: Entonces
a=
1 X dn
n=1
4n

b=

1 X en
n=1

4n

yc=

1 X fn
n=1

4n

donde dn en fn 2 f0 3g

supongamos que a < b < c y c ; b = b ; a: Como a < c existe m 2 N tal que dm 6= fm y adem s es la primera m en donde son diferentes. Sabemos que, dm 6= fm entonces dm < fm o dm > fm : Probaremos que el caso fm < dm no es posible. Si fm < dm entonces fm = 0 y dm = 3: Calculando

41 = = = 41 41 4

+ + + + + + +

< d 4 d
4

1 1

1 1

0 fm+1 fm+2 + ::: + m + m+1 + m+2 + ::: 4 4 4 4 f2 + ::: + fm;1 + 3 + 3 + ::: 42 4m;1 4m+1 4m+2 f2 + ::: + fm;1 + 3 1 + 1 + 1 + ::: 42 4m;1 4m+1 4 42 f2 + ::: + fm;1 + 3 4 42 4m;1 4m+1 3 f2 + ::: + fm;1 + 1 42 4m;1 4m d2 + ::: + dm;1 + 3 42 4m;1 4m d2 + ::: + dm;1 + 3 + dm+1 + dm+2 + ::: = a: 42 4m;1 4m 4m+1 4m+2
2 2

Es decir, c < a lo cual es un absurdo. Por tanto, dm < fm : Por tanto dm = 0 y fm = 3: Hemos probado que si a < c con

a=

1 X dn
n=1
4n

yc=

1 X fn
n n=1 4

y si m es el primer natural donde dm 6= fm entonces dm = 0 y fm = 3:

53 Ahora mostraremos que d = e = f ::: dm; = em; = fm; : Supongamos que esto no ocurre. Sea r el primer natural tal que dr 6= er entonces r m ; 1: Por lo que vimos antes dr = 0 y er = 3: Como fr = dr y dr 6= er entonces el primer natural s para el cual es 6= fs debe cumplir s r: Adem s por lo que vimos antes es = 0 y fs = 3: Ya que er = 3 y es = 0 tenemos que s < r: Pero entonces la miminalidad de r implica que ds = es < fs: Esto es absurdo pues s < r m ; 1 y m era el primer natural donde dm 6= fm: Con esta contradicci n hemos probado que d = e = f ::: dm; = em; = fm; : Para completar la prueba del lema, obtenemos dos contradicciones analizando los casos em = 0 y em = 3: Recordemos que dm = 0 y fm = 3: Si em = 0: Calculando
1 1 1 1 1 1 1 1 1 1 1 1

b;a

= =

e ;d
1

em ; dm
+1

41

e ;d
2

42

4m+1 3 = m+1 4

4m+1

+1

em ; dm
+2

+ ::: + 4m+2

0;0 + 4m
+2

em ; dm
+1

em ; dm
+3

4m+1

+1

:::

3 3 + m+2 + m+3 + ::: 4 4 1 1 3 1 + + 2 + ::: = m+1 4 4 4

4m+3

+3

+ :::

4 3

1 = m 4

Por otra parte, analizando el caso extremo en que para toda i = 1 2 ::: . Se tiene

fm+i ;em+i = 4m+i

;m
4

c;b

Es decir, b;a < c;b lo cual es un absurdo. Ya que, por hip tesis b;a = c;b:

4 3 = m; 4 3 = m; 4 3 = m; 4
1

f ;e
1

+ 3 3

f ;e
2

4m+1 4m+1

3 ; 4m ; 4m ; :::
+2 +3

+ ::: +

3 ; 0 fm+1 ; em+1 + + ::: 4m 4m+1 3 3 = m 4 3 ; 4m 4 3

1+

1 2 = m 4m 4

1 1 + 2 + ::: 4 4

+1

54 Si em = 3: Calculando

c;b

= =

f ;e
1

fm ; em
+1

f ;e
2

+ + + ::: 4m+1 4m+2 4m+3 = 4m+1 3 1+ 1 1 + 2 + ::: 4 4

4m+1

+1

fm ; em
+2

+ ::: + 4m+2

3 ; 3 fm+1 ; em+1 + + 4m 4m+1

+2

fm ; em
+3

:::

4m+3 4 3

+3

+ :::

3 = m+1 4

1 = m 4

Por otra parte, analizando el caso extremo en que para toda i = 1 2 ::: . Se tiene

em+i ;dm+i = 4m+i

;m
4

b;a

Es decir, c ; b < b ; a lo cual es un absurdo. Ya que, b ; a = c ; b: Por tanto, hemos demostrado que no existen a b c 2 D tales que a < b < c y b ; a = c ; b: Esto concluye la prueba del lema. En el teorema siguiente identi caremos al conjunto de Cantor con el espacio D: Esto es posible debido al Lema 3.9. Entonces cuando nos re ramos a un elemento de C lo escribiremos como una serie de ceros y treses divididos entre potencias de cuatro.

4 3 = m; 4 3 = m; 4 3 = m; 4
1

e ;d
1

+ 3 3

e ;d
2

4m+1

3 ; 4m ; 4m ; :::
+2 +3

+ ::: +

3 ; 0 em+1 ; dm+1 + + ::: 4m 4m+1 3 3 = m 4 3 ; 4m 4 3

4m+1 1 2 m = 4m 4

1+

1 1 + 2 + ::: 4 4

+1

TEOREMA 3.11. Si A D, A es un conjunto cerrado y no vac o entonces existe una funci n continua k : D ;! A tal que k(a) = a para toda a 2 A: Demostraci n. Sea

55

k : D ;! A
de nida por la siguiente correspondencia

k(x) = ax
donde jx ; axj = m{n fjx ; aj : a 2 Ag : Es decir k(x) es el punto m s cercano a x: En la prueba del Teorema 3.8 vimos que la funci n que consiste de tomar la distancia a un punto jo es continua. Pensando al punto jo como x la funci n distancia a x es continua. Ya que A es un cerrado dentro de un compacto, entonces esta funci n alcanza un m nimo en A: Esto nos dice que efectivamente existe una tal ax: Ahora que podr amos tener el problema de que ax no fuera nica. Vamos a ver que esto no ocurre. De hecho esta unicidad es la raz n de que trabajemos con D en lugar de C: Supongamos entonces que existen ax y bx en A tales que jx ; axj = jx ; bxj = m{n fjx ; aj : a 2 Ag : Podemos suponer que ax < bx: Si x ax < bx entonces jx ; axj < jx ; bxj lo cual es absurdo. Por una raz n similar no puede ocurrir que x bx : Entonces ax < x < bx y jx ; axj = jx ; bxj : Esto tambi n es absurdo por el Lema 3.10. Con esta contradicci n probamos que ax es nica y entonces k est bien de nida. Si x 2 A entonces x es el punto de A m s cercano a x: Por tanto k(x) = x: Demostraremos que k es una funci n continua. Sean x 2 D y " > 0: Analizaremos primero el caso en que x 2 A: = Supongamos por ejemplo que x < ax: El caso ax < x es similar. Sea = ax ; x: Hacemos z = x ; : Entonces z < x < ax y jax ; xj = jx ; zj : Por el Lema 3.10, no es posible que z x y ax 2 D: Y como x ax 2 D obtenemos que z 2 D: Ya que D es cerrado en R existe r > 0 tal que = (z ; r z + r ) \ D = y r < : ; Vamos a mostrar que k(y) = ax para toda y 2 x ; r x + r \ D (N tese ; que, como y 2 x ; r x + r ;y r < entonces z = x ; < x ; r < y < x + r < r + = ax). Sea y 2 x ; r x + r \ D: Para hacer esto, nicamente tenemos que ver que jy ; ax j jy ; aj para toda a 2 A: Tomemos pues una a 2 A: Por la de nici n de y ax tenemos que = jx ; axj jx ; aj : Entonces a x ; o x + a: Es decir a z o ax a: Caso 1. a z:
2 2 2 2 2 2 2 2

56 Como (z ; r z + r) \ D = y a 2 D entonces a z ; r o z + r a: La segunda desigualdad no es posible pues a z: De manera que a z ; r: Entonces

a z ; r < z < x ; r < y:

2

As que jy ; aj = y ; a > x ; r ; (z ; r) = (x ; z) + r = + r = ax ; x + r = ax ; (x ; r ) > ax ; y = jax ; y j (la ltima igualdad se cumple porque y < x + r < x + = ax): Por tanto jy ; axj jy ; aj : Caso 2. ax a: En este caso jy ; axj = ax ; y a ; y = jy ; aj : Esto concluye la prueba de que jy ; axj jy ; aj para toda a 2 A: ; Entonces k(y) = ax para toda y 2 x ; r x + r \ D: Haciendo = r tenemos que para toda y 2 B r (x) \ D jk(y) ; k(x)j = jax ; axj = 0 < ": Por tanto k es continua en x para toda x 2 D ; A: Ahora analicemos el caso en que x 2 A: En este caso hacemos = " : Si y 2 B (x) \ D entonces por de nici n y como x 2 A se tiene que jy ; k(y)j = jy ; ay j jy ; xj < = " : De manera que jk(x) ; k(y)j = jx ; k(y)j jx ; yj + jy ; k(y)j < ": Esto termina la prueba de que k es continua en los puntos de A: Por tanto k es continua.
2 2 2 2 2 2 2 2 2
2

Ya estamos en condiciones de demostrar el siguiente teorema.

TEOREMA 3.12. Sea X un espacio m trico, compacto y no vac o entonces existe una funci n continua y suprayectiva. : C ;! X Demostraci n. Sea X un espacio m trico y compacto. Por el Teorema 3.8, existe una funci n continua e inyectiva
h : X ;! f : C ;!
0 1] 0 1] 0 1]

:::

Por otra parte, por la Proposici n 3.4, existe una funci n continua y suprayectiva
0 1] 0 1] 0 1]

:::

57 Sea B = f ; (h(X )): Claramente B es un subconjunto cerrado y no vac o de C . De acuerdo con el Teorema 3.11 existe una funci n continua k : C ;! B tal que k(b) = b para toda b 2 B: Observemos que h es un homeomor smo de X en h (X ) : De nimos = h; f k : C ;! X: es una funci n continua ya que es la composici n de funciones continuas. Dada p 2 C k(p) 2 B = f ; (h(X )): As que f (k(p)) 2 h(X ): Por lo que tiene sentido aplicar h; (f (k(p))): Esto nos dice que est bien de nida. Para mostrar que es suprayectiva tomamos un elemento arbitrario x 2 X: Sea q = h(x) 2 h(X ): Como f es suprayectiva existe c 2 C tal que f (c) = q = h(x): Entonces c 2 f ; (h(X )) = B: As que k(c) = c: Entonces
1 1 1 1 1

(c) = h;1 (f (k (c))) = h;1 (f (c)) = h;1 (q ) = x:

Por tanto, es una funci n suprayectiva. Esto concluye la prueba del teorema. Como vimos en el cap tulo 2, el conjunto de Cantor es un espacio m trico, compacto, perfecto, no vac o y totalmente disconexo. Ahora veremos que si otro espacio X tiene las propiedades anteriores tiene que ser forzosamente homeomorfo a C: Por lo que, estas propiedades caracterizan al conjunto de Cantor. Para lograr la de nici n de un homeomor smo de X en C es necesaria la construcci n que se muestra en los lemas siguientes.

LEMA 3.13. Sea X un espacio m trico, compacto, no vac o, totalmente disconexo y sin puntos aislados entonces para cada " > 0 existe N 2 N y existen conjuntos abiertos y cerrados A1 A2 ::: AN en X tales que X = A1 A2 ::: AN Ai 6= para cada i = 1 2 ::: N , A1 A2 ::: AN son ajenos entre s y diametro Ai < " para cada i = 1 2 ::: N:

58 rema que dice que para los espacios m tricos compactos la propiedad de ser totalmente disconexo es equivalente a la propiedad de tener una base de abiertos y cerrados. La prueba de este resultado se puede encontrar en Chandler, Lema 6.31] : Entonces podemos suponer que X tiene una base de conjuntos abiertos y cerrados. Sea " > 0: Primero vamos a ver que la familia

Demostraci n. Para probar este lema necesitamos hacer uso del teo-

U = fB 2

: diametro(B ) < "g

es una cubierta (abierta, por supuesto) de X: En efecto, sea x 2 X: Ya que B " (x) es un abierto en X y es una base para X existe B 2 tal que x 2 B B " (x) : Entonces
3 3

diametro B diametro B " (x) < ":

3

As que B 2 U . Por tanto U es una cubierta abierta de X: Ya que X es un conjunto compacto entonces existen N 2 N y B ::: BN 2 U tales que (i) Bi 6= para cada i = 1 2 3 ::: N . (ii) X = B B ::: BN (iii) Ning n Bi sobra. Es decir ning n Bi est contenido en la uni n de los dem s (si hubiera de estos simplemente los vamos quitando hasta que ya no haya). Como cada Bi 2 U tenemos que diametro(Bi) < ": De namos los siguientes conjuntos:
1 1 2

= B1

= B2 ; B1

= B3 ; (B1

B ) ::: AN = BN ;
2

N ;1 j =1

Bj :

Por la condici n (iii) cada Ai 6= : Ya que Ai = Bi ;

i;1 j =1
!

Bj

= Bi \

i;1 j =1

Bj

!c

= Bi \

i;1 \ j =1

Bjc

59 tenemos que Ai es una intersecci n nita de abiertos y tambi n de cerrados (cada Bj es abierto y cerrado). De manera que Ai es abierto y cerrado. Para ver que si k < i entonces Ak \ Ai = observemos que

Ak Bk

i;1 j =1
1

Bj de modo que Ak \Ai

2 1 2

i;1 j =1

Bj \ Bi ;

i;1 j =1

!!

Bj

Por tanto A A ::: AN son ajenos entre s . Ahora veremos que X = A A ::: AN : Sea x 2 X: Como X = B B ::: BN existe una i m nima tal que x 2 Bi: Entonces
1 2

x2 =

i;1 j =1

Bj :
1 2

De manera que x 2 Ai: Por tanto X = A A ::: AN : Finalmente, como Ai Bi y diametro(Bi) < " tenemos que diametro(Ai ) < " para toda i 2 f1 2 ::: N g : Esto concluye la prueba del lema. Hemos visto en el lema anterior que, si X es un espacio m trico, compacto, totalmente disconexo y no tiene puntos aislados entonces se puede encontrar una partici n nita de conjuntos abiertos y cerrados en X ajenos dos a dos y no vac os. Pero cada subconjunto de esta partici n al ser un conjunto abierto y cerrado hereda todas las propiedades del espacio X como se muestra en el siguiente lema.

LEMA 3.14. Sea X un espacio m trico, compacto, totalmente disconexo y sin puntos aislados. Sea A X un subconjunto abierto, cerrado y no vac o, entonces A es un espacio m trico, compacto, totalmente disconexo y sin puntos aislados.
es un espacio m trico. Adem s, es claro que los subconjuntos de espacios totalmente disconexos son totalmente disconexos, por lo cual, A es totalmente disconexo.

Demostraci n. Cualquier subconjunto no vac o de un espacio m trico

60 Como A es un subconjunto cerrado de un conjunto compacto entonces A es un compacto. Para ver que A no tiene puntos aislados, sea " > 0: Como A es abierto, existe r > 0 tal que Br (x) A y r < ": Ya que X no tiene puntos aislados, existe y 2 X tal que y 6= x y y 2 Br (x): Entonces y 2 A \ Br (x) y y 6= x: Por tanto A no tiene puntos aislados. Esto concluye la prueba del lema. Si X es un espacio m trico, compacto, totalmente disconexo y sin puntos aislados, por el Lema 3.13, dado un " > 0 podemos encontrar una partici n nita de subconjuntos abiertos y cerrados, no vac os y con otras propiedades m s. Por el Lema 3.14, obtenemos que cada subconjunto abierto y ce-rrado, no vac o de dicha partici n hereda las propiedades del espacio original. Ahora, probaremos que esta partici n se puede re nar tanto como queramos.

LEMA 3.15. Sea X un espacio m trico, no vac o, compacto, totalmente disconexo y sin puntos aislados entonces para cada " > 0 existe N 2 N tal que si n N entonces existen A1 A2 ::: An abiertos y cerrados en X tales que
(i) X = A1 A2 ::: An : (ii) Ai 6= para i = 1 2 ::: n: (iii) A1 A2 ::: An son ajenos entre s . (iv ) diametro Ai < " para cada i = 1 2

::: n:

Demostraci n. Sea " > 0: Por el Lema 3.13, existe N 2 N tal que A A ::: AN son abiertos y cerrados en X y adem s (i) X = A A ::: AN : (ii) Ai 6= para i = 1 2 ::: N: (iii) A A ::: AN son ajenos entre s . (iv ) diametro Ai < " para cada i = 1 2 ::: N: Consideremos al abierto y cerrado AN . Como AN 6= existe a 2 AN por el Lema 3.14, AN es un espacio m trico, compacto, totalmente disconexo y sin puntos aislados. Al ser AN un conjunto abierto entonces existe r > 0 tal que Br (a) AN : Adem s, AN no tiene puntos aislados, por lo que, existe y 6= a y 2 AN tal que y 2 Br (a) : Por consiguiente, AN tiene al menos dos elementos. Ahora, AN es totalmente disconexo. En particular, AN no es
1 2 1 2 1 2

61 conexo, por lo cual, existe una disconexi n para AN : Sean H y K abiertos tales que H K = AN H \ K = , H 6= y K 6= : De namos

= A1

= A2

::: BN ;

= AN ;1

BN = H y BN

+1

= K:

Como X ; H = X K ; AN . Pero el conjunto de la derecha es abierto (ya que es la diferencia de un abierto con un conjunto cerrado). Por tanto H es cerrado. De igual manera, X ; K = X H ; AN se deduce que K es un conjunto cerrado. As , H y K son conjuntos abiertos y cerrados. Demostraremos que X = B B ::: BN BN : Calculando X = B B ::: BN ; BN BN = A A ::: AN ; H K = A A ::: AN ; AN : Ahora Bi \ AN = para i < N: Calculando Bi \ (H K ) = (Bi \ H ) (Bi \ K ) = entonces Bi \ H = Bi \ K = para i < N: Por tanto, B B ::: BN ; BN y BN son ajenos entre s . Adem s, Bi 6= para i = 1 2 ::: N N + 1: Calculando diametro Bi = diametro Ai < " para i = 1 2 ::: N ; 1: Como H AN entonces diametro(H ) diametro AN < ": Similarmente diametro (K ) < ": Por tanto diametro (Bi) < " para i = 1 2 ::: N N + 1: Hasta ahora hemos probado que X se puede partir en N + 1 partes. Procediendo en forma similar se muestra que X se puede partir en N + 2 partes, en N + 3 partes, etc. De manera que X se puede partir en n partes para toda n N: Esto concluye la prueba del lema.
1 2 +1 1 2 1 +1 1 2 1 1 2 1 1 2 1 +1

Resumiendo para cualquier espacio m trico, no vac o, compacto, totalmente disconexo y sin puntos aislados y dada una " > 0 podemos partir nuestro espacio en tantos subconjuntos abiertos y cerrados ajenos dos a dos como lo necesitemos. Adem s, estos subconjuntos heredan las propiedades del espacio original y su di metro es menor que la " dada.

DEFINICION 3.16. Una (n ") ; particion de un espacio X es una familia P = fA A ::: An; g que satisface lo siguiente: (i) Cada Ai es un abierto, cerrado y no vac o para cada i 2 f0 1 ::: n ; 1g :
0 2 1

62
(ii) diametro Ai < " para cada i 2 f0 1 (iii) X = A0 A1 ::: An;1 (iv ) A0 A1 ::: An;1 son ajenos entre s .

::: n ; 1g :

Como hemos estado anunciando vamos a mostrar que si X es un espacio m trico, compacto, no vac o, totalmente disconexo y sin puntos aislados, entonces X es homeomorfo a C: La demostraci n de este hecho se basa en hacer particiones adecuadas de X: Empezaremos partiendo X por un n mero de la forma 2n de conjuntos abiertos, cerrados, no vac os y de di metro menor que 1: Como segundo paso, partiremos cada uno de los miembros de la primera partici n por un n mero de la forma 2n (todos los conjuntos partidos por el mismo n mero de pedazos) de conjuntos abiertos, cerrados, no vac os y de di metro menor que : Y seguiremos partiendo y partiendo. Como se ve necesitamos introducir una notaci n apropiada. Para cada sucesi n nita n n ::: nm 2 N hacemos J (n n ::: nm ) = f0 1gn f0 1gn ::: f0 1gnm : Observemos que cada f0 1gni tiene 2ni elementos, de donde J (n n ::: nm) tiene 2n 2n ::: 2nm = 2n n ::: nm elementos.
1 2

1 2

1+ 2+

LEMA 3.17. Sea X un espacio m trico compacto (no vac o), totalmente disconexo y sin puntos aislados, entonces existe una sucesi n de n meros naturales fnm gm2N y una sucesi n de particiones fPm gm2N de X tales que (a) Cada Pm es de la forma Pm = fA : 2 J (n1 ::: nm)g (b) Los elementos de Pm son abiertos, cerrados, no vac os y de di metro 1 menor que m : (c) Para cada 2 J (n1 n2 ::: nm;1 ) el conjunto A( ) 2 Pm : 2 f0 1gnm es una partici n de A el cual es un elemento de Pm;1 : Demostraci n. Haremos una construcci n inductiva. (1) Para n = 1: Apliquemos el Lema 3.15 a " = 1: Entonces existe N 2 N tal que para cada n N hay una (n 1) ; particion de X . Sea n 2 N tal que 2n N : Entonces existe una (2n 1) ; particion de X la cual denotaremos por P = fAa : 2 J (n )g (como P y J (n ) tienen 2n elementos, podemos numerar a P con los ndices en J (n )):
1 1 1
1

63 (2) Supongamos que P P ::: Pm ya han sido construidos. Dada = (a a ::: am) 2 J (n n ::: nm): Por el Lema 3.14, A es un espacio m trico, compacto, no vac o, totalmente disconexo y sin puntos aislados. Apliquemos el Lema 3.15 a " = m y al espacio A entonces existe N 2 N tal que, para cada n N A tiene una (n m ) ; particion. Ya que J (n n ::: nm) es nito, podemos tomar nm 2 N tal que 2 nm N para toda 2 J (n ::: nm): Entonces, para cada 2 J (n ::: nm ) existe una (2nm m ) ; particion Q de A : Como Q tiene 2nm elementos, al igual que f0 1gnm podemos denotar a sus elementos en la forma A donde 2 f0 1gnm : Notemos que a ( ) lo podemos interpretar como a unS elemento de J (n ::: nm ): Finalmente de nimos Pm = fQ : 2 J (n ::: nm)g : Claramente los elementos de Pm son abiertos y cerrados de X son no vac os y tienen di metro menor que m : Para cada 2 J (n ::: nm ) el conjunto A 2 Pm : 2 f0 1gnm es Q y entonces es una partici n de A 2 Pm : S lo nos resta probar que Pm es una partici n de X: Dada x 2 X como Pm es partici n de X existe 2 J (n ::: nm) tal que x 2 A : Y como Q es partici n de S existe 2 f0 1gnm tal que A x 2 A 2 Pm : Esto prueba que X = A : A 2 Pm : Ahora tenemos ( ) 6= ( ) con 2 J (n ::: nm ) y 2 f0 1gnm : Si 6= como A A A A y A \ A = tenemos que A \ A = : Y si = entonces 6= : Ya que Q es una partici n de A tenemos que A \ A = : Esto termina la prueba de que los elementos de Pm son ajenos entre s . Por tanto Pm es una partici n de X: Esto concluye la construcci n y la prueba del lema.
1 2 1 2 1 2 1 +1 1 +1 1 2 +1
+1 +1

1 +1

+1

+1

+1

+1

+1

+1

+1

+1

1 +1

+1

+1

+1

+1

+1

+1

+1

LEMA 3.18. Para cada sucesi n n n ::: en N , el espacio m trico f0 1gn f0 1gn f0 1gn ::: es homeomorfo al espacio m trico f0 1g f0 1g f0 1g :::
1 2
1 2 3

Demostraci n. Sea Z = f0 1gn f0 1gn f0 1gn g : Z ;! f0 1g f0 1g f0 1g :::

1 2

:::

de nida por la siguiente correspondencia

64

g((a ::: an ) (a ::: an ) (a ::: an ) :::) = (a ::: an a ::: an a ::: an :::) donde ain 2 f0 1g para toda i n 2 N .
(1) 1 (1) 1 ( ) (1)
1

(1)
1

(2) 1

(2) 1

(2)
2

(2)
2

(3) 1

(3) 1 (3)
3

(3)
3

Demostraremos que g es una funci n inyectiva. Sean g((a ::: an ) (a ::: an ) (a ::: an ) :::) = (a ::: an a ::: an a ::: an :::) y g((b ::: bn ) (b ::: bn ) (b ::: bn ) :::) = (b ::: bn b ::: bn b ::: bn :::): Supongamos que g((a ::: an ) (a ::: an ) (a ::: an ) :::) = g((b ::: bn ) (b ::: bn ) (b ::: bn ) :::) Esto es equivalente a que (a ::: an a ::: an a ::: an :::) = (b ::: bn b ::: bn b ::: bn :::) Entonces a m = b m ::: anm = bnm para toda i y m 2 N . Esto es, por la i i de nici n de igualdad en el producto. As , (a ::: an ) = (b ::: bn ) (a ::: an ) = (b ::: bn ) (a ::: an ) ::: . Por tanto g es una funci n inyectiva.
(1) 1 (1) 1 (1)
1

(1)
1

(2) 1

(2) 1

(2)
2

(2)
2

(3) 1

(3) 1 (3)
3

(3)
3

(1) 1 (1) 1

(1)
1

(1)
1

(2) 1

(2) 1

(2)
2

(2)
2

(3) 1

(3) 1 (3)
3

(3)
3

(1) 1 (1) 1

(1)
1

(1)
1

(2) 1 (2) 1

(2)
2

(2)
2

(3) 1 (3) 1

(3)
3

(3)
3

(1) 1

(1)
1

( 1

(2) 1

(2)
2

( 1

(3) 1 ( )

(3)
3

(1) 1

(1)
1

(2) 1

(2)
2

(3) 1

(3)
3

(1) 1

(1)
1

(1) 1

(1)
1

(2) 1

(2)
2

(2) 1

(2)
2

(3) 1

(3)
3

Para mostrar que g es una funci n suprayectiva tomemos un punto arbitrario (a a a :::) 2 f0 1g f0 1g f0 1g ::: . Entonces ((a ::: an ) (an ::: an n ) (an n ::: an n n ) :::) 2 n n f0 1g f0 1g f0 1gn ::: . Aplicando g: g((a ::: an ) (an ::: an n ) (an n ::: an n n ) :::) = (a a a :::): Por lo que, g es una funci n suprayectiva.
1 2 3 1
1 1 1 +1 2 1+ 2 3 1 + 2 +1 1+ 2+ 3

1 +1

1+ 2

1 + 2 +1

1+ 2+ 3

Vamos a probar que g es continua. Bastar con que probemos que n g : Z ;! f0 1g es continua, donde n : f0 1g f0 1g f0 1g ::: ;! f0 1g es la proyecci n natural. Tomemos pues n 2 N . Ya que n < n + n < n + n + n < ::: existe m 2 N tal que n + n + ::: + nm < n n + n + ::: + nm : Sea a = ((a ::: an ) (a ::: an ) (a ::: an ) :::): Observemos que m n g (a) = n ((a ::: an a ::: an a ::: an :::)) = an; n n ::: nm :
1 1 2 1 2 3 (1) 1 (1)
1

(1) 1

(2) 1 (1) (2) 1 1

1 (2)
2

(3) 1 (2) (3) 2 1

(3)
3

+1

(3)
3

+1)

( 1+ 2+

65 De manera que para obtener la funci n n g podemos primero tomar la proyecci n (m+1);esima del punto a y obtener al punto (a m ::: anmm ) 2 f0 1gnm y despu s tomarle la proyecci n n ; (n + n + ::: + nm ) a este punto. Por tanto n g es la composici n de dos proyecciones y, en consecuencia esta funci n es continua. Por tanto g es una funci n continua.
+1

( 1

+1)

+1)

+1)

Hemos obtenido una funci n continua e inyectiva del espacio m trico compacto f0 1gn f0 1gn f0 1gn ::: en el espacio m trico f0 1g f0 1g f0 1g ::: . Por Rudin, Teo. 4.17] g es un homeomor smo. Esto concluye la prueba del lema.
1 2 3

LEMA 3.19. El espacio m1trico f0 1g f0 1g f0 1g ::: es homeomorfo al espacio m trico f0 2g : Demostraci n. Sea h : f0 1g f0 1g f0 1g ::: ;! f0 2g1
de nida por la siguiente correspondencia

h (a a a :::) = (2a 2a 2a :::)

1 2 3 1 2 3

donde ai 2 f0 1g : Es muy f cil ver que h es una biyecci n continua del espacio m trico y compacto f0 1g f0 1g f0 1g ::: al espacio m trico f0 2g1 : Por Rudin, Teo. 4.17] h es un homeomor smo. Esto concluye la prueba del lema.
homeomorfo a C:

LEMA 3.20. El espacio m trico f0 1gn

f0 1gn
1

f0 1gn
2

::: es
3

Demostraci n. Por el Lema 3.18, el espacio f0 1gn f0 1gn f0 1gn ::: es homeomorfo al espacio f0 1g f0 1g f0 1g ::: .

66 Por el Lema 3.19, el espacio f0 1g f0 1g f0 1g ::: es homeomorfo a f0 2g1 : Por el Teorema 2.9, el espacio f0 2g1 es homeomorfo a C: Como sabemos que el homeomor smo es una relaci n de equivalencia en la clase de todos los espacios topol gicos, en particular es transitiva. Por tanto el espacio m trico f0 1gn f0 1gn f0 1gn ::: es homeomorfo a C: Esto concluye la prueba del lema.
1 2 3

Estamos listos para demostrar el ltimo resultado de este trabajo.

mente disconexo y sin puntos aislados, entonces es homeomorfo al conjunto de Cantor.

TEOREMA 3.21. Sea X un espacio m trico, no vac o, compacto, total-

Demostraci n. Por el Lema 3.17, existe una sucesi n de numeros naturales fnm gm2N y una sucesi n de particiones fPm gm2N de X tales que (a) Cada Pm es de la forma Pm = fA : 2 J (n ::: nm )g (b) Los elementos de Pm son abiertos, cerrados, no vac os y de di metro
1

menor que m : (c) Para cada 2 J (n ::: nm; ) el conjunto A 2 Pm : 2 f0 1gnm es una partici n de A el cual es un elemento de Pm; :
1 1 1 ( ) 1 1 1

Tomemos un punto x 2 X: Dada m 2 N , como Pm es una partici n de X existe un nico elemento = ( ::: m ) 2 J (n ::: nm ) tal que x 2 A : Si tomamos = ( ::: m ) 2 J (n ::: nm ) tal que x 2 A por (c) es de la forma = ( ::: m m ): Por tanto y coinciden en los primeros m terminos. Sea
1 +1 1 +1 1 +1

f : X ;! f0 1gn

f0 1gn
1 2

f0 1gn
:::)

:::

de nida por la siguiente correspondencia

f (x) = (

67 donde para cada m 2 N , x 2 A ::: m : Por la observaci n que hicimos hace dos p rrafos, no depende de cual m 2 N se tome, no depende de cual m 2 se tome, no depende de cual m 3 se tome, etc. Por tanto f es una funci n bien de nida.
( 1 ) 1 2 3

Demostraremos que f es una funci n inyectiva. Sean

f (p) = (
(

:::) y f (q) = ( :::) = (

:::):

Supongamos que f (p) = f (q): Esto es equivalente a que

1 2 3 1 2 3

:::)
1

Entonces m = m para toda m 2 N . Por consiguiente, p q 2 A m con m 2 J (n ::: nm ) para toda m 2 N . Es decir d(p q ) < diametro(A m ) < m para toda m 2 N . Por tanto, d(p q) = 0: Esto es equivalente a p = q: As , f es inyectiva.
1

Para mostrar que f es una funci n suprayectiva tomemos un punto arbitrario ( :::) 2 f0 1gn f0 1gn f0 1gn ::: . Por la parte (c) del Lema 3.17, se obtiene
1 2 3
1 2 3

( 1

::: m+1 )

( 1

::: m )

para toda m 2 N .

Es decir, tenemos una sucesi n decreciente de conjuntos compactos, no vac os. Por Rudin, Teo.2.36] se obtiene que
1 \
m=1

( 1

::: m ) 6=

Si tomamos un punto r en esta intersecci n, entonces

f (r ) = (
Por lo que f es suprayectiva.

:::)

Demostraremos que f es una funci n continua. Sean p 2 X " > 0 y M 2 N tales que M < ". Supongamos que p 2 A ::: M : Dada q 2
1 2 ( 1 )

68

A ::: M : Entonces f (p) y f (q) coinciden en las primeras M coordenadas. As que f (p) y f (q) son de la forma f (p) = ( ::: M M :::) y f (q) = ( ::: M M :::): Entonces
( 1 ) 1 +1 1 +1

d(f (p) f (q))

1 X
m=1
1

j m ; mj =
2m

1 X
m=M +1

j m ; mj
2m

2M +1 1 = M +1 2

1 1 + M +2 + M +3 + ::: 2 2 1 1 1 1 1 + + 2 + ::: = M +1 (2) = M 2 2 2 2

( 1 )

< ":

Por tanto d(f (p) f (q)) < " para toda q en el abierto A ::: M : Por tanto f es continua. Hemos obtenido una funci n continua e inyectiva del espacio m trico compacto X en el espacio m trico f0 1gn f0 1gn f0 1gn ::: . Por Rudin, Teo. 4.17] f es un homeomor smo. Por el Lema 3.20, se obtiene que X es homeomorfo a C: Esto concluye la prueba del teorema.
1 2 3

69

Referencia
1]Walter Rudin. Principios de An lisis Matem tico. Mcgraw-Hill, 1980. 2] Stephen Willard. General Topology. Addison-Wesley, 1970. 3] Richard E. Chandler. Hausdor Compacti cations. Marcel Dekker,

Inc. 23, 1976.