Scribd Logo
Upload

Welcome to Scribd!

  • Geometria Euclidiana U3

    Uploaded by

    Watermelon Ruan
    8 views50 pages
    matematicas

    Original Title

    geometria euclidiana u3

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    matematicas

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    8 views50 pages

    Geometria Euclidiana U3

    Uploaded by

    Watermelon Ruan
    matematicas

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    of 50
    zi Geometrias no euclidianas ‘») M( Unidad 3. Independencia del postulado de las paralelas Universidad Abierta y a Distancia de México Licenciatura en matematicas 10° cuatrimestre Geometrias no euclidianas Unidad 3. Independencia del postulado de las paralelas Clave: Educacién Abierta y a Distancia * Ciencias Exactas, Ingenierias y Tecnologias ial idianas © ia del postulado de las paralelas indice Presentacién de la unidad .. Propésitos. Competencia especifica. 3. Independencia del postulado de las paralelas. Actividad 1. Métodos de solucién aplicados... 3.1. Modelo de Beltrami-Klein 3.2, Modelo de Poincaré... Actividad 2. Modelos de Beltrami, Klein y Poincaré 3.3, Perpendicularidad en el modelo de Beitrami-Klein 3.4, Inversién en circulos y el modelo de Poincaré .. 3.4.1. Algunos resultados de geometria euclidiana 3.4.2, Longitud de Poincare. sulos Actividad 3.Perpendiculares e inversin de Autoevaluacién Evidencia de aprendizaje. Independencia del postulado de las paralelas ... Autorreflexiones.. Cierre de la unidad Pata saber més .. Fuentes de consulta... Educacién Abierta y a Distancia * Ciencias Exactas, Ingenierias y Tecnologias a ug ymetrias no euclidianas KK id 3. Independencia del postulado de las paralelas Presentaci6n de la unidad En esta unidad se presentan dos modelos que hacen consistente la geometria hiperbélica, estos modelos hacen uso de propiedades de geometria euclidiana. En esencia, la consistencia de la geometria hiperbélica se obtiene a partir de la consistencia de la geometria euclidiana, Propésitos + Representaras la geometria hiperbolica en dos modelos por medio de lineas y puntos, dados por Beltrami y Klein y el otro por Poincaré * Analizaras la interpretacién del axioma hiperbélico en dichos modelos ‘+ Identificaras las ventajas y desventajas que tiene un modelo con respecte a otro ‘+ Identificaras las propiedades que tiene la inversion de circulos y su relacién con la distancia entre dos puntos en el modelo de Poincaré Competencia especitica Aplicar los axiomas de Hilbert para mostrar la independencia de las rectas paralelas por medio de los modelos de Poincaré y Beltrami-Klein. 3. Independencia del postulado de las paralelas Recuerda que un sistema axiomatico es una lista de términos indefinidos junto con una lista de postulados o axiomas que se suponen verdaderos, de estos axiomas se obtienen lemas, proposiciones y teoremas que son enunciados los cuales se demuestra su veracidad utilizando deduccién légica. Un modelo para un sistema axiomético es un Universo donde los axiomas aplicados a los objetos indefinidos son verdaderos. Si existe un modelo para un sistema axiomatico, se dice que el sistema es consistente, en caso contrario, se dice que el sistema es inconsistente, cabe mencionar que demostrar que un sistema es inconsistente es muy dificil. A partir de lo anterior, la geometria euclidiana tiene ‘como objetos indefinidos a los puntos y las lineas, los axiomas sobre estos abjetos son los axiomas de Hilbert y el modelo es el plano, por consiguiente la geometria euclidiana es consistente, En la unidad anterior se present6 una introduccién al estudio de la geometria hiperbélica, donde se obtuvieron algunos teoremas que resultan ser muy extrafios con respecto a los teoremas conocidos en geometria euclidiana. Las pruebas de dichos teoremas son logicamente correctas ya que se obtienen a partir de los axiomas propuestos. Sin embargo, Educacién Abierta y a Distancia * Ciencias Exactas, Ingenierlas y Teonologias 10 euclidianas pendencia del postulado de las paralelas puede quedar la sensacion de que la hipétesis fundamental de la geometria hiperblica (el axioma hiperbélico) es una hipétesis falsa. Por ejemplo, si supusiéramos que cuando se te cae encima algtin objeto de una altura considerable como una piedra, ésta "cae" hacia arriba, Puedes colocar muchas rocas, y al menos que tengas aire en la cabeza, vas a descubrir que esta hipétesis es falsa. Bajo la observacién dada en el parrafo anterior, ,qué tipo de experimento se tiene que realizar para demostrar que el axioma hiperbélico es falso?, o de forma equivalent demostrar su negacién, es decir, Zes verdadero el postulado de las paralelas de Euctides? En primer lugar, habria que entender qué significa esta declaracién. En el ejemplo anterior, se entiende claramente el significado del objeto "piedra” y lo que significa la accién “soltar” dicho objeto, por lo que se puede actuar sobre este conocimiento. Pero, gqué significa que # es una “linea”, que P es un “punto” que no esta “en” / 0 qué significa que existe una “unica linea paralela” a ‘ que pasa por el punto P? Naturalmente, se representan los puntos y las lineas en un papel utilizando un lapiz y una. regla, se comienza dibujando PG perpendicular ala recta /, a continuacién se dlbula la recta m perpendicular a *@ que pasa por P, después se dibuja una linea que pasa por P y que forma un Angulo a con respecto a la linea m_. Usando trigonometria euciidiana, se puede calcular exactamente qué tan lejos de P hay que moverse sobre la linea n para llegar al punto s donde se supone que la linea n cruza a la linea #, pero si el angulo « se toma lo suficientemente pequefo, la distancia que hay desde el punto de interseccién al punto P se mediria en millones de kilémetros. Por lo tanto, no se pude realizar fisicamente el experimento para comprobar que el axioma hiperbélico es falso. Figura 1 La distancia PS es tan grande como se desee. Pero este experimento es geometria aplicada ya que la geometria pura estudia los conceptos y no los abjetos, los tinicos experimentos que se pueden realizar sobre esas lineas y puntos ideales es por medio de experimentos mentales. La cuestin es la siguiente: ¢se puede concebir una geometria no euclidiana?, Kant decia que no, que cualquier otra geometria distinta a la geometria euclidiana es inconcebible. En ese Educacién Abierta y a Distancia * Ciencias Exactas, Ingenierias y Tecnologias o euclidianas pendencia del postulado de las paralelas momento hist6rico, nadie habia concebido atin una geometria diterente. En este sentido, Gauss, Bolyai y Lobachevsky crearon un nuevo universo. Los matematicos rechazan muchas de sus propias ideas, ya que conducen a contradicciones 0 no conducen a ninguna parte, es decir, no son fructiferas, son inutiles y no son interesantes. Luego, gel axioma hiperbélico conduce a una contradiccién? 0 ges la geometria hiperbélica fructifera, utile interesante?, estas preguntas se pueden resumir en la siguiente: ges la geometria hiperbdlica consistente? Esta pregunta no debe ser exclusivamente para puntos y lineas, si no es aplicada al sistema completo de axiomas que determinan la geometria hiperbélica. Si la geometria hiperbélica fuera inconsistente, un ordinario argumento matematico debe llevar a una contradiccién. Como es familiar en matematicas, para demostrar la consistencia de un sistema se hace uso de la consistencia de un sistema previamente estudiado, en este caso la consistencia de la geomettia hiperbélica es garantizada por el siguiente resultado, el cual se enuncia sin demostracién: Teorema 3.1. Sila geometria euclidiana es consistente también lo es la geometria hiperbolica. Como consecuencia inmediata de este resultado se obtiene lo siguiente: Corolario 3.1.1. Si la geometria euciidiana es consistente, entonces no existe prueba 0 refutacién del postulado de las paralelas a partir de los restantes axiomas de Hilbert, en otras palabras, el postulado de las paralelas es independiente de los otros axiomas. Demostraci6n: Para esta prueba se procede por contradiccién del siguiente modo: (i). Supéngase que existe una prueba de la existencia del postulado de las paralelas (i). En consecuencia, la geometria hiperbolica tiene que ser inconsistente ya que se basa en la negacién del postulado de las paralelas. (ii). Pero la contrapositiva del Teorema 3.1 afirma que si la geometria hiperbélica es inconsistente entonces la geometria euclidiana es inconsistente. Lo que es una contradiccién. (iv). Finalmente la consistencia de la geometria euclidiana garantiza que no existe refutacién alguna para el postulado de las paralelas. Lo que demuestra el resultado, a Actividad 1. Métodos de solucién aplicados A través de esta actividad, podras identificar que existen sistemas axiomaticos, consistentes dentro del érea de matemdticas, desde la perspectiva de la geometria no euclidiana, Para ello: Educacién Abierta y a Distancia * Ciencias Exactas, Ingenierias y Tecnologias a no euclidianas Independencia del postulado de las paralelas 1. Investiga en diferentes fuentes, algunos criterios sobre los sistemas axiomaticos de las mateméticas 2. Ingresa al foro y responde las siguientes preguntas ‘+ équé otros sistemas axiomaticos consistentes aparecen en las matematicas?, a partir de tal sistema ‘= existe una teoria paralela similar a lo que pasa con la geometria euclidiana hiperbolica? 3. Compara tus respuestas con tres de tus compaferos, argumentando si aceptas 0 no su aportacion Consulta la nibrica general de la participacién en foros que se encuentra en la seccién “Material de apoyo". 3.1. Modelo de Beltrami-Klein En esta seccién se presenta un modelo para la geometria hiperbélica que fué propuesto por el matemattico italiano Eugenio Beltrami (1835-1899) y el matemético aleman Félix Klein (1849-1925)), por tal motivo toma el nombre de Modelo de Beltrami-Klein. Como se menciona en parrafos anteriores, para ver que este modelo representa ala geometria hiperbélica, se comienza presentando los objetos indefinidos, que en geometria son los puntos y las lineas, es decir, los axiomas de incidencias son verdaderos. Después hay que verificar que los axiomas de intermediacién, congruencia, continuidad y el axioma hiperbélico son verdaderos en este universo, cabe mencionar que estas demostraciones hacen uso de la consistencia de la geometria euclidiana, lo que muestra que la. consistencia de la geometria euclidiana implica la consistencia de la geome! hiperbélica. Definicién: Considera un circulo ¢ fijo en él plano euclidiano. Si 0 y OR denotan el centro y el radio del circulo ¢ respectivamente, el interior de c es el conjunto de todos los puntos X en el plano que satisfacen OX

    You might also like