Реальная проективная плоскость

Основной многоугольник проективной плоскости.	Ленту Мёбиуса с одним краем можно замкнуть в проективную плоскость, склеив противоположные открытые края.	Для сравнения, бутылка Клейна представляет собой ленту Мёбиуса, замкнутую в цилиндр.

В математике действительная проективная плоскость примером компактного неориентируемого ; двумерного многообразия является другими словами, односторонняя поверхность . Его нельзя внедрить в стандартное трехмерное пространство, не пересекая самого себя. Он имеет основные приложения к геометрии , поскольку обычная конструкция вещественной проективной плоскости представляет собой пространство прямых в R. ³проходя через начало координат. действительная проективная плоскость является продолжением (обычной) плоскости — с каждой точкой $(v1 (т. е. вещественная проективная плоскость ), v2 .)$ обычной плоскости $линия, охватываемая (v1, случае v2,1 В этом)$ связана проективная плоскость является проективным завершением обычной плоскости, ср. также однородные координаты ниже), хотя есть также некоторые «точки в бесконечности».

Реальная проективная плоскость также часто описывается топологически с точки зрения конструкции, основанной на ленте Мёбиуса : если бы можно было приклеить (одиночный) край ленты Мёбиуса к самому себе в правильном направлении, можно было бы получить проективную плоскость. (Этого невозможно сделать в трехмерном пространстве без пересечения поверхности.) Аналогичным образом, склейка диска вдоль границы ленты Мёбиуса дает проективную плоскость. Топологически он имеет эйлерову характеристику 1, следовательно, полурод (неориентируемый род, род Эйлера) со значением 1.

Поскольку ленту Мёбиуса, в свою очередь, можно составить из квадрата , склеив две его стороны с помощью полуповорота, действительную проективную плоскость можно таким образом представить в виде единичного квадрата (т. е. [0, 1] × [ 0,1] ), стороны которого идентифицируются следующими отношениями эквивалентности :

(0, y) ~ (1, 1 - y)

для

0 \leq y \leq 1

и

(x, 0) ~ (1 - x, 1)

для

0 \leq x \leq 1,

как на крайней левой диаграмме, показанной здесь.

Примеры [ править ]

Проективная геометрия не обязательно связана с кривизной, и реальная проективная плоскость может быть искривлена и помещена в евклидову плоскость или трехмерное пространство разными способами. ^[1] Некоторые из наиболее важных примеров описаны ниже.

Проективная плоскость не может быть вложена (то есть без пересечения) в трехмерное евклидово пространство . Доказательство того, что проективная плоскость не вкладывается в трехмерное евклидово пространство, выглядит следующим образом: если предположить, что она вкладывается, то она ограничит компактную область в трехмерном евклидовом пространстве обобщенной теоремой Жордана о кривой . Тогда единичное нормальное векторное поле, направленное наружу, задавало бы ориентацию граничного многообразия, но граничное многообразие было бы проективной плоскостью , которая не является ориентируемой. Это противоречие, и поэтому наше предположение о том, что оно встраивается, должно быть, было ложным.

Проективная сфера [ править ]

Рассмотрим сферу , и пусть большие круги сферы являются «линиями», а пары противоположных точек — «точками». Легко проверить, что эта система подчиняется аксиомам проективной плоскости :

любая пара различных больших кругов встречается в паре противоположных точек; и
любые две различные пары противоположных точек лежат на одном большом круге.

Если мы отождествим каждую точку сферы с ее антиподной точкой, то мы получим представление реальной проективной плоскости, в котором «точки» проективной плоскости действительно являются точками. Это означает, что проективная плоскость — это фактор-пространство сферы, полученное путем разбиения сферы на классы эквивалентности при отношении эквивалентности ~, где x ~ y , если y = x или y = − x . Это факторпространство сферы гомеоморфно совокупности всех прямых, проходящих через начало координат в R. ³.

Фактор-отображение сферы на вещественную проективную плоскость на самом деле представляет собой двухлистное (т. е. два к одному) накрывающее отображение . Отсюда следует, что фундаментальной группой вещественной проективной плоскости является циклическая группа порядка 2; т. е. целые числа по модулю 2. В качестве генератора можно взять цикл AB из рисунка выше.

