Однопараметрическая группа

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Определение однопараметрической группы (англ. One-parameter group) или однопараметрической подгруппы связано с непрерывным гомоморфизмом группы

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

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

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

Такие однопараметрические группы играют важную роль в теории групп Ли, в которых каждый элемент ассоциированной алгебры Ли определяет гомоморфизм. В случае групп матриц гомоморфизм задаётся матричной экспонентой.

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

В монографии 1957 года Группы Ли П.М. Кон приводит следующую теорему:

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

В физике однопараметрические группы применяются для описания динамических систем.[2] Если совокупность физических законов согласуется с однопараметрической группой дифференцируемых симметрий, то в ней существует сохраняющаяся величина, согласно теореме Нётер.

При исследовании пространства-времени использование единичной гиперболы для калибровки пространственно-временных измерений стало привычным с работ Германа Минковского 1908 года. Если использовать параметризацию гиперболы с помощью гиперболического угла, то в специальной теории относительности можно вычислить относительное движение с помощью однопараметрической группы, характеризуемой быстротой. В релятивистской кинематике и динамике быстрота заменяет понятие скорости. Поскольку быстрота не имеет ограничения сверху, то образуемая ей группа не является компактной. Понятие быстроты было введено Эдмундом Уиттакером в 1910 году, также год спустя понятие появилось в работах Альфреда Робба. Параметр быстроты соотносится с длиной гиперболического версора, понятие которого введено в XIX веке. Специалисты по математической физике Джеймс Кокл, Уильям Клиффорд и Александр Макферлейн применяли в работах изображение декартовой плоскости с помощью оператора , где является гиперболическим углом, а .

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

Теорема: Пусть является однопараметрической группой. Тогда существует единственная матрица размера , такая, что
для всех .

Из этого результата следует, что дифференцируемо, хотя такое предположение в теореме не используется. Матрицу можно восстановить по как

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

Примечания

[править | править код]
  1. Софус Ли (1893) Vorlesungen über Continuierliche Gruppen Архивная копия от 1 февраля 2014 на Wayback Machine, English translation by D.H. Delphenich, §8, link from Neo-classical Physics
  2. Zeidler, E. (1995) Applied Functional Analysis: Main Principles and Their Applications Springer-Verlag
  3. Hall, 2015 Theorem 2.14
  4. Hall, 2015 Corollary 3.50
  • Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, ISBN 978-3319134666.