0
$\begingroup$

I have read that there is a model of Euclidean Geometry in the Hyperbolic Plane, but can't find any description on the web in a digestible form and thought I'd ask this question: If one can describe the Euclidean Model of Geometry found in the Hyperbolic Plane in plain English, with math symbols here and there, but no need for formal proofs or anything at this point. I would just like to get an intuition of how it can be found in the Hyperbolic Plane.

To me this sounds like there is some way to create a model of say a cube or a sphere or something 2D like a rectangle or triangle, from the Hyperbolic Plane alone. It would be interesting to see an example of something 2D and/or 3D to help illuminate, but if it is too complicated then just a description of how you can apply the model would be a good start.

They say Hyperbolic Geometry is a non-Euclidean Geometry, but this would seem to mean that it is both non-Euclidean and yet capable of modeling Euclidean geometry, or something like that.

In addition to providing an explanation, please provide an example so I can see how it is applied.

$\endgroup$
  • 1
    $\begingroup$ Read Wikipedia Horosphere for the story. $\endgroup$ – Somos Feb 20 at 4:38
  • $\begingroup$ Doesn't have enough information unfortunately. In addition, I think that is 3D hyperbolic geometry and I'm wondering about 2D (hyperbolic plane). $\endgroup$ – user10869858 Feb 20 at 4:41
  • $\begingroup$ What kind of model are you looking for? $\endgroup$ – Somos Feb 20 at 4:46
  • $\begingroup$ A model of euclidean geometry in 2d hyperbolic plane. $\endgroup$ – user10869858 Feb 20 at 4:46
  • $\begingroup$ Related (duplicate?): "Hyperbolic critters studying Euclidean geometry" $\endgroup$ – Blue Feb 20 at 4:46
3
$\begingroup$

Given the Hyperbolic plane and ond any origin point, introduce $(r,\theta)$ polar coordinates. That is, each point in the plane has a distance $0\le r$ from the origin and an angle of $\theta$ from a reference angle. Map any point with $(r,\theta)$ coordinates to the point in the Euclidean plane with the same polar coordinates. This is a one-to-one mapping between the entire Hyperbolic plane and the entire Euclidean plane giving a model of the Euclidean plane in the Hyperbolic plane. Of course, it is not an isometric or even conformal model.

If you are allowed to use Hyperbolic 3 space, then any Horosphere is an isometric embedded model of the Euclidean plane. This is exactly similar to the situation in Euclidean 3 space where the surface of any sphere (antipodal points identified) is an isometric embedded model of the elliptic plane in Elliptic geometry.

$\endgroup$
  • $\begingroup$ Without having any more context than this it is hard to understand, though I will take this as true and try to figure out some more. Maybe you could show an example, and explain why this works. $\endgroup$ – user10869858 Feb 20 at 4:57
  • $\begingroup$ You have to identify the points on the antipodes of the sphere to make it an elliptic plane. $\endgroup$ – Zeno Rogue Feb 20 at 16:06
  • $\begingroup$ Also, horosphere is not only a "conformal" model of Euclidean plane in $H^3$, but even an isometric one -- both angles and distances are correct, so it is much more accurate than e.g. the Poincaré disk model which is conformal but not isometric, and thus it looks nicely but it does not give right ideas about distances. (Same with the sphere.) $\endgroup$ – Zeno Rogue Feb 20 at 16:35
  • 1
    $\begingroup$ @ZenoRogue Thanks for reminding me. $\endgroup$ – Somos Feb 20 at 16:49
  • $\begingroup$ Instead of a distance and an angle, you can also use two distances (to two different points). That's basically how this works. $\endgroup$ – PyRulez Feb 27 at 3:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.