Проекционное полушарие [ править ]

Поскольку сфера дважды покрывает действительную проективную плоскость, плоскость можно представить как замкнутую полусферу, по краю которой выделены противоположные точки. ^[2]

Поверхность мальчика – погружение [ править ]

Проективная плоскость может быть погружена (локальные окрестности исходного пространства не имеют самопересечений) в 3-пространство. Поверхность Мальчика — пример погружения.

Примеры многогранников должны иметь не менее девяти граней. ^[3]

Римская поверхность [ править ]

Штейнера Римская поверхность представляет собой более вырожденную карту проективной плоскости в трехмерное пространство, содержащую кросс-шапку .

Тетрагемигексаэдр — это многогранное представление реальной проективной плоскости.

Многогранным представлением является тетрагемишестигранник . ^[4] которая имеет ту же общую форму, что и римская поверхность Штайнера, показанная здесь.

Геми-многогранники [ править ]

Глядя в противоположном направлении, некоторые абстрактные правильные многогранники — полукуб , полудодекаэдр и полуикосаэдр — могут быть построены как правильные фигуры на проективной плоскости; см. также проективные многогранники .

Плоские проекции [ править ]

Описаны различные плоские (плоские) проекции или отображения проективной плоскости. В 1874 году Кляйн описал картографирование: ^[1]

k(x,y)=\left(1+x^{2}+y^{2}\right)^{\frac {1}{2}}{\binom {x}{y}}

Центральная проекция проективного полушария на плоскость дает обычную бесконечную проективную плоскость, описанную ниже.

Диск с перекрестной крышкой [ править ]

Замкнутая поверхность получается приклеиванием диска к крестовине . Эту поверхность можно параметрически представить следующими уравнениями:

{\begin{aligned}X(u,v)&=r\,(1+\cos v)\,\cos u,\\Y(u,v)&=r\,(1+\cos v)\,\sin u,\\Z(u,v)&=-\operatorname {tanh} \left(u-\pi \right)\,r\,\sin v,\end{aligned}}

где и u , и v варьируются от 0 до 2 π .

Эти уравнения подобны уравнениям тора . На рис. 1 показан закрытый диск с поперечной крышкой.

Рисунок 1. Два вида диска с перекрестной крышкой.

Диск с перекрестной крышкой имеет плоскость симметрии , проходящую через его отрезок из двойных точек. На рисунке 1 диск с перекрещенной крышкой виден сверху от его плоскости симметрии z = 0, но он выглядел бы так же, если бы смотреть снизу.

Диск с перекрестной крышкой можно разрезать по его плоскости симметрии, стараясь при этом не разрезать ни одну из его двойных точек. Результат показан на рисунке 2.

Рисунок 2. Два вида разрезанного диска с поперечной крышкой.

Как только это исключение будет сделано, станет видно, что разрезанный диск с перекрестной крышкой гомеоморфен самопересекающемуся диску, как показано на рисунке 3.

Рисунок 3. Два альтернативных вида самопересекающегося диска.

Самопересекающийся диск гомеоморфен обычному диску. Параметрические уравнения самопересекающегося диска:

{\begin{aligned}X(u,v)&=r\,v\,\cos 2u,\\Y(u,v)&=r\,v\,\sin 2u,\\Z(u,v)&=r\,v\,\cos u,\end{aligned}}

где u находится в диапазоне от 0 до 2 π , а v — от 0 до 1.

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

Плоскость z = 0 разрезает самопересекающийся диск на пару дисков, являющихся зеркальным отражением друг друга. Диски имеют центры в начале координат .

Теперь рассмотрим обода дисков (при v = 1). Точки на краю самопересекающегося диска располагаются парами, являющимися отражением друг друга относительно плоскости z = 0.

Диск с перекрестной крышкой формируется путем идентификации этих пар точек и делает их эквивалентными друг другу. Это означает, что точка с параметрами ( u , 1) и координатами $(r\,\cos 2u,r\,\sin 2u,r\,\cos u)$ отождествляется с точкой ( u + π, 1), координаты которой равны $(r\,\cos 2u,r\,\sin 2u,-r\,\cos u)$ . Но это означает, что пары противоположных точек на краю (эквивалентного) обыкновенного диска отождествляются друг с другом; так из диска образуется настоящая проективная плоскость. Следовательно, поверхность, показанная на рисунке 1 (поперечная крышка с диском), топологически эквивалентна реальной проективной плоскости RP. ².

