DAVID HILBERT

Integrantes: Javiera Gatica Ramrez n13. Isabel Raigan Roa n30. Thyare Tobar Espinoza n38. Curso: 8 ao C. Profesor: Belfor Aguayo. Fecha: Lunes 4 de noviembre del 2013

Biografa de David Hilbert. Naci el 23 de Enero de 1862 en Knigsberg , Prusia (actualmente Kalingrado, perteneciente a Rusia). Su padre era juez, y fue destinado poco antes de su nacimiento a Knigsberg, donde David recibi su educacin en el Instituto de aquel lugar. Posteriormente realiz su carrera y en 1885 su doctorado en la Universidad de Knigsberg, esto bajo la direccin del profesor Lindemann, quien dos aos antes haba demostrado que pi es un nmero trascendente y adems le propuso Los invariantes algebraicos como tema para su tesis titulada: ber invariante Eigenschaften specieller binrer Formen, insbesondere der Kugelfunctionen , ("Sobre las propiedades invariantes de formas binarias especiales, en particular las funciones circulares"). David viaj a Leipzig, donde asisti a las clases de Felix Klein, y a Pars donde conoci a Henri Poicar, Camille Jordan y Charles Hermite. Luego se incorpor al profesorado de la Universidad de Knigsberg en 1886, donde en 1888, a sus 26 aos hace su primer trabajo sobre la Teora de los invariantes. En 1895 obtiene el puesto de catedrtico de Matemtica en la Universidad de Gttingen, que en aquel momento era el mejor centro de investigacin matemtico del mundo. Durante este perodo, fue influenciado por el profesor Hurwitz.

En 1899, a sus 37 aos publica: Fundamentos de Geometra en el cual formula sus principios de axiomatizacin a partir de un exhaustivo anlisis y un perfeccionamiento de las ideas euclidianas. Y ms tarde en 1899 Acerca del concepto de nmero publicando un artculo en 1900. En agosto de ese mismo ao propone una lista muy influyente de 23 problemas sin resolver en el Segundo Congreso Internacional de Matemtica de Pars. Sus trabajos posteriores desembocaron en la concepcin de los espacios de infinitas dimensiones llamados espacios de Hilbert, base del moderno anlisis funcional. A partir del ao 1904, empez a desarrollar un programa para dotar de una base axiomtica a la lgica, la aritmtica y la teora de conjuntos, con el objetivo ltimo de axiomatizar toda la matemtica

 13 aos despus el 11 de septiembre de 1917 presenta ante la Sociedad Matemtica Suiza en Zrich El Pensamiento Axiomtico, un ao despus publica aquel pensamiento.

Finalmente en 1930 se retira y la cuidad de Knigsberg lo nombra ciudadano honorable.

Aunque su propsito de demostrar la consistencia de la aritmtica haba de verse frustrado por los resultados posteriores (1931) obtenidos por Kurt Gdel, el programa de formalizacin de Hilbert contribuy al desarrollo de la llamada Metamatemtica, como mtodo para establecer la consistencia de cualquier sistema formal

Nadie nos expulsar del paraso que Cantor David Hilbert.

Axiomas de Hilbert
Los axiomas de Hilbert son un conjunto de 20 (originalmente 21) hiptesis propuestas por David Hilbert en 1899 como el fundamento para un tratamiento moderno de la geometra eucldea. 1-Los axiomas El sistema axiomtico de Hilbert se compone de nueve nociones primitivas: tres trminos primitivos: punto, lnea recta, plano, y seis relaciones primitivas: a) Orden, una relacin ternaria entre puntos. b) Pertenencia, tres relaciones binarias, una de ellas entre puntos y rectas, otra entre puntos y planos, y otra entre rectas y planos; c) Congruencia, dos relaciones binarias, una entre segmentos y otra entre ngulos, denotadas por . Ntese que los segmentos y los ngulos (as como tambin los tringulos) no son nociones primitivas, sino que se definen en trminos de puntos y rectas utilizando las relaciones de orden y pertenencia. Todos los puntos, rectas y planos en los subsecuentes axiomas son distintos salvo que se indique lo contrario. I-Combinacin: 1. Dos puntos distintos y determinan una nica recta . Denotamos . En lugar de "determinan", puede decirse: " est en ", " es un punto de ", " pasa por y ", " une con ", etc. Si est en y al mismo tiempo en otra recta se dice tambin "Las rectas y tienen el punto en comn", etc.

