Teora de conjuntos

Hiptesis del continuo. La coleccin de todos los conjuntos de nmeros naturales P(N) tiene la llamada potencia del continuo: tantos elementos como (por ejemplo) puntos en una recta. Su estudio es uno de los principales problemas en la teora de conjuntos. La teora de conjuntos es una rama de las matemticas que estudia las propiedades de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en s mismas. Los conjuntos y sus operaciones ms elementales son una herramienta bsica en la formulacin de cualquier teora matemtica. 1 Sin embargo, la teora de los conjuntos es lo suficientemente rica como para construir el resto de objetos y estructuras de inters en matemticas: nmeros, funciones, figuras geomtricas, ...; y junto con la lgica permite estudiar los fundamentos de esta. En la actualidad se acepta que el conjunto de axiomas de la teora de Zermelo-Fraenkel es suficiente para desarrollar toda la matemtica. Adems, la propia teora de conjuntos es objeto de estudio per se, no slo como herramienta auxiliar, en particular las propiedades y relaciones de los conjuntos infinitos. En esta disciplina es habitual que se presenten casos de propiedades indemostrables o contradictorias, como la hiptesis del continuo o la existencia de un cardinal inaccesible. Por esta razn, los razonamientos y tcnicas de la teora de conjuntos se apoyan en gran medida en la lgica matemtica. El desarrollo histrico de la teora de conjuntos se atribuye a Georg Cantor, que comenz a investigar cuestiones conjuntistas "puras" en la segunda mitad del siglo XIX, precedido por algunas ideas de Bernhard Bolzano e influenciado por Richard Dedekind. El descubrimiento de las paradojas de la teora cantoriana de conjuntos propici los trabajos de Bertrand Russell, Ernst Zermelo, Abraham Fraenkel y otros a principios del siglo XX. Teora bsica de conjuntos Artculo principal: Conjunto. La teora de conjuntos ms elemental es una de las herramientas bsicas del lenguaje matemtico. Dados unos elementos, unos objetos matemticos como nmeros o polgonos por ejemplo, puede imaginarse una coleccin determinada de estos objetos, un conjunto. Cada uno de estos elementos pertenece al conjunto, y esta nocin de pertenencia es la relacin relativa a conjuntos ms bsica. Los propios conjuntos pueden imaginarse a su vez como elementos de otros conjuntos. La pertenencia de un elemento a a un conjunto A se indica como a A.

Una relacin entre conjuntos derivada de la relacin de pertenencia es la relacin de inclusin. Una subcoleccin de elementos B de un conjunto dado A es un subconjunto de A, y se indica como B A. Ejemplos.

Los conjuntos numricos usuales en matemticas son: el conjunto de los nmeros naturales N, el de los nmeros enteros Z, el de los nmeros racionales Q, el de los nmeros reales R y el de los nmeros complejos C. Cada uno es subconjunto del siguiente:

El espacio tridimensional E3 es un conjunto de objetos elementales denominados puntos p, p E3. Las rectas r y planos son conjuntos de puntos a su vez, y en particular son subconjuntos de E3, r E3 y E3. Nmero cardinal (teora de conjuntos) Este artculo trata sobre nmeros cardinales en teora de conjuntos axiomtica. Para una introduccin ms bsica, vase Nmero cardinal.

Comparacin de los cardinales numerable y continuo. Cada sucesin binaria, compuesta por una cantidad numerable de decimales binarios, corresponde a un punto del segmento entre 0 y 1. El nmero de decimales en cada sucesin es 0. El nmero de puntos en el segmento es 20: dos posibilidades (0 1) para cada decimal de cada sucesin. En teora de conjuntos, un nmero cardinal o cardinal es una generalizacin de los nmeros naturales para contar el nmero de elementos, la cardinalidad, de cualquier conjunto, finito o infinito. El cardinal de un conjunto finito es un nmero natural ordinario. El cardinal de un conjunto infinito es un nmero transfinito. Los

cardinales clasifican los conjuntos de manera ms tosca que los nmeros ordinales, que distinguen no slo el nmero de elementos de un conjunto sino tambin la manera en la que estn ordenados. Los cardinales se definen mediante la nocin de equipotencia, que relaciona dos conjuntos si tienen el mismo nmero de elementos. Establecida esta relacin, los cardinales son representantes de todos los tamaos posibles para un conjunto. Puede demostrarse que existen conjuntos infinitos con distinto tamao. Por ejemplo, los conjuntos de los nmeros naturales y de los nmeros reales no tienen el mismo cardinal. De hecho es necesaria una coleccin infinita de nmeros transfinitos para clasificar todos los conjuntos infinitos. Existe una sucesin infinita de cardinales:

que empieza con los nmeros naturales (con cero), y contina con los nmeros alef, que son cardinales de conjuntos bien ordenados. Cada alef tiene un ndice, un cierto nmero ordinal, que indica su posicin dentro de la serie. Dependiendo de si se asume el axioma de eleccin o no, los alefs agotan todos los cardinales posibles o no. Introduccin histrica En 1874, Georg Cantor prob que no todos los conjuntos infinitos tienen la misma potencia, sino que al menos existan dos tipos: los enumerables, como los nmeros naturales y los no enumerables, como los puntos de una recta. En su obra Fundamentos para una teora general de conjuntos, Cantor introdujo la nocin de nmero transfinito, como una generalizacin de los nmeros naturales, que va ms all de ellos formando una serie ordenada e ilimitada:

Cantor descubri que cada nmero transfinito se corresponda con un nmero ordinal, que representa la posicin de un elemento en un cierto conjunto bien ordenado, y tambin que los transfinitos se organizaban en clases numricas. As, clasificaba a los nmeros naturales en la clase numrica (I), que es mayor que todos ellos. Los nmeros de la clase numrica (II) son todos los que tengan la misma potencia que la clase numrica (I), esto es, que sean numerables (todos los transfinitos mostrados arriba son de esa clase), etc. Introduciendo la notacin n para hablar de la clase numrica (n + 1), demostr que en la serie transfinita se dan infinitas clases numricas cada vez ms grandes.

Estas clases numricas formaban pues otra serie transfinita, pero no de nmeros ordinales, sino de nmeros cardinales, que clasifican todas las posibles potencias de un conjunto infinito.