Проєктивне перетворення

Проєктивне перетворення проєктивної площини — це перетворення, що переводить прямі в прямі.

Визначення

Проєктивне перетворення — це взаємно-однозначне відображення $\phi$ проєктивного простору на себе, яке зберігає відношення порядку частково впорядкованої множини всіх підпросторів.

Проєктивне перетворення прямої — бієктивне перетворення прямої, що переводить гармонійну четвірку точок в гармонійну четвірку точок.

Проєктивне перетворення площини — це взаємно-однозначне відображення $\phi \colon \pi \to \pi$ проєктивної площини $\pi$ на себе, при якому для будь-якої прямої $l\subset \pi$ образ $\phi (l)$ також є прямою.

Властивості

• Проєктивне перетворення зберігає подвійне відношення.
• Проєктивне перетворення є взаємно однозначним відображенням множини точок проєктивної площини, а також є взаємно однозначним відображенням множини прямих.
• Відображення, зворотне проєктивному, є проєктивним відображенням. Композиція проєктивних відображень є проєктивним відображенням. Таким чином, множина проєктивних відображень утворює групу.
• Центральне проєктування — частковий випадок проєктивного перетворення.
• Афінне перетворення є частковим випадком проєктивного.
• Кожна пряма площини при проєктивному перетворенні площини відображається проєктивно на деяку пряму. Кожен пучок променів площини проєктивно відображається на пучок променів.
• Проєктивне перетворення прямої визначається заданням трьох пар відповідних за відображенням точок. Це твердження називають іноді основною теоремою проєктивної геометрії.
• Проєктивне перетворення площини визначається заданням чотирьох пар відповідних за відображенням точок, причому ніякі три точки з четвірки образів або прообразів не лежать на одній прямій. При нетотожному відображенні кількість нерухомих точок не більша трьох.
• Кожне проєктивне перетворення площини задається оборотним лінійним перетворенням відповідного їй тривимірного простору. В однорідних координатах воно подається рівняннями:

${\begin{cases}\lambda x_{1}'=c_{11}x_{1}+c_{12}x_{2}+c_{13}x_{3}\\\lambda x_{2}'=c_{21}x_{1}+c_{22}x_{2}+c_{23}x_{3}\\\lambda x_{3}'=c_{31}x_{1}+c_{32}x_{2}+c_{33}x_{3}\end{cases}}$

причому $\det(c_{ij})\neq 0$.

Перспектива

Перспективне відображення
$ABCD\doublebarwedge A'B'C'D',$

Нехай на проєктивній площині є 2 різні прямі $u_{1},u_{2}$ і точка O, що не належить їм. Перспективним відображенням прямої $u_{1}$ на пряму $u_{2}$ з центром O називається відображення $\psi :u_{1}\to u_{2}$, де для довільної точки $A\in u_{1}$ точка $\psi (A)$ знаходиться як перетин $OA$ і $u_{2}$. Це відображення позначається так: $u_{1}{\overset {O}{\doublebarwedge }}u_{2},$ що читається «$u_{1}$ переводиться в пряму $u_{2}$ перспективним відображенням з центром O» або так: $ABC\ldots {\overset {O}{\doublebarwedge }}A'B'C'\ldots ,$ що читається «точки $A,B,C,\ldots$ переводяться перспективним відображенням з центром в O в точки $A',B',C',\ldots$».

Перспективне відображення бієктивне, зберігає точку перетину прямих $u_{1},u_{2}$ і зберігає подвійне відношення четвірки точок.

Будь-яке проєктивне відображення прямої $u_{1}$ на пряму $u_{2}$ може бути подане як композиція перспективних відображень. Проєктивне відображення позначається $ABCD\barwedge A'B'C'D'.$

Інволюція

Проєктивне перетворення $\phi$ називається інволюцією, якщо для будь-якої точки P правильно, що $\phi (\phi (P))=P$.

Якщо $\phi$ — інволюція, то $\phi ^{-1}=\phi$.

Якщо проєктивне перетворення $\phi$ прямої має хоча б одну таку точку P, що $\phi (\phi (P))=P$, то $\phi$ — інволюція.

Якщо нетотожна інволюція проєктивної прямої має нерухомі точки, то їх кількість дорівнює або двом, або нулю. Інволюція, що має 2 нерухомі точки, називається гіперболічною. Гіперболічна інволюція переставляє місцями точки, гармонійно спряжені відносно нерухомих точок. Інволюція, яка не має нерухомих точок, називається еліптичною.

Інволюція визначається заданням двох пар відповідних точок.

Три пари протилежних сторін повного чотирикутника перетинають будь-яку пряму (що не проходить через вершину) в трьох парах точок однієї інволюції (це твердження називають теоремою Дезарга, хоча її походження можна віднести до леми IV «Поризмів» Евкліда в VII томі «Математичної колекції» Паппа Александрійського).

Колінеації і кореляції

Колінеацією називається перетворення, що переводить точки в точки, прямі в прямі і зберігає відношення інцидентності точок і прямих, а також подвійне відношення будь-якої четвірки колінеарних точок. Колінеації утворюють групу. Вимога збереження подвійного відношення четвірки колінеарних точок надлишкова, але це складно довести. Колінеації розглядають разом з кореляціями — перетвореннями проєктивної площини, що переводять точки в прямі, а прямі в точки і зберігають відношення інцидентності. Приклад кореляції — полярна взаємність, тобто відображення, що переводить точку в її поляру відносно конічного перерізу, а пряму — в її полюс.

Гомологія

Гомологією називається нетотожна колінеація, для якої існує поточково нерухома пряма p, яка називається віссю гомології.

Для будь-якої гомології існує нерухома точка P (центр гомології), що володіє тією властивістю, що будь-яка інцидентна їй пряма нерухома. Крім центру P і точок осі p гомологія нерухомих точок не має. Якщо $P\in p$, то гомологія називається параболічною, інакше — гіперболічною.

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

Гомологію можна задати центром, віссю і парою відповідних прямих. Гомологію можна також задати центром, віссю і т. зв. константою гомології, відмінною від $0,1,\infty$.

Див. також

• Подвійне відношення
• Однорідні координати
• Проєктивна геометрія
• Проєктивна площина

Література

• Д. А. Граве. Гомография // Энциклопедический словарь Брокгауза и Ефрона : в 86 т. (82 т. и 4 доп. т.). — СПб., 1890—1907. (рос. дореф.)
• П. С. Александров. Курс аналитической геометрии и линейной алгебры. — М. : Наука, 1979.
• Р. Хартсхорн. Основы проективной геометрии. — М. : Мир, 1970.
• Х. С. М. Кокстер. Действительная проективная плоскость / под ред. проф. А. А. Глаголева — М., 1959.
• Р. Курант, Г. Роббинс. Что такое математика?
• Н. В. Ефимов. Высшая геометрия. — ФизМатЛит, 2003.
• С. Л. Певзнер. Проективная геометрия. Учебное пособие по курсу "Геометрия" для студентов- заочников II-III курсов физико-математических факультетов. — М. : Просвещение, 1980.