Constructions in Projective Geometry - WebHome · PDF fileConstructions in Projective Geometry...
Transcript of Constructions in Projective Geometry - WebHome · PDF fileConstructions in Projective Geometry...
Constructions in Projective Geometry
Bernhard Werner
31. Juli 2016
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 1 / 37
Disclaimer
No information in this course is guaranteed to be correct. References tothis course in the exam are NOT valid justifications for your answers.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 2 / 37
Axiomatic constructions
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 3 / 37
Projective planes from affine planes
General procedure:
1 Add 1 new point for each pencil of parallel lines.
2 Create 1 new line on which all those points lie.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 4 / 37
Projective planes from affine planes
General procedure:
1 Add 1 new point for each pencil of parallel lines.
2 Create 1 new line on which all those points lie.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 4 / 37
Projective planes from affine planes
The Fano-plane F2P2.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37
Projective planes from affine planes
The Fano-plane F2P2.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37
Projective planes from affine planes
The Fano-plane F2P2.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37
Projective planes from affine planes
The Fano-plane F2P2.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37
Projective planes from affine planes
The Fano-plane F2P2.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37
Projective planes from affine planes
The Fano-plane F2P2.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37
Projective planes from affine planes
The Fano-plane F2P2.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37
Projective planes from affine planes
The Fano-plane F2P2.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37
Projective planes from affine planes
The Fano-plane F2P2.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37
Projective planes from affine planes
The Fano-plane F2P2.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 5 / 37
Projective planes from affine planesThe plane F3P2.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 6 / 37
Projective planes from affine planesThe plane F3P2.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 6 / 37
Projective planes from affine planesThe plane F3P2.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 6 / 37
Projective planes from affine planesThe plane F3P2.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 6 / 37
Projective planes from affine planesThe plane F3P2.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 6 / 37
Projective planes from affine planesThe plane F3P2.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 6 / 37
Basic constructions
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 7 / 37
Join & Meet
Constructions:
Computing in RP2:Given points A,B,C ,D. What is (A B) (C D)?
(A B) (C D)
or
[C ,D,B ] A [C ,D,A] B.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 8 / 37
Join & Meet
Constructions:
Computing in RP2:Given points A,B,C ,D. What is (A B) (C D)?
(A B) (C D)
or[C ,D,B ] A [C ,D,A] B.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 8 / 37
Join & Meet
Constructions:
Computing in RP2:Given points A,B,C ,D. What is (A B) (C D)?
(A B) (C D)
or[C ,D,B ] A [C ,D,A] B.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 8 / 37
Join & Meet
Constructions:
Computing in RP2:Given points A,B,C ,D. What is (A B) (C D)?
(A B) (C D)
or[C ,D,B ] A [C ,D,A] B.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 8 / 37
Join & Meet
Constructions:
Computing in RP2:Given points A,B,C ,D. What is (A B) (C D)?
(A B) (C D)
or[C ,D,B ] A [C ,D,A] B.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 8 / 37
Join & Meet
Constructions:
Computing in RP2:Given points A,B,C ,D. What is (A B) (C D)?
(A B) (C D)
or[C ,D,B ] A [C ,D,A] B.
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 8 / 37
The simplest construction
Given a point P and a line l . How to construct the parallel to l through P?
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 9 / 37
The simplest construction
Given a point P and a line l . How to construct the parallel to l through P?
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 9 / 37
The simplest construction
Given a point P and a line l . How to construct the parallel to l through P?
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 9 / 37
The simplest construction
Given a point P and a line l . How to construct the parallel to l through P?
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 9 / 37
Incidence theorems
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 10 / 37
Theorem of Desargues
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 11 / 37
Theorem of Desargues
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 11 / 37
Theorem of Desargues
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 11 / 37
Theorem of Desargues
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 11 / 37
Theorem of Desargues
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 11 / 37
Theorem of Desargues
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 11 / 37
Theorem of Desargues
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 11 / 37
Theorem of Desargues
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 11 / 37
Theorem of Desargues
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 11 / 37
Theorem of Pappos
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 12 / 37
Theorem of Pappos
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 12 / 37
Theorem of Pappos
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 12 / 37
Theorem of Pappos
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 12 / 37
Theorem of Pappos
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 12 / 37
Theorem of Pappos
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 12 / 37
Theorem of Pappos
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 12 / 37
Theorem of Pappos
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 12 / 37
Theorem of Pappos
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 12 / 37
Scissor theorem
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 13 / 37
Scissor theorem
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 13 / 37
Scissor theorem
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 13 / 37
Scissor theorem
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 13 / 37
Scissor theorem
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 13 / 37
Constructions in RP1
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 14 / 37
Cross-ratio
We identify(x
1
) RP1 with x R and
(10
) RP1 with
(1
)and
therefore with .
Some important identities:
We have an isomorphism RP1 R {} via P 7 (0,;P, 1).Specifically, for x R {} we have (0,; x , 1) = x .For (A,B;C ,D) = we have
(B,A;C ,D) = 1 and(A,C ;B,D) = 1 .
All combinations of these permutations lead to the values
,1, 1 , 1
1 , 11
and
1 .
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 15 / 37
Cross-ratio
We identify(x
1
) RP1 with x R and
(10
) RP1 with
(1
)and
therefore with .Some important identities:
We have an isomorphism RP1 R {} via P 7 (0,;P, 1).Specifically, for x R {} we have (0,; x , 1) = x .For (A,B;C ,D) = we have
(B,A;C ,D) = 1 and(A,C ;B,D) = 1 .
All combinations of these permutations lead to the values
,1, 1 , 1
1 , 11
and
1 .
Bernhard Werner Constructions in Projective Geometry 31. Juli 2016 15 / 37