Math 2.0

Geometry Non-Euclidean geometries Example

Beltrami–Klein model

Builds on Hyperbolic geometryCayley–Klein metricPoincaré disk model

Example

The Beltrami–Klein model of the hyperbolic plane is the open unit disc D={x∈ℝ2:∣x∣<1}D = \set{x \in \R^2 : \abs{x} < 1} with the following distance. For distinct points p,q∈Dp, q \in D, the line through pp and qq meets the unit circle in two points aa and bb. Label them so that the order along the line is a,p,q,ba, p, q, b. Then d(p,q)=12ln⁡∣aq∣ ∣pb∣∣ap∣ ∣qb∣,d(p, q) = \frac{1}{2} \ln \frac{\abs{aq} \, \abs{pb}}{\abs{ap} \, \abs{qb}}, where ∣xy∣\abs{xy} is the Euclidean distance, and d(p,p)=0d(p, p) = 0. This is the Cayley–Klein metric whose absolute is the unit circle, and it makes DD a metric space. The lines of the model are the open chords of the disc.

Check on a diameter: take p=(0,0)p = (0, 0) and q=(r,0)q = (r, 0) with 0<r<10 < r < 1. Then a=(−1,0)a = (-1, 0) and b=(1,0)b = (1, 0), so ∣aq∣=1+r\abs{aq} = 1 + r, ∣pb∣=1\abs{pb} = 1, ∣ap∣=1\abs{ap} = 1 and ∣qb∣=1−r\abs{qb} = 1 - r. The formula gives d(p,q)=12ln⁡1+r1−r=artanh⁡rd(p, q) = \frac{1}{2} \ln \frac{1 + r}{1 - r} = \operatorname{artanh} r, which tends to ∞\infty as r→1r \to 1. So the boundary circle lies at infinite distance, and the disc is a whole infinite plane.

Remarks

Through a point pp not on a chord ℓ\ell there pass infinitely many chords that do not meet ℓ\ell inside the disc, so the parallel postulate fails. The isometries of the model are the projective transformations of the plane that map the disc onto itself. The model is not conformal: Euclidean angles between chords are in general not the hyperbolic angles. The map u↦2u/(1+∣u∣2)u \mapsto 2u / (1 + \abs{u}^2) is an isometry from the Poincaré disk model onto the Beltrami–Klein model. Indeed, a point at Poincaré distance tt from the centre has Euclidean radius tanh⁡(t/2)\tanh(t/2) in the Poincaré disc and tanh⁡t\tanh t in the Klein disc, and tanh⁡t=2tanh⁡(t/2)/(1+tanh⁡2(t/2))\tanh t = 2 \tanh(t/2) / (1 + \tanh^2(t/2)).

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Cayley–Klein metric concept
  2. Hyperbolic geometry concept
  3. Poincaré disk model object
  4. Beltrami–Klein model example

Where this leads

3 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Beltrami%E2%80%93Klein_model
About this page
Tag1WN9B18H86
URIm2://1WN9B18H86
Kindexample
WritingW0 stub
MSC51M10, 51N15
Instance ofMetric space
UsesHyperbolic geometry, Cayley–Klein metric, Poincaré disk model
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by