MATH402 Non-Euclidean Geometry Exam 1 Practice Questions

The parallel postulate, also known as Euclid's fifth postulate, states that through a point not on a given line, there exists exactly one line parallel to the given line. For centuries, mathematicians attempted to prove this postulate from the other four postulates, but all attempts failed.

In the 19th century, Gauss, Bolyai, and Lobachevsky independently developed hyperbolic geometry by assuming that through a point not on a given line, there are multiple lines parallel to the given line. This was the first consistent non-Euclidean geometry and revolutionized our understanding of mathematical space.

Later, Riemann developed elliptic geometry by assuming that no parallel lines exist. This work demonstrated that the parallel postulate was independent of Euclid's other axioms, leading to the insight that multiple consistent geometries could exist based on different sets of axioms.

In Euclidean geometry, Playfair's axioms states that given a line l and a point P not on l, there exists exactly one line through P that does not intersect l.

In hyperbolic geometry, given a line l and a point P not on l, there exist at least two distinct lines through P that do not intersect l. In fact, there are infinitely many such lines, which can be divided into limiting parallels and ultraparallels.

In elliptic geometry, given a line l and a point P not on l, there are no lines through P that do not intersect l. Every pair of lines in elliptic geometry intersect.

This fundamental difference in the axiom about parallel lines leads to radically different geometric properties in each type of geometry, including different formulas for the sum of angles in triangles.

Consider triangle ABC in the hyperbolic plane. We'll show that the angle sum at vertices A, B, and C is less than 180.

Let D be the foot of the perpendicular from A to line BC. By the hyperbolic parallel postulate, through point D we can draw lines that do not intersect line AB (other than at D itself).

Consider the angle ADB. In Euclidean geometry, this right angle would sum with ABD to exactly 90, but in hyperbolic geometry, we have ADB + ABD < 90.

Similarly, we can show that ADC + ACD < 90.

Adding these two inequalities gives: ADB + ABD + ADC + ACD < 180.

Since ADB + ADC = 180 (they are supplementary), we get: 180 + ABD + ACD < 180.

Adding BAC to both sides: BAC + ABD + ACD < 180.

Thus, the sum of angles in triangle ABC is less than 180.

The Poincar disk model is a model of hyperbolic geometry that represents the entire hyperbolic plane as the interior of a unit disk in the Euclidean plane.

In this model:

• Points are the interior points of the disk.
• Lines are represented by either diameters of the disk or arcs of circles that intersect the boundary of the disk at right angles.
• Angles in the Poincar disk model are represented by Euclidean angles, making it a conformal model.

Distance in the Poincar disk model is measured using the formula:

d(P,Q) = 2arctanh(|PQ|/|PR|)

where P and Q are points in the disk, |PQ| is the Euclidean distance between them, and |PR| is the Euclidean distance from P to the point R where the Poincar line through P and Q meets the boundary of the disk.

Curvature is a geometric property that measures how much a geometric object deviates from being flat (Euclidean). In the context of surfaces, Gaussian curvature K is defined at each point and can be positive, zero, or negative.

In Euclidean geometry, the curvature is zero everywhere. This is reflected in properties like parallel lines remaining equidistant and triangle angle sums of exactly 180.

In hyperbolic geometry, the curvature is constant and negative everywhere. This results in triangle angle sums less than 180 and the divergence of initially parallel lines.

In elliptic geometry, the curvature is constant and positive everywhere. This leads to triangle angle sums greater than 180 and the convergence of all lines.

The magnitude of the curvature also affects the specific values of geometric properties like triangle angle sums, with larger curvature magnitudes leading to greater deviations from Euclidean results.

In hyperbolic geometry, the angle of parallelism (d) is defined as follows: Given a line l and a point P at distance d from l, consider all lines through P that are parallel to l. The smallest angle these parallels make with the perpendicular from P to l is called the angle of parallelism (d).

The relationship between the angle of parallelism and distance is given by:

