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

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

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

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

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

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

Примеры[править | править код]

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

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

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

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

Физика[править | править код]

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

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

В GL(n,ℂ)[править | править код]

Важный пример в группе преобразований Ли возникает, если является , группой обратимых матриц размера с комплексными элементами. В таком случае основной результат можно изложить следующим образом:[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.