ПРОЕКТИВНАЯ ГЕОМЕТРИЯ

ПРОЕКТИВНАЯ ГЕОМЕТРИЯ раздел геометрии,
изучающий свойства фигур, не меняющихся при проективных преобразованиях,
напр.
при проектировании. Такие свойства наз. проективными. Параллельность и
перпендикулярность прямых, равенство отрезков и углов - непроективные свойства,
т. к. пересекающиеся прямые l и m могут спроектироваться в параллельные
l' и т' (рис. 1), равные отрезки АВ и ВС - в
неравные А'В' и В'С' (рис. 2), и т. д. Проекция любой линии
второго порядка есть снова линия второго порядка, так что принадлежность
классу линий второго порядка- проективное свойство. Проективным является
и гармоническое расположение 4 точек на прямой.

При проектировании точек одной плоскости
на другую не каждая точка плоскости Я имеет образ на плоскости П' и не
каждая точка П' имеет прообраз в П (см. Отображение). Это
обстоятельство привело к необходимости дополнения евклидовой плоскости
т. н. бесконечно удалёнными (несобственными) точками (см. Бесконечно
удалённые элементы). Такое присоединение приводит к образованию нового
геометрич. объекта - проективной плоскости.

Присоединяя к прямой несобственную точку,
получают проективную прямую. К непараллельным прямым присоединяются разные
точки, к параллельным - одна и та же. Дополняя плоскость несобственной
прямой, считают, что на ней лежат несобственные точки всех прямых плоскости.
Евклидова плоскость, дополненная несобственными элементами, наз. (действительной)
проективной плоскостью. На ней через любые две различные точки проходит
и притом только одна прямая, и любые две различные прямые имеют и притом
только одну общую точку. Дополнение евклидовой плоскости до проективной
приводит к тому, что проектирование становится взаимно однозначным преобразованием.

Аналогичным образом из евклидова пространства
получается проективное пространство.

Существуют различные способы аксиоматического
задания действительной проективной плоскости. Наиболее распространённая
система аксиом получается видоизменением системы аксиом, предложенной Д.
Гильбертом
для обоснования плоской евклидовой геометрии (см. Геометрия).
Проективная
плоскость рассматривается как совокупность элементов двух родов: точек
и прямых, между к-рыми устанавливаются отношения принадлежности и порядка,
характеризуемые соответствующими аксиомами. Первая группа аксиом отличается
от соответствующей группы аксиом евклидовой геометрии тем, что каждые две
прямые на плоскости имеют общую точку, и что на прямой имеется по крайней
мере три различные точки. В качестве осн. отношения порядка принимается
разделённость двух пар точек, лежащих на одной прямой, описываемое второй
группой аксиом. На рис. 3 пара точек С и D разделяет пару точек
А и В, а пара А и С не разделяет пару В и D.
Иногда
к этим аксиомам добавляются непрерывности аксиомы.

Существуют интерпретации проективной плоскости,
не привлекающие бесконечно удалённых элементов. Напр., пусть R³
- евклидово пространство и О - точка в нём. Обозначим через П множество
прямых, проходящих через О; точкой в Я назовём евклидову прямую, проходящую
через О, а прямой в П - множество евклидовых прямых, проходящих через О
и лежащих в одной плоскости. Тогда Л удовлетворяет аксиомам проективной
плоскости.