sin((d)) = sech(d/k) = 1/cosh(d/k)

where k is related to the curvature of the hyperbolic plane.

This formula shows that as the distance d increases, the angle of parallelism (d) decreases. As d approaches infinity, (d) approaches 0, and as d approaches 0, (d) approaches 90.

Alternatively, the relationship can be expressed as:

tan((d)/2) = e^(-d/k)

These formulas illustrate the tight connection between distance and angle in hyperbolic geometry, which is quite different from Euclidean geometry.

Both the Poincar disk model and the Klein model represent hyperbolic geometry using the interior of a unit disk, but they differ in several important ways:

Poincar disk model:

• Lines are represented by circular arcs orthogonal to the boundary or diameters.
• It is conformal (angles are preserved as Euclidean angles).
• Circles appear as circles (though not necessarily centered at the same point as their Euclidean counterparts).
• Distance measurements are more complex.

Klein model:

• Lines are represented by straight chords of the disk.
• It is not conformal (angles are not preserved).
• Circles appear as ellipses.
• Distance measurements have simpler formulas.
• Mids of segments coincide with Euclidean midpoints.

The Poincar disk model is often preferred for its angle-preserving property, which makes it easier to visualize certain geometric constructions. The Klein model is sometimes preferred for problems involving collinearity, midpoints, or when simpler distance formulas are desired.

In hyperbolic geometry, the area of a triangle with angles , , and is given by:

Area() = k( - - - )

where angles are measured in radians, and k is related to the curvature.

For our triangle with angles 70, 50, and 40, we first convert to radians:

• 70 = 70 /180 = 7/18 radians
• 50 = 50 /180 = 5/18 radians
• 40 = 40 /180 = 2/9 radians

With k = 1, the area is:

Area = 1( - 7/18 - 5/18 - 2/9)

= (1 - 7/18 - 5/18 - 4/18)

= (1 - 16/18)

= (2/18)

= /9

So the area of the triangle is /9 square units.

An isometry in hyperbolic geometry is a transformation that preserves hyperbolic distance. Just as in Euclidean geometry, isometries in hyperbolic geometry form a group that preserves the geometric structure.

Types of hyperbolic isometries include:

• Translations: Transformations that preserve orientation and have no fixed points. In the Poincar disk model, translations appear as movements along hyperbolic lines.
• Rotations: Transformations with a single fixed point that preserve orientation. In the Poincar disk model, rotations around the center of the disk appear as Euclidean rotations.
• Reflections: Transformations that reverse orientation and fix all points on a hyperbolic line. In the Poincar disk model, these appear as inversions in circles orthogonal to the boundary.
• Glide reflections: Compositions of a reflection and a translation along the line of reflection.
• Limit rotations (parabolic isometries): Transformations with a single fixed point on the boundary of the hyperbolic plane but no fixed points in the interior.

Each type of isometry has a distinctive geometric effect and can be understood in terms of its action on the boundary of the hyperbolic plane in models like the Poincar disk.

Before the development of non-Euclidean geometry in the 19th century, it was widely believed that Euclidean geometry was the only possible description of physical space. Kant even argued that Euclidean geometry was a necessary component of human perception.

The discovery of consistent non-Euclidean geometries challenged this view and opened the possibility that the actual geometry of physical space might be non-Euclidean. This had profound implications for physics.

In the early 20th century, Einstein's theory of general relativity incorporated non-Euclidean geometry to describe gravity as the curvature of spacetime. According to this theory, massive objects curve spacetime, and this curvature determines the motion of objects. In the presence of mass, spacetime is non-Euclidean.

The development of non-Euclidean geometry thus fundamentally changed our understanding of physical space from a fixed, Euclidean stage on which physical events play out, to a dynamic, curved entity that can be described by non-Euclidean geometries. This shift in perspective was crucial for the development of modern physics and cosmology.

Today, the question of which geometry best describes the universe at the largest scales remains open, with cosmologists investigating possibilities from nearly flat to positively or negatively curved spacetimes.