Aportaciones Matematicas Memorias 35 (2005) 6169 Art culo de Exposicin o

EL PROBLEMA DEL CONTINUO ANTES DE COHEN (1873-1963)

ANA ALVAREZ VELASCO Resumen. Determinar cuntos nmeros reales hay se convirti en uno de los a u o principales desaf de la matemtica del siglo XX, despus de que el padre de la os a e Teor de Conjuntos, Georg Cantor, descubriera que el conjunto de los nmeros a u reales no es numerable. El presente trabajo hace un recuento de los intentos por resolver el problema del continuo hasta antes de que Paul Cohen demostrara, en 1963, que los axiomas de Zermelo Fraenkel junto con el Axioma de Eleccin o eran insucientes para resolverlo. Se presta especial atencin a los v o nculos que en ese camino se establecieron entre la Teor de Conjuntos y otras areas de las a matemticas, en particular la Topolog a a.

La Teora de Conjuntos naci aquel da de diciembre de 1873 en o que Cantor demostr que el conjunto de los nmeros reales no era o u numerable. Kanamori 1. Introduccion

Efectivamente, la Teor de conjuntos naci cuando Georg Cantor demostr ese a o o conmovedor y sorprendente resultado al que se reere Kanamori. A partir de entonces, determinar cuntos nmeros reales hay se convirti en un problema, conocido a u o como el problema del continuo, que ha obsesionado a los matemticos durante ya ms a a de un siglo. De hecho, ste fue el primer problema de la lista que Hilbert present en e o el congreso internacional de Par en 1900 como los 23 desaf que deb enfrentar s os a la matemtica del siglo XX. Los esfuerzos por resolver el problema del continuo cona dujeron desde el inicio a un meticuloso estudio de las propiedades del conjunto de los nmeros reales, no slo desde la perspectiva de lo que ms adelante se entendi como u o a o la Teor de Conjuntos (estudio sobre las propiedades de conjunto innitos), sino desa de su interseccin con otras areas de las matemticas, como la Topolog Por ejemplo, o a a. el camino que Cantor hab elegido para demostrar lo que l cre verdadero, a saber a e a
2000 Mathematics Subject Classication. 03B10. Agradezco a Miguel Angel Mota Gaytn, quien de muchas maneras fue coautor de este trabajo. a
61

62

ANA ALVAREZ VELASCO

que todo subconjunto de reales era nito, numerable o biyectable con el conjunto de todos los reales, involucr la nocin topolgica de conjunto perfecto. Cantor estaba o o o convencido de que con ella era posible demostrar su hiptesis, conocida hoy como la o Hiptesis del Continuo. Sin embargo, la existencia de conjuntos de Bernstein, cuya o denicin involucra tambin propiedades topolgicas, demostr que el camino que o e o o eligi era inviable, aunque ello no refutaba su hiptesis. En realidad, no slo hubo o o o dicultades para demostrar la hiptesis de Cantor sino tambin para refutarla. As o e , en 1938 Gdel demostr un resultado aparentemente ms modesto, pero de vital o o a importancia. El famoso lgico austriaco demostr que la hiptesis del continuo era o o o consistente con los axiomas de Zermelo Fraenkel junto con el Axioma de Eleccin o (ZFE). Sin embargo, tambin en ese entonces surgi la sospecha de que la hiptesis e o o de Cantor era falsa. Esta posibilidad qued abierta cuando en 1963 Paul Cohen deo mostr, mediante un ingenioso mtodo conocido como Forcing, que la negacin de la o e o hiptesis del continuo tambin era consistente con los axiomas de Zermelo Fraenkel, o e concluyendo que dichos axiomas eran incapaces de responder al problema del continuo. El trabajo de Cohen marc una nueva era. As la bsqueda por demostrar o o , u refutar la Hiptesis del Continuo que caracteriz a la era antes de Cohen (A.C.) fue o o sustituida por la bsqueda de nuevos axiomas que permitieran resolver el problema, u dando origen a una nueva era para los terico conjuntistas. Lo curioso es que, a pesar o de la ruptura, ambas eras pusieron de maniesto v nculos muy interesantes entre la Teor de Conjuntos y otras areas de las matemticas. a a 2. El problema del continuo

