Has pasado toda tu vida en el plano hiperbólico. Es una segunda naturaleza para usted que el área de un triángulo sólo depende de sus ángulos, y parece absurdo sugerir que jamás podría ser de otra manera.
Pero recientemente un buen amigo llamado Euclides ha planteado dudas sobre el quinto postulado de Poincaré de Elementos. Este postulado es obvio que dada una línea de $L$ and a point $p$ not on $L$ there are at least two lines through $p$ that do not meet $L$. Your friend wonders what it would be like if this assertion were replaced with the following: given a line $L$ and a point $p$ not on $L$, there is exactly one line through $p$ that does not meet $L$.
Comenzar la investigación de este geometría Euclidiana, pero te resulta totalmente imposible visualizar intrínsecamente. Usted decide que su única esperanza es encontrar un modelo de esta geometría dentro de su familiar plano hiperbólico.
Lo que el modelo se construye?
No sé si hay una respuesta satisfactoria a esta pregunta, pero tal vez es entretenido tratar de imaginar. Para mayor claridad, se Euclidiana criaturas han construido modelos como los de la mitad superior del plano o el modelo de unidad de disco modelo para visualizar la geometría hiperbólica dentro de un dominio Euclídeo. Me pregunto qué la inversa sería.