Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lic.: matemáticas
Geometrías no euclidianas
Actividad: 3
Unidad 1
Para un rayo 𝑟, sea A el vértice del rayo, y supongamos que 𝐴 ∈ 𝛴1(el conjunto de puntos
en 𝑟 accesibles desde 𝐴). La conclusión del axioma de Dedekind debería ser entonces
que existe un punto O de tal forma que 𝛴1 es el segmento AO, con 𝛴2 como su
complemento, o 𝛴1 contiene A solamente con 𝛴2 como su complemento, o 𝛴2 es el rayo
̅̅̅̅, y 𝛴1 (se sigue del axioma de intermediación 2).
opuesto 𝑂𝐴
Para probar que la conclusión del Axioma de Dedekind para un rayo se sostiene dejamos
que 𝛴´1 represente la unión de 𝛴1 con el rayo opuesto a 𝑟 de tal forma que 𝛴2′ = 𝛴2 . Para
lo cual necesitamos mostrar que (𝛴1′ , 𝛴2′ ) es un corte de Dedekind en la línea 𝑙 de la cual
𝑟 es parte de esta, para lo cual (𝛴1′ , 𝛴2′ ) debe satisfacer 4 condiciones.
• Ninguno de los conjuntos 𝛴1′ 𝑦 𝛴2′ es vacío ya que 𝛴1 𝑦 𝛴2 no son vacios por nuestro
supuesto inicial ya que asumimos que (𝛴1 , 𝛴2 ) es un corte de Dedekind.
• También es claro que la unión de (𝛴1′ 𝑦 𝛴2′ ) contiene todo punto en 𝑙, ya que, por
definición de corte de Dedekind, 𝛴1 ∪ 𝛴2 = 𝑟 y todo punto sobre 𝑙 está en 𝑟 o opuesto a 𝑟
debido a la proposición
• Finalmente, para probar que ningún punto de 𝛴1′ se encuentra entre dos puntos de 𝛴2′ =
𝛴2 , dejemos que 𝑃1 ∈ 𝛴1′ 𝑦 𝑃2 , 𝑃´2 sean cualesquiera dos elementos distintos de 𝛴2 . Si
𝑃1 ∈ 𝛴1 , entonces este no se encuentra entre 𝑃2 𝑦 𝑃´2 . Por otro lado, si 𝑃1 se encuentra
en el rayo opuesto de 𝑟 y diferente de 𝐴 entonces de la proposición 3.6 Greenberg y del
axioma de intermediación 3, 𝑃1 ∗ 𝐴 ∗ 𝑃2′ .
Por definición de rayo 𝑟, asumimos que 𝐴 ∗ 𝑃2 ∗ 𝑃2′ y aplicando la proposición 3.3
Greenberg se sigue que 𝑃1 ∗ 𝑃2 ∗ 𝑃2′ . Por lo tanto, por el axioma de intermediación 3, 𝑃1
no se encuentra entre los puntos 𝑃2 𝑦 𝑃2′
Por lo tanto, ya que (𝛴1′ , 𝛴2′ ) es un corte de Dedekind sobre la línea 𝑙, entonces existe un
punto 𝑂 de tal forma que uno de estos 2 conjuntos es un rayo que emana desde 𝑂 y el
otro es un complemento del rayo.
Dado un triángulo Δ𝐴𝐵𝐶, donde tomando una línea 𝑙 paralela al lado 𝐴𝐵 de Δ𝐴𝐵𝐶.
Suponiendo que 𝑙 pasa de forma única por la arista 𝐶 de Δ𝐴𝐵𝐶 (es decir que solo existe
una sola paralela con respecto a 𝐴𝐵 que pasa por 𝐶), se sigue entonces por el postulado
de suma ángulos (axioma de congruencia 6) se sigue que ∠1 + ∠5 ≅ ∠𝐴𝐶𝑋.
Tenemos que ∠𝐴𝐶𝑋 y ∠4 forma un par lineal (es decir son suplementarios) por lo que por
el postulado de pares lineales tenemos que ∠𝐴𝐶𝑋 + ∠4 = 180°. Por lo que se sigue que
∠1 + ∠4 + ∠5 = 180°, entonces del teorema de ángulos alternos internos.
Por la hipótesis de que el ángulo es agudo y por el teorema del ángulo exterior, se
demuestra mediante un argumento de reducción al absurdo que X 'en realidad se
encuentra en r; por lo que podemos elegir X para que sea X '. El axioma de Aristóteles
garantiza que Y puede elegirse de tal manera que XY> PQ. Según el axioma 1 de
congruencia, hay un punto R en 𝑄̅ 𝐵 tal que 𝑄𝑅 ≅ 𝑋𝑉. Podemos establecer ∠𝑃𝑅𝑄 ≅ ∠𝑋𝑉𝑌.
En caso de asumir lo contrario.
Por tanto, ∠𝑃𝑅𝑄 ≅ ∠ 𝑋𝑉𝑌, como habíamos dicho. Si R se encuentra en el rayo ̅̅̅̅ 𝐴𝐵,
entonces ∠𝑃𝑅𝑄 = ∠𝑃𝑅𝐴. Si no, R y Q se encuentran en el rayo opuesto. Según el
teorema del ángulo exterior, si 𝑅′ es cualquier punto tal que 𝑄 ∗ 𝑅 ∗ 𝑅′, entonces ∠𝑃𝑅′𝑄 <
∠ 𝑋𝑉𝑌 tomando 𝑅 ′ = 𝐵.
REFERNCIAS:
Robn Hartshorn. (2000). Geometry_ Euclid and Beyon. Estados Unidos: Springer.