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 El desarrollo histrico de la teora de conjuntos se atribuye a Georg Cantor, que comenz a investigar cuestiones conjuntistas puras del infinito 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, formalizada por Gottlob Frege, propici los trabajos de Bertrand Russell, Ernst Zermelo, Abraham Fraenkel y otros a principios del siglo XX. 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, sus razonamientos y tcnicas se apoyan en gran medida en la lgica matemtica.

Georg Cantor
Biografa
Era hijo del comerciante Georg Waldemar Cantor y de Mara Bohm. Su padre haba nacido en Copenhague, Dinamarca, pero emigr en 1845 a San Petersburgo. All naci su hijo y vivieron hasta que en 1856 una enfermedad pulmonar impuls al padre a trasladar a su familia a Frncfort,Alemania. Todos estos eventos provocaron que distintas naciones reclamaran como propio a Georg Cantor. La educacin primaria de Georg Cantor fue inicialmente confiada a un profesor particular, pasando luego a la escuela elemental de San Petersburgo. Cuando la familia se mud a Alemania, Cantor asisti a escuelas privadas de Frncfort y Darmstadt hasta que a los 15 aos de edad ingres al Instituto de Wiesbaden. Los estudios universitarios de Georg Cantor se iniciaron en 1862 en Zrich, pero al siguiente ao, despus de la muerte de su padre, pas a laUniversidad de Berln donde se especializ en matemticas, filosofa y fsica, aunque el inters del joven se centr en las dos primeras. Tuvo como profesores en el campo de las matemticas aErnst Kummer, Karl Weierstrass y Leopold Kronecker. En 1872, cuando contaba con 27 aos de edad, se convirti en catedrtico en la Universidad de Halle, dando inicio entonces a sus principales investigaciones. Sus primeros trabajos con las series de Joseph Fourier lo llevaron al desarrollo de una teora de los nmeros irracionales y en 1874 apareci su primer trabajo sobre la Teora de conjuntos.

En cuanto al estudio de los conjuntos infinitos, que fue considerado por su maestro Kronecker como una locura matemtica, Cantor descubri que aquellos no tienen siempre el mismo tamao, o sea el mismo cardinal: por ejemplo, el conjunto de los racionales es enumerable, es decir, del mismo tamao que el conjunto de los naturales, mientras que el de los reales no lo es: existen, por lo tanto, varios infinitos, ms grandes los unos que los otros. Este hecho supuso un desafo para un espritu tan religioso como el de Georg Cantor. Y las acusaciones de blasfemia por parte de ciertos colegas envidiosos o que no entendan sus descubrimientos no le ayudaron. Sufri de depresin, y fue internado repetidas veces en hospitales psiquitricos. Su mente luchaba contra varias paradojas de la teora de los conjuntos, que parecan invalidar toda su teora (tornarla inconsistente o contradictoria en el sentido de que una cierta propiedad podra ser a la vez cierta y falsa). Adems, trat durante muchos aos de probar la hiptesis del continuo, lo que se sabe hoy que es imposible, y que tiene que ser aceptada (o rehusada) como axioma adicional de la teora. El constructivismo negar este axioma, entre otras cosas, desarrollando toda una teora matemtica alternativa a la matemtica moderna. Empez a equiparar el concepto de infinito absoluto (que no es concebible por la mente humana) como Dios, y escribi artculos religiosos sobre el tema. Georg Cantor falleci en Halle, Alemania, el 6 de enero de 1918 a los 73 aos de edad. Actualmente, su obra es ampliamente reconocida y ha sido acreedora de varios honores. 2 Sistematiz el conjunto de los nmeros reales y us el concepto de conjunto abierto

Julius Wilhelm Richard Dedekind

Julius Wilhelm Richard Dedekind (6 de octubre de 1831 - 12 de febrero de 1916), matemtico alemn. Dedekind naci en Brunswick (Braunschweig en alemn), el ms joven de los cuatro hijos de Julius Levin Ulrich Dedekind. Vivi con Julia, su hermana soltera, hasta que falleci en 1914; l mismo tambin qued soltero. En 1848 entr en el Colegium Carolinum de su ciudad natal, y en 1850, con slidos conocimientos de matemticas en la Universidad de Gotinga. Dedekind aprendi matemticas en los departamentos de matemticas y fsica de aquella universidad, siendo uno de sus principales profesores Moritz Abraham Stern, y tambin fsica de la mano de Wilhelm Eduard Weber. Su tesis doctoral, supervisada por Gauss, se titulaba ber die Theorie der Eulerschen Integrale (Sobre la teora de las Integrales eulerianas), y aunque en ella no se reflejaba el talento que mostr en sus trabajos posteriores, Gauss supo apreciar el don de Dedekind para las matemticas. Dedekind recibi su doctorado en 1852, siendo el ltimo alumno de Gauss, y trabaj a continuacin en una tesis de habilitacin, que era necesaria en Alemania para obtener la "venia docendi" (habilitacin de enseanza docente en universidades alemanas). Durante los siguientes aos, estudi la teora de los nmeros y otras materias con Gustav Dirichlet, al que le unira una gran amistad. Para ampliar sus conocimientos, abord el estudio de las funciones abelianas y elpticas de la mano del genial Bernhard Riemann. Slo tras estas experiencias, en su formacin, encontr al fin sus campos de trabajo principales: el lgebra y la teora de nmeros algebraicos. Se dice de l que fue el primero en impartir clases universitarias sobre la teora de las ecuaciones de Galois. Fue adems el primero en comprender el significado

