Проективные координаты

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

Определение и формальное описание

Проективные координаты (также называемые однородными координатами) вводятся для проективного пространства Pⁿ, которое является расширением аффинного пространства Aⁿ путём добавления бесконечно удалённых точек. Формально, Pⁿ определяется как множество прямых в (n+1)-мерном векторном пространстве Vⁿ⁺¹, проходящих через начало координат. Каждая такая прямая (одномерное подпространство) соответствует одной точке проективного пространства.

Точка в проективном пространстве Pⁿ задаётся (n+1)-мерным ненулевым вектором: \[ (x_0 : x_1 : \dots : x_n) \] где \(x_i\) — элементы поля (обычно вещественные или комплексные числа), не все равные нулю одновременно. Двоеточие между компонентами указывает, что координаты определены с точностью до ненулевого скалярного множителя: для любого \(\lambda \neq 0\) наборы \((\lambda x_0 : \lambda x_1 : \dots : \lambda x_n)\) задают ту же самую точку.

Совокупность всех таких наборов, отличающихся ненулевым множителем, называется классом эквивалентности. Сами числа \(x_i\) называются однородными координатами или проективными координатами точки.

Связь с аффинными координатами

Переход от проективных координат к аффинным (декартовым) осуществляется следующим образом. Если точка в проективном пространстве имеет координаты \((x_0 : x_1 : \dots : x_n)\) и \(x_0 \neq 0\), то ей соответствует аффинная точка с координатами: \[ \left(\frac{x_1}{x_0}, \frac{x_2}{x_0}, \dots, \frac{x_n}{x_0}\right) \] в некоторой аффинной карте. Обратно, аффинная точка \((a_1, a_2, \dots, a_n)\) переводится в проективные координаты как \((1 : a_1 : a_2 : \dots : a_n)\).

Если же \(x_0 = 0\), то точка считается бесконечно удалённой. Например, в проективной плоскости P² точки вида \((0 : x_1 : x_2)\) образуют прямую бесконечно удалённых точек. Таким образом, проективные координаты объединяют конечные и бесконечно удалённые объекты в единую систему.

История

Понятие проективных координат восходит к работам немецкого математика Августа Фердинанда Мёбиуса (1827 год), который ввёл барицентрические координаты — частный случай однородных координат. Однако систематическое развитие проективной геометрии и использование однородных координат связано с именем Юлиуса Плюккера (1830-е годы). Позднее, в конце XIX века, работы Феликса Клейна и Анри Пуанкаре закрепили проективные координаты как фундаментальный инструмент геометрии.

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

Основные свойства

Однородность

Координаты определены с точностью до умножения на ненулевой скаляр. Это означает, что точка \((x_0 : x_1 : \dots : x_n)\) и точка \((\lambda x_0 : \lambda x_1 : \dots : \lambda x_n)\) — одна и та же. Поэтому проективные координаты не являются координатами в обычном смысле (как декартовы), а представляют собой классы эквивалентности.

Бесконечно удалённые точки

Проективные координаты позволяют включать бесконечно удалённые точки в обычное пространство. Например, на проективной прямой P¹ точка с координатами \((0 : 1)\) считается бесконечно удалённой. В проективной плоскости P² все точки вида \((0 : x_1 : x_2)\) образуют прямую, называемую бесконечно удалённой прямой.

Линейные преобразования

Проективные преобразования (коллинеации) в проективном пространстве задаются обратимыми линейными преобразованиями (n+1)-мерного векторного пространства, то есть матрицами размера (n+1)×(n+1) с точностью до скалярного множителя. Это позволяет представлять перспективные проекции, повороты, масштабирования и сдвиги в единой матричной форме.

Инвариантность

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

Применение

Компьютерная графика

В трёхмерной компьютерной графике для представления точек и преобразований используются однородные координаты (обычно четырёхмерные: \((x, y, z, w)\)). Это позволяет описывать аффинные преобразования (поворот, масштабирование, перенос) и проективные преобразования (перспективную проекцию) в виде единой матрицы 4×4. Например, точка с аффинными координатами \((x, y, z)\) представляется как \((x, y, z, 1)\), а после перспективного преобразования координата \(w\) может стать отличной от 1, что даёт эффект перспективы.

Компьютерное зрение

В задачах калибровки камер, стереозрения и реконструкции трёхмерных сцен проективные координаты используются для описания соответствия между точками трёхмерного мира и их изображениями на плоскости. Матрица проекции камеры (3×4) переводит трёхмерные однородные координаты в двумерные однородные координаты на изображении.

Алгебраическая геометрия

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

Фотограмметрия и картография

В фотограмметрии проективные координаты применяются для восстановления трёхмерной структуры по двумерным снимкам. В картографии — для преобразования координат между различными картографическими проекциями.

Примеры

Проективная прямая P¹

Точки на проективной прямой задаются парой \((x_0 : x_1)\). Если \(x_0 \neq 0\), то точка соответствует аффинной координате \(a = x_1 / x_0\). Точка \((0 : 1)\) — бесконечно удалённая. Проективная прямая гомеоморфна окружности.

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

Точки задаются тройкой \((x_0 : x_1 : x_2)\). Аффинная карта — это множество точек с \(x_0 \neq 0\), где аффинные координаты \((x_1/x_0, x_2/x_0)\). Точки с \(x_0 = 0\) образуют бесконечно удалённую прямую. Проективная плоскость неориентируема и является компактным многообразием.

Критика и ограничения

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

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

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

Источники

• Кокстер Х. С. М. Проективная геометрия. — М.: Мир, 1969.
• Хартли Р., Зиссерман А. Множественная геометрия в компьютерном зрении. — М.: ДМК Пресс, 2010.
• Фаулер Д. Проективные координаты и их приложения. — М.: Наука, 1982.
• Шафаревич И. Р. Основы алгебраической геометрии. — М.: МЦНМО, 2007.