Группа GL(n, R)
GL(n, R) — это группа обратимых вещественных матриц размера n × n, где операцией является матричное умножение. Она является одной из основных структур в линейной алгебре и теории групп, а также в дифференциальной геометрии и физике. Элементами группы GL(n, R) являются все квадратные матрицы с вещественными элементами, определитель которых отличен от нуля. Название происходит от английского «General Linear Group» (общая линейная группа) и обозначает группу всех невырожденных линейных преобразований n-мерного вещественного векторного пространства Rⁿ.
Определение и основные свойства
Группа GL(n, R) формально определяется как множество всех матриц A ∈ Mₙ(R) (множество всех квадратных матриц размера n × n с вещественными элементами), таких что det(A) ≠ 0. Операция умножения матриц ассоциативна, единичным элементом является единичная матрица Iₙ, а обратным элементом для каждой матрицы A является её обратная матрица A⁻¹, которая также принадлежит GL(n, R) благодаря свойству det(A⁻¹) = 1/det(A) ≠ 0.
Группа GL(n, R) является некоммутативной при n ≥ 2, то есть для большинства пар матриц A и B выполняется AB ≠ BA. Она бесконечна, так как содержит бесконечное число матриц (например, все диагональные матрицы с ненулевыми элементами на диагонали).
История
Понятие общей линейной группы возникло в XIX веке в связи с развитием теории матриц и линейных преобразований. В 1858 году Артур Кэли ввёл матричное умножение и определитель, что заложило основы для формализации групп матриц. В 1870-х годах Феликс Клейн и Софус Ли начали систематическое изучение групп преобразований, что привело к выделению GL(n, R) как фундаментального примера группы Ли. В XX веке группа GL(n, R) стала ключевым объектом в теории представлений, алгебраической топологии и квантовой механике.
Структура группы
Группа Ли
GL(n, R) является вещественной группой Ли размерности n². Она имеет структуру гладкого многообразия, так как множество матриц с ненулевым определителем является открытым подмножеством в пространстве всех матриц Mₙ(R) ≅ Rⁿ². Условие det(A) ≠ 0 задаёт открытое множество, поскольку определитель — непрерывная функция. Групповая операция (умножение матриц) и взятие обратного элемента являются гладкими отображениями, что делает GL(n, R) группой Ли.
Связность
GL(n, R) не является связным множеством. Она распадается на две компоненты связности, которые определяются знаком определителя:
- GL⁺(n, R) — подгруппа матриц с положительным определителем. Она связна и является нормальной подгруппой индекса 2.
- GL⁻(n, R) — подмножество матриц с отрицательным определителем. Оно не является подгруппой (так как произведение двух матриц с отрицательным определителем даёт положительный определитель).
При n = 1 группа GL(1, R) состоит из всех ненулевых вещественных чисел, и её компоненты связности — положительные и отрицательные числа.
Центр
Центром группы GL(n, R) (множеством элементов, коммутирующих со всеми элементами группы) является множество скалярных матриц вида λIₙ, где λ ∈ R\{0}. Это изоморфно мультипликативной группе ненулевых вещественных чисел R*.
Подгруппы
GL(n, R) содержит множество важных подгрупп, которые изучаются в теории групп и геометрии:
Специальная линейная группа SL(n, R)
SL(n, R) = {A ∈ GL(n, R) : det(A) = 1}. Это нормальная подгруппа GL(n, R), являющаяся ядром гомоморфизма определителя det: GL(n, R) → R*. Размерность SL(n, R) как группы Ли равна n² − 1.
Ортогональная группа O(n)
O(n) = {A ∈ GL(n, R) : AᵀA = Iₙ}. Это подгруппа, сохраняющая евклидово скалярное произведение в Rⁿ. Она компактна и состоит из матриц, столбцы которых образуют ортонормированный базис. Определитель элементов O(n) равен ±1.
Специальная ортогональная группа SO(n)
SO(n) = O(n) ∩ SL(n, R) = {A ∈ O(n) : det(A) = 1}. Это группа вращений в Rⁿ. Она компактна и связна.
Диагональная подгруппа
Множество всех диагональных матриц с ненулевыми элементами на диагонали образует подгруппу, изоморфную (R*)ⁿ.
Верхнетреугольная подгруппа
Множество всех верхнетреугольных матриц с ненулевыми элементами на диагонали (так называемая борелевская подгруппа) является разрешимой подгруппой.
Применение
В математике
- Теория представлений: GL(n, R) служит основой для изучения представлений групп Ли. Её неприводимые представления классифицируются с помощью старших весов.
- Дифференциальная геометрия: Группа GL(n, R) является структурной группой касательного расслоения гладкого многообразия. Редукция структурной группы к подгруппам (например, O(n)) соответствует введению римановой метрики.
- Алгебраическая топология: Классифицирующее пространство BGL(n, R) связано с теорией векторных расслоений и характеристическими классами (классы Штифеля — Уитни, Понтрягина).
В физике
- Теория относительности: В специальной теории относительности преобразования Лоренца образуют подгруппу O(1,3) ⊂ GL(4, R), а в общей теории относительности группа GL(4, R) используется для описания общих координатных преобразований.
- Квантовая механика: Группа GL(n, C) (комплексный аналог) применяется в квантовой теории поля для описания симметрий и калибровочных преобразований.
Интересные факты
- Группа GL(n, R) не является компактной, так как её элементы могут иметь сколь угодно большие нормы. Однако она локально компактна.
- Максимальная компактная подгруппа GL(n, R) — это ортогональная группа O(n). Это следует из теоремы об Iwasawa-разложении.
- GL(n, R) является примером алгебраической группы над полем R, хотя её алгебраичность проявляется только при рассмотрении над алгебраически замкнутым полем (например, C).
Критика и ограничения
В контексте приложений в физике и математике группа GL(n, R) часто заменяется её подгруппами, так как полная группа слишком велика и не сохраняет никаких дополнительных геометрических структур. Например, в механике сплошных сред используют SL(n, R) для описания деформаций без изменения объёма, а в теории относительности — O(1,3) для сохранения метрики Минковского. Кроме того, GL(n, R) не является односвязной, что усложняет её теорию представлений по сравнению с её универсальным накрытием.
Источники
- Винберг Э. Б. Линейные группы. — М.: МЦНМО, 2004.
- Хелгасон С. Дифференциальная геометрия и симметрические пространства. — М.: Мир, 1964.
- Кирсанов М. Н. Группы Ли и их приложения. — М.: Физматлит, 2002.
- Warner F. W. Foundations of Differentiable Manifolds and Lie Groups. — Springer, 1983.
BFOmetr — база данных и аналитика по компаниям России.
На главную BFOmetr →