sign in sign up
<<
Home , Conic section, Projective geometry, Riemann sphere

Lecture 26. Early Stage of Projective

Figure 26.1 The woodcut book The Designer of the Lute illustrates how one uses to represent a solid object on a two dimensional canvas.

Projective geometry was first systematically developed by Desargues 1 in the 17th century based upon the principles of art. As a mathematical field, however, was established by the work of Poncelet 2 and others.

Projective geometry is a branch of which deals with the properties and invariants of geometric figures under projection. One source for projective geometry was indeed the theory of perspective. One difference from elementary geometry is the way in which lines can be said to meet in a at infinity.

1Girard Desargues (1591-1661) was a French mathematician and engineer, one of the founders of projec- tive geometry. 2Jean-Victor Poncelet (1788 - 1867) was a French engineer and mathematician who served most notably as the commandant general of the Ecole Polytechnique. He is considered a reviver of projective geometry.

170 The theory of perspective The theory of perspective describes how to project a three- dimensional object onto a two-dimensional , i.e., perspective may be simply described as the realistic representation of real scenes on a . This has been an interesting problem for most painters since ancient times. Even though some Roman artists seem to have achieved correct perspective about 100 B.C. However, it was simply an individual genius rather than the success of a theory. The vast majority of ancient paintings, in fact, show incorrect perspective.

Medieval artists made some charming attempts at perspective but always got it wrong, and errors persisted well into the fifteenth century.

Figure 26.2 False perspective. During the Renaissance, scientists and scholars began engaging in different kinds of experiments. Some artists conducted careful observations of nature and even anatomical

171 dissections to try to better understand the world around them. But it wasn’t until the early 15th Century that a Florentine architect and engineer named (1377-1446) developed a mathematical theory of perspective through a series of optical experiments. Brunelleschi was able to understand the science behind perspective.

The basic principles Renaissance artists used were the following:

∙ A straight in perspective remains straight.

∙ Parallel lines either remain parallel or converge to a single point ().

These principles suffices to solve a problem artists frequently encountered: the perspec- tive depiction of a -tiled floor.

Figure 26.3 Parallel lines converge to a single point (vanishing point).

Desargues’ Theorem Mathematical setting on perspective is the family of lines (“light rays”) through a point (the “eye”). In this setting, the problems of perspective became relatively easy, but the concepts were a challenge to traditional geometric thought. Different from , one had the following: (i) Points at infinity (“vanishing point”) where parallels met. (ii) Transformations that changed and (projective).

Projective geometry originated through the efforts of a French artist and mathematician, Gerard Desargues (1591-1661), as an alternative way of constructing perspective drawings, although the idea of points at infinity had already been used by Kepler(1604).

172 Desargues published a book in 1639, but only one copy of this book is now known to survive, which was rediscovered in 1951. His two most important theorems, the so-called Desargues’ theorem and the invariance of the cross-ratio, were published in a book about perspective by Bosse (1648).

Figure 26.4 Desargues’ theorem Desargues’ theorem is a property of in perspective illustrated by Figure 26.4. The theorem states that the points 퐺, 퐹 and 퐸 at the intersections of corresponding sides lie in a line. This is obvious if the triangles are in , since the line is the intersection of the planes containing them. The theorem in the plane is subtly but fundamentally different and requires a separate proof, as Desargues realized. In fact, Desargues’ theorem was shown to play a key role in the foundations of projective geometry by Hilbert (1899).

Pascal Theorem (1623-1662) was a very influential French mathematician and philosopher who contributed to many of mathematics. He worked on conic sections and projective geometry and in correspondence with Fermat he laid the foundations for the theory of probability.

When he was 12 years old, Pascal, gaving up his play-time to this new study, began to read a geometry book. In a few weeks, he had discovered for himself many properties of figures, including that the sum of the angles of a is equal to 휋.

His father, struck by this display of ability, gave him a copy of Euclid’s Elements. Before Pascal turned 13 he had proved the 32nd proposition of Euclid and discovered an error in Descartes’ Geometry.

At 16, Pascal began preparing to study entire field of mathematics. Desargues’s study on conic sections drew his attention and helped him formulate Pascal’s theorem. Pascal’s

173 Essay on Conics was written in late 1639, who probably had heard about projective geometry from his father, who was a friend of Desargues. The Essay contained the first statement of a famous result that became known as Pascal’s theorem, which is the dual of Brianchon’s theorem. It states that, given a (not necessarily regular, or even convex) inscribed in a , the three pairs of the continuations of opposite sides meet on a straight line, called the Pascal line.

Figure 26.5 Pascal and Pascal’s theorem

Projective geometry was further developed in 18th century (Gaspard Monge, Jean-Victor Poncelet), 19th century (Julius Placker, Steiner, Clebsch, , Max Noether, Enriques, Segre, Severi, Schubert), and etc.

Riemann The projective geometry has been continuously developing. One of the basic notions is “” —– one dimensional complex .

Let 푆 be the unit sphere

3 2 2 2 푆 = {(푇1, 푇2, 푇3) ∈ ℝ ∣ (푇1) + (푇2) + (푇3) = 1}.

174 If we regard 푆 as the earth, then the point {(0, 0, 1)} can be regarded as the north pole of the sphere. We define a map 푆 − {(0, 0, 1)} → ℂ 훼 7→ 퐴 where 퐴 is the intersection point of the plane ℂ and the the straight line passing through the north pole (0, 0, 1) and the point 훼.

Figure 26.6 Riemann sphere

This map is one-to-one and onto. We call 푆 the Riemann sphere, and the map Stereo- graphic projection. Notice that as 퐴 moves to ∞, the corresponding 훼 moves to the north pole. Then we may write the north pole 푁 = {∞}. We can denote 푆 = (푆 − {푁}) ∪ {푁} as

푆 = ℂ ∪ {∞}. (1)

In the Riemann sphere, the “infinite” is just a point in 푆. We can treat ∞, as any other point in the complex space ℂ, as an ordinary point in 푆.

For example, in Calculus, the definitions of lim푛→∞ 푥푛 = 푎 ∈ ℝ and lim푛→∞ 푥푛 = +∞ are quite different. Passing everything in the Riemann sphere 푆, lim푛→∞ 푧푛 = 푎 ∈ ℂ and lim푛→∞ 푧푛 = ∞ should have the same definition.

175