15.7: Подвійність
Припустімо, що задано біекціюP↔p між множиною ліній і множиною точок площини.
Подвійні конфігурації
Тобто, задану точкуP, позначаємоp відповідною лінією; а навпаки, дану лініюℓ позначаємоL відповідною точкою.
Біджекція між точками та лініями називається подвійністю (Стандартне визначення подвійності є більш загальним; ми розглядаємо особливий випадок, який також називають полярністю.), якщо
P∈ℓ ⇔ p∋L.
для будь-якої точкиP і лініїℓ.
Розглянемо конфігурацію ліній і точок на схемі.
Почніть з загального чотирикутникаKLMN і розширте його на подвійну діаграму; позначте лінії і точки, використовуючи вищеописану угоду.
- Підказка
-
Малюватиa=(KN),b=(KL),c=(LM),d=(MN), позначитиP=b∩d, і продовжувати.
Покажіть, що евклідова площина не допускає подвійності.
- Підказка
-
Припустимо, що існує подвійність. Виберіть дві окремі паралельні лініїℓ іm. НехайL іM будуть їх подвійні точки. s=(ML)Поставте, тоді його подвійна точкаS повинна лежати на обохℓ іm - протиріччя.
Реальна проективна площина допускає подвійність.
- Доказ
-
Розглянемо площинуΠ і точкуO∉Π в просторі; припустимо, щоˆΠ позначає відповідну реальну проективну площину.
Нагадаємо, щоΦ іΨ позначають сукупність всіх ліній і площин, що проходять черезO. Згідно з спостереженням 15.3.1,P↔˙P між точками і між лініямиˆΠΦ іℓ↔˙ℓ між ними існують двобічності вˆΠ іΨ такі, щоP∈ℓ якщо і тільки якщо˙P⊂˙ℓ.
Залишилося побудувати біекцію˙ℓ↔˙L міжΦ іΨ таким, що
˙P⊂˙ℓ ⟺ ˙p⊃˙L
для будь-яких двох ліній˙P і˙L проходження черезO.
Встановити˙ℓ, щоб бути площиною черезO, яка перпендикулярна до˙L. Зверніть увагу, що обидві умови 15.7.1 еквівалентні˙P⊥˙L; отже, результат випливає.
Розглянемо евклідову площину з(x,y) -координатами; припустимо, щоO позначає походження. Задану точкуP≠O з координатами(a,b) розглянемо пряму,p задану рівняннямa⋅x+b⋅y=1.
Показати, що відповідністьP доp поширюється на подвійність реальної проективної площини.
Який рядок відповідаєO?
Яка точка відповідає прямійa⋅x+b⋅y=0?
- Підказка
-
Припустимо,M=(a,b) і лініяs задана рівняннямp⋅x+q⋅y=1. ТодіM∈s еквівалентноp⋅a+q⋅b=1.
Останнє еквівалентноm∋S де m - лінія, задана рівняннямa⋅x+b cdoty=1 іS=(p,q).
Щоб розширити цей біекція на всю проективну площину, припустимо, що (1) ідеальна лінія відповідає початку і (2) ідеальна точка, задана олівцем лінійb⋅x−a⋅y=c для різних значень c, відповідає прямій, заданій рівняннямa⋅x+b⋅y=0.
Подвійність говорить про те, що лінії і точки мають однакові права з точки зору захворюваності. Це дає можливість сформулювати еквівалентне подвійне твердження будь-якому твердженню в проективній геометрії. Наприклад, подвійний оператор для «точокXY, іZ лежати на одній лініїℓ" буде «лінії»xy, іz перетинаються в одній точці L". Сформулюємо подвійне твердження для теореми Десарьє (теорема 15.6.1).
Розглянемо колінеарні точкиXY, іZ. Припустимо, що
Потім лінії(AA′)(BB′), і(CC′) є одночасними.
У цій теоремі точкиXY, іZ подвійні до ліній(AA′)(BB′), і(CC′) в початковій формулюванні, і навпаки.
Як тільки теорема Десарьє доведена, застосовуючи дуальність (теорему15.7.1), ми отримуємо дуальну теорему Десарьє. Зауважте, що дуальна теорема Десарьє є зворотною до оригінальної теореми Десарьє (теорема 15.6.1).
Сформулюйте дуальну теорему Паппуса (див. Теорему 15.6.2).
- Підказка
-
Припустімо, що один набір одночасних рядківa,b,c, а інший набірa′,b′,c′ одночасних рядків задано. Набір
P=b∩c′, Q=c∩a′, R=a∩b′,P′=b′∩c Q′=c′∩a, R′=a′∩b.
Потім лінії(PP′)(QQ′), і(RR′) є одночасними. (Це частковий випадок теореми Бріанкона.)
Вирішити наступну будівельну проблему
- використання подвійної теореми Десарьє;
- використовуючи теорему Паппуса або її подвійну.
- Підказка
-
Припустимо(AA′) і(BB′) є заданими лініями іC є заданою точкою. Застосуйте подвійну теорему Десарьє (15.7.2теорему) побудуватиC′ так(AA′),(BB′), що і(CC′) є одночасними. З тих пір(AA′)∥(BB′), ми отримуємо, що(AA′)∥(BB′)∥(CC′).
Тепер припустимо, щоP це задана точка і(R′Q),(P′R) є задані паралельні лінії. Спробуйте побудувати точку,Q′ як у дуальній теоремі Паппа (див. Розв'язок вправи15.7.4).
За двома паралельними лініями побудуйте третю паралельну лінію через задану точку лише лінійкою.