§ 2. Основные понятия

1. Группа проективных преобразований.

Прежде всего определим класс, или «группу», проективных преобразований. Пусть

Рис. 71. Параллельная проекция

в пространстве заданы две плоскости и параллельные или непараллельные между собой. Мы выполняем центральную проекцию на с данным центром О, не лежащим ни на ни на сопоставляя каждой точке Р плоскости такую точку Р плоскости что лежат на одной и той же прямой, проходящей через О. Аналогично мы выполняем подобным же образом параллельную проекцию, предполагая, что проектирующие прямые параллельны между собой. Точно так же определяется проекция прямой или кривой линии I в плоскости на некоторую линию V в плоскости причем и в этом случае проекция может быть центральной или параллельной.

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

Некоторые проективные свойства можно формулировать непосредственно. Точка, разумеется, проектируется в точку. Далее, прямая линия проектируется в прямую: в самом деле, если прямая I в плоскости

проектируется на плоскость то линия пересечения Г плоскости с плоскостью, проходящей через обязательно прямая. Если точка А и прямая I инцидентны, то точка А и прямая I, возникающие из них при проективном преобразовании, также инцидентны. Другими словами, инцидентность точки и прямой есть свойство, инвариантное относительно группы проективных преобразований. Из этого обстоятельства вытекает ряд простых, но весьма важных следствий. Если три точки (или более трех точек) коллинеарны, т. е. инцидентны с одной и той же прямой, то их отображения также коллинеарны. Аналогично, если в плоскости три прямые (или более трех прямых) конкуррентны, т. е. инцидентны с одной и той же точкой, то их отображения — также конкуррентные прямые. В то же время как эти простые свойства — инцидентность, коллинеарность, конкуррентность — являются проективными свойствами (т. е. свойствами, инвариантными относительно проективных преобразований), величины отрезков и углов, а также и отношения этих величин, вообще говоря, изменяются при проектировании. Равнобедренные или равносторонние треугольники могут, например, спроектироваться на треугольники с тремя различными сторонами. Отсюда следует, что хотя понятие «треугольник» принадлежит проективной геометрии, понятие «равносторонний треугольник» ей не принадлежит, а принадлежит только метрической геометрии.

Рис. 72. Конфигурация Дезарга на плоскости