15.4: Перспективна проекція
Розглянемо дві площиниΠ іΠ′ в евклідовому просторі. ДозвольтеO бути точкою, яка не належить ні доΠ ніΠ′.
Перспективна проекція відΠ доΠ′ з центром наO відображає точкуP∈Π на точку перетинуP′=Π′∩(OP).
Загалом, перспективна проекція - це не біекція між площинами. Дійсно, якщо лінія(OP) паралельнаΠ′ (тобто якщо(OP)∩Π′=∅), то перспективнаP∈Π проекція не визначена. Також, якщо(OP′)∥Π дляP′∈Π′, то точка неP′ є зображенням перспективної проекції.
Наприклад,O нехай є початком(x,y,z) координатного простору і площинΠ іΠ′ задаються рівняннямиz=1 іx=1 відповідно. Тоді перспективна проекція відΠ доΠ′ може бути записана в координатах як
(x,y,1)↦(1,yx,1x).
Дійсно, координати повинні бути пропорційними; точки наΠ мають одиницюz -координату, а точки наΠ′ мають одиницюz -координату.
Перспективна проекція, відображає одну площину на іншу. Однак ми можемо ідентифікувати дві площини, закріпивши систему координат у кожній. У цьому випадку ми отримуємо частково визначену карту від літака до себе. Ми збережемо трансформацію перспективи назви для таких карт.
Для описаної проекції перспективи; ми можемо отримати карту
β(x,y)↦(1x,yx).
Ця карта не визначена на лініїx=0. Також точки на цій лінії не є зображеннями точок під перспективною проекцією.
ˆΠ′ПозначаютьˆΠ і проективні завершенняΠ іΠ′ відповідно. Зауважте, що перспективна проекція є обмеженням композиції двох бієкцій,ˆΠ↔Φ↔ˆΠ′ побудованих у попередньому розділі. За спостереженням 15.3.1 перспективна проекція може бути розширена до біекції,ˆΠ↔ˆΠ′ яка посилає лінії на лінії. (Аналогічна історія сталася і з інверсією. Інверсія не визначена в її центрі; крім того, центр не є зворотним будь-якій точці. Для вирішення цієї проблеми ми перейшли до зворотної площини, яка є евклідовою площиною, розширеною однією ідеальною точкою. Та ж стратегія працювала і для перспективної проекціїΠ→Π′, але цього разу нам потрібно додати ідеальну лінію.)
Наприклад, щоб визначити розширення перспективної проекціїβ в 15.4.1, ми повинні зауважити, що
- Олівець вертикальних лінійx=a наноситься на себе.
- Ідеальні точки, визначені олівцем ліній,y=m⋅x+b зіставляються з точкою,(0,m) а навпаки — точка(0,m) відображається на ідеальній точці, визначеній олівцем лінійy=m⋅x+b.