Аффинная унимодулярная группа

Перейти к навигацииПерейти к поиску

Аффи́нная унимодуля́рная гру́ппа, или эквиаффи́нная гру́ппа — множество всех аффинных преобразований плоскости или пространства с определителем своей матрицы , которые и составляют группу[1][2]:

Аффинная унимодулярная группа, или эквиаффинная группа SGL (n)[3], — подгруппа более широкой аффинной группы, множество всех аффинных преобразований n-мерного аффинного пространства, которые сохраняют площади и объёмы фигур[4][5][6][7][1].

В свою очередь, известные подгруппы аффинной унимодулярной группы следующие:

  • центроаффинная унимодулярная группа, или унимодулярная группа SL (n), — подгруппа аффинной унимодулярной группы, множество всех аффинных унимодулярных преобразований n-мерного аффинного пространства, которые сохраняют неподвижной одну точку, называемую центром аффинного пространства[5][8][9];
  • ортогональная группа, или группа евклидовых движений[3], — подгруппа аффинной группы, множество всех аффинных преобразований n-мерного аффинного пространства, которые сохраняют фиксированную невырожденную квадратичную форму[10][11][12];
  • группа вращений, или специальная ортогональная группа SO (n), — подгруппа ортогональной и центроаффинной унимодулярной групп, множество всех ортогональных преобразований n-мерного аффинного пространства, которые сохраняют неподвижной одну точку[10][11].

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

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

Аналитическое представление аффинной группы в неоднородных координатах на плоскости следующее[1]:

,
.

Оно будет представлением унимодулярной аффинной группы, если определитель его матрицы равен [1]:

.

Поскольку в неоднородных координатах каждое аффинное унимодулярное преобразование

,

задаётся шестью независимыми параметрами

,

которые связаны одним равенством , аффинная унимодулярная группа пятичленная[13].

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

Аналитическое представление аффинной группы в неоднородных координатах в пространстве размерности , , следующее:

, или , .

где суммирование записано двумя разными способами (соответственно обычным со знаком суммирования и по правилу суммирования Эйнштейна).

Оно будет представлением унимодулярной аффинной группы, если определитель его матрицы равен [1]:

.

Поскольку в неоднородных координатах каждое аффинное унимодулярной преобразование

, или ,

задаётся независимыми параметрами аффинной группы и , которые связаны одним равенством , аффинная группа -членная[13].

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

То, что множество всех аффинных унимодулярных преобразований пространства образуют группу, легко установить чисто аналитическими средствами[14].

Воспользуемся тем обстоятельством, что для доказательства групповых свойств некоторой совокупности преобразований некоторого множества, достаточно выполнения следующих двух свойств этой совокупности преобразований[15]:

  • если два преобразования и принадлежат данной совокупности, то их композиция, то есть последовательное выполнение, также ей принадлежит;
  • если преобразование принадлежит данной совокупности, то преобразование , ему обратное, также ей принадлежит.

Докажем несложными алгебраическими выкладками, что для аффинных унимодулярных преобразований предыдущие два условия выполняются, то есть что совокупность аффинных преобразований образует группу[16].

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

Докажем, что композиция аффинных унимодулярных преобразований плоскости есть снова аффинное унимодулярных преобразование плоскости[14].

Докажем, что преобразование плоскости, обратное аффинному унимодулярному преобразованию плоскости, есть снова аффинное унимодулярное преобразование плоскости[14].

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

Докажем, что композиция аффинных унимодулярных преобразований пространства размерности , , есть снова аффинное унимодулярных преобразование этого пространства[14].

Докажем, что преобразование пространства размерности , ,, обратное аффинному унимодулярному преобразованию этого пространства, есть снова аффинное унимодулярное преобразование этого пространства[14].

Примечания

  1. 1 2 3 4 5 Ефимов Н. В. Высшая геометрия, 2004, 165. Аффинная унимодулярная группа, с. 418—419.
  2. Широков А. П. Аффинная унимодулярная группа, 1977.
  3. 1 2 Долгачёв И. В., Широков А. П. Аффинное пространство, 1977.
  4. Бескин Н. М. Методы изображений, 1963, 5.4. Понятие о центральной аксонометрии, с. 284.
  5. 1 2 Сидоров Л. А. Аффинная унимодулярная группа, 1977.
  6. Сидоров Л. А. Эквиаффинная геометрия, 1985.
  7. Сидоров Л. А. Эквиаффинная плоскость, 1985.
  8. Сидоров Л. А. Центроаффинная геометрия, 1985.
  9. Сидоров Л. А. Центроаффинное пространство, 1985.
  10. 1 2 Попов В. Л. Ортогональная группа, 1984.
  11. 1 2 Пиголкина Т. С. Ортогональное преобразование, 1984.
  12. Ефимов Н. В. Высшая геометрия, 2004, 166. Ортогональная группа, с. 420—421.
  13. 1 2 Ефимов Н. В. Высшая геометрия, 2004, 165. Аффинная унимодулярная группа, с. 420.
  14. 1 2 3 4 5 6 7 8 9 10 Ефимов Н. В. Высшая геометрия, 2004, 165. Аффинная унимодулярная группа, с. 419.
  15. Ефимов Н. В. Высшая геометрия, 2004, 157. Группы преобразований, с. 409.
  16. Ефимов Н. В. Высшая геометрия, 2004, 160. Проективная группа, с. 412.

Источники