2.1. Por qu los reales no son numerables? El conocido mtodo de diagoe e nalizacin, que consiste en elaborar una lista de nmeros reales a partir de la cual o u se puede construir un nuevo real que no est en ella, es quizs la forma ms sencilla a a a de demostrar que el conjunto de reales no es numerable. Sin embargo, dicha prueba est lejos de ser la ms clara en trminos conceptuales, pues aunque demuestra la no a a e numerabilidad de los reales, no muestra cul es su origen. Una hermosa prueba, cera cana a la que originalmente present Cantor, hace evidente que la no numerabilidad o es una consecuencia de la completud de los reales, como veremos a continuacin. o Teorema 2.1. El conjunto de los nmeros reales no es numerable. u Demostracin. Supongamos que R es numerable. Sea r0 , r1 ...rn , ... una numeracin o o de R. Denimos recursivamente dos sucesiones de reales. a 0 a 1 a n bn b1 b0 a0 = r 0 b0 = rk con k = m n{p N | a0 < rp } an+1 = rl con l = m n{q N | an < rq < bn }

EL PROBLEMA DEL CONTINUO ANTES DE COHEN (1873-1963)

63

bn+1 = rt con t = m n{p N | an+1 < rp < bn }. Ntese que estas sucesiones estn bien denidas ya que los reales son densos. o a Adems, por la forma en que se construyen las sucesiones, tenemos que ap < bq a para todas p, q N. Por otro lado, como R, < es completo, existe a = sup{an | n N}. Vale la pena sealar desde ahora que tambin es cierto que a < bq para toda q N. n e Armamos que a = rk para toda k N. Supongamos que no. Es decir, supongamos que existe k N tal que a = rk . Sea A = {l N | n N(an = rl )}. Como A N y A es innito, entonces existe p A tal que k < p. Sea m N tal que am = rp . Como am < a = rk y k < p entonces bm1 < a, pues de otro modo, por la regla de construccin de las sucesiones tendr o amos que am = a. Pero, por otro lado, tenemos que a < bq para toda q N, en particular a < bm1 ! As que a = rk para toda k N. Pero {rn }nN es la numeracin de R! Por lo tanto, R no es numerable. o Es importante sealar que en esta demostracin, el nmero real que no est en la n o u a lista es precisamente el supremo, cuya existencia est garantizada por la completud a de los reales. Una versin ms general de este resultado, en la que se demuestra que la cardio a nalidad del conjunto potencia de un conjunto innito es estrictamente mayor que la del conjunto dado, puso de maniesto la existencia de diversas tallas del innito. Cantor introdujo la jerarqu de los alephs o nmeros transnitos para poder retratar a u esa gama de tamaos: 0 , 1 , ..., , +1 , etc. Donde claramente |N| = |Q| = 0 . n No daremos aqu los detalles de la construccin, slo hay que mencionar que la idea o o bsica fue la generalizacin de los naturales, pensados como conjuntos bien ordenados a o y transitivos. 2.2. Propiedad del conjunto perfecto. Cantor estaba convencido de que la talla del innito que segu a la de los naturales era la de los reales. En otras palabras, a que no exist ningn subconjunto de reales cuya cardinalidad fuera estrictamente a u mayor que la de los naturales y estrictamente menor que la de los reales o, puesto en trminos de la jerarqu de los alephs, que |R| = 1 . Esto es lo que se conoce como la e a Hiptesis del Continuo. o En el intento por demostrar su hiptesis, Cantor estableci algunos resultados o o que, aunque no permitieron resolver el problema del continuo, mostraron v nculos muy interesantes entre propiedades topolgicas y de cardinalidad. En particular, deo mostr que todo subconjunto de reales no vac cerrado y sin puntos aislados ten la o o, a cardinalidad de los reales. Segn Cantor, este tipo de conjuntos, conocidos como conu juntos perfectos, constitu la clave para demostrar su hiptesis, ya que reduc an o an el problema a la demostracin de un resultado en apriencia ms sencillo: si los conjuntos o a

64

ANA ALVAREZ VELASCO

