Перегляд вихідного коду сторінки Дійсна проєктивна площина

{| class="wikitable" align="right"
| width="120" valign="top" |[[Файл:ProjectivePlaneAsSquare.svg|120x120пкс]] {{Не перекладено|Фундаментальний многокутник||en|fundamental polygon}} площини
| style="padding-top:8px" width="120" valign="top" |[[Файл:MöbiusStripAsSquare.svg|центр|108x108пкс]]<div style="margin-top:6px;"> [[Стрічка Мебіуса|Стрічку Мебіуса]] з єдиним ребром можна замкнути в проєктивну площину, склеївши протилежні краї</div>
| width="120" valign="top" |[[Файл:KleinBottleAsSquare.svg|120x120пкс]]Для порівняння, [[Пляшка Кляйна|пляшка Клейна]]&nbsp;— це стрічка Мебіуса, замкнена в циліндр
|}
'''Дійсна [[проєктивна площина]]'''&nbsp;— приклад компактного [[Орієнтація|неорієнтованого]] двовимірного [[многовид]]а, тобто односторонньої [[Поверхня|поверхні]]. Проєктивну площину неможливо [[Вкладення|вкласти]] у звичайний тривимірний простір без самоперетину. Основна галузь застосування цієї площини&nbsp;— [[геометрія]], позаяк основна побудова дійсної проєктивної площини&nbsp;— простір прямих '''R'''<sup>3</sup>, що проходять через початок координат.

Площину часто описують топологічно в термінах побудови на основі [[Стрічка Мебіуса|стрічки Мебіуса]]&nbsp;— якщо склеїти (єдиний) край стрічки Мебіуса із собою в правильному напрямку, отримаємо проєктивну площину (це неможливо здійснити у тривимірному просторі). Еквівалентно, приклеювання круга вздовж межі стрічки Мебіуса дає проєктивну площину. Топологічно, поверхня має [[Характеристика Ейлера|ейлерову характеристику]] 1, бо [[Рід (математика)|напіврід]] (неорієнтований або ейлерів рід) дорівнює 1.

Позаяк стрічку Мебіуса, у свою чергу, можна побудувати з [[квадрат]]а склеюванням двох його сторін, дійсну проєктивну площину можна подати як одиничний квадрат (тобто [0,1] [[Декартів добуток множин|×]] [0,1]), у якому сторони ототожнено таким [[Відношення еквівалентності|відношенням еквівалентності]]:

: <math>(0, y) \sim (1, 1 - y), 0 \leqslant y \leqslant 1</math>

і

: <math>(x, 0) \sim (1 - x, 1), 0 \leqslant x \leqslant 1</math> ,

як на лівому малюнку вище.

== Приклади ==
Проєктивна геометрія не обов'язково стосується кривини і дійсна проєктивну площину можна скрутити й помістити в евклідову площину або тривимірний простір багатьма способами{{Sfn|Ap&eacute;ry|1987}}. Деякі важливі приклади вкладення площини описано нижче.

Проєктивну площину не можна [[Вкладення|вкласти]] (без перетинів) у тривимірний [[евклідів простір]]. Доводиться це приблизно так. Припустимо, що площину вкладено, тоді проєктивна площина обмежує компактну область тривимірного евклідового простору відповідно до [[Теорема Жордана|узагальненої теореми Жордана]]. Спрямоване назовні одиничне векторне поле задає тоді [[Орієнтація|орієнтацію]] межі многовида, проте межею многовида слугує [[проєктивна площина]], яка не орієнтована. Маємо суперечність.

=== Проєктивна сфера ===
Розглянемо [[Сфера|сферу]], нехай [[Велике коло|великі кола]] сфери будуть «прямими», а пари {{Не перекладено|Антиподальна точка|антиподальних точок|en|antipodal point}} будуть «точками». Легко перевірити, що система підпорядковується аксіомам [[Проєктивна площина|проєктивної площини]]:

* будь-яка пара різних великих кіл перетинаються в парі антиподальних точок
* будь-які дві різні пари антиподальних точок лежать на єдиному великому колі

Якщо ми ототожнюємо будь-яку точку на сфері з її антиподальною точкою, отримаємо подання дійсної проєктивної площини, в якій «точками» проєктивної площини є реальні точки. Це означає, що проєктивна площина є [[Фактор-простір|фактор-простором]] сфери, отриманим розбиттям сфери на класи еквівалентності відношенням <math>\sim</math>, де <math>x \sim y</math> якщо <math>y = -x</math>. Цей фактор-простір [[Гомеоморфізм|гомеоморфний]] множині всіх прямих, що проходять через початок координат в '''R'''<sup>3</sup>.

