The Central Idea
Hyperbolic geometry is a non-Euclidean geometry in which space has constant negative curvature in its standard form.
The geometry is not obtained by making diagrams look unusual. It comes from changing the geometric rules used to define distance, straightness, and parallel behavior.
The central contrast is:
- Euclidean geometry is flat;
- spherical geometry has positive curvature;
- hyperbolic geometry has negative curvature.
The Parallel Postulate Changes
In Euclidean geometry, given a line \(\ell\) and a point \(P\) not on that line, exactly one line through \(P\) is parallel to \(\ell\).
Hyperbolic geometry replaces that behavior. Through \(P\), there are infinitely many hyperbolic lines that do not intersect \(\ell\).
Symbolically, if \(P\notin\ell\), then there are infinitely many lines \(m\) through \(P\) such that
\[ m\cap\ell=\varnothing. \]Changing One Assumption Changes Many Consequences
Euclidean geometry contains many theorems that depend, directly or indirectly, on Euclid's parallel postulate.
Once parallel behavior changes, other familiar conclusions change with it. For example, in the hyperbolic plane:
- triangle angle sums are less than \(180^\circ\);
- similar triangles of different sizes do not exist;
- circumference grows faster than \(2\pi r\);
- areas grow faster with radius than in the Euclidean plane;
- the geometry contains many nonintersecting lines through an external point.
What Does Negative Curvature Mean?
A familiar local picture of negative curvature is a saddle-like surface: it bends in opposite directions along different cross-sections.
A literal saddle embedded in three-dimensional Euclidean space is useful as intuition, but the complete hyperbolic plane is an intrinsic geometric space. It does not need to be treated as a physical sheet bent inside ordinary three-dimensional space.
The standard hyperbolic plane has constant Gaussian curvature
\[ K=-\frac{1}{R^2}, \]where \(R>0\) sets the curvature scale.
The Curvature Scale
In
\[ K=-\frac{1}{R^2}, \]larger values of \(R\) correspond to curvature whose magnitude is smaller. As \(R\) becomes very large, sufficiently small regions look increasingly Euclidean.
This local flatness is important. Curved geometries can resemble Euclidean geometry over small enough distances even when their global behavior is different.
Hyperbolic Lines
The paths that play the role of straight lines in hyperbolic geometry are geodesics.
A geodesic is locally the straightest possible path according to the geometry of the space. Short enough portions of a geodesic also minimize distance between nearby points.
The exact appearance of a hyperbolic geodesic depends on the model used to draw the hyperbolic plane.
Models of Hyperbolic Geometry
Because the full hyperbolic plane cannot be represented on an ordinary flat page without distortion, mathematicians use models.
A model represents hyperbolic points, lines, angles, and distances using objects inside ordinary Euclidean space, but with special geometric rules.
Common models include:
- the Poincaré disk model;
- the Poincaré upper half-plane model;
- the Klein disk model;
- the hyperboloid model.
A Model Is Not the Geometry Itself
This distinction is essential.
A map of Earth is not Earth. In the same way, a Poincaré disk drawing is a representation of the hyperbolic plane, not the hyperbolic plane itself.
Euclidean lengths measured with a ruler on the picture generally are not hyperbolic lengths. The model supplies its own metric for measuring distance.
The Poincaré Disk Model
The Poincaré disk model represents the entire hyperbolic plane inside the interior of a Euclidean circle, often chosen to be the unit disk
\[ x^2+y^2<1. \]The boundary circle is not part of the hyperbolic plane. It represents ideal limiting directions that are infinitely far away in hyperbolic distance.
Lines in the Poincaré Disk
Hyperbolic lines in the Poincaré disk appear as either:
- Euclidean diameters of the disk; or
- arcs of Euclidean circles that meet the boundary circle at right angles.
These arcs may look curved on the page, but they are the geodesics of the hyperbolic metric.
Why Some Hyperbolic Lines Look Curved
Straightness belongs to the geometry being used, not merely to the visual appearance of a path in a particular coordinate picture.
A great circle can look curved on a flat world map even though it is a geodesic on a sphere. Similarly, a circular arc in the Poincaré disk can be a hyperbolic straight line.
The Poincaré Disk Preserves Angles
The Poincaré disk is a conformal model. This means that the Euclidean angle at which model curves meet equals the corresponding hyperbolic angle.
Therefore, angle measurements can be read directly from the picture, even though lengths cannot.
This makes the disk especially useful for studying hyperbolic triangles and angular relationships.
The Poincaré Upper Half-Plane Model
Another conformal model represents the hyperbolic plane by the points
\[ y>0 \]in the ordinary coordinate plane.
Hyperbolic lines appear as either:
- vertical Euclidean lines; or
- semicircles whose centers lie on the boundary line \(y=0\).
The boundary \(y=0\) is not itself part of the hyperbolic plane.
The Boundary Is Infinitely Far Away
In the Poincaré models, points appear to crowd near the boundary. This does not mean hyperbolic space is running out of room.
Instead, the metric expands distances more and more strongly near the boundary. A path can approach the boundary forever without reaching it in finite hyperbolic distance.
The finite-looking disk therefore represents an infinite hyperbolic plane.
A Radial Distance Formula in the Disk
In the unit Poincaré disk with curvature
\[ K=-\frac{1}{R^2}, \]let \(\rho\) be the ordinary Euclidean distance from the center, where \(0\le\rho<1\).
The hyperbolic distance from the center is
\[ \boxed{d=2R\operatorname{artanh}(\rho)}. \]Equivalently,
\[ \boxed{d=R\ln\left(\frac{1+\rho}{1-\rho}\right)}. \]Why the Boundary Is Infinitely Far Away
In the radial formula
\[ d=R\ln\left(\frac{1+\rho}{1-\rho}\right), \]the denominator \(1-\rho\) approaches zero as \(\rho\to1^-\).
Therefore,
\[ d\to\infty. \]A point can look close to the model boundary in Euclidean coordinates while still being extremely far away hyperbolically.
Example: Distance from the Center
Suppose \(R=1\) and a point in the unit Poincaré disk has Euclidean radial coordinate
\[ \rho=\frac12. \]Then
\[ d=\ln\left(\frac{1+1/2}{1-1/2}\right) =\ln\left(\frac{3/2}{1/2}\right) =\boxed{\ln 3}. \]Intersecting and Nonintersecting Hyperbolic Lines
Two hyperbolic lines may intersect at an ordinary point of the hyperbolic plane, or they may remain disjoint.
Among disjoint lines, it is useful to distinguish two kinds of behavior:
- limiting parallel lines approach the same ideal boundary point;
- ultraparallel lines remain separated and do not share an ideal endpoint.
Limiting Parallels
Given a hyperbolic line \(\ell\) and an external point \(P\), there are two special nonintersecting lines through \(P\) that separate directions that intersect \(\ell\) from directions that remain disjoint from \(\ell\).
These are often called limiting parallels or asymptotically parallel lines.
Beyond those limiting directions lies an entire range of other nonintersecting lines through \(P\).
Ultraparallel Lines
Two disjoint hyperbolic lines that do not share an ideal endpoint are called ultraparallel.
A fundamental fact is that two ultraparallel lines have a unique common perpendicular geodesic.
The length of the segment of this common perpendicular between the lines gives their minimum separation.
Why “Parallel” Needs Care
Different textbooks use the word parallel in slightly different ways in hyperbolic geometry.
Some use it broadly for any two nonintersecting lines. Others reserve it for limiting parallels and call the other nonintersecting lines ultraparallel.
The safest practice is to state explicitly which kind of nonintersection is intended.
Hyperbolic Triangles
A hyperbolic triangle is formed by three geodesic segments joining three noncollinear points in the hyperbolic plane.
The triangle has familiar ingredients:
- three vertices;
- three geodesic sides;
- three interior angles.
But its angle sum behaves differently from a Euclidean triangle.
Triangle Angle Sums
If a hyperbolic triangle has interior angles \(A\), \(B\), and \(C\), then
\[ \boxed{A+B+C<\pi}. \]In degrees,
\[ \boxed{A+B+C<180^\circ}. \]This is the opposite inequality from spherical geometry, where nondegenerate spherical triangles have angle sums greater than \(180^\circ\).
Angular Defect
The amount by which a hyperbolic triangle's angle sum falls short of \(\pi\) is called its angular defect.
\[ \boxed{D=\pi-(A+B+C)}. \]In degrees,
\[ \boxed{D=180^\circ-(A+B+C)}. \]Every ordinary hyperbolic triangle has positive defect.
Example: Finding the Defect
Suppose a hyperbolic triangle has angles
\[ 50^\circ,\qquad60^\circ,\qquad40^\circ. \]Its angle sum is
\[ 50^\circ+60^\circ+40^\circ=150^\circ. \]Therefore, the defect is
\[ \boxed{180^\circ-150^\circ=30^\circ}. \]Triangle Area from Angular Defect
In a hyperbolic plane of constant curvature
\[ K=-\frac{1}{R^2}, \]the area of a triangle is determined by its angular defect:
\[ \boxed{\text{Area}=R^2\left[\pi-(A+B+C)\right]}. \]Angles must be measured in radians when this formula is used directly.
Example: Triangle Area
Let \(R=3\), and suppose
\[ A+B+C=\frac{5\pi}{6}. \]The angular defect is
\[ D=\pi-\frac{5\pi}{6}=\frac{\pi}{6}. \]Therefore,
\[ \text{Area}=3^2\left(\frac{\pi}{6}\right) =\boxed{\frac{3\pi}{2}}. \]Larger Hyperbolic Triangles Have Larger Defect
For fixed curvature, area and angular defect are directly proportional.
A small hyperbolic triangle has an angle sum close to \(180^\circ\). A much larger triangle has a more noticeable defect.
This gives a geometric way to see curvature: the failure of the Euclidean angle-sum rule grows as the region becomes large enough to reveal the underlying geometry.
No Nontrivial Similar Triangles of Different Sizes
In Euclidean geometry, two triangles can have the same angles but different side lengths. They are similar but not congruent.
In hyperbolic geometry, the angles of a triangle determine its area through angular defect. For a fixed curvature, they also determine its side lengths.
Consequently, two hyperbolic triangles with the same corresponding angles are congruent. There is no separate scale factor producing a larger but otherwise similar hyperbolic triangle.
AAA Becomes a Congruence Condition
In Euclidean geometry, AAA establishes similarity.
In hyperbolic geometry, equality of all three corresponding angles fixes the triangle completely, so AAA determines congruence.
This is a striking example of how changing the parallel postulate changes familiar theorem structures.
Hyperbolic Circles
A hyperbolic circle is the set of points a fixed hyperbolic distance \(r\) from a center.
In a plane of curvature
\[ K=-\frac{1}{R^2}, \]the circumference of a circle of hyperbolic radius \(r\) is
\[ \boxed{C=2\pi R\sinh\left(\frac{r}{R}\right)}. \]Comparing Hyperbolic and Euclidean Circumference
In Euclidean geometry,
\[ C_{E}=2\pi r. \]In hyperbolic geometry,
\[ C_{H}=2\pi R\sinh\left(\frac{r}{R}\right). \]For every \(r>0\),
\[ \sinh\left(\frac{r}{R}\right)>\frac{r}{R}, \]so
\[ \boxed{C_H>2\pi r}. \]Area of a Hyperbolic Disk
The area inside a hyperbolic circle of radius \(r\) is
\[ \boxed{A=2\pi R^2\left[\cosh\left(\frac{r}{R}\right)-1\right]}. \]This exceeds the Euclidean area \(\pi r^2\) for every positive radius.
Hyperbolic space therefore has more room at large distances than the Euclidean plane.
Exponential Growth of Space
For large \(x\),
\[ \sinh x\approx\frac{e^x}{2} \]and
\[ \cosh x\approx\frac{e^x}{2}. \]Therefore, hyperbolic circumference and area eventually grow roughly exponentially with radius.
This rapid growth is one of the most important large-scale differences between hyperbolic and Euclidean geometry.
Small Regions Look Nearly Euclidean
For small \(x\),
\[ \sinh x\approx x \]and
\[ \cosh x-1\approx\frac{x^2}{2}. \]Substituting these approximations gives
\[ C\approx2\pi r \]and
\[ A\approx\pi r^2. \]Thus ordinary Euclidean formulas are good local approximations when the region is small compared with the curvature scale \(R\).
Equilateral Triangles
A Euclidean equilateral triangle has three \(60^\circ\) angles.
A nondegenerate hyperbolic equilateral triangle has three equal angles, but each angle is less than \(60^\circ\).
As the side length grows, the angles become smaller. The size of a hyperbolic triangle is therefore encoded in its angles.
Ideal Triangles
An ideal triangle has vertices at ideal boundary points rather than ordinary points of the hyperbolic plane.
Each interior angle approaches zero, so its total angle sum is
\[ 0. \]Its angular defect is therefore \(\pi\). For curvature \(K=-1/R^2\), its area is
\[ \boxed{\pi R^2}. \]This is the maximum possible area for a hyperbolic triangle at that curvature scale.
Finite Area with Vertices Infinitely Far Away
Ideal triangles reveal a surprising feature of hyperbolic geometry. Their vertices lie infinitely far away, yet the total area of the triangle is finite.
This is possible because distance and area do not behave as they do in the Euclidean plane. Infinite extent in one sense does not force infinite area.
Distance and Geodesics
A hyperbolic geodesic is determined by the metric of the space. Between two ordinary points of the hyperbolic plane, there is a unique geodesic segment.
The hyperbolic distance between the points is the length of that segment according to the hyperbolic metric.
This general idea extends far beyond hyperbolic geometry and will be the focus of the next lesson on geodesics.
Hyperbolic Geometry Is Internally Consistent
For centuries, mathematicians attempted to prove Euclid's parallel postulate from his other assumptions. The development of hyperbolic geometry showed that a logically coherent geometry can arise when the parallel postulate is replaced.
Concrete models such as the Poincaré disk demonstrate that hyperbolic geometry can be represented within ordinary mathematics. This established that the Euclidean parallel postulate is not simply a disguised consequence of the other standard Euclidean assumptions.
Geometry Depends on Assumptions
Euclidean, spherical, and hyperbolic geometries are not competing answers to one identical question. They describe different geometric structures.
Each begins with definitions and assumptions, then develops consequences by logical reasoning.
A theorem can therefore be true in one geometry and false in another without contradiction, because the underlying assumptions differ.
Euclidean, Spherical, and Hyperbolic Comparison
| Feature | Euclidean | Spherical | Hyperbolic |
|---|---|---|---|
| Curvature | Zero | Positive | Negative |
| Triangle angle sum | Exactly \(180^\circ\) | Greater than \(180^\circ\) | Less than \(180^\circ\) |
| Nonintersecting lines through an external point | Exactly one | None for complete great-circle lines | Infinitely many |
| Circle circumference compared with \(2\pi r\) | Equal | Smaller for intrinsic radius below the antipodal limit | Larger |
A Useful Curvature Pattern
The three constant-curvature geometries form a useful conceptual pattern:
\[ \begin{array}{c|c|c} \text{Geometry} & K & A+B+C \\ \hline \text{Spherical} & K>0 & >\pi \\ \text{Euclidean} & K=0 & =\pi \\ \text{Hyperbolic} & K<0 & <\pi \end{array} \]Curvature leaves measurable signatures in ordinary geometric quantities.
Hyperbolic Tessellations
Because hyperbolic space has more room than the Euclidean plane, regular polygons can tile the hyperbolic plane in combinations that are impossible in Euclidean geometry.
For example, sufficiently many congruent equilateral triangles can meet at one vertex because each hyperbolic triangle angle can be smaller than \(60^\circ\).
Hyperbolic tessellations provide striking visual examples of negative curvature and appear frequently in mathematical art.
Example: Why Seven Equilateral Triangles Can Meet
In Euclidean geometry, an equilateral triangle has angle \(60^\circ\), so exactly six fit around a point:
\[ 6(60^\circ)=360^\circ. \]In hyperbolic geometry, an equilateral triangle can have angles smaller than \(60^\circ\). If each angle were, for example, \(\frac{360^\circ}{7}\), then seven congruent triangles could meet around one vertex.
The extra combinatorial room reflects negative curvature.
Applications and Connections
Hyperbolic geometry appears in several areas of mathematics and science. Important connections include:
- complex analysis and conformal mappings;
- topology and the classification of surfaces;
- group theory and geometric group theory;
- differential geometry;
- relativity and spacetime-related geometric models;
- network visualization and hierarchical data;
- mathematical art and tessellation.
Hyperbolic Geometry and Hierarchical Networks
Trees and hierarchical networks branch rapidly as distance from a root increases. Hyperbolic space also provides rapidly increasing room as radius grows.
Because of this structural similarity, hyperbolic embeddings can be useful for representing large hierarchical data sets with relatively low distortion.
The application is modern, but the underlying reason comes directly from the geometry's exponential growth.
Common Error: Treating the Disk Boundary as Part of the Plane
In the Poincaré disk model, the boundary circle is not made of ordinary hyperbolic points.
A geodesic arc can approach the boundary indefinitely, but the boundary is infinitely far away according to the hyperbolic metric.
Do not treat a boundary point as an ordinary endpoint that can be reached by traveling a finite hyperbolic distance.
Common Error: Measuring Hyperbolic Length with a Euclidean Ruler
A Euclidean ruler measures distances in the drawing, not hyperbolic distances in the represented geometry.
Near the edge of the Poincaré disk, visually short Euclidean gaps can represent very large hyperbolic distances.
Always use the metric belonging to the model.
Common Error: Assuming a Curved Arc Cannot Be a Straight Line
Hyperbolic straightness is intrinsic.
In the Poincaré disk, a circular arc orthogonal to the boundary can be a geodesic even though it appears curved in Euclidean coordinates.
The picture is distorted; the geometry is not.
Common Error: Using the Euclidean Triangle Sum
In a nondegenerate hyperbolic triangle,
\[ A+B+C<180^\circ. \]If a proposed hyperbolic triangle has angle sum greater than or equal to \(180^\circ\), it cannot be an ordinary finite triangle in the standard hyperbolic plane.
Common Error: Saying There Are Exactly Two Parallels
Through an external point there are two limiting parallels to a given line, but there are infinitely many nonintersecting lines altogether.
The two limiting parallels mark boundary directions between lines that intersect the given line and those that remain disjoint.
Confusing these two statements hides an important part of hyperbolic geometry.
Common Error: Thinking Hyperbolic Geometry Is Inconsistent
Hyperbolic geometry contradicts some Euclidean theorems because its assumptions are different, not because its reasoning is defective.
Within its own axiomatic framework, hyperbolic geometry is logically coherent and supports a rich theory of distance, angle, area, symmetry, and transformation.
A Reliable Procedure for Hyperbolic Triangle Problems
- Identify the triangle's three interior angles.
- Convert degrees to radians if an area formula will be used.
- Find the angle sum \(A+B+C\).
- Verify that the sum is less than \(\pi\).
- Compute the angular defect \(D=\pi-(A+B+C)\).
- If curvature is \(-1/R^2\), use \(\text{Area}=R^2D\).
- Check that the resulting area is positive.
A Reliable Procedure for Reading a Poincaré Disk Diagram
- Treat only the interior of the boundary circle as ordinary hyperbolic points.
- Identify geodesics as diameters or boundary-orthogonal circular arcs.
- Read angles directly because the model is conformal.
- Do not read hyperbolic lengths from Euclidean ruler measurements.
- Remember that the boundary is infinitely far away.
- Distinguish intersecting, limiting-parallel, and ultraparallel geodesics.
Example: Valid or Invalid Angle Set?
Could a hyperbolic triangle have angles
\[ 70^\circ,\qquad65^\circ,\qquad50^\circ? \]Their sum is
\[ 70^\circ+65^\circ+50^\circ=185^\circ. \]Because \(185^\circ>180^\circ\), this cannot be the angle set of an ordinary hyperbolic triangle.
Example: A Nearly Euclidean Triangle
Suppose a hyperbolic triangle has angle sum
\[ 179.9^\circ. \]Its defect is only
\[ 0.1^\circ. \]Such a triangle behaves almost Euclidean with respect to angle sum. This is what we expect when the triangle is small relative to the curvature scale.
Example: Comparing Circle Growth
Let \(R=1\) and \(r=2\). The Euclidean circumference would be
\[ C_E=4\pi. \]The hyperbolic circumference is
\[ C_H=2\pi\sinh 2. \]Since \(\sinh 2>2\), we immediately know
\[ C_H>4\pi. \]The hyperbolic circle contains more circumference at the same intrinsic radius.
Practice 1: Parallel Behavior
A point \(P\) lies outside a hyperbolic line \(\ell\). How many hyperbolic lines through \(P\) fail to intersect \(\ell\)?
Practice 2: Triangle Angle Sum
Determine whether the following angles can form an ordinary hyperbolic triangle:
\[ 55^\circ,\qquad48^\circ,\qquad62^\circ. \]Practice 3: Angular Defect
Find the angular defect of a hyperbolic triangle with angles
\[ 45^\circ,\qquad55^\circ,\qquad50^\circ. \]Practice 4: Triangle Area
In a hyperbolic plane with curvature \(K=-1/16\), a triangle has angle sum
\[ \frac{3\pi}{4}. \]Find its area.
Practice 5: Poincaré Disk Geodesic
In the Poincaré disk model, which of the following can represent a complete hyperbolic line?
- a Euclidean diameter;
- an arbitrary chord not passing through the center;
- a circular arc meeting the boundary at right angles.
Practice 6: Distance from the Disk Center
In a unit Poincaré disk with \(R=2\), find the hyperbolic distance from the center to a point with Euclidean radial coordinate
\[ \rho=\frac13. \]Practice 7: Circle Circumference
Write the circumference of a hyperbolic circle of radius \(r\) in a plane with curvature
\[ K=-\frac{1}{25}. \]Practice 8: Ideal Triangle
Find the area of an ideal triangle in a hyperbolic plane with curvature
\[ K=-\frac19. \]Practice Answers
Practice 1
There are infinitely many lines through \(P\) that do not intersect \(\ell\).
Practice 2
The angle sum is
\[ 55^\circ+48^\circ+62^\circ=165^\circ. \]Since \(165^\circ<180^\circ\), these angles can form a hyperbolic triangle.
Practice 3
The angle sum is
\[ 45^\circ+55^\circ+50^\circ=150^\circ. \]Therefore,
\[ \boxed{D=180^\circ-150^\circ=30^\circ}. \]Practice 4
Since
\[ K=-\frac{1}{R^2}=-\frac{1}{16}, \]we have \(R=4\). The angular defect is
\[ D=\pi-\frac{3\pi}{4}=\frac{\pi}{4}. \]Thus,
\[ \text{Area}=R^2D =16\left(\frac{\pi}{4}\right) =\boxed{4\pi}. \]Practice 5
Choices 1 and 3 can represent complete hyperbolic lines in the Poincaré disk.
An arbitrary non-diameter Euclidean chord does not.
Practice 6
Use
\[ d=R\ln\left(\frac{1+\rho}{1-\rho}\right). \]With \(R=2\) and \(\rho=1/3\),
\[ d=2\ln\left(\frac{1+1/3}{1-1/3}\right) =2\ln\left(\frac{4/3}{2/3}\right) =\boxed{2\ln 2}. \]Practice 7
Since \(K=-1/25\), we have \(R=5\). Therefore,
\[ \boxed{C=10\pi\sinh\left(\frac{r}{5}\right)}. \]Practice 8
Here \(R=3\). An ideal triangle has defect \(\pi\), so
\[ \text{Area}=R^2\pi =9\pi. \]Therefore,
\[ \boxed{9\pi}. \]What to Remember
- Hyperbolic geometry is the standard geometry of constant negative curvature.
- Through an external point, infinitely many hyperbolic lines can avoid a given line.
- Hyperbolic lines are geodesics.
- The Poincaré disk represents the entire hyperbolic plane inside a finite-looking Euclidean disk.
- The disk boundary is not part of the hyperbolic plane and lies infinitely far away.
- The Poincaré disk preserves angles but not ordinary Euclidean lengths.
- Hyperbolic triangle angle sums are less than \(180^\circ\).
- Angular defect is \(D=\pi-(A+B+C)\).
- For curvature \(-1/R^2\), triangle area is \(R^2D\).
- Hyperbolic circles have circumference greater than \(2\pi r\).
- Large-scale area and circumference grow much faster than in Euclidean geometry.
- Small regions can still look approximately Euclidean.
Where We Go Next
Spherical and hyperbolic geometry both replace ordinary Euclidean straightness with a more general idea: a path can be intrinsically straight even when it appears curved from an outside viewpoint or in a coordinate model.
The next lesson, Geodesics, develops this idea directly and studies the paths that serve as locally straight or distance-minimizing routes across curved spaces.