perfectos ten la cardialidad de los reales, slo hab que demostrar que todo suban o a conjunto no numerable de reales deb contener un conjunto perfecto. Cantor nunca a pudo demostrar esto, simplemente porque no es cierto que todo subconjunto de reales no numerable contenga un conjunto no vac cerrado y sin puntos aislados, como o veremos adelante. Sin embargo, a pesar de que el camino sugerido por Cantor para demostrar la Hiptesis del Continuo estuvo destinado al fracaso, vale la pena revisar o la ruta con relativo detalle, ya que es un ejemplo de la fertilidad matemtica que suele a acompaar a los problemas que se discuten durante largos periodos de tiempo. n El hecho de que todo conjunto perfecto tenga la cardinalidad de los reales es algo que se desprende de manera inmediata del siguiente teorema. Teorema 2.2 (Cantor-Bendixson). Todo subconjunto de reales cerrado y no numerable tiene la cardinalidad de los reales. Demostracin. Para simplicar las cosas denotaremos con c a la cardinalidad de los o reales. Sea P un conjunto cerrado y no numerable y sea P o = {x P | (a, b), [x (a, b) 0 < |(a, b) P |]}. Ntese que P o no es otra cosa sino el conjunto o de puntos de condensacin o puntos de hiper-acumulacin, en el sentido de que o o alrededor de ellos siempre hay una cantidad innita no numerable de elementos del conjunto. Cuando P es cerrado y no numerable, el conjunto de puntos de condensacin cumple o con las siguientes propiedades: (1) P o = . Supongamos que P 0 = . Eso querr decir que x P, (ax , bx )[x (ax , bx ) a |(ax , bx ) P | 0 ]. Ntese que {(ax , bx ) | x P } es una cubierta abierta de P. o As que por un teorema general de topolog sabemos que existe una subcubierta a numerable {(an , bn ) | n N}, que adems cumple que |(an , bn ) P | o para toda a n N. Pero eso querr decir que P es numerable! a (2) P o no tiene puntos aislados. Supongamos que existen x P 0 e I un intervalo abierto tales que I P o = {x}. Eso querr decir que y I P {x} Iy I[y Iy |Iy P | 0 ]. As que, a como en el caso anterior, {Iy | y I P {x}} ser una cubierta abierta de a I P {x} a partir de la cual se puede obtener una subcubierta numerable. De modo que llegar amos otra vez a que P es numerable! (3) Ahora hay que hacer una construccin recursiva de intervalos tipo el conjunto o de Cantor, a veces conocido como la escalera del diablo. Recurdese que dicho conjunto e se obtiene a partir de la interseccin de los intervalos que quedan en cada paso cuando o se divide en tres a los intervalos del paso anterior y se quita el intervalo de enmedio. En nuestro caso se trata de obtener en cada paso dos subintervalos ajenos a partir de cada intervalo del paso anterior, pero con la condicin adcional de que tengan una o

EL PROBLEMA DEL CONTINUO ANTES DE COHEN (1873-1963)

65

determinada longitud y al menos un punto de condensacin de P . De manera ms o a formal: Caso base. Si denotamos con lh a la funcin que a cada intervalo le asigna su o longitud, necesitamos I0 e I1 dos intervalos tales que: (i) I0 I1 = . (ii) I0 P 0 = e I1 P 0 = . 1 (iii) lh(I0 ) < 3 y lh(I1 ) < 1 . 3 Ntese que estos conjuntos se pueden tomar gracias a que P 0 es no vac y no tiene o o puntos aislados. Caso general (n+1) Este caso no es ms que una aplicacin del caso base, ya que dado un intervalo a o con una sucesin asociada de ceros y unos de longitud n, que indica cmo ha sido o o construido, podemos obtener dos subintervalos que tendrn una sucesin asociada de a o ceros y unos de longitud n + 1 con las propiedades que se exigeron en el caso base y que adems indican quines son sus ancestros. En trminos ms formales: a e e a Sea Is con s una sucesin nita de n ceros y unos. o Por las mismas razones que en el caso base, se pueden obtener dos subintervalos Is 0 e Is 1 que cumplan las condiciones (i) y (ii) y que adems cumplan que: a 1 1 (iii) lh(Is o ) < 3n+1 e lh(Is 1 ) < 3n+1 . (iv) Is o Is e Is 1 Is . Como en el caso del conjunto de Cantor, es fcil ver que se estn construyendo a a sucesiones anidadas de intervalos cuya interseccin es un conjunto de puntos que tiene o la misma cardinalidad que el conjunto total de los reales. Para verlo con ms claridad, a ntese que a cada una de las familias de intervalos anidados o emparentados (I a1 o o Ia1 a2 Ia1 a2 a3 ...Ia1 ...an ...) se le puede asociar una funcin f : N {0, 1} tal que f n sea la sucesin de n ceros y unos asociada al intervalo del paso n. Pero o o adems, como{If n P }nN es una sucesin anidada de conjuntos cerrados tales que a l n lh(If n P ) = 0, por un teorema de anlisis sabemos que m a If n P tiene
nN

