y

=**Teoría de conjuntos** = [|Diagrama de Venn] que muestra un conjunto //A// contenido en otro conjunto //U// y su complemento La **Teoría de Conjuntos** es una división de las matemáticas que estudia los conjuntos. El primer estudio formal sobre el tema fue realizado por el matemático alemán Georg Cantor, Gottlob Frege y Julius Wilhelm Richard Dedekind en el Siglo XIX y más tarde reformulada por Zermelo. El concepto de conjunto es intuitivo y se podría definir como una "agrupación bien definida de objetos no repetidos y no ordenados"; así, se puede hablar de un conjunto de personas, ciudades, gafas, lapiceros o del conjunto de objetos que hay en un momento dado encima de una mesa. Un conjunto está bien definido si se sabe si un determinado elemento pertenece o no al conjunto. El conjunto de los bolígrafos azules está bien definido, porque a la vista de un bolígrafo se puede saber si es azul o no. El conjunto de las personas altas no está bien definido, porque a la vista de una persona, no siempre se podrá decir si es alta o no, o puede haber distintas personas, que opinen si esa persona es alta o no lo es. En el siglo XIX, según Frege, los elementos de un conjunto se definían sólo por tal o cual propiedad. Actualmente la teoría de conjuntos está bien definida por el sistema ZFC. Sin embargo, sigue siendo célebre la definición que publicó Cantor. Se entiende por **conjunto** a la agrupación en un todo de objetos bien diferenciados de nuestra intuición o nuestro pensamiento. Georg Cantor A propósito de la noción de conjunto, Dedekind dijo que se los imaginaba como un saco cerrado que contiene cosas... de las que no sabemos nada fuera de que existen y son totalmente determinadas. Algún tiempo después, Cantor dio a conocer su idea de conjunto: elevó su colosal figura, describió con el brazo erguido un gesto soberbio, y dijo con la mirada perdida: 'Me imagino un conjunto como un abismo'. **Georg Cantor** (San Petersburgo, 3 de marzo de 1845 - Halle, 6 de enero de 1918) fue un matemático alemán, inventor con Dedekind y Frege de la teoría de conjuntos, que es la base de las matemáticas modernas. Gracias a sus atrevidas investigaciones sobre los conjuntos infinitos fue el primero capaz de //formalizar// la noción de infinito bajo la forma de los números transfinitos (cardinales y ordinales). Hoy en día, la comunidad matemática reconoce plenamente su trabajo, y admite que significa un salto cualitativo importante en el raciocinio lógico. Murió en una clínica psiquiátrica de monjas, aquejado de una enfermedad maníaco-depresiva (Trastorno Bipolar) provocada por sus intentos de comprobar matemáticamente la Hipótesis del continuo. Biografía Nació en el seno de una familia judía. Su padre fue el comerciante Georg Waldemar Cantor y su madre María Bohm. Su padre había nacido en Copenhague, Dinamarca, pero emigró siendo joven al lugar donde nacería su hijo en 1845. Una enfermedad pulmonar provocó que el padre se trasladara en 1856 a Fráncfort, Alemania. Todos estos eventos provocaron que distintas patrias reclamaran como hijo a Georg Cantor. La educación primaria de Georg Cantor fue confiada a un profesor particular y después siguió un curso en la escuela elemental de San Petesburgo. Cuando la familia se mudó a Alemania, Cantor asistió a escuelas privadas de Fráncfort y Damnstandt primero, pero luego ingresó al Instituto de Wiesbaden, a sus 15 años. Los estudios universitarios de Georg Cantor iniciaron en Zúrich, en 1862. Pero pasó a la Universidad de Berlín al siguiente año, después de la muerte de su padre. En Berlín se especializó en matemáticas, filosofía y física. El interés de joven recayó en las dos primeras. Tuvo como profesores en el campo de matemáticas a Ernst Kummer, Karl Weierstrass y Leopold Kronecker. Uno de los actos de Cantor fue la siguiente afirmación: **ax² + by² + cz² = 0** En la que a, b y c son números enteros. A los 27 años dio clase en la Universidad de Halle. A partir de 1872 fue catedrático. Sus primeros trabajos con las series de Joseph Fourier lo llevaron al desarrollo de una teoría de números irracionales. En 1874, apareció el primer trabajo de Cantor sobre la Teoría de conjuntos. El estudio de los infinitos fue considerado por su maestro Kronecker como locura matemática. Cantor descubrió que los conjuntos infinitos no tienen siempre el mismo tamaño, o sea el mismo cardinal: por ejemplo, el conjunto de los racionales es//enumerable//, es decir, del mismo tamaño que el conjunto de los naturales, mientras que el de los reales no lo es: existen, por lo tanto, varios infinitos, más grandes los unos que los otros. Entre estos infinitos, los hay tan grandes que no tienen correspondencia en el mundo real, asimilado al espacio vectorial **R³**. Este hecho supuso un desafío para un espíritu tan religioso como el de Georg Cantor. Y las acusaciones de blasfemia por parte de ciertos colegas envidiosos o que no entendían sus descubrimientos no le ayudaron. Sufrió de depresión, y fue internado repetidas veces en hospitales psiquiátricos. Su mente luchaba contra varias paradojas de la teoría de los conjuntos, que parecían invalidar toda su teoría (hacerla **inconsistente** o **contradictoria**, en el sentido de que una cierta propiedad podría ser **a la vez cierta y falsa**). Además, trató durante muchos años de probar la hipótesis del continuo, lo que se sabe hoy que es imposible, y que tiene que ser aceptada (o rehusada) como axioma adicional de la teoría. El constructivismo negará este axioma, entre otras cosas, desarrollando toda una teoría matemática alternativa a la matemática moderna. Empezó a interpretar el infinito absoluto (que no es concebible por la mente humana) como Dios, y escribió artículos religiosos sobre el tema. Georg Cantor falleció en Halle, Alemania el 6 de enero de 1918, a los 73 años de edad. Actualmente, su obra es ampliamente reconocida y ha sido acreedora de varios honores.