Skip to main content
LibreTexts - Ukrayinska

15.7: Подвійність

Припустімо, що задано біекціюPp між множиною ліній і множиною точок площини.

2021-02-26 пнг
Подвійні конфігурації

Тобто, задану точкуP, позначаємоp відповідною лінією; а навпаки, дану лінію позначаємоL відповідною точкою.

Біджекція між точками та лініями називається подвійністю (Стандартне визначення подвійності є більш загальним; ми розглядаємо особливий випадок, який також називають полярністю.), якщо

P      pL.

для будь-якої точкиP і лінії.

Вправа15.7.1

Розглянемо конфігурацію ліній і точок на схемі.

Почніть з загального чотирикутникаKLMN і розширте його на подвійну діаграму; позначте лінії і точки, використовуючи вищеописану угоду.

2021-02-26 9.57.png

Підказка

Малюватиa=(KN),b=(KL),c=(LM),d=(MN), позначитиP=bd, і продовжувати.

Вправа15.7.2

Покажіть, що евклідова площина не допускає подвійності.

Підказка

Припустимо, що існує подвійність. Виберіть дві окремі паралельні лінії іm. НехайL іM будуть їх подвійні точки. s=(ML)Поставте, тоді його подвійна точкаS повинна лежати на обох іm - протиріччя.

Теорема15.7.1

Реальна проективна площина допускає подвійність.

Доказ

Розглянемо площинуΠ і точкуOΠ в просторі; припустимо, щоˆΠ позначає відповідну реальну проективну площину.

Нагадаємо, щоΦ іΨ позначають сукупність всіх ліній і площин, що проходять черезO. Згідно з спостереженням 15.3.1,P˙P між точками і між лініямиˆΠΦ і˙ між ними існують двобічності вˆΠ іΨ такі, щоP якщо і тільки якщо˙P˙.

Залишилося побудувати біекцію˙˙L міжΦ іΨ таким, що

˙P˙      ˙p˙L

для будь-яких двох ліній˙P і˙L проходження черезO.

Встановити˙, щоб бути площиною черезO, яка перпендикулярна до˙L. Зверніть увагу, що обидві умови 15.7.1 еквівалентні˙P˙L; отже, результат випливає.

Вправа15.7.3

Розглянемо евклідову площину з(x,y) -координатами; припустимо, щоO позначає походження. Задану точкуPO з координатами(a,b) розглянемо пряму,p задану рівняннямax+by=1.

Показати, що відповідністьP доp поширюється на подвійність реальної проективної площини.

Який рядок відповідаєO?

Яка точка відповідає прямійax+by=0?

Підказка

Припустимо,M=(a,b) і лініяs задана рівняннямpx+qy=1. ТодіMs еквівалентноpa+qb=1.

Останнє еквівалентноmS де m - лінія, задана рівняннямax+b cdoty=1 іS=(p,q).

Щоб розширити цей біекція на всю проективну площину, припустимо, що (1) ідеальна лінія відповідає початку і (2) ідеальна точка, задана олівцем лінійbxay=c для різних значень c, відповідає прямій, заданій рівняннямax+by=0.

Подвійність говорить про те, що лінії і точки мають однакові права з точки зору захворюваності. Це дає можливість сформулювати еквівалентне подвійне твердження будь-якому твердженню в проективній геометрії. Наприклад, подвійний оператор для «точокXY, іZ лежати на одній лінії" буде «лінії»xy, іz перетинаються в одній точці L". Сформулюємо подвійне твердження для теореми Десарьє (теорема 15.6.1).

Теорема15.7.2 Dual Desargues' theorem

Розглянемо колінеарні точкиXY, іZ. Припустимо, що

Потім лінії(AA)(BB), і(CC) є одночасними.

У цій теоремі точкиXY, іZ подвійні до ліній(AA)(BB), і(CC) в початковій формулюванні, і навпаки.

Як тільки теорема Десарьє доведена, застосовуючи дуальність (теорему15.7.1), ми отримуємо дуальну теорему Десарьє. Зауважте, що дуальна теорема Десарьє є зворотною до оригінальної теореми Десарьє (теорема 15.6.1).

Вправа15.7.4

Сформулюйте дуальну теорему Паппуса (див. Теорему 15.6.2).

Підказка

2021-02-26 пнг

Припустімо, що один набір одночасних рядківa,b,c, а інший набірa,b,c одночасних рядків задано. Набір

P=bc,    Q=ca,    R=ab,P=bc    Q=ca,    R=ab.

Потім лінії(PP)(QQ), і(RR) є одночасними. (Це частковий випадок теореми Бріанкона.)

Вправа15.7.5

Вирішити наступну будівельну проблему

  1. використання подвійної теореми Десарьє;
  2. використовуючи теорему Паппуса або її подвійну.
Підказка

Припустимо(AA) і(BB) є заданими лініями іC є заданою точкою. Застосуйте подвійну теорему Десарьє (15.7.2теорему) побудуватиC так(AA),(BB), що і(CC) є одночасними. З тих пір(AA)(BB), ми отримуємо, що(AA)(BB)(CC).

Тепер припустимо, щоP це задана точка і(RQ),(PR) є задані паралельні лінії. Спробуйте побудувати точку,Q як у дуальній теоремі Паппа (див. Розв'язок вправи15.7.4).

Проблема15.7.1

За двома паралельними лініями побудуйте третю паралельну лінію через задану точку лише лінійкою.