un unico elemento1. As que podemos tomar G la siguiente funcin inyectiva entre o 2 = {f | f : N {0, 1}} y P : G(f ) =
n

If

Finalmente como |2 | = c entonces |P | = c. Existe una versin ms general del teorema de Cantor Bendixson, cuya demoso a tracin es completamente anloga pero que no requiere que el conjunto sea cerrado, o a
1Teorema 2.3 (Interseccin de Cantor) Sea X un espacio mtrico completo y sea {F } una o e n

sucesin anidada de subconjuntos cerrados y no vac de X tal que l n lh(Fn ) = 0, entonces o os m T existe x X tal que Fn = {x}.
nN

66

ANA ALVAREZ VELASCO

sino simplemente que sea interseccin numerable de conjuntos abiertos (i.e. que sea un o conjunto G ) . Sin embargo, con la versin dbil que hemos dado basta para demostrar o e que: Teorema 2.4. Todo subconjunto perfecto tiene la cardinalidad de los reales. Demostracin. Ntese que slo hay que demostrar que todo conjunto no vac cerrao o o o do y sin puntos aislados no es numerable. Para ello basta notar que si el conjunto no tiene puntos aislados entonces se pueden construir las mismas sucesiones que en la demostracin del Teorema 2.1 y ver que el supremo no est. Lo cual ser una o a a contradiccin, ya que por hiptesis el conjunto es cerrado. o o Como ya se mencion antes, la ruta que Cantor hab elegido no era adecuada, no o a slo porque como hoy en d sabemos la Hiptesis del Continuo no se puede demostrar o a o (ni refutar), sino porque existen subconjuntos de reales que son no numerables y que no contienen un conjunto perfecto. Para ello es necesario introducir un tipo de conjuntos, conocidos como conjuntos de Bernstein que poseen una propiedad relativamente fuerte. Denicin 2.5. Un subconjunto de reales B es de Bernstein si y slo si para todo o o P subconjunto de reales cerrado y no numerable B P = y B c P = . Es interesante notar que la existencia de conjuntos de Bernstein depende del Axioma de Eleccin. o Teorema 2.6. Supongamos que existe un buen orden para los reales, entonces existe un conjunto de Bernstein. Demostracin. Sea F la familia de los conjuntos cerrados no numerables. Es relao tivamente fcil ver que F tiene la cardinalidad de los reales, es decir que |F| = c a 2 . Por lo tanto, los elementos de F se pueden indexar con los ordinales estrictamente menores que c 3. Es decir, F = {C : c} donde para todo < c, C R es cerrado y no numerable. Por otro lado, sea R, <R un buen orden de los reales. Entonces elegimos recursivamente dos elementos distintos de cada miembro de la familia F, sea q1 = m <R C1 y p1 = m <R C1 {q1 }. En genen n ral, < c tomamos q = m <R C ({q | < } {p | < }) y n p = m <R C ({q , | } {p | < }). Ntese que estos m n o nimos siempre existen ya que, gracias al teorema de Cantor-Bendixson, tenemos que < c, |C | = c. De modo que C ({q , | } {p | < }) = . Armamos
2Puesto que todo conjunto abierto es a lo ms unin numerable de intervalos abiertos con extremos a o

racionales, hay una cantidad numerable de conjuntos abiertos. Y como para cada cerrado existe un unico abierto asociado, tenemos que hay a lo ms c subconjuntos cerrados no numerables. Para la a otra desigualdad basta notar que los intervalos [0, x] con 0 < x < 1 pertenecen a la familia de los cerrados y no numerables y que hay c cantidad de ellos. 3Recurdese que c = m e n{ OR : R}.

