12.1

Определение и простейшие свойства групп Ли

[4/0%]
Показать
LaTeX
Задача 12.1.1

Если GG --- линейная группа Ли, то Tg(G)=Te(G)gT_g(G) = T_e(G)g для любой матрицы g∈Gg \in G. Доказать это.

?
Задача 12.1.2

Доказать, что псевдоортогональная группа Ok,l\mathrm{O}_{k,l}, где k+l=nk+l=n (см. §7.4), также является n(n−1)2\frac{n(n-1)}2-мерной группой Ли.

?
Задача 12.1.3

При четном n=2mn=2m рассмотрим группу линейных преобразований пространства KnK^n, сохраняющих невырожденную кососимметрическую билинейную функцию

α(x,y)=∑i=1m(xiym+i−xm+iyi). \alpha (x,y) = \sum _{i=1}^m (x_iy_{m+i}-x_{m+i}y_i).

Она называется симплектической группой и обозначается через Spn(K)\mathrm{Sp}_n(K). Доказать, что Spn(K)\mathrm{Sp}_n(K) есть n(n+1)2\frac{n(n+1)}2-мерная группа Ли.

?
Задача 12.1.4

Доказать, что группа SOn,1\mathrm{SO}_{n,1} состоит из двух связных компонент, причем SOn,1∘\mathrm{SO}_{n,1}^\circ есть подгруппа, образованная теми преобразованиями, которые оставляют на месте каждую из двух связных компонент гиперболоида

x12+…+xn2−xn+12=−1. x_1^2+\ldots +x_n^2-x_{n+1}^2 = -1.
?
Примечание.
?

Доказать, что всякое преобразование из группы SOn,1\mathrm{SO}_{n,1}, оставляющее на месте каждую связную компоненту указанного гиперболоида, есть произведение гиперболического поворота в двумерном подпространстве, содержащем базисный вектор en+1e_{n+1}, и преобразования из группы SOn\mathrm{SO}_n (оставляющего на месте вектор en+1e_{n+1}).