Projective geometry

In mathematics, projective geometry is the study of geometric properties that stay the same even when you change how you look at things. This is different from the geometry you might learn first, called Euclidean geometry. In projective geometry, we think about a place called projective space, which has more points than regular space. One special idea in this geometry is that parallel lines can seem to meet at a faraway point, which we call a "point at infinity".

Projective geometry came together mostly in the 1800s. It helped shape many other areas of math, like the study of complex numbers and abstract geometry. People also explored it just for fun, creating beautiful ideas about shapes and space. Today, projective geometry has many parts, such as studying shapes using equations and looking at how tiny changes affect geometry.

Overview

Projective geometry is a type of geometry that does not involve measuring distances. It starts with studying points and lines and their arrangements. This idea came from artists who studied how things look from different angles.

In higher dimensions, projective geometry looks at flat surfaces that always meet and other straight structures. It can be used with just a straight edge, without measuring tools, so there are no circles, angles, or distances involved. During the 1800s, mathematicians like Jean-Victor Poncelet and Karl von Staudt helped make projective geometry a separate area of math. Important ideas in projective geometry include how points and lines relate and a special way to compare positions called the cross-ratio.

Main article: Erlangen program

Description

Projective geometry is a type of math that is less strict than Euclidean geometry or affine geometry. It focuses on shapes and their positions without measuring distances. In projective geometry, lines that appear to be parallel can actually meet at a special point called "infinity". This helps artists create depth in their drawings by showing lines that seem to go forever meeting at a faraway point.

This geometry treats points, lines, and planes at infinity the same as any other points, lines, and planes. It also includes important ideas like Desargues' Theorem and the Pappus's hexagon theorem, which help solve problems in both projective and Euclidean geometry. Projective geometry also studies special curves called conic sections, such as hyperbolas, ellipses, and parabolas.

History

Further information: Mathematics and art

The history of projective geometry began over 2,000 years ago when Pappus of Alexandria discovered some of its basic ideas. Later, during the 1400s, Filippo Brunelleschi studied how objects look from different viewpoints, which helped start this field of geometry.

Important steps were taken by Johannes Kepler and Girard Desargues, who introduced the idea of "points at infinity." By the 1800s, mathematicians like Jean-Victor Poncelet and Julius Plücker expanded these ideas, linking them to other areas of math. Projective geometry also helped validate new types of geometry, such as hyperbolic geometry, by showing how they could be modeled using projective methods.

Classification

Projective geometries can be divided into two types: discrete and continuous. A discrete geometry has a set of points that may be finite or infinite, while a continuous geometry has infinitely many points with no gaps.

The smallest example of a 2-dimensional projective geometry is called the Fano plane. It has 7 points and 7 lines, with each line containing exactly 3 points. This geometry helps us understand the basic ideas of projective spaces. One key feature of all projective geometries is that any two distinct lines will always intersect at exactly one point, which is different from how we usually think about parallel lines in everyday geometry.

Duality

Further information: Duality (projective geometry)

Projective geometry has a special rule called duality. This rule says that if you switch words like "point" with "line" or "lies on" with "passes through," you can create a new true statement from an old one. For example, in a flat space, points and lines follow this rule. In three dimensions, points and flat surfaces do the same.

This idea helps us understand relationships between shapes. One famous example is how a shape can be turned into another shape that matches it in a special way. There are also famous math rules like Pascal's theorem and Brianchon's theorem, which are connected through this duality rule. Pascal's theorem talks about points on a special curve, while Brianchon's theorem talks about lines touching the same curve.

Axioms of projective geometry

Any geometry can be studied using a set of rules, called axioms. Projective geometry is special because it uses the "elliptic parallel" axiom. This means that any two planes always meet in just one line, and any two lines always meet in just one point. In other words, in projective geometry, there are no parallel lines or planes.

There are many ways to write down these rules for projective geometry. One famous set comes from a mathematician named Whitehead. These rules talk about points and lines and how they relate. For example, one rule says that every line must have at least three points on it. Another rule says that if you pick any two points, there is exactly one line that connects them. These rules help us understand the basic structure of projective geometry.

Perspectivity and projectivity

Projective geometry studies special ways to move shapes and points while keeping some important features the same. When we connect points with lines, sometimes extra points appear where lines cross. These extra points help us understand patterns in shapes.

A special way to move points called a projectivity creates interesting paths called projective conics. These conics help us see how points and lines relate in new and useful ways.