Однородные координаты [ править ]

Точки на плоскости могут быть представлены однородными координатами . Точка имеет однородные координаты [ x : y : z ], где координаты [ x : y : z ] и [ tx : ty : tz ] считаются представляющими одну и ту же точку для всех ненулевых значений t . Точки с координатами [ x : y :1] представляют собой обычную вещественную плоскость , называемую конечной частью проективной плоскости, а точки с координатами [ x : y :0], называемые точками на бесконечности или идеальными точками , составляют линию, называемую линия в бесконечности . (Однородные координаты [0:0:0] не представляют никакой точки.)

Линии на плоскости также могут быть представлены однородными координатами. Проективная прямая, соответствующая плоскости ax + by + cz = 0 в R ³имеет однородные координаты ( a : b : c ). Таким образом, эти координаты имеют отношение эквивалентности ( a : b : c ) = ( da : db : dc ) для всех ненулевых значений d . Следовательно, другое уравнение той же прямой dax + dby + dcz = 0 дает те же однородные координаты. Точка [ x : y : z ] лежит на прямой ( a : b : c ), если ax + by + cz = 0. Следовательно, линии с координатами ( a : b : c ), где a , b не равны 0, соответствуют линиям в обычной вещественной плоскости , поскольку содержат точки, не находящиеся на бесконечности. Линия с координатами (0:0:1) — это линия, находящаяся на бесконечности, поскольку на ней есть только точки с z = 0.

Точки, линии и плоскости [ править ]

Линия в P ² может быть представлено уравнением ax + by + cz = 0. Если мы рассматриваем a , b и c как вектор-столбец ℓ , а x , y , z как вектор-столбец x , то приведенное выше уравнение можно записать в матричной форме как :

Икс ^Тℓ = 0 или ℓ ^Тх = 0.

Используя векторную запись, мы можем вместо этого написать x ⋅ ℓ = 0 или ℓ ⋅ x = 0.

Уравнение k ( x ^Тℓ ) = 0 (где k — ненулевой скаляр) выметает плоскость, проходящую через ноль в R ³и k ( x ) выметает линию, снова проходящую через ноль. Плоскость и прямая — линейные подпространства в R ³, которые всегда проходят через ноль.

Идеальные точки [ править ]

В П ² уравнение линии — это ax + by + cz = 0 , и это уравнение может представлять линию на любой плоскости, параллельной плоскости x , y , путем умножения уравнения на k .

Если z = 1, то мы имеем нормированную однородную координату. Все точки, имеющие z = 1, создают плоскость. Давайте представим, что мы смотрим на эту плоскость (из позиции, расположенной дальше по оси Z и смотрящей назад к началу координат), и на плоскости нарисованы две параллельные линии. С того места, где мы стоим (учитывая наши зрительные возможности), мы можем видеть только ту часть плоскости, которую мы представляем как область, обведенную красным на диаграмме. Если мы отойдем от плоскости вдоль оси z (все еще глядя назад, к началу координат), мы сможем увидеть большую часть плоскости. В нашем поле зрения переместились оригинальные точки. Мы можем отразить это движение, разделив однородную координату на константу. На соседнем изображении мы разделили изображение на 2, поэтому значение z теперь стало 0,5. Если мы отойдем достаточно далеко, то, на что мы смотрим, станет точкой на расстоянии. По мере того, как мы уходим, мы видим все больше и больше параллельных линий. Линии встретятся на бесконечной линии (линии, проходящей через ноль на плоскости в точке z = 0 ). Линии на плоскости при z = 0 являются идеальными точками. Плоскость в точке z = 0 — это линия, находящаяся на бесконечности.

Однородная точка (0, 0, 0) — это место, где проходят все реальные точки, когда вы смотрите на плоскость с бесконечного расстояния, линия на плоскости z = 0 — это место пересечения параллельных линий.

Двойственность [ править ]

