Consider the smooth curve in Figure 7.1.1. The curvature of the curve at a point is a measure of how drastically the curve bends away from its tangent line, and this curvature is often studied in a multivariable calculus course. The radius of curvature at a point corresponds to the radius of the circle that best approximates the curve at this point. The radius \(r\) of this circle is the reciprocal of the curvature \(k\) of the curve at the point: \(k = 1/r\text{.}\)

The curvature of a surface (such as the graph of a function \(z =
f(x,y)\)) at a particular point is a measure of how drastically the surface bends away from its tangent plane at the point. There are three fundamental types of curvature. A surface has positive curvature at a point if the surface lives entirely on one side of the tangent plane, at least near the point of interest. The surface has negative curvature at a point if it is saddle-shaped, in the sense that the tangent plane cuts through the surface. Between these two cases is the case of zero curvature. In this case the surface has a line along which the surface agrees with the tangent plane. For instance, a cylinder has zero curvature, as suggested in Figure 7.1.2(c).

This informal description of curvature makes use of how the surface is embedded in space. One of Gauss' great theorems, one he called his Theorem Egregium, states that the curvature of a surface is an intrinsic property of the surface. The curvature doesn't change if the surface is bent without stretching, and our tireless two-dimensional inhabitant living in the space can determine the curvature by taking measurements.

A two-dimensional bug living in the hyperbolic plane, the projective plane, or the Euclidean plane would notice that a small circle's circumference is related to its radius by the Euclidean formula \(c \approx 2\pi r\text{.}\) In Euclidean geometry this formula applies to all circles, but in the non-Euclidean cases, the observant bug might notice in large circles a significant difference between the actual circumference of a circle and the circumference predicted by \(c = 2\pi r\text{.}\) Large circles about a cup-shaped point with positive curvature will have circumference less than that predicted by Euclidean geometry. This fact explains why a large chunk of orange peel fractures if pressed flat onto a table. Large circles drawn around a saddle-shaped point with negative curvature will have circumference greater than that predicted by the Euclidean formula.

Calculus may be used to precisely capture this deviation between the Euclidean-predicted circumference \(2\pi r\) and the actual circumference \(c\) for circles of radius \(r\) in the different geometries.

Recall that in the hyperbolic plane, \(c = 2\pi \sinh(r)\text{;}\) in the Euclidean plane \(c = 2\pi r\text{;}\) and in the elliptic plane \(c = 2\pi \sin(r)\text{.}\) In Figure 7.1.3 we have graphed the ratio \(\frac{c}{2\pi r}\) where \(c\) is the circumference of a circle with radius \(r\) in (a) the hyperbolic plane; (b) the Euclidean plane; and (c) the elliptic plane.

In all three cases, the ratio \(c/2\pi r\) approaches 1 as \(r\) shrinks to 0. Furthermore, in all three cases the derivative of the ratio approaches 0 as \(r \to 0^+\text{.}\) But with the second derivative of the ratio we may distinguish these geometries. It can be shown that the curvature at a point is proportional to this second derivative evaluated in the limit as \(r \rightarrow 0^+\text{.}\) We will not derive this formula for curvature, but will use this working definition as it appears in Thurston's book [11].

Definition7.1.4

Suppose a circle of radius \(r\) about a point \(p\) is drawn in a space^{ 5 }the term `space' is intentionally vague here. Our space needs to have a well-defined metric, so that it makes sense to talk about radius and circumference. The space might be the Euclidean plane, the hyperbolic plane or the sphere. Other spaces are discussed in Section 7.5., and its circumference is \(c\text{.}\) The curvature of the space at \(p\) is

\begin{equation*}
k = -3 \lim_{r \to 0^+}\frac{d^2}{dr^2}\bigg[\frac{c}{2\pi r}\bigg].
\end{equation*}

Since we are interested in worlds that are homogeneous and isotropic, we will focus our attention on worlds in which the curvature is the same at all points. That is, we investigate surfaces of constant curvature.

Example7.1.5The curvature of a sphere

Consider the sphere with radius \(s\) in the following diagram, and note the circle centered at the north pole \(N\) having surface radius \(r\text{.}\) The circle is parallel to the plane \(z = 0\text{,}\) has Euclidean radius \(x\text{,}\) and hence circumference \(2\pi x\text{.}\)

But \(x = s\sin(\theta)\) and \(r = \theta\cdot s\text{,}\) from which we deduce \(x = s\sin(\frac{r}{s})\text{,}\) and in terms of the surface radius \(r\) of the circle, its circumference is

\begin{equation*}
c = 2\pi s\sin\bigg(\frac{r}{s}\bigg).
\end{equation*}

The curvature of the sphere at \(N\) is thus

\begin{equation*}
k = -3 \lim_{r \to 0^+}\frac{d^2}{dr^2}\bigg[\frac{2\pi s\sin(r/s)}{2\pi r}\bigg].
\end{equation*}

Cancelling the \(2\pi\) terms and replacing \(\sin(r/s)\) with its power series expansion, we have

Note that all the terms of the second derivative after the first have powers of \(r\) in the numerator, so these terms go to 0 as \(r
\to 0^+\text{,}\) and the curvature of the sphere at the north pole is \(1/s^2\text{.}\) In fact because the sphere is homogeneous, the curvature at any point is

Because hyperbolic geometry is homogeneous and its transformations preserve circles and lengths, the curvature is the same at all points in the hyperbolic plane. We choose to compute the curvature at the origin.

Recall, the circumference of a circle in \((\mathbb{D},\cal{H})\) is \(c =
2\pi \sinh(r).\) To compute the curvature, use the power series expansion

Again, each term of the second derivative after the first has a power of \(r\) in its numerator, so in the limit as \(r \to 0^+\text{,}\) each of these terms vanishes. Thus, the curvature of the hyperbolic plane in (\(\mathbb{D},{\cal H})\) is \(k = -1.\)