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

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

$\mathrm{\phi <!--\; \phi \; -->}:\mathbb{R}\to <!--\; \to \; -->G$$\varphi :\mathbb {R} \rightarrow G$

с вещественной прямой $\mathbb{R}$$\mathbb {R}$ (как аддитивной группы) в некоторую топологическую группу $G$$G$. Если $\mathrm{\phi <!--\; \phi \; -->}$$\varphi$ является инъекцией, то $\mathrm{\phi <!--\; \phi \; -->}(\mathbb{R})$$\varphi (\mathbb {R} )$, образ, будет подгруппой $G$$G$, изоморфной $\mathbb{R}$$\mathbb {R}$.

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

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

ПримерыПравить

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

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

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

Любая связная одномерная группа Ли аналитически изоморфна либо аддитивной группе вещественных чисел $\mathfrak{R}$$\mathfrak{R}$ , либо $\mathfrak{T}$${\mathfrak {T}}$ , аддитивной группе вещественных чисел $\mathrm{mod}1$$\mod 1$ . В частности, каждая одномерная группа Ли локально изоморфна $\mathbb{R}$$\mathbb {R}$ .

ФизикаПравить

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

При исследовании пространства-времени использование единичной гиперболы для калибровки пространственно-временных измерений стало привычным с работ Германа Минковского 1908 года. Если использовать параметризацию гиперболы с помощью гиперболического угла, то в специальной теории относительности можно вычислить относительное движение с помощью однопараметрической группы, характеризуемой быстротой. В релятивистской кинематике и динамике быстрота заменяет понятие скорости. Поскольку быстрота не имеет ограничения сверху, то образуемая ей группа не является компактной. Понятие быстроты было введено Эдмундом Уиттакером в 1910 году, также год спустя понятие появилось в работах Альфреда Робба. Параметр быстроты соотносится с длиной гиперболического версора, понятие которого введено в XIX веке. Специалисты по математической физике Джеймс Кокл, Уильям Клиффорд и Александр Макферлейн применяли в работах изображение декартовой плоскости с помощью оператора $(\cosh <!--\; \; -->a+r\sinh <!--\; \; -->a)$$(\cosh {a}+r\sinh {a})$ , где $a$$a$  является гиперболическим углом, а $r^2=+1$$r^{2}=+1$ .

В GL(n,ℂ)Править

См. также: Теорема Стоуна о группах унитарных операторов в гильбертовом пространстве

Важный пример в группе преобразований Ли возникает, если $G$$G$  является $\mathrm{G}\mathrm{L}(n;\mathbb{C})$$\mathrm {GL} (n;\mathbb {C} )$ , группой обратимых матриц размера $n\times <!--\; \times \; -->n$$n\times n$  с комплексными элементами. В таком случае основной результат можно изложить следующим образом:

Теорема: Пусть $\mathrm{\phi <!--\; \phi \; -->}:\mathbb{R}\to <!--\; \to \; -->\mathrm{G}\mathrm{L}(n;\mathbb{C})$$\varphi :\mathbb {R} \rightarrow \mathrm {GL} (n;\mathbb {C} )$  является однопараметрической группой. Тогда существует единственная матрица $X$$X$  размера $n\times <!--\; \times \; -->n$$n\times n$ , такая, что

$\mathrm{\phi <!--\; \phi \; -->}(t)=e^{tX}$$\varphi (t)=e^{tX}$ 

для всех $t\in <!--\; \in \; -->\mathbb{R}$$t\in \mathbb {R}$ .

Из этого результата следует, что $\mathrm{\phi <!--\; \phi \; -->}$$\varphi$  дифференцируемо, хотя такое предположение в теореме не используется. Матрицу $X$$X$  можно восстановить по $\mathrm{\phi <!--\; \phi \; -->}$$\varphi$  как

${\frac{d\mathrm{\phi <!--\; \phi \; -->}(t)}{dt}|}_{t=0}={\frac{d}{dt}|}_{t=0}{e}^{tX}={(X{e}^{tX})|}_{t=0}=X{e}^0=X$$\left.{\frac {d\varphi (t)}{dt}}\right|_{t=0}=\left.{\frac {d}{dt}}\right|_{t=0}e^{tX}=\left.(Xe^{tX})\right|_{t=0}=Xe^{0}=X$ . Данный результат можно использовать, например, для того, чтобы показать, что любой непрерывный гомоморфизм между группами Ли матриц является гладким.

СсылкиПравить

• Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, vol. 222 (2nd ed.), Graduate Texts in Mathematics, Springer, ISBN 978-3319134666 .