Русская Википедия:Конформная группа

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Конформная группа пространства — это группа преобразований пространства в себя с сохранением углов. Более формально, это группа преобразований, сохраняющая Шаблон:Не переведено 5 пространства.

Некоторые конкретные конформные группы особенно важны:

  • Конформная ортогональная группа. Если V — векторное пространство с квадратичной формой Q, то конформная ортогональная группа <math>\mathrm{CO}(V, Q)</math> является группой линейных преобразований T пространства V, таких что для каждого x из V существует скаляр <math>\lambda</math>, такой что
    <math>Q(Tx) = \lambda^2 Q(x)</math>
    Для знакоопределённой квадратичной формы (то есть либо положительно определённой, либо отрицательно определённой) конформная ортогональная группа равна ортогональной группе, умноженной на группу растяжений.

Все конформные группы являются группами Ли.

Анализ углов

В евклидовой геометрии можно ожидать, что характеристикой будет стандартный угол, но в псевдоевклидовом пространстве существует также Шаблон:Не переведено 5. В специальной теории относительности различные точки отсчёта изменения скорости по отношению к другим точкам отсчёта, связаны с быстротой, гиперболическим углом. Один из способов описать лоренцев буст — Шаблон:Не переведено 5, которое сохраняет разность углов между быстротами. Таким образом, они являются конформными преобразованиями по отношению к гиперболическим углам.

Один из подходов к описанию подходящей конформной группы — имитация группы Мёбиуса как конформной группы обычной комплексной плоскости. Псевдоевклидова геометрия соответствует альтернативным комплексными плоскостями, где точками являются расщепляемые комплексные числа или двойные числа вместо обычных комплексных чисел. Точно как группа Мёбиуса требует для полного описания сферу Римана, компактное пространство, так же альтернативные комплексные плоскости требуют для полного описания компактифации конформного отображения. В каждом из случаев конформная группа задаётся дробно-линейными преобразованиями на подходящей плоскостиШаблон:Sfn.

Конформная группа пространства-времени

В 1908 году Гарри Бейтмен и Эбенезер Каннингем[1], два молодых исследователя из Ливерпульского университета огласили идею конформной группы пространства-времениШаблон:SfnШаблон:SfnШаблон:Sfn (теперь обычно обозначаемую как <math>C(1,3)</math>)Шаблон:Sfn. Они утверждали, что кинематические группы конформны, поскольку они сохраняют квадратичную форму пространства-времени и тем самым родственны ортогональным преобразованиям, рассматриваемым как Шаблон:Не переведено 5. Свободы электромагнитного поля не продолжаются на кинематические движения, а требуют только быть локально пропорциональными преобразованиям, сохраняющим квадратичную форму. В статье Гарри Бейтмен в 1910 году изучает матрицу Якоби преобразования, которое сохраняет световой конус и показывает, что преобразование имеет свойство конформностиШаблон:Sfn. Бейтмен и Каннингем показали, что эта конформная группа является «наибольшей группой преобразований, оставляющих уравнения Максвелла структурно инвариантными»Шаблон:Sfn.

Исаак Моисеевич Яглом внёс вклад в математику пространства-времени, рассмотрев конформные преобразования в двойных числахШаблон:Sfn. Поскольку двойные числа обладают свойствами кольца, но не поля, дробно-линейные преобразования требуют от Шаблон:Не переведено 5 быть биективным отображением.

Традиционно, следуя статье Людвика Зильберштейна (1914), для представления группы Лоренца используется кольцо бикватернионов. Для конформной группы пространства-времени достаточно рассматривать дробно-линейные преобразования на проективной прямой над этим кольцом. Элементы конформной группы пространства-времени названы Бейтменом Шаблон:Не переведено 5. Конкретное изучение квадратичной формы пространства-времени вобрала в себя Шаблон:Не переведено 5.

Примечания

Шаблон:Примечания

Литература

Литература для дальнейшего чтения

Шаблон:Теория групп Шаблон:Rq

  1. В книге Косякова — Гарри Бейтман и Эбенезер Каннингхем