1.3: Geometry on Surfaces- A First Look
- Page ID
- 23296
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Think for a minute about the space we live in. Think about objects that live in our space. Do the features of objects change when they move around in our space? If I pick up this paper and move it across the room, will it shrink? Will it become a broom?
If you draw a triangle on this page, the angles of the triangle will add to \(180°\). In fact, any triangle drawn anywhere on the page has this property. Euclidean geometry on this flat page (a portion of the plane) is homogenous: the local geometry of the plane is the same at all points. Our three-dimensional space appears to be homogeneous as well. This is nice, for it means that if we buy a \(5 \text{ ft}^3\) freezer at the appliance store, it doesn't shrink to \(0.5 \text{ ft}^3\) when we get it home. A sphere is another example of a homogenous surface. A two-dimensional bug living on the surface of a sphere could not tell the difference (geometrically) between any two points on the sphere.
The surface of a donut in three-dimensional space (see Figure \(\PageIndex{1}\)) is not homogeneous, and a two-dimensional bug living on this surface could tell the difference between various points. One approach to discovering differences in geometry involves triangles.
It is an important matter to decide what we mean, exactly, by a triangle on a surface. A triangle consists of three points and three edges connecting these points. An edge connecting point \(A\) to point \(B\) is drawn to represent the path of shortest distance between \(A\) and \(B\). Such a path is called a geodesic. For the two-dimensional bug, a “straight line” from \(A\) to \(B\) is simply the shortest path from \(A\) to \(B\).
On a sphere, geodesics follow great circles. A great circle is a circle drawn on the surface of the sphere whose center (in three-dimensional space) corresponds to the center of the sphere. Put another way, a great circle is a circle of maximum diameter drawn on the sphere. The circles \(a\) and \(b\) in Figure \(\PageIndex{2}\) are great circles, but circle \(c\) is not.
In the Euclidean plane, geodesics are Euclidean lines. One way to determine a geodesic on a surface physically is to pin some string at \(A\) and draw the string tight on the surface to a point \(B\). The taut string will follow the geodesic from \(A\) to \(B\). In Figure \(\PageIndex{3}\) we have drawn geodesic triangles on three different surfaces.
Getting back to the donut, a two-dimensional bug could use triangles to tell the difference between a “convex” point on an outer wall, and a “saddle-shaped” point on an inner wall (see Figure \(\PageIndex{1}\)). A bug could draw a triangle about the convex point, determine the angle sum, and then move around the surface to a saddle-shaped point, and determine the angle sum of a new triangle (whose legs are the same length as before). The bug would scratch her head at the different angle sums before realizing she'd stumbled upon something big. She'd go home, write up the result, emphasizing the fact that a triangle in the first “convex” region will have angle sum greater than \(180°\), while a triangle in the “saddle-shaped” region will have angle sum less than \(180°\). This happy bug will conclude her donut surface is not homogeneous. She will then sit back and watch the accolades pour in. Perhaps even a Nobel prize. Thus, small triangles and their angles can help a two-dimensional bug distinguish points on a surface.
The donut surface is not homogeneous, so let's build one that is.
Consider again the world of Figure \(1.1.2\). This world is called a flat torus. At every spot in this world, the pilot of the ship would report flat surroundings (triangle angles add to \(180°\)). Unlike the donut surface living in three dimensions, the flat torus is homogeneous. Locally, geometry is the same at every point, and thanks to a triangle check, this geometry is Euclidean. But the world as a whole is much different than the Euclidean plane. For instance, if the pilot of the ship has a powerful enough telescope, he'd be able to see the back of his ship. Of course, if the ship had windows just so, he'd be able to see the back of his head. The flat torus is a finite, Euclidean two-dimensional world without any boundary.
Here we build cones from flat wedges, and measure angles of some triangles.
- Begin with a circular disk with a wedge removed, like a pizza missing a slice or two. Joining the two radial edges produces a cone. Try it with a cone of your own to make sure it works. Now, with the cone flat again, pick three points, labeled \(A\), \(B\), and \(C\), such that \(C\) is on the radial edge. This means that in this flattened version of the cone, point \(C\) actually appears twice: once on each radial edge, as in Figure \(\PageIndex{4}\). These two representatives for \(C\) should get identified when you join the radial edges.
- Draw the segments connecting the three points. You should get a triangle with the tip of the cone in its interior. (This triangle should actually look like a triangle if you re-form the cone.) If you don't get the tip of the cone on the inside of the triangle, adjust the points accordingly.
- With your protractor, carefully measure the angle \(θ\) subtended by the circular sector. To emphasize \(θ\)'s role in the shape of the cone, we let \(S(θ)\) denote the cone surface determined by \(θ\).
- With your protractor, carefully measure the three angles of your triangle. The angle at point \(C\) is the sum of the angles formed by the triangle legs and the radial segments. Let \(Δ\) denote the sum of these three angles.
- State a conjecture about the relationship between the angle \(θ\) and \(Δ\), the sum of the angles of the triangle. Your conjecture can be in the form of an equation. Then prove your conjecture. Hint: if you draw a segment connecting the \(2\) copies of point \(C\), what is the angle sum of the quadrilateral \(ABCC\)?
Repeat the previous exercise but with circle wedges having \(θ>2π\). Identifying the radial edges, in this case, produces a saddle-shaped surface. [To create such a circle wedge we can tape together two wedges of equal radius. One idea: Start with a disk with one radial cut, and a wedge of equal radius. Tape one radial edge of the wedge to one of the slit radial edges of the disk. Then, identifying the other radial edges should produce Saddleland.]
Remember, a homogeneous surface is a space that has the same local geometry at every point. Our flat torus is homogeneous, having Euclidean geometry at every point. However, our cones \(S(θ)\) in the previous exercises are not homogeneous (unless \(θ\) happens to be \(2π\)). If a triangle in \(S(θ)\) does not contain the tip of the cone in its interior, then the angles of the triangle will add to \(π\) radians, but if the triangle does contain the tip of the cone in its interior, then the angle sum will not be \(π\) radians. A two-dimensional bug, then, could conclude that \(S(θ)\) is not homogeneous.
Consider the surface obtained by identifying the edges of the hexagon as indicated in Figure \(\PageIndex{5}\). In particular, the edges are matched according to their labels and arrow orientation. So, if a ship flies off the hexagonal screen at a spot on the edge marked \(a\), say, then it reappears at the matching spot on the other edge marked \(a\).
Suppose the pilot of a ship wants to fly around one of the corners of the hexagon. If she begins at point \(H\), say, and flies counterclockwise around the upper right corner as indicated in the diagram, she would fly off the screen at the top near the start of an aa edge. So, as she made her journey, she would reappear in the lower left corner near the start of the other aa edge. Continuing around she would complete her journey after circling this second corner.
However, the angle of each corner is \(120°\), and gluing them together will create a cone point, as pictured below. Similarly, she would find that the other corners of the hexagon meet in groups of two, creating two additional cone points. As with the Coneland Example 1.3.2, the pilot can distinguish a corner point from an interior point here. She can look at triangles: a triangle containing one of the cone points will have angle sum greater than \(180°\); any other triangle will have angle sum equal to \(180°\).
So the surface is not homogeneous, if it is drawn in the plane. However, the surface does admit a homogeneous geometry. We can get rid of the cone points if we can increase each corner angle of the hexagon to \(180°\). Then, two corners would come together to form a perfect \(360°\) patch about the point.
But how can we increase the corner angles? Put the hexagon on the sphere! Imagine stretching the hexagon onto the northern hemisphere of a sphere (see Figure \(\PageIndex{6}\)). In this case, we can think of the \(6\) points of our hexagon as lying on the equator. Then each corner angle is \(180°\), each edge is still a line (geodesic), and when we glue the edges, each pair of corner angles adds up to exactly \(360°\), so the surface is homogeneous. The homogeneous geometry of this surface is the geometry of the sphere (elliptic geometry), not the geometry of the plane (Euclidean geometry).
It turns out every surface can be given one of three types of homogeneous geometry: Euclidean, hyperbolic, or elliptic. We will return to the geometry of surfaces (and of our universe) after we develop hyperbolic and elliptic geometry. If it doesn't make a whole lot of sense right now, don't sweat it, but please use these facts as motivation for learning about these non-Euclidean geometries.
Exercises
Work through the Coneland (Example \(1.3.2\))
Work through the Saddleland (Example \(1.3.3\))
Circumference vs Radius in Coneland and Saddleland. In addition to triangles, a two-dimensional bug can use circles to screen for different geometries. In particular, a bug can study the relationship between the radius and the circumference of a circle. To make sure we think like the bug, here's how we define a circle on a surface: Given a point \(P\) on the surface, and a real number \(r>0\), the circle centered at \(P\) with radius \(r\) is the set of all points \(r\) units away from \(P\), where the distance between two points is the length of the shortest path connecting them (the geodesic).
- Pick your favorite circle in the plane. What is the relationship between the circle's radius and circumference? Is your answer true for any circle in the plane?
- Consider the Coneland surface of (Example 1.3.2). Construct a circle centered at the tip of the cone and derive a relationship between its circumference and its radius. Is \(C=2πr\) here? If not, which is true: \(C>2πr\) or \(C<2πr\)?
- Consider the Saddleland surface of (Example 1.3.3). Construct a circle centered at the tip of the saddle and derive a relationship between its circumference and its radius. Is \(C=2πr\) here? If not, which is true: \(C>2πr\) or \(C<2πr\)?