3. Примеры.
1° Преобразования по принципу двойственности. Мы называем так преобразование первого класса, определенное соотношением, линейным по (х, у, z) и , которое мы запишем в виде
где линейные многочлены по . Точке пространства и плоскостям, проходящим через эту точку, соответствуют плоскость в и точки этой плоскости и обратно. Образ поверхности, рассматриваемой как геометрическое место точек, в одном из пространств является в другом пространстве огибающей плоскостей.
Общий метод дает прежде всею для определения уравнения
Определитель системы (3.1) и (3.2) по отличен от нуля, и мы должны поэтому иметь чтобы соотношение (3.1) определило преобразование касания.
Установив это, находим
Мы получим затем разрешая эту систему. Чтобы она была совместна, необходимо, чтобы четыре выражения были линейно независимы, и проективное преобразование будет тогда невырожденным. Но преобразование, определенное уравнением
элементов касания пространства в элементы касания пространства можно интерпретировать как преобразование взаимными полярами по отношению к сфере
Итак, всякое преобразование по принципу двойственности есть произведение преобразования с помощью взаимных поляр на проективное преобразование.
2° Преобразование Ли. Среди преобразований второго класса простейшими являются преобразования, определяемые двумя билинейными соотношениями Точке одного пространства соответствует прямая в другом пространстве, и когда точка изменяется, прямая - образ описывает комплекс. Пусть — комплекс прямых, образов точек пространства аналогичный комплекс в Прямая образ точки из в получается, если взять пересечения плоскостей, определенных двумя нашими уравнениями. Но эти плоскости находятся в проективном соответствии, так как уравнения линейны по Пересечения пар этих плоскостей, проходящих через точку из образуют конус второго порядка (действительно прямые, по которым каждая пара пересекает фиксированную плоскость, будут находиться в проективном соответствии, следовательно, геометрическое место точек их пересечения есть коническое сечение). То же рассуждение применимо к комплексу К. Следовательно, два комплекса к будут вообще комплексами второго порядка, и конус комплекса, проходящий через точку одного из пространств, будет геометрическим местом прямых образов точек другого пространства, расположенных на прямой образе вершины конуса.
Может случиться, что один из комплексов К или (или оба) вырождается в линейный комплекс; тогда конус комплекса сводится к плоскости.
Когда один из комплексов, например К, линейный, а кроме того, есть комплекс изотропных прямых, то мы получим преобразование Ли.
Будем исходить из некоторой прямой пространства ей соответствует в линейчатая поверхность геометрическое место изотропных прямых. Прямые комплекса проходящие через одну и ту же точку прямой суть образы точек одной и той же изотропной прямой из Пусть другая точка прямой и пр — две прямые из расположенные в одной и той же плоскости, проходящей через тогда образ точки есть изотропная прямая, имеющая общую точку с образами тип, так как каждая из прямых и пр есть образ точки из
Когда при фиксированном точка пробегает прямую прямые все время принадлежат поскольку линейный комплекс. Значит, изотропная прямая - образ точки встречает все образующие поверхности Поэтому имеет две системы прямолинейных образующих, причем каждая из систем образующих состоит из изотропных прямых; следовательно, есть сфера.
Итак, образ прямой пространства и ее элементов касания есть сфера и ее элементы касания в
Заметим, что если прямой из соответствует сфера в то сфере будут соответствовать, вообще, две прямых в Е: прямая и геометрическое место ранее описанных точек которое также является прямой.
Говорят, что преобразование Ли переводит прямые в сферы. В этой форме важность этого преобразования очевидна: оно сводит геометрию сфер к геометрии прямых, и наоборот. Оно преобразует линейчатую поверхность в огибающую семейства сфер, две пересекающиеся прямые в две касательные сферы, так как такие прямые имеют общий элемент касания, состоящий из общей точки двух прямых и плоскости, их содержащей. Оно переводит, следовательно, развертывающуюся поверхность в огибающую семейства сфер, таких, что каждая из них касается бесконечно близкой сферы. Характеристические окружности будут иметь нулевой радиус, кривая, описанная их центрами, будет эвольвентой геометрического места С центров сфер, следовательно, это будет ортогональная траектория образующих развертывающейся поверхности с ребром возврата С.
В качестве направляющих уравнений преобразования Ли можно взять уравнения
Применение общего метода приводит к соотношениям
Образ прямой
есть сфера
3° Дилатация. Это преобразование определено единственным направляющим уравнением
где R постоянно. Уравнения запишутся здесь в виде