EL PROBLEMA DEL CONTINUO ANTES DE COHEN (1873-1963)

67

que B = {q : < c} es un conjunto de Bernstein. Por un lado, tenemos que < c(B C = {q }), as que B efectivamente intersecta a todos los conjuntos cerrados no numerables. Por otro, por la forma en que tomamos a B tenemos que {p : < c} B c , pero dicho conjunto tambin intersecta a todos los cerrados no e numerables, ya que {p : < c} C = {p }. As que B c C = . Con lo que queda demostrado que B es un conjunto de Bernstein. Con los conjuntos de Bernstein se puede demostrar que hay conjuntos no numerables que no contienen un conjunto no vac cerrado y sin puntos aislados. o Teorema 2.7. Existen conjuntos de reales no numerables que no contienen un conjunto perfecto. Demostracin. Sea B un conjunto Bernstein. Consideremos dos casos. o (1) B es no numerable. Sea P un conjunto perfecto (cerrado y no numerable), entonces por la denicin de un conjunto de Bernstein tenemos que P B c = . De o modo que P B. Lo que quiere decir que B es no numerable pero no contiene a ningn conjunto perfecto. u (2) B es numerable. Entonces B c es no numerable y estamos en el caso anterior, ya que como B es un conjunto de Bernstein tenemos tambin que P B = . e 3. Pruebas de consistencia relativa

Como hemos dicho, las dicultades para demostrar la Hiptesis del Continuo cono dujeron a una meta ms modesta. En 1938 Kurt Gdel demostr que dicha hiptesis a o o o era consistente con la Teor de Conjuntos comunmente aceptada, es decir, con los a axiomas de Zermelo Fraenkel junto con el Axioma de Eleccin (ZFE). Recordemos o que este conjunto de axiomas no slo recuperaba las nociones comunmente aceptadas o por los matemticos, como la existencia del conjunto vac la existencia de un cona o, junto inductivo o innito, entre otras; sino que a principios del siglo XX se pens que o pod fundamentar a la matemtica entera. an a Ser imposible exponer aqu la demostracin de Gdel, pero vale la pena hacer ala o o gunas observaciones, as como exponer la idea general de su demostracin. Lo primero o que habr que mencionar es que Gdel hab demostrado que no era posible probar la a o a consistencia de ZFE. De modo que la demostracin de que la Hiptesis del Continuo o o era consistente con ZFE era en realidad una demostracin de consistencia relativa. o En trminos ms formales: e a Teorema 3.1. Si ZFE es consistente, entonces ZFE + Hiptesis del Continuo es o consistente. Para demostrarlo, Gdel se sirvi de uno de sus resultados ms famosos de la o o a lgica matemtica, conocido como el Teorema de Correctud- Completud, que establece o a que una teora es consistente si y slo si tiene un modelo. La idea era construir o

68

ANA ALVAREZ VELASCO

un modelo de la teor de conjuntos lo ms magro posible, de manera que ah se a a cumpliera que |R| = 1 . El modelo de Gdel, conocido como el universo constructible o L, estaba compuesto por aquellos conjuntos que pod ser denidos a partir del an lenguaje de la Teor de Conjuntos (que es un lenguaje de primer orden con igualdad a y con un s mbolo de relacin binaria, ). Esto garantizaba que se ten lo m o a nimo indispensable que deb tener un modelo de ZFE. a Despus del trabajo de Gdel siguieron otros intentos por caracterizar la cardinalie o dad del conjunto de los nmeros reales. En particular, se pudieron establecer algunos u resultados en torno a lo que no pod ser el cardinal del continuo. En ellos, la nocin a o de conalidad o misma forma de terminar jug un papel central. o Denicin 3.2. Decimos que un ordinal tiene conalidad si y slo si es el o o m nimo ordinal tal que existe f : que cumple lo siguiente: y x (y f (x)). Observacin 3.3. La conalidad de 0 , , + es . Dicho de otra manera, estos o cardinales tienen conalidad contable. Teorema 3.4. El cardinal de los reales no puede tener conalidad contable. Ntese que este teorema quiere decir, entre otras cosas, que |R| = , |R| = + . o Por otro lado, la generalizacin de ciertas propiedades de N resumidas en el cono cepto de cardinal inaccesible fuerte tambin sirvieron para acotar lo que pod ser el e a cardinal del conjunto de los nmeros reales. u La denicin de cardinal inaccesible involucra el concepto de cardinal regular: o Denicin 3.5. Un cardinal es regular si y slo si no existe < tal que = o o A con |A | < , para todo < .
<

