We have seen two different geometries so far: Euclidean and spherical geometry. The idea is that geometry is meant to describe the world around us, and the geometry then depends on some fundamental properties of the world we are describing. Objects that live in a flat world are described by Euclidean (or flat) geometry, while objects that live on a spherical world will need to be described by spherical geometry. The obvious question at this point should be if there are any other geometries out there. In two dimensions there is a third geometry. This geometry is called hyperbolic geometry. We just reminded ourselves that Euclidean geometry describes objects in a flat world or a plane, and spherical geometry describes objects on the sphere. So, what world does hyperbolic geometry describe? It is a fact that we can think of this hyperbolic world in several different ways, but if we use Escher’s work as a reference we should think of hyperbolic space as the distorted interior of a disk.
Think of all the fish as living inside this hyperbolic world. They all live in the interior of the disk, and it is a distorted picture because, believe it or not, all these fish are the same size.
Have you ever noticed how a stick looks bent if you partially submerge it in water? The same happens to a straw in a glass of water. Something like that happened here too. Notice the white curves that look like they are bent? That is the effect of hyperbolic space. These are actually straight. These curves are the geodesics of hyperbolic space. They measure shortest distance, and segments of them can be used to make polygons. Do you see the 4 sided polygon in the center? Do you notice other 4 sided polygons closed to the edge of our hyperbolic space? Notice that all the sides of these 4-gons are exactly the length of one fish. This means that all the 4-gons have exactly the same shape and size! This gives you an idea I hope of what I meant when I said that hyperbolic space could be thought of as the distorted interior of a disk.
In about 300BC, Euclid penned the Elements, the basic treatise on geometry for almost two thousand years. He clearly states his assumptions in five “postulates”. Euclid’s fifth postulate concerns parallel lines, and in a more modern form says that “given a line L, and a point P not on that line, there is exactly one line through P which is parallel to L”. This fifth postulate, the “parallel postulate” seemed more complicated and less obvious than the other four, so for many hundreds of years mathematicians attempted to prove it using only the first four postulates as assumptions. We saw that the parallel postulate is false for spherical geometry (since there are no parallel geodesics), but this is not helpful since some of the first four are false, too. For example there are many geodesics through a pair of antipodal points. In fact, the first four postulates imply that given a line and a point not on that line, there is a parallel line as required. The subtle question is: can there be more than one? In 1733, the Jesuit priest Giovanni Saccheri began by assuming the fifth postulate was false, and attempted (at great length) to derive a statement contradicting the other four. In doing so, he nearly produced the theory of hyperbolic geometry. However, his goal was not to discover new kinds of geometry, but to rule them out, so he concluded his treatise with a rant about the absurdity of everything he had just written. The great German mathematician Carl Freidrich Gauss apparently believed that a geometry did exist which satisfied Euclid’s first four postulates but not the fifth. However, Gauss never published or discussed this work because he felt his reputation would suffer if he admitted he believed in non-Euclidean geometry. In the early 1800’s, the idea was preposterous. Generally, Nikolai Ivanovich Lobachevsky is credited with the discovery of the non-Euclidean geometry now known as hyperbolic space. He presented his work in the 1820’s, but even it was not formally published until the 20th century, when Felix Klein and Henri Poincaré put the subject on firm footing.
Models of Hyperbolic Space
The non-Euclidean geometry which satisfies Euclid’s first four postulates but not the parallel postulate is called hyperbolic geometry. Like spherical geometry, which takes place on a sphere, hyperbolic geometry takes place on a curved two dimensional surface called hyperbolic space. On a sphere, a small neighborhood of a point looks like a cap. In hyperbolic space, every point looks like a saddle. Unfortunately, while you can piece caps together to make a sphere, piecing saddles together quickly runs out of space.
These two images represent a bit of sphere (on the left) and a bit of hyperbolic space (on the right).
To get the flavor of hyperbolic space, make some hyperbolic paper. You could make Euclidean space by gluing equilateral triangles together so that six touch at each vertex (this is just the usual tessellation by triangles). You can make an icosahedron by gluing equilateral triangles together so that five touch at each vertex, which corresponds to a tessellation of the sphere and makes a pretty good model for an actual curved sphere. Gluing four, three, or two triangles also makes a sphere, of sorts. To make a model of hyperbolic space, cut out equilateral triangles and paste together so that seven come together at one point. This will be a floppy, saddle like object. Now continue gluing on triangles so that each vertex has seven of them. Probably you will run out of patience before you run out of room, but eventually you’ll need to put too many triangles in too small a space to continue. Because globes are unwieldy, navigators use flat maps of the spherical earth. Maps of the Earth are necessarily distorted, for example Greenland appears extremely large on the standard Mercator map of the Earth. Because models of hyperbolic space are unwieldy (not to mention infinite), we will do all of our work with a map of hyperbolic space called the Poincaré disk. The Poincaré disk is the inside of a circle (although the circle is not included) and is badly distorted near its edge. Objects near the edge of the Poincaré disk are larger than they appear.