Факторне відображення зі сфери в дійсну проєктивну площину є, фактично, дволистим (тобто два-в-один) [[Накриття (топологія)|накриттям]]. Звідси випливає, що [[фундаментальна група]] дійсної проєктивної площини є циклічною групою порядку 2. За генератор можна взяти цикл ''AB'' на малюнку вгорі.

=== Проєктивна півсфера ===
Оскільки сфера покриває дійсну проєктивну площину двічі, проєктивну площину можна подати як замкнуту півсферу, в якої протилежні точки обода ототожнено{{Sfn|Weeks|2002|с=59}}.

=== Поверхня Боя&nbsp;— занурення ===
Проєктивну площину можна [[Занурення (топологія)|занурити]] (локальні околи області визначення не мають самоперетинів) у тривимірному просторі. [[Поверхня Боя]] є прикладом такого занурення.

Багатогранні приклади повинні мати щонайменше дев'ять граней{{Sfn|Brehm|1990|с=51—56}}.

=== Римська поверхня ===
[[Файл:Steiner's_Roman_Surface.gif|міні| Анімація Римської поверхні]]
{{Не перекладено|Римська поверхня||en|Roman surface}} Штейнера є виродженим відображенням проєктивної площини в тривимірний простір, що містить [[Плівка Мебіуса|плівку Мебіуса]].
[[Файл:Tetrahemihexahedron.png|міні| [[Тетрагемігексаедр]] є багатогранним поданням дійсної проєктивної площини.]]
Подання у вигляді [[многогранник]]а&nbsp;— це [[тетрагемігексаедр]]{{Sfn|Richter}}, який має таку ж загальну форму, що й [[Римська поверхня|поверхня Штейнера]].

=== Напівмногогранники ===
З іншого боку, деякі [[Абстрактний многогранник|абстрактні правильні многогранники]], {{Не перекладено|Напівкуб (геометрія)|напівкуб|en|Hemicube (geometry)}}, [[напівдодекаедр]] і [[напівікосаедр]], можна побудувати як фігури ''проєктивної площини''. Див. статтю «{{Не перекладено|Проєктивний многогранник||en|Projective polyhedron}}».

=== Планарні проєкції ===
Описано різні планарні проєкції або відображення проєктивної площини. 1874 року Кляйн описав відображення <math>k (x, y) = \sqrt{1 + x^2 + y^2} . (x, y)</math>{{Sfn|Ap&eacute;ry|1987}}

Центральна проєкція проєктивної півсфери на площину дає звичайну нескінченну проєктивну площину, описану нижче.

=== Плівка Мебіуса ===
Якщо склеїти [[круг]] із [[Плівка Мебіуса|плівкою Мебіуса]], отримаємо замкнуту поверхню. Цю поверхню можна задати параметрично такими рівняннями:

: <math> X(u,v) = r \, (1 + \cos v) \, \cos u, </math>
: <math> Y(u,v) = r \, (1 + \cos v) \, \sin u, </math>
: <math> Z(u,v) = -\mathrm{th}\,\left(u - \pi \right) \, r \, \sin v,</math>

де ''u'' та ''v'' пробігають від 0 до 2''π''. Ці рівняння подібні до рівнянь для [[Тор (геометрія)|тора]]. На малюнку 1 показано замкнутий диск із плівкою Мебіуса.
{|
|[[Файл:CrossCapTwoViews.PNG|500x500пкс]]
|-
| align="center" | ''Малюнок 1.'' ''Два види диска із плівкою Мебіуса.''
|}
Диск із плівкою Мебіуса має [[Відбиття (геометрія)|площину симетрії]], яка проходить через відрізок із точками перетину (на малюнку площина буде горизонтальною). На малюнку 1 диск із плівкою Мебіуса показано зверху відносно площини симетрії ''z'' = 0, але він виглядатиме так само і при розгляді знизу.

Диск із плівкою Мебіуса можна розсікти вздовж площини симетрії з умовою, що не розсікається жодна подвійна точка. Результат наведено на малюнку 2.
{|
|[[Файл:CrossCapSlicedOpen.PNG|500x500пкс]]
|-
| align="center" | ''Малюнок 2.'' ''Два види розсіченого диска із плівкою Мебіуса.''
|}
За такої умови видно, що розсічений диск із плівкою Мебіуса [[Гомеоморфізм|гомеоморфний]] самоперетнутому диску, як показано на малюнку 3.
{|
|[[Файл:SelfIntersectingDisk.PNG|500x500пкс]]
|-
| align="center" | ''Малюнок 3.'' ''Два різних вигляди самоперетнутого диска.''
|}
Самоперетнутий диск гомеоморфний звичайному диску. Параметричні рівняння самоперетнутого диска:

: <math> X(u,v) = r \, v \, \cos 2 u, </math>
: <math> Y(u,v) = r \, v \, \sin 2 u, </math>
: <math> Z(u,v) = r \, v \, \cos u, </math>

де ''u'' пробігає від 0 до 2''π'', а ''v''&nbsp;— від 0 до 1.

Проєкція самоперетнутого диска на площину симетрії (''z'' = 0 за наведеної вище параметризації), яка проходить тільки через подвійні точки, є звичайним диском, який повторює себе (згортається на себе).

Площина ''z'' = 0 розсікає самоперетнутий диск на пару дисків, що є [[Відбиття (геометрія)|дзеркальними відображеннями]] один одного. Диски мають центри в [[Початок координат|початку координат]].

Розглянемо тепер ободи дисків (з ''v'' = 1). Точки на ободі самоперетнутого диска йдуть парами як відображення одна одної відносно площини ''z'' = 0.

Диск із плівкою Мебіуса утворюється ототожненням цих пар точок. Це означає, що точка з параметрами <math>(u ,1)</math> та координатами <math> (r \, \cos 2 u, r \, \sin 2 u, r \, \cos u) </math> ототожнюється з точкою <math>( u + \pi,1)</math>, координати якої <math> (r \, \cos 2 u, r \, \sin 2 u, - r \, \cos u) </math>. Але це означає, що пари протилежних точок на ободі (еквівалентного) звичайного диска ототожнюються. Таким чином, з диска формується дійсна проєктивна площина, так що поверхня, показана на малюнку 1 (диск із плівкою Мебіуса), топологічно еквівалентна дійсній проєктивній площині ''RP''<sup>2</sup>.

== Однорідні координати ==
Точки площини можна подати [[Однорідні координати|однорідними координатами]]. Точка має однорідні координати <math>[x : y : z]</math>, при цьому координати <math>[x : y : z]</math> і <math>[tx : ty : tz]</math> відповідають для всіх ненульових значень <math>t</math> одній і тій самій точці. Точки з координатами <math>[x : y : 1]</math> утворюють звичайну [[Евклідова геометрія|дійсну площину]], яку називають '''кінцевою частиною''' проєктивної площини, а точки з координатами <math>[x : y : 0]</math> називають '''точками на нескінченності''' або '''ідеальними точками''', які утворюють пряму, називану '''{{Не перекладено|Нескінченно віддалена пряма|нескінченно віддаленою прямою|en|line at infinity}}''' . Однорідні координати <math>[0 : 0 : 0]</math> не задають ніякої точки.

Прямі на площині можна задати однорідними координатами. Проєктивна пряма, відповідна площині <math>ax + by + cz = 0</math> в '''R'''<sup>3</sup>, має однорідні координати <math>(a : b : c)</math>. Таким чином, ці координати мають відношення еквівалентності. <math>(a : b : c) = (da : db : dc)</math> для всіх ненульових значень <math>d</math>. Це наслідок того, що рівняння тієї ж прямої <math>dax + dby + dcz = 0</math> дає ті самі однорідні координати. Точка <math>[x : y : z]</math> лежить на прямій <math>(a : b : c)</math>, якщо <math>ax + by + cz = 0</math>. Таким чином, прямі з координатами <math>(a : b : c)</math>, де <math>a</math> і <math>b</math> не дорівнюють 0, відповідають прямим звичайної [[Евклідова геометрія|дійсної площини]], оскільки вони містять точки, що не лежать на нескінченності. Пряма з координатами <math>(0 : 0 : 1)</math> є нескінченно віддаленою прямою, оскільки на ній лежать тільки точки, для яких <math>z = 0</math>.

=== Точки, прямі та площини ===
[[Файл:Proj_geom1ru.svg]]{{Clear}}Пряму в площині '''P'''<sup>2</sup> можна задати рівнянням <math>ax + by + cz = 0</math>. Якщо ми розглядаємо <math>a</math>, <math>b</math> і <math>c</math> як вектор-стовпець '''g''', а <math>x</math>, <math>y</math> і <math>z</math> як вектор-стовпець '''x''', то наведене вище рівняння можна записати як:

: <math>\mathbf{x}^T \mathbf{g} = 0</math> або <math>\mathbf{g}^T\mathbf{x} = 0</math>.

Скориставшись векторним записом, маємо

: <math>\mathbf{x} \ldots \mathbf{g} = 0</math> або <math>\mathbf{g} \ldots \mathbf{x} = 0</math>.

Рівняння <math>k(\mathbf{x}^T\mathbf{g}) = 0</math> (де <math>k</math>&nbsp;— ненульовий [[скаляр]]) вимітає площину, яка проходить через початок координат '''R'''<sup>3</sup>, а <math>k(x)</math> вимітає пряму, яка також проходить через початок координат. Площина і пряма є [[Векторний простір|лінійними підпросторами]] {{Не перекладено|Дійсна просторова система координат|'''R'''<sup>3</sup>|en|real coordinate space}}, які завжди проходять через початок координат.{{Clear}}

=== Ідеальні точки ===
[[Файл:Prj_geom_RU.svg]]

У '''P'''<sup>2</sup> рівняння прямої&nbsp;— <math>ax + by + c = 0</math> і це рівняння може описувати будь-яку пряму на будь-якій площині, паралельній площині <math>xy</math> при множенні рівняння на <math>k</math>.

Якщо <math>z = 1</math>, маємо нормалізовані однорідні координати. Усі точки, в яких <math>z = 1</math>, утворюють площину. Уявімо, що ми дивимося на цю площину (з точки далі по осі ''<math>z</math>'' і в напрямку початку координат) і на площині є дві паралельні прямі. З точки огляду ми побачимо тільки частину площини (що обумовлено властивостями зору), яку на малюнку виділено червоним. Якщо ми віддаляємось від площини вздовж осі ''<math>z</math>'' (продовжуючи дивитися в бік початку координат), ми можемо бачити більшу частину площини. Початкові точки нашого фрагмента огляду пересуваються. Ми можемо відобразити цей рух діленням однорідних координат на константу. На малюнку ми поділили на 2, тому значення ''<math>z</math>'' тепер стало 0,5. Якщо ми відсуваємося досить далеко, розглянута область перетворюється на точку. В міру віддалення ми бачимо прямі дедалі ширше, при цьому паралельні прямі перетинаються на нескінченно віддаленій прямій (прямій, що проходить через початок координат на площині ''<math>z=0</math>''). Прямі на площині ''<math>z=0</math>'' є ідеальними точками. Площина ''<math>z=0</math>'' є нескінченно віддаленою прямою.

Точка з однорідними координатами (0, 0, 0)&nbsp;— це точка, куди сходяться всі дійсні точки, коли ви дивитеся на площину з нескінченності, а пряма на площині ''<math>z=0</math>'')&nbsp;— це пряма, де перетинаються всі паралельні прямі.{{Clear}}

=== Двоїстість ===
[[Файл:Projective_geometry_diagram_2RU.svg|праворуч|300x300пкс]]
У рівнянні <math>\mathbf{x}^T\mathbf{g} = 0</math> є два [[Вектор-стовпець|вектор-стовпці]]. При збереженні сталим одного стовпця можна змінювати інший. Якщо зберігати сталою точку '''x''' і змінювати коефіцієнти '''g''', отримаємо нові прямі через точку. Якщо ж зберігати сталими коефіцієнти і змінювати точки, які відповідають рівнянню, отримаємо пряму. Ми розглядаємо '''x''' як точку, оскільки використовуємо осі <math>x</math>, <math>y</math> та ''<math>z</math>''. Якщо замість цього використати як коефіцієнти осі ''<math>a</math>'', ''<math>b</math>'', ''<math>c</math>'', точки стають прямими, а прямі&nbsp;— точками. Якщо деякий факт доводиться для {{Не перекладено|Графічне подання даних|графічного подання даних|en|data plot}} при осях <math>x</math>, <math>y</math> і ''<math>z</math>'', ті ж самі доводи можна використовувати для осей ''<math>a</math>'', ''<math>b</math>'', ''<math>c</math>''. Це називають '''двоїстістю'''.{{Clear}}

==== Прямі, що з'єднують точки, та перетин прямих (з використанням двоїстості) ====
Рівняння <math>\mathbf{x}^T\mathbf{g} = 0</math> обчислює [[скалярний добуток]] двох вектор-стовпців. Скалярний добуток двох векторів дорівнює нулю, якщо вектори [[Ортогональність|ортогональні]]. У площині '''P'''<sup>2</sup> пряму між точками '''x'''<sub>1</sub> і '''x'''<sub>2</sub> можна подати як вектор-стовпець '''g''', що задовольняє рівнянням <math>\mathbf{x}_1^T\mathbf{g} = 0</math> і <math>\mathbf{x}_2^T \mathbf{g} = 0</math>, або, іншими словами, вектор-стовпець '''g''', ортогональний векторам '''x'''<sub>1</sub> і '''x'''<sub>2</sub>. [[Векторний добуток]] знаходить такий вектор&nbsp;— пряма, що з'єднує дві точки, має однорідні координати, задавані рівнянням <math>-\mathbf{x}_1 \times \mathbf{x}_2</math>. Перетин двох прямих можна знайти в такий самий спосіб, скориставшись двоїістістю, як векторний добуток векторів, що представляють прямі <math>\mathbf{g}_1 \times \mathbf{g}_2</math>.

== Вкладення у 4-вимірний простір ==
Проєктивна площина вкладається в 4-вимірний евклідів простір. Дійсна проєктивна площина '''P'''<sup>2</sup>('''R''') є [[Фактор-простір|фактор-простором]] 2-сфери

: <math>S^2 = \{(x, y, z) \in \mathbf{R}^33 :x^2 + y^2 + z^2 = 1\}</math>

за антиподальним відношенням <math>(x, y, z) \sim (-x, -y, -z) </math>. Розглянемо функцію <math>\mathbf{ R}^3 \rightarrow \mathbf{R}^4 </math> задану як <math>(x, y, z) \mapsto (xy, xz, y^2 - z^2, 2yz) </math>. Це відображення обмежується до відображення, областю визначення якого є '''S'''<sup>2</sup> і, оскільки кожен член є однорідним поліномом парного степеня, воно набуває однакових значень у '''R'''<sup>4</sup> на кожній з двох антиподальних точок сфери '''S'''<sup>2</sup>. Це дає відображення <math>\mathbf{P}^2(\mathbf{R}) \rightarrow \mathbf{R}^4</math>. Понад те, це відображення є вкладенням. Зауважимо, що це вкладення дозволяє проєкцію в '''R'''<sup>3</sup>, яка є {{Iw|Римська поверхня|римською поверхнею|en|Roman surface}}.

== Неорієнтовані поверхні вищого півроду ==
Склеївши проєктивні площини одну за одною, отримаємо неорієнтовані поверхні вищого [[Рід (математика)|напівроду]]. Процес склеювання полягає у вирізуванні маленького диска з кожної поверхні та ототожнення (''склеювання'') меж. Склеювання двох проєктивних площин дає [[Пляшка Кляйна|пляшку Кляйна]].

Стаття про {{Не перекладено|фундаментальний многокутник||en|fundamental polygon}} описує неорієнтовані поверхні вищого напівроду.

== Див. також ==
* {{Не перекладено|Гладкий проєктивний простір||en|Smooth projective plane}}
* [[Дійсна точка]]
* {{Не перекладено|Дійсний проєктивний простір||en|Real projective space}}
* [[Проєктивний простір]]

== Примітки ==
{{Reflist|2}}

== Література ==
{{Refbegin|colwidth=30em}}
* {{Книга
|автор = Ap&eacute;ry F.
|ref = Ap&eacute;ry
|видавництво = Vieweg
|рік = 1987
|ISBN = 9783528089559
|назва = Models of the real projective plane
}}
* {{Книга
|автор = [[Гарольд Коксетер|Coxeter H.S.M.]]
|ref = Coxeter
|рік = 1955
|видання = 2nd ed
|видавництво = Cambridge: At the University Press
|назва = The Real Projective Plane
}}
* {{Книга
|автор = Reinhold Baer
|ref = Baer
|видавництво = Dover
|рік = 2005
|ISBN = 0-486-44565-8
|назва = Linear Algebra and Projective Geometry
}}
* {{Стаття|ref=Richter|author=David A. Richter|url=http://homepages.wmich.edu/~drichter/rptwo.htm|title=Two Models of the Real Projective Plane|accessdate=2010-04-15}}
* {{Книга
|автор = Weeks J.
|ref = Weeks
|видавництво = Marcel Dekker, Ine
|ISBN = 0-8247-0709-5
|рік = 2002
|серія = MONOGRAPHS AND TEXTBOOKS IN Pure and Applied Mathematics
|назва = The shape of space
}}
* {{Стаття|author=Brehm U.|ref=Brehm|title=How to build minimal polyhedral models of the Boy surface|видання=The mathematical intelligencer|том=12|issue=4|рік=1990}}
{{Refend}}

== Посилання ==
* {{MathWorld|urlname=RealProjectivePlane|title=Дійсна проєктивна площина}}
* [http://vis.cs.brown.edu/docs/pdf/Demiralp-2009-CLF.pdf Line field coloring using Werner Boy's real projective plane immersion]
* [https://www.youtube.com/watch?v=lDqmaPEjJpk Дійсна проєктивна площина на YouTube]

[[Категорія:Поверхні]]
[[Категорія:Геометрична топологія]]