§ 27. Представление вращений унитарными матрицами второго порядка
Мы построим представление группы вращений G, действующее в пространстве
. Для этого введем три самосопряженные матрицы со следом, равным нулю,
Эти матрицы называются матрицами Паули. Вычислим перестановочные соотношения для этих матриц:
т.е.
. Аналогично проверяется, что
Нетрудно видеть, что матрицы
имеют перестановочные соотношения такие же, как инфинитезимальные образующие группы вращения
Поэтому можно построить представление
:
Следует отметить, что это представление не является представлением в обычном смысле слова, так как вместо
мы будем иметь
где
. В этом нетрудно убедиться на простом примере, сосчитав произведение
, где
есть вращение на угол я вокруг оси
В то же время по формуле (1) единичному элементу группы соответствует
Отображение
удовлетворяющее (3) при
называется проективным представлением с мультипликатором. Если мы все-таки захотим сохранить (2), то должны будем считать, что каждому вращению соответствует две матрицы U, отличающиеся знаком. В физике такого рода представления называют двузначными. Эти представления играют в квантовой механике такую же важную роль, как и обычные. В дальнейшем мы не будем подчеркивать это различие. Заметим еще, что появление такого рода представлений объясняется тем, что группа вращений неодносвязна.
Выясним свойства матриц
. Унитарность этих матриц очевидна, так как
— самосопряженные матрицы. Нетрудно
видеть, что определитель этих матриц равен единице. Действительно,
имеет вид
, где S — самосопряженная матрица со следом, равным нулю. Эту матрицу всегда можно привести к диагональному виду подобным преобразованием и она примет вид
. Соответственно диагональный вид матрицы будет
инвариантны относительно подобного преобразования, поэтому
.
Найдем общий вид унитарных матриц с определителем, равным единице. Запишем условие унитарности:
Из равенства
находим, что
. Из условий
получим
Таким образом, унитарные матрицы с определителем, равным единице, имеют вид
Группа таких матриц называется группой