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

Проективная плоскость — это двумерное многообразие, которое является расширением обычной евклидовой плоскости за счёт добавления «бесконечно удалённых» точек, в которых пересекаются параллельные прямые. В отличие от евклидовой плоскости, в проективной плоскости любые две различные прямые пересекаются ровно в одной точке, и через любые две различные точки проходит ровно одна прямая. Проективная плоскость является фундаментальным объектом проективной геометрии, топологии и алгебраической геометрии.

История

Идея проективной плоскости восходит к работам художников и архитекторов эпохи Возрождения, которые разрабатывали теорию перспективы. В XV веке Филиппо Брунеллески и Леон Баттиста Альберти заложили основы математической перспективы, где параллельные линии на картине сходятся в точке схода. Однако строгое математическое оформление проективная геометрия получила в XVII веке благодаря трудам Жерара Дезарга и Блеза Паскаля. Дезарг ввёл понятие «бесконечно удалённых» точек и доказал теорему о перспективных треугольниках. Паскаль в 1640 году сформулировал теорему о шестиугольнике, вписанном в коническое сечение, которая является одним из центральных утверждений проективной геометрии.

В XIX веке проективная геометрия была систематизирована. Карл Фридрих Гаусс, Янош Бойяи и Николай Лобачевский независимо разработали неевклидовы геометрии, что стимулировало интерес к проективным пространствам. В 1872 году Феликс Клейн в своей «Эрлангенской программе» показал, что проективная геометрия является фундаментом для других геометрий, включая евклидову, гиперболическую и эллиптическую. В топологии проективная плоскость была впервые описана как замкнутая неориентируемая поверхность в работах Августа Фердинанда Мёбиуса (1865) и была названа «проективной плоскостью» в трудах Анри Пуанкаре (конец XIX века).

Определение и основные свойства

Аксиоматическое определение

Проективная плоскость определяется как множество точек и прямых, удовлетворяющее следующим аксиомам:

1. Любые две различные точки принадлежат ровно одной прямой.
2. Любые две различные прямые пересекаются ровно в одной точке.
3. Существуют четыре точки, никакие три из которых не лежат на одной прямой (аксиома невырожденности).

Эти аксиомы симметричны относительно точек и прямых, что отражает принцип двойственности проективной геометрии: любое утверждение о точках и прямых остаётся верным при замене «точка» на «прямая» и наоборот.

Модели проективной плоскости

Существует несколько эквивалентных способов построения проективной плоскости.

Модель на основе евклидовой плоскости. Проективная плоскость получается из евклидовой плоскости добавлением «бесконечно удалённой прямой». Каждому направлению параллельных прямых на евклидовой плоскости ставится в соответствие одна бесконечно удалённая точка. Все эти точки образуют бесконечно удалённую прямую. В результате любые две параллельные прямые на евклидовой плоскости пересекаются на этой прямой.

Модель на основе сферы. Рассмотрим сферу в трёхмерном пространстве. Каждой паре диаметрально противоположных точек сферы поставим в соответствие одну точку проективной плоскости. Каждой большой окружности на сфере (окружности, проходящей через центр сферы) соответствует прямая на проективной плоскости. Эта модель показывает, что проективная плоскость является факторпространством сферы по отношению отождествления противоположных точек.

Модель на основе однородных координат. В трёхмерном векторном пространстве над полем \( \mathbb{R} \) (или любым другим полем) проективная плоскость определяется как множество одномерных подпространств (прямых, проходящих через начало координат). Точка проективной плоскости задаётся тройкой чисел \((x_1 : x_2 : x_3)\), не равных одновременно нулю, с точностью до умножения на ненулевой скаляр. Прямая задаётся линейным уравнением \(a_1 x_1 + a_2 x_2 + a_3 x_3 = 0\). Эта модель позволяет вводить алгебраические методы.

Топологические свойства

