БСЭ - Большая Советская энциклопедия (Пр)

8) Группа круговых П. (или П. обратными радиусами-векторами), порождаемая П. движения, зеркального отражения, подобия и инверсий . Если точки плоскости изобразить комплексными числами, то П. этой группы запишутся в виде:

или ,

где w = x' + iy’, z = x + iy, = x - iy. Т. о., они совпадают с дробно-линейными преобразованиями (см. Дробно-линейные функции ) . П. этой группы обладают круговым свойством, т. е. переводят совокупность прямых и окружностей на плоскости в себя. Они обладают также свойством конформности (см. Конформное отображение ) . П. плоскости, обладающее круговым свойством, принадлежит всегда группе круговых П.

Группы 1—7 являются линейными группами, т.к. они переводят прямые линии в прямые. При этом группы 1 и 2 являются подгруппами группы 3, каждая следующая группа (4, 5, 6, 7) содержит в себе предыдущую как часть. Группы 1—6 можно охарактеризовать как совокупность проективных П., оставляющих неизменным некоторый образ на расширенной плоскости. Например, аффинные П. являются П., оставляющими на месте бесконечно удалённую прямую. Группа 8 является примером нелинейной группы, т.к. при П. этой группы прямые линии могут перейти в окружности. П. групп 1—8 являются бирациональными преобразованиями , т. е. такими П., при которых x' и y' рационально выражаются через х и у и обратно.

Наряду с точечными П., при которых устанавливается соответствие между точками, в геометрии применяются П. фигур, при которых устанавливается соответствие между самими фигурами. Например, в некоторых задачах геометрии заменяют все окружности окружностями же, увеличивая их радиус на определённую величину. Этим определяется П. многообразия окружностей в себя. Рассматриваются также П., изменяющие природу элементов, т. е. переводящие точки в линии, линии в точки и т.д. Например, можно поставить в соответствие каждой точке М ( х, у ) прямую ux' + u y' = 1 , где u и u — некоторые функции от х и y . Если u и u дробно-линейно зависят от x и y :

,

,

то имеет место общее проективное П. точек плоскости в прямые плоскости. Если при этом b 1 = a 2, c 1 = -a, c 2 = -b, то получается полярное П. относительно некоторой линии второго порядка (см. Полюсы и поляры ) . В частности, когда u = х и u = у, получается полярное П. относительно окружности x 2 + y 2 = 1. При этом каждой точке на плоскости ( х, у ) соответствует прямая на плоскости ( х’, у' ) . Кривой Г на плоскости ( х, у ) соответствует семейство прямых, касающихся некоторой кривой Г’ (или проходящих через одну и ту же точку). Этим устанавливается соответствие между кривыми плоскости ( х, у ) , рассматриваемыми как множество своих точек, и кривыми плоскости ( х’, у' ) , рассматриваемыми как огибающие своих касательных. Более общими являются П., задаваемые формулой F ( x, y, x’, y' ) = 0. Если задать x и y , то эта формула определяет некоторую кривую на плоскости ( х’, у' ) , а если задать x' и y’, то определяется кривая на плоскости ( х, у ) . Этим устанавливается соответствие точек одной плоскости двухпараметрическому множеству кривых другой плоскости. Указанное соответствие можно распространить до соответствия между кривыми одной плоскости, рассматриваемыми как множество своих точек, и кривыми другой плоскости, рассматриваемыми как огибающие соответствующего семейства кривых. При этом П. касающиеся друг друга кривые одной плоскости переходят в касающиеся друг друга кривые другой плоскости. Поэтому описанные П. называются контактными П., или П, прикосновения (см. Прикосновения преобразования ) .

Аналогично П. плоскости определяются П. многомерных (в частности, трёхмерных) пространств. Для каждой из разобранных выше групп П. плоскости имеется трёхмерный аналог, получающийся из неё увеличением числа преобразуемых переменных. Так, группе 1 соответствует группа ортогональных преобразований , группе центро-аффинных П. — группа невырожденных линейных преобразований и т.д. Примером группы П. четырёхмерного пространства является группа Лоренца (см. Лоренца преобразования ), играющая важную роль в теории относительности. П. многомерных пространств используются в анализе при вычислении кратных интегралов, так как позволяют свести заданную область интегрирования к более простой области.

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

Для каждой из групп П. существуют свойства фигур, не изменяющиеся при П. соответствующей группы. Эти свойства являются, как говорят, инвариантами относительно данной группы П. Так, при преобразованиях группы движений инвариантно расстояние между двумя точками, при аффинных П. — параллельность прямых, отношение площадей двух фигур, при проективных П. — двойное отношение AB/AD: CB/CD точек A , В, С, D, лежащих на одной прямой. Каждой группе П. соответствует своя область геометрических исследований, изучающая свойства фигур, остающихся инвариантными при П. этой группы (см. Эрлангенская программа ) . В соответствии с этим различают метрические свойства фигур, аффинные свойства, проективные свойства и т.д. Вообще говоря, чем шире группа, тем теснее связаны эти инвариантные свойства с фигурой. Наиболее общими являются свойства фигур, остающиеся инвариантными при любых топологических П. (т. е. любых взаимно однозначных и непрерывных П.). К ним относятся размерность, связность, ориентируемость (см. Топология ) .

Особенно важную роль играют П. при установлении новых и при обобщении ранее известных теорем. Если в формулировку некоторой теоремы, доказанной для фигуры F, входят лишь свойства фигуры, инвариантные относительно некоторой группы П., то теорема сохраняет свою силу для всех фигур, получаемых из F П. этой группы (как говорят, гомологичных или эквивалентных F относительно этой группы). Это свойство П. особенно важно, если среди эквивалентных между собой фигур имеется такая, которая обладает в некоторых отношениях наиболее простыми свойствами. Так, ряд теорем проективной геометрии был установлен впервые для окружности, а потом перенесён на любые невырожденные конические сечения (все невырожденные конические сечения эквивалентны окружности относительно группы проективных П.). При решении геометрических задач на построение часто используют П., для того чтобы привести фигуры в наиболее удобные для решения положения.