Welcome to MathOverflow

Question

2

One can make a model of the hyperbolic plane inside the Euclidean plane, either using the conformal model or projective model.

How does one make a model of the Euclidean plane inside the hyperbolic plane?

flag	asked Aug 31 at 16:09 solovei 338●5

3

math.SE duplicate! math.stackexchange.com/questions/1347/… – Qiaochu Yuan Aug 31 at 16:20

There are infinitely many diffeomorphisms from the Euclidean plane to an open subset of the hyperbolic plane. You'd want to find a diffeomorphism with some nice property, to distinguish it from this enormous family. An obvious choice is to find a conformal mapping, but by Liouville's theorem there is none. Why do you want such a map? Is there any property you would like it to have? – Will Sawin Aug 31 at 16:25

I want to know what are the lines in the geometry, how to compute distance and angle.. – solovei Aug 31 at 17:12

@Will Can you do it with algebraic functions? – solovei Aug 31 at 17:23

2

There's the tangent space to a point in hyperbolic space. That's Euclidean. – Ryan Budney Aug 31 at 20:42

show 1 more comment

Igor Rivin · Accepted Answer · 2012-08-31 17:47:28Z UTC

5

I believe there is no good model of $\mathbb{E}^2$ in $\mathbb{H}^2.$ However, there is an excellent model in $\mathbb{H}^3:$ any horosphere will work.

Also This is not particularly interesting, but if you use the hyperboloid model of $\mathbb{H}^2,$ you can project it (from, e.g., the point $(2, 0, 0)$ onto the $(x, y)$ plane. This will give an algebraic model of $\mathbb{E}^2$ in $\mathbb{H}^2.$

edited Aug 31 at 17:47

answered Aug 31 at 16:54

Igor Rivin
31.1k●3●37●71

Yes I know that. That's why I want the smaller dimension. – solovei Aug 31 at 17:11

2

Look at the Also. – Igor Rivin Aug 31 at 17:47

@Igor How do I see triangles have 180 degrees? – solovei Aug 31 at 18:09

The $(x, y)$ plane is a Euclidean plane? – Igor Rivin Aug 31 at 19:21

2

Hyperboloid is a graph over the xy plane. – Deane Yang Aug 31 at 22:40

show 1 more comment

Roy Maclean · Answer 2 · 2012-09-01 08:00:17Z UTC

This is a response to Will Sawin's comment "What algebraic structure would you place on $\mathbb{H}^2$?"

On $\mathbb{R}^n$ there is a vector space structure where

1) The metric is given by $d(\mathbf{u},\mathbf{v})=\|\mathbf{u}-\mathbf{v}\|$

and

2) given three points $U,V,W$ the angle $U\hat WV$ satisfies $\cos \theta = \frac{(-W+U)\cdot(-W+V)}{\|-W+U\|\|-W+V\|}$

Analogously, for some models of $\mathbb{H}^n$ with points identified with a subset of $\mathbb{R}^n$ there is a vector-like structure but with a noncommutative, nonassociative binary operation $\oplus$ where

1) The metric is given by $d(\mathbf{u},\mathbf{v})=\|\mathbf{u} \ominus \mathbf{v} \| $

and

2) given three points $U,V,W$ the angle $U\hat WV$ satisfies $\cos \theta = \frac{(\ominus W\oplus U)\cdot(\ominus W\oplus V)}{\|\ominus W\oplus U\|\|\ominus W\oplus V\|}$

$\| \|$ and $\cdot $ are the vector norm and dot product inherited from $\mathbb{R}^n$.

$\ominus a$ denotes the left inverse of a.

$a\ominus b$ denotes $a\oplus (\ominus b)$.

Note the use of the trig function "cos" even though this hyperbolic geometry.

For the Beltrami-Klein model the binary operation $\oplus$ is given by the formula for relativistic velocity-addition.

Euclidean inside Hyperbolic

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.