Как топологическое пространство, вещественная проективная плоскость \( \mathbb{R}P^2 \) является замкнутым компактным двумерным многообразием. Она неориентируема: у неё нет непрерывного поля нормалей, и её нельзя вложить в трёхмерное евклидово пространство без самопересечений. Эйлерова характеристика проективной плоскости равна 1. Фундаментальная группа \( \pi_1(\mathbb{R}P^2) \) изоморфна группе \( \mathbb{Z}_2 \) (циклической группе порядка 2).

Проективная плоскость может быть получена из квадрата отождествлением противоположных сторон с перекруткой (как лист Мёбиуса, но с двумя склейками). В трёхмерном пространстве её можно представить как поверхность, известную как «поверхность Романа» или «бутылка Клейна» (хотя бутылка Клейна — это другое многообразие). Более известная модель — «проективная плоскость как сфера с отождествлёнными противоположными точками» — является двулистным накрытием сферы.

Классификация проективных плоскостей

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

Наиболее распространённая модель — вещественная проективная плоскость \( \mathbb{R}P^2 \). Она является двумерным многообразием, которое можно рассматривать как множество прямых, проходящих через начало координат в \( \mathbb{R}^3 \). Вещественная проективная плоскость неориентируема и имеет род 0 (в смысле эйлеровой характеристики). Её можно представить как лист Мёбиуса с приклеенным диском по краю.

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

Комплексная проективная плоскость \( \mathbb{C}P^2 \) — это двумерное комплексное многообразие (четырёхмерное вещественное). Она определяется как множество одномерных комплексных подпространств в \( \mathbb{C}^3 \). Комплексная проективная плоскость является компактным ориентируемым многообразием. Она играет центральную роль в алгебраической геометрии и теории кобордизмов.

Конечные проективные плоскости

Для любого простого числа \( p \) и натурального \( n \) существует конечная проективная плоскость порядка \( q = p^n \). Она состоит из \( q^2 + q + 1 \) точек и стольких же прямых. Конечные проективные плоскости являются важным объектом комбинаторики и теории кодирования. Например, плоскость порядка 2 (плоскость Фано) содержит 7 точек и 7 прямых, каждая прямая содержит 3 точки. Плоскость Фано — минимальная конечная проективная плоскость.

Применение

В компьютерной графике и машинном зрении

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

В алгебраической геометрии

Проективные плоскости являются основой для изучения алгебраических кривых и поверхностей. Многие важные теоремы, такие как теорема Безу о числе точек пересечения двух алгебраических кривых, формулируются именно в проективном пространстве, так как в нём учитываются бесконечно удалённые точки. Комплексная проективная плоскость \( \mathbb{C}P^2 \) — одно из основных пространств, в котором изучаются комплексные многообразия.

В топологии

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

В кристаллографии и физике

Проективные преобразования применяются в кристаллографии для описания симметрии кристаллов. В квантовой механике проективная плоскость возникает при описании состояний с проективным представлением групп симметрии. В общей теории относительности проективные пространства используются для моделирования некоторых космологических моделей.

Интересные факты

• Проективная плоскость не может быть вложена в трёхмерное евклидово пространство без самопересечений. Однако существуют модели с самопересечениями, такие как поверхность Романа (названная в честь итальянского математика Эудженио Романа) или модель Веронезе.
• Плоскость Фано (конечная проективная плоскость порядка 2) является уникальной в том смысле, что она не может быть реализована как проективная плоскость над полем характеристики 2 без дополнительных ограничений.
• Проективная плоскость является примером пространства, которое не является односвязным, но имеет тривиальную вторую гомотопическую группу.
• В проективной плоскости существует понятие «двойственности»: если заменить каждую точку на прямую, а каждую прямую на точку, то структура остаётся неизменной. Это свойство используется в доказательствах многих теорем.

Источники

• Хартсхорн Р. Основы проективной геометрии. — М.: Мир, 1970.
• Кокстер Г. С. М. Введение в геометрию. — М.: Наука, 1966.
• Прасолов В. В. Геометрия Лобачевского и проективная геометрия. — М.: МЦНМО, 2012.
• Милнор Дж., Уоллес А. Дифференциальная топология. — М.: Мир, 1972.
• Шафаревич И. Р. Основы алгебраической геометрии. — М.: Наука, 1988.