2. Dos puntos cualquiera de una recta la determinan por completo; es decir, si y , donde en general , entonces a su vez. 3. Tres puntos , y plano . Se denota no situados en una misma recta determinan un , y se dice " , y yacen en ", etc.

4. Tres puntos cualesquiera , y del plano misma recta determinan por completo a .

no situados en una , entonces todo yace en el plano

5. Si dos puntos , de la recta yacen en el plano punto de yace en . En tal caso se dice "la recta etc. 6. Si dos planos , tienen un punto menos otro punto en comn.

",

en comn, entonces tienen al

7. En cada recta hay al menos dos puntos; en cada plano hay al menos tres puntos no situados en la misma recta; y existen al menos cuatro puntos no situados en un mismo plano. II-Orden: 1. Si un punto est entre los puntos y , tambin est entonces entre y , y existe una recta que contiene a los tres. 2. Si y punto entre son dos puntos de una recta, existe al menos otro entre y , y al menos un punto de tal manera que y . est

3. Dados tres puntos en una recta, slo uno de ellos est entre los otros dos. Dada una pareja de puntos y , puede hablarse entonces del segmento . Los puntos del segmento son todos aquellos que estn entre y . Estos dos son los extremos del segmento. 4. Axioma de Pasch: Sean , y tres puntos no situados en la misma recta y sea una recta contenida en el plano , que no pasa por ninguno de los tres puntos mencionados. Entonces, si pasa por algn punto del segmento , entonces pasa tambin por algn punto o bien del segmento o bien del segmento . Puede probarse entonces que dadas una recta y un punto en ella, puede dividirse la recta en dos , disjuntos entre s, que emanan de , tales que su unin constituye toda la recta a excepcin de . De igual modo, dados un plano y una recta en l, pueden distinguirse en l dos partes disjuntas, los lados de respecto a , donde de nuevo su unin constituye todo el plano a excepcin de .

III-Paralelas: 1. En un plano puede encontrarse una nica recta que pase por un punto dado , el cual no pertenece a una recta dada , de forma que y no tengan ningn punto en comn. Est recta se llama la paralela a que pasa por . IV-Congruencia: Se define un ngulo como una pareja de semirayos yaciendo en un plano que emanan del mismo punto . Se demuestra que puede dividirse entonces el plano en dos regiones: el interior y el exterior de , donde y son los lados del ngulo y su vrtice. El segmento entre dos puntos cualesquiera del interior est contenido por completo en dicha regin. Esto no se cumple para una pareja de puntos cualesquiera en el exterior. Un tringulo queda definido por tres segmentos de la forma , y . Dichos segmentos son los lados del tringulo, y los tres puntos , y son sus vrtices. El tringulo divide el plano definido por sus tres vrtices en interior y exterior, con las mismas propiedades que en caso de los ngulos. Al ngulo definido por los dos semirayos que salen de y que pasan por y respectivamente se le denota por , y su interior contiene todos los puntos del interior del tringulo . 1. Si , son dos puntos de la recta , y es un punto sobre la recta (sea esta igual a o no), se tiene que, de un lado cualquiera de en la recta , existe un nico tal que el segmento es congruente con el segmento , y lo denotamos por . Todo segmento es congruente consigo mismo. 2. Si un segmento es congruente con el segmento y tambin con el segmento , entonces estos dos ltimos son congruentes entre s (la congruencia entre segmentos es transitiva). 3. Sean y dos segmentos de la misma recta sin puntos en comn a excepcin de , y sean adems y dos segmentos de la recta (sea sta igual o no a ) sin ms puntos en comn que . Entonces, si y , se tiene que . 4. Sea un ngulo en el plano y sea una recta en el plano . Supngase que en el plano , se escoge uno de los lados respecto a .

Sea un semirayo de que emana de un punto de dicha recta. Entonces, en el plano existe un nico semirayo que sale de de forma que es congruente con , y de forma que todos los puntos del interior de estn en el lado escogido de . Se denota por . Todo ngulo es congruente consigo mismo. 5. Si el ngulo ngulo es congruente con el ngulo y con el , entonces estos dos son congruentes entre s. ,

6. Si dados dos tringulos y se tiene , , entonces se tiene a su vez y . V-Continuidad:

1. Axioma de Arqumides: Sea un punto cualquiera de una recta, situado entre los puntos arbitrarios y de la misma. Tmense los puntos , ,... de tal manera que est entre y , est entre y ,etc. Supngase adems que los segmentos , , ,... son todos congruentes entre s. Entonces, en esta serie existe siempre un cierto tal que est entre y . Axioma de completitud Al sistema de puntos, rectas y planos, no pueden aadirse otros elementos de manera que el sistema resultante forme una geometra nueva, obedeciendo todos los axiomas de los cinco grupos. En otras palabras, los elementos de la geometra forman un sistema que no es susceptible de extensin, tomando los cinco grupos de axiomas como vlidos. 2-Axioma 21 Hilbert introdujo un axioma ms que reza: II.4. Teorema de Pasch: Pueden escogerse cuatro puntos cualesquiera , y de una recta de forma que est entre y y entre y ,y que est entre y y entre y . R. L. Moore demostr que este axioma es redundante en 1902. ,

LOS 23

PROBLEMAS

Hilbert propuso una lista muy influyente de 23 problemas sin resolver en el Congreso Internacional de Matemticos de Pars en 1900. Se reconoce de forma general que esta es la recopilacin de problemas abiertos ms exitosa y de profunda consideracin producida nunca por un nico matemtico. Lanz el conjunto de problemas en la conferencia "Los problemas de la matemtica" presentada durante el curso del Segundo Congreso Internacional de Matemticos celebrado en Pars. Esta es la introduccin a la conferencia de Hilbert:

Quin entre nosotros no estara contento de levantar el velo tras el que se esconde el futuro; observar los desarrollos por venir de nuestra ciencia y los secretos de su desarrollo en los siglos que sigan? Cual ser el objetivo hacia el que tender el espritu de las generaciones futuras de matemticos? Qu mtodos, qu nuevos hechos revelar el nuevo siglo en el vasto y rico campo del pensamiento matemtico?
Present menos de la mitad de los problemas en el Congreso, que fueron publicados en las actas. Extendi el panorama en una publicacin posterior, y con ella lleg la formulacin cannica actual de los 23 Problemas de Hilbert. 1. Problema de Cantor sobre el cardinal del continuo. Cul es el cardinal del continuo? 2. La compatibilidad de los axiomas de la aritmtica. Son compatibles los axiomas de la aritmtica? 3. La igualdad de los volmenes de dos tetraedros de igual base e igual altura. 4. El problema de la distancia ms corta entre dos puntos. Es la lnea recta la distancia ms corta entre dos puntos, sobre cualquier superficie, en cualquier geometra? 5. Establecer el concepto de grupo de Lie, o grupo continuo de transformaciones, sin asumir la diferenciabilidad de las funciones que definen el grupo. 6. Axiomatizacin de la fsica. Es posible crear un cuerpo axiomtico para la fsica? 7. La irracionalidad y trascendencia de ciertos nmeros como e, 2v2, etc. 8. El problema de la distribucin de los nmeros primos.

9. Demostracin de la ley ms general de reciprocidad en un cuerpo de nmeros cualesquiera. 10. Establecer mtodos efectivos de resolucin de ecuaciones diofnticas. 11. Formas cuadrticas con coeficientes algebraicos cualesquiera. 12. La extensin del teorema de Kronecker sobre cuerpos abelianos a cualquier dominio de racionalidad algebraica. 13. Imposibilidad de resolver la ecuacin general de sptimo grado por medio de funciones de slo dos argumentos. 14. Prueba de la condicin finita de ciertos sistemas completos de funciones. 15. Fundamentacin rigurosa del clculo enumerativo de Schubert o geometra algebraica. 16. Problema de la topologa de curvas algebraicas y de superficies. 17. La expresin de formas definidas por sumas de cuadrados. 18. Construccin del espacio de los poliedros congruentes. 19. Las soluciones de los problemas regulares del clculo de variaciones, son siempre analticas? 20. El problema general de condiciones de contorno de Dirichlet. 21. Demostracin de la existencia de ecuaciones diferenciales lineales de clase fuchsiana, conocidos sus puntos singulares y grupo monodrmico. 22. Uniformidad de las relaciones analticas por medio de funciones automrficas: siempre es posible uniformizar cualquier relacin algebraica entre dos variables por medio de funciones automorfas de una variable. 23. Extensin de los mtodos del clculo de variaciones. Algunos se resolvieron en poco tiempo. Otros se han discutido durante todo el siglo XX, y actualmente se ha llegado a la conclusin de que unos pocos son irrelevantes o imposibles de cerrar. Algunos continan siendo actualmente un reto para los matemticos.