Координаты на проективной плоскости
можно ввести, напр., след. образом. Пусть П' - проективная плоскость, соответствующая
евклидовой плоскости П, и пусть на П задана декартова система координат.
Если М(х, у) - точка плоскости П, то однородными координатами точки
М
наз. любые три числа (x¹, х², х³)
такие,
что x¹/x³ = x, х²/х³ = у.
Если бесконечность - несобственная точка плоскости П, то через неё
проходит пучок параллельных прямых; однородными координатами точки бесконечности
наз. любые три числа (х¹ х², х³),
первые
два из к-рых суть координаты вектора, параллельного этим прямым, а х³
= 0. Т. о., однородные координаты точки из П' представляют собой тройку
чисел, не равных одновременно нулю. Любая прямая на проективной плоскости
определяется линейным однородным уравнением u1
+ u2 + + u3 = 0 между
однородными координатами точек этой прямой, и обратно: всякое такое уравнение
определяет прямую. Числа (ине
равные одновременно нулю, наз. однородными координатами прямой. Уравнение
несобственной прямой имеет вид x³=0. Если рассматривать проективную
плоскость П' как пучок прямых в пространстве, то однородные координаты
получают прозрачный геометрич. смысл- это координаты какого-нибудь направляющего
вектора прямой, изображающей точку проективной плоскости. Аналогичным образом
вводятся координаты и в проективном пространстве.

Одним из замечательных положений П. г.
является принцип двойственности. Говорят, что точка и прямая инцидентны,
если точка лежит на прямой (или прямая проходит через точку). Тогда оказывается,
что если верно нек-рое предложение А о точках и прямых проективной
плоскости, сформулированное только в терминах инцидентности между ними,
то будет верно и предложение В, двойственное предложению А, т.
е. предложение, к-рое получается из А заменой олова "точка" на слово
"прямая", а слова "прямая" на слово "точка". См. Двойственности принцип.

Важную роль в П. г. играет теорема Дезарга:
если соответствующие стороны двух треугольников ABC и А'В'С'
(рис.
4), лежащих в одной плоскости, пересекаются в точках Р, Q, R,
лежащих
на одной прямой, то прямые, соединяющие соответствующие вершины, пересекаются
в одной точке О, и обратно: если прямые, соединяющие соответствующие вершины
треугольников ЛВС и А'В'С', лежащих в одной плоскости, сходятся
в одной точке, то соответствующие стороны этих треугольников пересекаются
в точках, лежащих на одной прямой. Обратная теорема Дезарга двойственна
прямой теореме по принципу двойственности. Интересно, что эту теорему нельзя
доказать лишь на основе аксиом инцидентности проективной плоскости, однако
она справедлива на любой проективной плоскости, к-рая лежит в проективном
пространстве,- такова, например, действительная проективная плоскость.
Первый пример недезарговой проективной плоскости дал Д. Гильберт.

Выполнение теоремы Дезарга необходимо и
достаточно для введения координат на проективной плоскости синтетическим
путём. Это делается с помощью т. н. исчисления вурфов; оно состоит в том,
что на проективной прямой вводятся операции сложения и умножения точек,
превращающие её в тело k, Построение осуществляется с помощью полных
четырёхвершинников - плоских фигур, составленных четырьмя точками, из к-рых
никакие три не лежат на одной прямой (рис. 5), и шестью прямыми, соединяющими
попарно эти точки; такая конфигурация позволяет определить чисто проективно
понятие гармонической четвёрки точек. Двойственным образом с использованием
полных четырёхсторонников устанавливаются операции сложения и умножения
в пучке прямых.

Свойства проективной прямой, как алгебраической
системы, определяются, с одной стороны, геометрич. свойствами проективной
плоскости, в к-рой она расположена. Так, напр., коммутативность тела равносильна
выполнению т. н. аксиомы Паппа: если l и l' - две различные прямые,
А,
В, С и А', В', С'- тройки различных точек прямых l и l' соответственно,
то точки пересечения прямых АВ' и А'В, АС' и A'С, ВС'
и В'С лежат на одной прямой; тело k имеет отличную от
двух характеристику тогда и только тогда, когда диагональные точки Р, Q,
R полного четырёхвершинника ABCD не лежат на одной прямой
[Р, О. R определяются как точки пересечения прямых
АВ и CD,
AC и BD, AD и ВС соответственно (рис. 5)]. С др. стороны,
в зависимости от выбора исходного тела k определяются различные
проективные плоскости Птроек элементов тела k [за исключением тройки (0, 0, 0)]. Такой
аналитический подход наряду с синтетическим с успехом применяется для изучения
проективных свойств кривых и поверхностей. Аналогичные построения можно
провести и для проективного пространства.

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

а(х¹)²
+ а (х²)² + а3)²+
+ 2а1х² + 2а2х³+
2а3x¹ = 0. Всякая нераспадающаяся
линия второго порядка на действительной проективной плоскости (овальная
линия) есть либо эллипс, либо гипербола, дополненная несобственными точками
её асимптот, либо парабола, дополненная несобственной точкой её диаметров.
Распадающаяся линия второго порядка состоит из двух прямых (различных или
совпадающих) или одной точки. Наконец, возможна нераспадающаяся линия второго
порядка, не содержащая действительных точек. Этим исчерпывается проективная
классификация всех линий второго порядка. Фигурой, двойственной линии второго
порядка, является пучок прямых второго класса - объект, определяемый классом
пропорциональных однородных уравнений второй степени в координатах (и,
иневырожденного пучка прямых есть
линия второго порядка.

Если на проективной плоскости заданы пять
точек, из к-рых никакие четыре не лежат на одной прямой, то существует
и притом только одна линия второго порядка, проходящая через эти точки.
Точки пересечения противоположных сторон шестиугольника, вписанного в линию
второго порядка, лежат на одной прямой (теорема Паскаля) (рис. 6). В случае
распадающейся линии второго порядка эта теорема сводится к утверждению,
формулируемому аксиомой Паппа. Двойственной теореме Паскаля является теорема
Брианшона: диагонали, соединяющие противоположные стороны шестисторонника,
описанного около овальной линии второго порядка, проходят через одну точку
(рис. 7). См. также Полюсы и поляры. Основы П. г. были заложены
в 17 в. Ж. Дезаргом (в связи с развитием им учения о перспективе)
и Б. Паскалем (в связи с изучением им нек-рых свойств конич. сечений).
Большое значение для последующего развития П. г. имели работы Г. Монжа
(2-я
пол. 18 - нач. 19 вв.). Как самостоятельная дисциплина П. г. была изложена
Ж. Понселе (нач. 19 в.). Заслуга Понселе заключалась в выделении
проективных свойств фигур в отд. класс и установлении соответствий между
метрическими и проективными свойствами этих фигур. К этому же периоду относятся
работы франц. математика Ж. Брианшона. Дальнейшее развитие П. г. получила
в трудах швейц. математика Я. Штейнера и франц. математика М. Шаля. Большую
роль в развитии П. г. сыграли работы нем. математика К. Штаудта. Его работами
были намечены также контуры аксиоматич. построения П. г. Все эти геометры
стремились доказывать теоремы П. г. синтетич. методом, положив в основу
изложения проективные свойства фигур. Аналитич. направление в П. г. было
намечено работами А. Мёбиуса. Влияние на развитие П. г. оказали
работы Н. И. Лобачевского по созданию неевклидовой геометрии, позволившие
в дальнейшем А. Кэли и Ф. Клейну рассмотреть различные геометрич.
системы с точки зрения П. г. Развитие аналитич. методов обычной П. г. и
построение на этой базе комплексной П. г. (нем. математик Э. Штуди, Э.
Картон) поставили задачу о зависимости тех или иных проективных
свойств от того тела, над к-рым построена геометрия. В решении этого вопроса
больших успехов добились А. Н. Колмогоров и Л. С.
Понтрягин.

Нек-рые положения и факты П. г. применяются
в номографии, в теории статистич. решений, в квантовой теории поля и в
конструировании печатных схем (через теорию графов).

Лит.: Вольберг О. А., Основные идеи
проективной геометрии, 3 изд., М.- Л., 1949; Глаголев Н. А., Проективная
геометрия, 2 изд., М., 1963; Ефимов Н. В., Высшая геометрия, 5 изд., М.,
1971; Xартсхорн Р., Основы проективной геометрии, пер. с англ., М., 1970;
Veblen О., Young J. W., Projective geometry, v. 1 - 2, Boston -
N. Y., 1910 - 18.

По материалам одноимённой статьи из
2-го издания БСЭ.