Ntese que 0 es un cardinal regular, ya que no puede ser expresado como unin o o nita de conjuntos nitos, pero adems es un cardinal l a mite. Es posible ver que todo cardinal sucesor es regular. Pero una pregunta interesante para la Teor de Conjuntos a es si hay cardinales regulares l mite distintos de 0 . Esto dio origen a la denicin de o cardinal inaccesible. Denicin 3.6. Un cardinal es inaccesible dbil si y slo si es l o e o mite, regular y mayor que 0 . Denicin 3.7. Un cardinal es inaccesible fuerte si y slo si es inaccesible dbil y o o e dado cualquier cardinal < , 2 < . Es obvio que el cardinal del continuo no puede ser un cardinal inaccesible fuerte, a ya que 0 < 20 y 20 = |R| . Sin embargo, bien podr ser que fuera un cardinal inaccesible dbil. De hecho, ZFE no proporciona ninguna cota superior para el tamao e n del continuo.

EL PROBLEMA DEL CONTINUO ANTES DE COHEN (1873-1963)

69

A pesar de los avances parciales y de las v que quedaban abiertas (es o no el as continuo un cardinal inaccesible dbil?) el problema del continuo no encontr mayor e o salida hasta que en 1963 Paul Cohen demostr, mediante el mtodo de Forcing que: o e Teorema 3.8. Si ZF es consistente, entonces ZFE + 20 = , con un cardinal de conalidad incontable, es consistente. Esto desde luego signica que el cardinal del continuo puede (en el sentido de que no entra en contradiccin con ZFE) ser cualquier cardinal excepto los que tienen conalio dad contable. Por ejemplo, podr ser cualquier cardinal sucesor innito: 1 , 2 , ..., n , a ..., +1, etc. Tampoco aqu es posible exponer los detalles del mtodo de Forcing, pero vale e la pena decir que si el principio que rigi la prueba de Gdel era el de obtener un o o modelo de la Teor de Conjuntos lo ms magro posible, el de Cohen consisti en a a o embarnecer un modelo, integrando nuevos conjuntos mediante un proceso anlogo a a la completacin de los racionales mediante cortaduras de Dedekind, de manera que o en el modelo extendido se violara la Hiptesis del Continuo. El mtodo de Cohen o e permiti no slo reorientar la investigacin en torno al problema del continuo, sino o o o que mostr ser un fructifero mtodo de pruebas de consistencia relativa. Tal vez por o e ello es que Woodin arma que la era moderna de la Teor de Conjuntos comenz con a o el descubrimiento del mtodo de forcing. e Referencias
[1] Amor Montao, Jos Alfredo, Forcing y pruebas de independencia, Aportaciones Mat. Comun e nicaciones 9 Soc. Mat. Mexicana, Mxico. 1990. e [2] Alvarez Velasco, Ana, Axioma de eleccin y teor o ade la medida, Tesis Licenciatura. Facultad de Ciencias. UNAM. 2003. [3] Enderton, Herbert, A mathematical introduction to logic, 2a.edicin. Academic Press. E.E.U.U. o 2001. [4] Jech, Thomas, Set Theory, Academic Press. New York. 1978. [5] Kanamori, Akihiro, The higher innite, Springer Verlag. Berlin. 1997. [6] Kunen, Kenneth, Set Theory. An introduction to independence proofs, North Holland. Amsterdam. 1980. [7] Mota Gaytn, Miguel Angel, Qu se puede saber desde ZFE sobre el cardinal del continuo?, a e Tesis Licenciatura. ITAM, 2003. [8] Oxtoby, John, Measure and Category, 2a. edicin. Springer-Verlag. New York. 1987. o Facultad de Ciencias, UNAM, Ciudad Universitaria, Mxico, D.F., 04510 e E-mail address: alebrijeurbano@yahoo.com.mx