Unidad 1. Axiomas de Hilbert Universidad Abierta y a Distancia de México Licenciatura en matematicas 10° cuatrimestre Geometrias no euclidianas Unidad 1. Axiomas de Hilbert Clave: 050941037 Educacién Abierta y a Distancia * Ciencias Exactas, Ingenierias y Tecnologias "|Presentacién de la unidad Propésitos. Competencia especifica..... 1. Axiomas de Actividad 1. El quinto postulado de Euclides . 1.4. Axiomas de intermediacién. ert, 1.1.1. Una motivacién. 1.4.2. Los axiomas de intermediacion 1.1.3. Consecuencia de los axiomas de intermediacién 1.2. Axiomas de congruencia 1.2.1, Congruencia de segmentos 1.2.2. Congruencia de angulos. Actividad 2. Axiomas de Intermediacion y Congruencia 1.3. Axiomas de continuidad. 1.3.1. Una motivacién. 1.3.2. Axioma de Dedekind, 1.4. Axioma de paralelismo Actividad 3. Axiomas de continuidad y paralelismo Autoevaluacién ... Evidencia de aprendizaje. Solucién de problemas aplicando los axiomas de Autorreflexiones.. Cierre de la unidad Para saber mas Fuentes de consulta ... Educacién Abierta y a Distancia * Ciencias Exactas, Ingenierias y Tecnologiasrias no euclidianas ) id 1. Axiomas de Hilbert Presentaci6n de la unidad En esta unidad se presentan los axiomas de Hilbert para la geometria euclidiana, la importancia de presentar de esta forma dicha geometria es para que comprendas la razon por la cual se enuncian, estos axiomas toman como modelo el plano, sin embargo, al ‘cambiar de espacio tales axiomas ya no se cumplen, y los axiomas tienen que ser modificados para poder desarrollar una geometria en tal espacio. En muchos casos, estos axiomas resultan ser pequefias variantes de los axiomas de Hilbert. Propésitos * Aplicards los axiomas de intermediacién, continuidad. Congruencia y de las paralelas en los conceptos fundamentales de la geometria. Competencia especifica Utiizar los axiomas de Hilbert, para la comprension de los conceptos fundamentales de la geometria, mediante el planteamiento de problemas. 1. Axiomas de Hilbert Durante la primera mitad del siglo XVI se realiz6 una de las aportaciones mas importantes a la geometria, se presenté por primera vez una geometria que diferia de forma radical con la geometria tradicional presentada en los Elementos de Euclides. Esta aportacion liberé del molde tradicional a la geometria convirtiendo sus postulados en simples hipétesis cuya veracidad 0 falsedad no corresponde con la percepcién fisica que tienen los sentidos. Se evidencié que los geémetras podian escoger sus postulados adecuadamente a su conveniencia, siempre y cuando formaran un sistema compatible y consistente, esta vision resulté tener gran impacto en la forma futura de ver las matematicas. En esta unidad se presenta una version modificada de los axiomas de Hilbert, con ellos se presenta a la geometria de una manera intuitiva, en el espiritu de Euclides. Cabe mencionar que durante el primer cuarto del siglo XX Hilbert fue considerado como el mas ‘grande matematico en el mundo haciendo muchas aportaciones en varias areas de las matematicas y también en la fisica. Los axiomas de Hilbert estan divididos en cinco ‘grupos: la incidencia, la intermediacién, la congruencia, la continuidad y el paralelismo. La importancia de la incidencia radica en el hecho de que garantiza que existen los objetos indefinidos punto y linea que cumplen con las siguientes relaciones, cabe mencionar que existen otras “cosas” que también satisfacen dichos axiomas: Educacién Abierta y a Distancia * Ciencias Exactas, Ingenierias y Tecnologias cal‘Axioma de incidencia 1: Para todo punto P y para todo punto @ Distinto de P existe una unica linea ¢ que pasa por P y Q.. Graficamente se tiene lo siguiente: » Figura 1.1. Axioma de Incidencia 1 ‘Axioma de incidencia 2: para toda linea / existen en ella al menos dos puntos distintos. Axioma de incidencia 3: Existen tres puntos distintos de tal forma que no existe ninguna linea que pase por dichos puntos. Gréficamente se tiene lo siguiente’ ie Figura 1.2. Axioma de Incidencia 2 Como consecuencia inmediata de estos axiomas se tiene el siguiente resultado: Teorema 1.1. Dos lineas distintas en el plano tienen un punto en comun 0 ningun Demostracion: basta observar que si dos lineas tienen dos puntos en comin el axioma de incideneia 1 garantiza que tiene que ser la misma. L| El teorema anterior se representa graficamiente de la siguiente forma: punto‘en comin ingtn punto ‘en comin intas se cortan en un punto 0 no se cortan Figura 1.3. Dos rectas di rta y a Distancia * Ciencias Exactas, Ingenierias y Tecnologias Educacion‘no euclidianas O ad 1. Axiomas de Hilbert Actividad 1. El quinto postulado de Euclides A través de esta actividad, podras analizar los postulados de Euclides, para determinar nuevas interrogantes, més preciso en el quinto postulado. Para ello: 1. Investiga cuales son los cinco postulados de Euclides presentados en la obra Elementos. 2. Ingresa al foro y responde las siguientes preguntas + ¢Porqué crees que Euclides los formula de esa forma '* tiene alguna relaci6n los postulados con alguna accion? '* (Por qué crees que el quinto postulado crea controversia? 3. Revisa las aportaciones de tres de tus compaferos aceptando 0 rechazando su respuesta. Consulta la rubrica general de la participacion en foros que se encuentra en la seccién “Material de apoyo”. 1.1. Axiomas de intermediacion Los axiomas de intermediaci6n presentan la relacién que hay entre una linea y los puntos. que se localizan sobre ella. Permite definir, conceptos tales como segmentos, rayos, ngulos, interior de un Angulo e interior de un triangulo. 1.1.1. Una motivacién Para ilustrar la necesidad de enunciar los axiomas de intermediacién se presenta la demostracién del hecho que todo triangulo Isésceles tiene dos angulos congruentes, esta demostracién no es presentada por Euclides. iC entonces DA. Teorema 1.2. Dado el triéngulo |_| ABC, si AC Demostracién: considera los siguientes pasos: (i). Labisectriz del 1) C corta al segmento AB en el punto D. Educacién Abierta y a Distancia * Ciencias Exactas, Ingenierias y Tecnologias (Fy‘ > a Figura 1.4. 4p es la bisectriz de 11 C (i). Enos triéngulos L|ACD y L_BCD, por hipstesis se tiene que AC= (iii). Por definicién de bisectriz se tiene que |) ACD =) BCD. e 4 ° a Figura 1.5. ACD =U BCD (iv). Por definicién de segmento no dirigido se tiene que CD= DC. (Wy). Por el criterio de congruencia de tridngulos segmento Angulo segmento se tiene que || aco lsc. Educacién Abierta y a Distancia * Ciencias Exactas, Ingenierias y Tecnologias‘ D a Figura 1.6. || ACD = BCD (vi). Como [JA se corresponde [) # en la congruencia || ACD 4_|BCD se tiene que en a D 3 Figura 1.7. 0 A= Lo que demuestra el teorema. En el primer paso se utiliza el hecho de que todo angulo tiene una bisectriz, este hecho es verdadero y su demostracién se puede presentar por separado a esta prueba. Una primera pregunta que surge del proceso anterior es: ;Cémo se sabe que la bisectriz del Angulo [1 C intersecta a la recta A? , otra cuestin que surge de manera natural es: Como se sabe que el punto D esta “entre” los puntos A y B?, es decir, {Por qué no se puede tener la siguiente figura: Educacién Abierta y a Distancia * Ciencias Exactas, Ingenierias y Tecnologiasno euclidianas mas de Hilbert Figura 1.8. Por qué una bisectriz no puede tener esta forma? Estas dos preguntas tienen una aparente justificacion obvia que es “por construccién”, pero en el sentido riguroso requiere de una demostracién mas formal. Partiendo de que las preguntas anteriores son contestadas de tal forma que las afirmaciones anteriores son verdaderas, la prueba sélo garantiza que el angulo LB es congruente al angulo [| CAD y no al angulo () CAB porque en los triangulos L|ACD y LIBCD el angulo [| CAD se corresponde con el Angulo |) B El objetivo de los axiomas de intermediacién es evitar las ambigiiedades que se presentan en argumentos que requieran ubicar la existencia de un objeto “entre” otros dos. 1.1.2. Los axiomas de intermediacion Antes de enunciar los axiomas de intermediacién, para simplificar un poco la notacién, dados tres puntos A, B y C , se denota por A*B*C ala expresién “el punto B esta entre el punto A y el punto C”, nétese que el término “entre” no es definido. ‘Axioma de intermediaci6n 1: Si A" B*C entonces los puntos A, B y C son distintos y estan en la misma linea, y ademas C*B*A, Observa que el axioma anterior plantea que es lo mismo decir si un punto B esta “entre el punto A y el punto C” y decir “entre el punto Cy el punto A”. Graficamente se tiene lo siguiente: Figura 1.9. Axioma de Intermediacion 1 Educacién Abierta y a Distancia * Ciencias Exactas, Ingenierias y Tecnologiaso euclidianas mas de Hilbert ‘Axioma de intermediaci6n 2: Dados dos puntos distintos B y D existen tres puntos A, C y E que se encuentran enlalinea BD tales que A*B*D, B*C*D y B*D*E Este axioma afirma que dados dos puntos, existen puntos intermedios y que la linea que pasa por estos puntos no termina en ninguno de ellos. Graficamente se tiene lo siguiente: Figura 1.10. Axioma de Intermediacion 2 Axioma de intermediacién 3: Dados tres puntos distintos A, B y C que se encuentran en la misma linea entonces se cumple una y solo una de las siguientes condiciones: AMB?C -BRAKC | ANCE Es decir, hay uno y solo un punto entre los otros. Este axioma afirma que una linea no puede ser efclica, por ejemplo si tomamos una elipse, se tiene que _un punto siempre esta entre los otros dos puntos, como lo muestra la siguiente figura: 4 c 2 Figura 1.11. Una recta no puede ser ciclica Los axiomas de intermediacién permiten presentar los siguientes conceptos Definicion: Dados dos puntos A y B, el segmento AB es el conjunto de todos los puntos que estan entre el punto 4 y el punto B junto con ambos puntos. El rayo AB es el conjunto de todos los puntos en el segmento AB junto con todos los puntos C tales que A*B*C El axioma de intermediaci6n 2 afirma que el rayo AB existe y que contiene al segmento AB. Los conceptos de rayo y segmento se ejemplifican en la siguiente figura: Educacién Abierta y a Distancia * Ciencias Exactas, Ingenierias y Tecnologiasfas no euclidianas 1. Axiomas de Hilbert segmento 48 rayo TB £ 8 Figura 1.12. Segmento y Rayo Otro concepto importante que se obtiene a partir de los axiomas de intermediacion se presenta a continuacién: Definicion: Dados tres puntos A, B y C tales que C*A*B, se dice que el rayo AB es ‘opuesto al rayo AC Tienes que observar que, por el axioma de incidencia 1 los puntos A, B y C son colineales y por el axioma de incidencia 3 se tiene que C¢ AB en consecuencia el rayo ‘AB y su opuesto AC son distintos y finalmente el axioma de incidencia 2 garantiza que dado un rayo AB existe su rayo opuesto AC. Graficamente se tiene lo siguiente: ae Figura 1.13. Elrayo AB y su rayo opuesto AC A partir de lo anterior, es natural pensar que cuando A, B, C y P son cuatro puntos colineales, si C*A*B entonces Pe ABU AG, esta propiedad toma el nombre de la propiedad de separacién, es decir, el punto A separa la linea en dos partes, para muchos matematicos éste también es un axioma, sin embargo, esta propiedad se deducira de los axiomas previos y el siguiente axioma que se enunciara después de los siguiente conceptos: Definicion: Sean ¢ una linea cualquiera y un par de puntos A y B cualesquiera tales que 4,B¢¢. Se dice que A y B estan del mismo lado con respecto a / si y sélo si A=B 0 el segmento AB no contiene punto coméin con &. En caso conttratio, se dice que Ay B estan en lados opuestos con respecto a / si ysdlo si A+B y el segmento AB contiene un punto comtin con ¢ De forma grafica, los conceptos anteriores se presentan de la siguiente forma: Educacién Abierta y a Distancia * Ciencias Exactas, Ingenierias y TecnologiasB 1 y B estinen lados © epuestascon raspectoa é Ay B estan del mismo lade con respecte a ¢ Figura 1.14. Comparacién de dos puntos con respecto a una recta El Ultimo axioma de esta seccién es el siguiente: ‘Axioma de intermediacién 4: Para toda linea / y para cualesquiera tres puntos A, By C tales que A,B,C€ ( se tiene lo siguiente: Si A y B estan del mismo lado con respecto a ¢ y los puntos B y C estén del mismo lado con respecto a ¢ entonces A y C estan del mismo lado con respecto at (i). Si Ay B estan de lados opuestos con respecto a f y los puntos B y C estan de lados opuestos con respecto a / entonces A y C estan del mismo lado con respecto a / Observa que este axioma garantiza que esta geometria es bidimensional ya que en el espacio tridimensional no se cumple dicha propiedad, ademas, si A y B son puntos que estan en lados opuestos con respecto a una linea / y los puntos B y C estan del mismo lado con respecto af, entonces A y C estan en lados opuestos con respecto a f. Graficamente, el axioma de intermediacién 4, se representa en la siguiente figura’ B ¢ 4 ‘ Intermediacién 4 (i) Intermediacién 4 (ii) Figura 1.15. Axioma de Intermediacién 4 El axioma de intermediacién 4 permite presenter el siguiente concepto: Educacién Abierta y a Distancia * Ciencias Exactas, Ingenierlas y Teonologiaso euclidianas mas de Hilbert Definicion: Dadas una linea / y un punto A tales que Ag /, un lado #, delalinea ¢ es el conjunto de todos los puntos que estan del mismo lado que A con respecto a ¢ Observa que si C es otro punto que esta del mismo lado que A con respecto a / entonces 11, = H,., ademas al lado de una linea / también se le llama semiplano acotado por £ . Graficamente se tiene lo siguiente: Figura 1.16. Division de un plano por una linea Finalmente, se presentan algunos conceptos relacionados con angulos que se deducen de los axiomas de intermediacién. Definicion: Dado una angulo || CAB y un punto D, se dice que D es un punto interior del angulo [1 CAB si y sélo si los puntos B y D estén del mismo lado con respecto a la linea AC ylos puntos C y D estan del mismo lado con respecto a la linea AB. Ademas, 1 interior de un angulo es el conjunto de todos los puntos interiores del mismo. Observa que el interior de un angulo es Ia interseccién de los semiplanos limitados por dos rectas. En la siguiente figura se muestra la idea detrés de la definicién anterior: Figura 1.17. Interior de un angulo Educacién Abierta y a Distancia * Ciencias Exactas, Ingenierias y TecnologiasDefinicion: Se dice que el rayo 4D esta entre los rayos AC y AB si y sélo silos rayos. AC y AB no son opuestos y el punto D es interior al Angulo [] CAB. En la siguiente figura se muestra la idea de la definicién anterior: Figura 1.18. Rayo interior aun angulo Definicion: E1 interior de un tridngulo es Ia intersecci6n de los interiores de sus angulos internos. Ademés, un punto exterior a un tridngulo, es un punto que no pertenece a su interior. Gréficamente se tiene lo siguiente: En la secoién anterior se presentaron los axiomas de intermediacién y algunas definiciones que se deducen a partir de los mismos, ahora se contintia enunciando algunos resultados que se obtienen como consecuencia casi inmediata de tales axiomas. Proposicién 1.3. Para cualesquiera dos puntos A y B se tiene que ABBA Be Educacién Abierta y a Distancia * Ciencias Exactas, Ingenierias y TecnologiasDemostracién: Basta seguit los siguientes pasos: (i). Por definicién de rayo se tiene que ABC AB y que ABC BA. (il). Por definicién de interseccion de conjuntos se tiene que ABC ABBA (ii). Sea Ce ABP VBA se tiene que mostrar que Ce AB. (iv). Si C=A 6 C=B entonces es de los extremos del segmento AB. En otro caso, por el axioma de intermediacién 3 se cumple una y solo una de las siguientes relaciones: ANBRC | ANC*BBRATC (v). Si A*B*C entonces Ce BA, ademas C*A*B entonces C¢ AB, por consecuente Ce ABOBA. (vi). En consecuencia se debe cumplir la relacion A*C*B Lo que demuestra el resultado.) La siguiente propiedad presenta la relacién que hay entre los semiplanos acotados para Una linea cualquiera. Proposici6n 1.4. Toda linea acota exactamente dos semiplanos que no tienen puntos en comin. Demostraci6n: Considera los siguientes argumentos: (). Sea f una linea cualquiera. Figura 1.20. Linea ¢ (i). Por el axioma de incidencia 3, existe un punto A tal que Ae /. Ae Figura 1.21. Punto A exterior a (ii). Por el axioma de incidencia 2, existe un punto 0 tal que Oc. Educacién Abierta y a Distancia * Ciencias Exactas, Ingenierias y Tecnologias(iv). ). i. (wil). (willy. Figura 1.22. Punto 0 de ¢ Por el axioma de intermediacién 2, existe un punto B tal que B*O*A Figura 1.23. Punto B tal que A*O*B Por definicin, los puntos A y B son opuestos con respecto a / Sea C un punto tal que C¢/,si C y B son opuestos con respecto a / ‘entonces A y C estan del mismo lado con respecto a f Luego se tiene que los puntos que no estan sobre ¢ es launién H.UH,. Por contradiccién: Si Ce #, 1H, entonces C esta del mismo lado que A con respecto a f y C esta del mismo lado que B con respecto a /, lo que implica que B y A estén mismo lado que A con respecto a ¢ lo que es una ‘contradicoién con el paso (v). Lo que demuestra el resultado. | Ahora se aplica la proposicién anterior para estudiar la relacién de intermediacién que hay entre cuatro puntos colineales. Proposicion 1.5. Dados cuatro puntos A, B, C y D tales que A*B*C y A*C*D entonces B*C*D. Demostracior (i, i, Educacion ‘onsidera los siguientes argumentos: Por el axioma de intermediacién 2, los puntos A, B, C y D soncolineales, jamos que dicha linea es Existe un punto F tal que E¢ rta y a Distancia * Ciencias Exactas, Ingenierias y Tecnologias