fundamental de las nociones degrupo, cuerpo, Ideal en el campo del lgebra, la teora de nmeros y la geometra algebraica. Sus cortes zanjan definitivamente el problema de la fundamentacin del anlisis al definir el conjunto de los nmeros reales a partir de los racionales. En su magistral artculo de 1872, Dedekind caracteriz los nmeros reales como un cuerpo ordenado y completo, y ofreci un desarrollo de toda la cuestin que es un modelo de organizacin y claridad. Su trabajo sobre los nmeros naturales fue tambin fundamental, sentando bases para la teora de conjuntos, junto con Frege y Cantor, y dando una fundamentacin muy rigurosa de los llamados Axiomas de Peano (publicados por el italiano un ao ms tarde). Con ser importantes, esas no fueron las contribuciones principales de Dedekind a la matemtica pura: trabaj toda su vida en la teora de nmeros algebraica, que en buena medida cre. Y en el proceso, sent muchos de los mtodos caractersticos del lgebra moderna, hasta el punto de que Emmy Noether sola repetir que "todo est ya en Dedekind". La correspondencia de Dedekind con otros matemticos result especialmente fructfera y estimulante: ante todo la correspondencia con Cantor, donde asistimos al nacimiento de la teora de conjuntos transfinitos; pero tambin la correspondencia con H. Weber, que entre otras cosas condujo a un artculo pionero de la geometra algebraica; y la que mantuvo con Frobenius, impulsando el desarrollo de la teora de representaciones de grupos.

Gottlob Frege
(Redirigido desde Frege)

Gottlob Frege cerca de 1879.

Friedrich Ludwig Gottlob Frege (8 de noviembre de 1848 en Wismar - 26 de julio de 1925 en Bad Kleinen) fue un matemtico, lgico y filsofoalemn, padre de la lgica matemtica y la filosofa analtica. Frege es ampliamente reconocido como el mayor lgico desde Aristteles.

ndice
[ocultar]

1 Vida 2 Pensamiento

o o

2.1 Logicismo 2.2 Filosofa del lenguaje

3 Influencia 4 Vase tambin 5 Enlaces externos

Vida[editar editar cdigo]

Nacido en Wismar (actual Alemania) en 1848. Comenz sus estudios en la Universidad de Jena en 1869 trasladndose a Gotinga para completar sus estudios de fsica, qumica, filosofa y matemticas, licencindose en esta ltima hacia 1873. Al regresar a Jena se dedic a la docencia de matemticas, hasta su muerte acaecida en el ao de 1925 en la localidad de Bad Kleinen.

Pensamiento[editar editar cdigo]

En 1879, Frege public su revolucionaria obra titulada Conceptografa o Escritura de conceptos (Begriffsschrift), en la que sent las bases de la lgica matemtica moderna, iniciando una nueva era en esta disciplina que haba permanecido prcticamente inalterada desde Aristteles. Mediante la introduccin de una nueva sintaxis, con la inclusin de los llamados cuantificadores (para todo o para al menos un), permiti formalizar una enorme cantidad de nuevos argumentos. Tambin fue el primero en distinguir la caracterizacin formal de las leyes lgicas de su contenido semntico. Una vez fijados los principios axiomticos de la lgica, acometi la tarea de edificar la aritmtica sobre la base de aquella. Un problema en las revolucionarias obras de Frege es la cantidad de espacio impreso que requiere su notacin; no fue realmente hasta la publicacin de los Principia Mathematica de Alfred North Whitehead y Bertrand Russell cuando el poder de la lgica formal, en una notacin menos extensa (pero que requiere muchos signos de agrupacin) fue apreciable.

Logicismo[editar editar cdigo]

Frege fue un defensor del logicismo, la tesis de que las matemticas son reducibles a la lgica, en el sentido de que las verdades de la matemtica son deducibles de las verdades de la lgica. Sin embargo su defensa del logicismo era de alcance limitado, aplicndola slo a la aritmtica y a la teora de conjuntos, puesto que Frege permaneci en gran medida kantiano respecto de lageometra. Su obra titulada Leyes bsicas de la aritmtica (Grundgesetze der Arithmetik) fue un intento de llevar a cabo el

proyecto logicista. En 1902, con las pruebas corregidas del segundo volumen ya en la imprenta, recibi una carta de Bertrand Russell en la que le adverta acerca de una grave inconsistencia en su sistema lgico, conocida ms adelante como la paradoja de Russell. Frege introdujo a toda prisa una modificacin en uno de sus axiomas, de la que dej constancia en un apndice de la obra. Este golpe a la estructura de su obra prcticamente puso fin a su actividad acadmica. Ante la casi total indiferencia de sus contemporneos, tras la muerte de su esposa se recluy en su nueva residencia de Bad Kleinen y permaneci mayormente en el anonimato hasta que Bertrand Russell lo dio a conocer, ya que habiendo llegado a los mismos resultados que Frege de manera independiente estaba en la capacidad de entenderle y fue el primer pensador de importancia en apreciar el gran valor de su obra. Pese a que el descubrimiento de la paradoja de Russell arruin el proyecto logicista de Frege, ste continu trabajando y lleg a publicar una serie de importantes artculos, entre los cuales destaca El pensamiento: una investigacin lgica, en donde bsicamente se examina el contenido de las proposiciones, aquella parte objetiva que es transmisible a todo hablante en un enunciado declarativo. En los aos sesenta el filsofo de Oxford Michael Dummett public una serie de importantes libros sobre la filosofa de Frege que revivieron el inters por su obra y lo reincorporaron al debate filosfico.