An Introduction to the Principle of Duality in Projective Geometry
The determination of a point by two concurrent straight lines is a kind of symmetric with the determination of a straight line by two collinear points. In projective geometry, we shall find this symmetry very often and are going to establish a principle, called the principle of duality. In fact, later on we will establish (and prove) two kinds of principles of duality – a two-dimensional (planar) principle of duality, and a three-dimensional principle of duality. These principles mean the following:
- In the planar principle of duality every theorem remains true and every definition keeps making sense, if we exchange the words “straight line” and “point”. Possibly, also other exchanges can be necessary, e.g. replacing the words “collinear” by “concurrent”, “meets” by “joins”, etc.
- Similarly, in the three-dimensional principle of duality every theorem remains true and every definition keeps making sense, if we exchange the words “planes”, “straight lines” and “points” by “points”, “straight lines” and “planes”, respectively.
The principles of duality and their symmetry provide projective geometry with a beauty of its own. They also make the theory very effective – for instance, proving $10$ theorems in projective geometry means, in fact, proving $20$ theorems – including the dual ones. Despite of this effectiveness, for the rest of the text to follow, we will always provide both theorems / proofs / definitions, etc. at once, whenever it is possible to “dualize” them. For this purpose, we will find it convenient to write them in two columns. For instance, the definitions of collinear points and concurrent straight lines could have already been written at once in two columns as follows:
|Definition: Collinear Points||Dual Definition: Concurrent Straight Lines|
|Different points which are incident to a straight line are said to be collinear.||Different straight lines which are incident to a point are said to be concurrent.|
| | | | created: 2018-04-23 23:22:31 | modified: 2018-04-24 00:41:31 | by: bookofproofs