Академический Документы
Профессиональный Документы
Культура Документы
JUNIO 2005
Ahora se sabe que la hiptesis de Cantor, con los axiomas aceptados en la teora de conjuntos, no puede demost ra rse ni refutarse; es decir, es un enunciado indecible a
partir de esos axiomas. El principio que rige las demostraciones no es difcil de entender, a pesar de que las herramientas lgicas que se emplean sean sumamente complejas. Ambas se basan en otro resultado de Gdel conocido
como el teorema de corre c t u d - c o m p l e t u d en el que se
establece un importante criterio: una teora matemtica
es consistente (no contradictoria) si y slo si tiene modelo.
En trminos muy intuitivos un modelo de una teora axiomtica es un mundo en el que todos los axiomas que la
componen son ve rd a d e ro s. Por ejemplo, considere m o s
la teora T compuesta por los siguientes axiomas: axioma
de asimetra, no existen a y b tales que a < b y b < a; axioma de transitividad, para todos a, b y c si a < b y b < c
CIE NCI AS 78 ABRIL
JUNIO 2005
JUNIO 2005
JUNIO 2005
JUNIO 2005
teora de conjunto s. En este caso, se parte de la ex i s t e ncia de un modelo M de la axiomtica de Ze r m e l o - Fra e nkel con el axioma de eleccin y se selecciona un ord e n
p a rcial acorde al tipo de mundo que se desea construir.
Pero no slo eso, en Fo rcing se utiliza un objeto G que filtra y selecciona los nuevos elementos que pertenecern
al modelo extendido. Dicho objeto conocido como filtro
genrico es un subconjunto del orden parcial que cumple las siguientes propiedades: (1) para cualesquiera dos
elementos del filtro existe un tercero, tambin en el filtro,
que es menor o igual que ambos; (2) todos los elementos
del orden parcial que sean mayores que alguno del filtro
deben tambin estar en el filtro as que G parece realmente un filtro de caf, ya que chupa todo lo que est
encima de l; (3) todo conjunto denso comparte elementos con G un subconjunto D del orden parcial es
denso si para cualquier elemento del orden parcial existe
uno de D que es menor o igual que l.
La ntima relacin entre el orden parcial y el filtro genrico es fascinante. Los elementos del orden parcial actan como las letras que componen al ADN y permiten
construir cdigos que encierran informacin sobre posibles nuevos conjuntos. Por su parte, G acta como cataliza d o r, decide qu cdigos se deben descifrar y tiene la
capacidad de dar vida a algunos de los conjuntos que fueron sugeridos por el orden parcial. Esto explica por qu la
extensin de M se denota como M[G] y se conoce como
la extensin genrica de M.
Para que M[G] sea ve rdaderamente una extensin de
M, es decir, para que en ella existan nuevos conjuntos, es
necesario que el filtro genrico G no sea elemento de M.
La eleccin de un orden parcial frondoso uno semejante a un diablico rbol que ha sido colocado al revs y
cuyas ramas infinitas nunca cesan de bifurcarse garantiza que G es un agente externo a M. Esto dio lugar a una
litera t u ra que hace pensar en el Gnesis y permite sospechar que los terico conjuntistas pertenecen a alguna
secta religiosa, cada elemento de M[G] tendr un nombre
en M, que indicar cmo se puede construir a partir de G
[] La gente que vive en M podr entender el nombre de
un objeto en M[G] pero no podr saber cmo es, pues para
ello necesitara conocer G. Ms all del misticismo que
estas palabras parecen encerrar, en ellas se pone de manifiesto un hecho fundamental para el mtodo de Forcing,
el conjunto potencia de un conjunto dado no es el mismo
en todas partes. Para la gente de M[G], G es parte de la potencia del orden parcial P, mientras que los habitantes de
El orden parcial utilizado para construir la extensin genrica en la que se viola la hiptesis del continuo est comp u e s to por las funciones que van de algn subconjunto
finito de nmeros naturales en el conjunto que tiene como
JUNIO 2005
En el ejemplo usado slo se tiene la certeza de haber agregado un nuevo real, pero una pequea modificacin en el
orden que intuitivamente consiste en tomar sucesiones
finitas indexadas con los nmeros ordinales menores que
2- permite agregar 2 nuevos reales y con ello obtener
un modelo donde la hiptesis del continuo es falsa.
Apocalipsis Now
JUNIO 2005
El ao de 1963 pudo haber pasado a la historia de las matemticas como en el que la axiomtica de Zermelo-Fraenkel con el axioma de eleccin recibi un doloroso tiro de
g racia. Despus de todo, ese fue el ao en que Cohen
complet la denuncia que Gdel haba interpuesto ve i n t icinco aos antes y se hizo del domino pblico que, a pesar de sus virtudes, esta teora no haba logrado satisfacer
uno de los principales objetivos para los cuales haba sido
creada. La teora axiomtica que a principios del siglo XX
pretenda dar fundamento a las matemticas nunca sera
capaz de responder a una de las preguntas bsicas, y ningn apuesto y gentil matemtico poda re s c a tarla de su
perpetua condena a la ignorancia. Los encabezados de la
nota roja no cesaban de aparecer, Misterio sin resolver,
Fenmenos paranormales, Apocalipsis La teora de
conjuntos se acaba!. Lo que aquellos irresponsables periodistas nunca dijeron es que con el mtodo de Fo rc i n g
una nueva era comenzaba.
Desde entonces importantes centros de investigacin
se han abocado a la tarea de buscar nuevos axiomas que
permitan responder al problema del continuo bajo la firme creencia de que ste tiene una realidad objetiva que
debe ser descubierta. Recientes avances parecen indicar
que se pueden agregar nuevos axiomas para demostrar que
el cardinal del continuo es 2. Sin embargo, no es del todo
claro qu tan naturales e intuitivamente aceptables son
dichos axiomas.
Adems de la posicin idealista se encuentra la post u ra de quienes defienden la dive rsidad matemtica y
consideran que la independencia de la hiptesis del continuo puede dar lugar a distintas teoras de conjunto s.
Lejos de considera rse como una fa l ta de lealtad y comp romiso, la exploracin de dive rsas teoras ha logra d o
enriquecer el panorama matemtico del mismo modo
en que la independencia del quinto postulado de Euclides
dio origen a las geometras no euclidianas sin que sta s
re s ta ran valor o desplaza ran por completo la geometra
euclidiana. El libro de Sierpienski titulado La hiptesis del
continuo es un intento por sistematizar todos los re s u l tados que se derivan de ella y as tener una idea clara de lo
que son las matemticas que aceptan como verdadera la
c o n j e t u ra de Cantor. Entre los re s u l tados ms intere s a ntes, Ulam dio una demostracin muy original de la ex i stencia de conjuntos no Lebesgue medibles que, a difere ncia de la de Vitali, presupone la hiptesis del continuo,
pero no requiere de la invarianza bajo traslaciones y por
lo ta n to puede ser generalizada a medidas definidas sobre
c o n j u n tos que comparten propiedades de cardinalidad,
independientemente de si son o no espacios mtricos.
En general, las diferencias en el tejido matemtico
que se obtienen de aceptar o rechazar la hiptesis del continuo invitan a una re f l exin profunda, pero con ambas
posturas queda claro que los resultados de indecidibilidad
que arrojan mtodos como el de Forcing, lejos de paralizar
a las matemticas las ayudan a no perderse en la bsqueda infructuosa de pruebas inexistentes y a reorientar as
su camino.
Ms all del problema del continuo
Facultad de Ciencias,
Universidad Nacional Autnoma de Mxico.
Miguel ngel Mota Gaytn
Universidad de Barcelona.
R EFERENCIAS BIBLIOGRFICAS
Amor Montao, Jos Alfredo. 1990. Forcing y pruebas
de independencia. Aportaciones Matemticas, Comunicaciones 9, XXIII Congreso SMM, Mxico.
En 1905, despus de que Lebesgue pro p u s i e ra una manera de medir el tamao geomtrico de conjuntos de reales,
Giuseppe Vitali demostr que existan conjuntos no medibles. Este resultado se tradujo ms adelante en la famosa
paradoja de Banach-Tarski, una esfera se puede descomponer en una cantidad finita de pedazos a partir de los cuales se pueden construir dos esferas del mismo ta m a o
que la original.
El uso del axioma de eleccin en la demostracin de
estos resultados era, segn Lebesgue, el autor de semejantes atrocidades. Sin embargo, nunca pudo confirmarlo,
si los conjuntos no medibles exhibidos hasta ese momento
existan gracias al axioma de eleccin, nada gara n t i za b a
que eran los nicos. No fue sino hasta 1973 que Robert
Solovay demostr, mediante una extraordinaria combinacin de las ideas de Cohen y Gdel, que el axioma de eleccin es condicin necesaria para la existencia de conjuntos
no medibles. Utilizando el mtodo de Fo rcing, Solova y
dio una extensin genrica a partir de la cual construy
un modelo tipo el unive rso constructible L. Su tra b a j o ,
que puede ser calificado de autntica ingeniera gentica
conjuntista, dio como resultado un mundo feliz en el que
no slo todos los conjuntos de reales son Lebesgue medibles y son decentes en trminos topolgicos y de cardinalidad, sino en el que adems se cumple una ve rsin
del axioma de eleccin que, aunque ms dbil que la original, garantiza todos los resultados del anlisis matemtico. As que el modelo de Solovay puso de manifiesto el
potencial del mtodo de Forcing para explorar una inmensa gama de mundos matemticos. 0
CI E NC I AS 78 ABRIL
JUNIO 2005