В уравнении х ^Тℓ = 0 имеется два вектора-столбца . Вы можете оставить одно из них постоянным и изменить другое. Если мы сохраним точку x постоянной и изменим коэффициенты ℓ, мы создадим новые линии, проходящие через точку. Если мы сохраним коэффициенты постоянными и изменяем точки, удовлетворяющие уравнению, мы создадим линию. Мы рассматриваем x как точку, потому что мы используем оси x , y и z . Если бы вместо этого мы построили коэффициенты, используя оси, отмеченные a , b , c, точки стали бы линиями, а линии стали бы точками. Если вы что-то доказываете с помощью данных, нанесенных на оси, отмеченных x , y и z, тот же аргумент можно использовать для данных, нанесенных на оси, отмеченных a , b и c . Это двойственность.

Линии, соединяющие точки и пересечение линий (с использованием двойственности) [ править ]

Уравнение х ^Тℓ = 0 вычисляет скалярное произведение двух векторов-столбцов. Внутреннее произведение двух векторов равно нулю, если векторы ортогональны . В П ², линия между точками x ₁ и x ₂ может быть представлена как вектор-столбец ℓ , который удовлетворяет уравнениям x ₁^Тℓ = 0 и х ₂^Тℓ = 0 или, другими словами, вектор-столбец ℓ , ортогональный x ₁ и x ₂ . Векторное произведение найдет такой вектор: линия, соединяющая две точки, имеет однородные координаты, заданные уравнением x ₁ × x ₂ . Пересечение двух линий можно найти таким же образом, используя двойственность, как векторное произведение векторов, представляющих линии, ℓ ₁ × ℓ ₂ .

Встраивание в 4-мерное пространство [ править ]

Проективная плоскость вкладывается в 4-мерное евклидово пространство. Реальная проективная плоскость P ²( R ) — фактор двухсферы

С ² знак равно {( Икс , y , z ) ∈ р ³ : Икс ² + и ² + я ² = 1}

по антиподальному отношению ( Икс , y , z ) ~ (- Икс , - y , - z ) . Рассмотрим функцию R ³ → Р ⁴ задано формулой ( x , y , z ) ↦ ( xy , xz , y ² - г ², 2 года ) . Эта карта ограничивается картой, областью действия которой является S. ² и, поскольку каждая компонента представляет собой однородный полином четной степени, она принимает одни и те же значения в R ⁴ в каждой из любых двух противоположных точек на S ². Это дает карту P ²( р ) → р ⁴. Более того, эта карта является вложением. Заметим, что это вложение допускает проекцию в R ³ это римская поверхность .

Высшие неориентируемые поверхности [ править ]

Склеивая последовательно проективные плоскости, мы получаем неориентируемые поверхности высшего полурода . Процесс склейки заключается в вырезании небольшого диска с каждой поверхности и обозначении ( приклеивании ) их граничных кругов. Склеивание двух проекционных плоскостей создает бутылку Клейна .

В статье о фундаментальном многоугольнике описаны высшие неориентируемые поверхности.

См. также [ править ]

Цитаты [ править ]

Ссылки [ править ]

Апери, Ф. (1987), Модели реальной проективной плоскости , Vieweg
Брем, У. (1990), «Как построить минимальные многогранные модели поверхности Боя», The Mathematical Intelligencer , 12 (4): 51–56, doi : 10.1007/BF03024033 , S2CID 120093360
Коксетер, HSM (1955), Реальная проекционная плоскость (2-е изд.), Кембридж: В University Press
Баер, Рейнхольд (2005), Линейная алгебра и проективная геометрия , Дувр, ISBN 0-486-44565-8
Рихтер, Дэвид А., Две модели реальной проективной плоскости , получено 15 апреля 2010 г.
Уикс, Дж. (2002), Форма пространства , CRC

Внешние ссылки [ править ]

[FOOTNOTEApéry1987-1] Перейти обратно: ^а ^б Апери 1987 г.

[FOOTNOTEWeeks200259-2] Недели 2002 , с. 59

[FOOTNOTEBrehm199051–56-3] Брем 1990 , стр. 51–56.

[FOOTNOTERichter-4] Рихтер

[1]

[2]

[3]

[4]