85482 (764049), страница 2

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 2)

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

Действительно, пусть υ, v, ω – φ-образы i, j, k при некотором автоморфизме. Тогда υ² = v² = ω² = -1; vυ = -υv = ω; vω = -ωv = υ и ωυ = -υω = v. Из равенства υ² = 1 заключаем, что кватернион и есть вектор единичной длины. Действительно, пусть υ = а + υ₁, где а – скалярная часть υ. Тогда -1 = υ² = а² + 2аυ₁ - , откуда 2аυ₁= 0. Если допустить, что υ₁= 0, то 1 = а², что невозможно. Поэтому υ ≠ 0, следовательно, а = о, . По той же причине кватернионы υ и v являются векторами единичной длины. Далее, из того, что скалярная часть кватерниона υv = ω равна 0, заключаем, что векторы υ и v ортогональны. По той же причине ортогональны векторы υ, ω и ω, υ, так что υ, v, ω составляют тройку попарно ортогональных единичных векторов. Ориентация этой тройки совпадает с ориентацией тройки i, j, k, ибо в противном случае было бы υv = ω, а не vυ = ω.

Пусть теперь α – некоторый кватернион единичного модуля. Отображение х→α^-1хα есть автоморфизм алгебры кватернионов и, следовательно, он осуществляет некоторое собственное вращение пространства векторов. Пусть α=а+υ₀, где а – скалярная часть α. Тогда , так что можно положить а = соsφ, = sinφ, 0≤φ≤ . Тогда α = cosφ + υsinφ, где υ – вектор единичной длины (если α = -1, то υ₀ = 0 и в качестве υ можно взять любой единичный вектор).

Пусть теперь v – какой-либо вектор единичной длины, ортогональный векторам υ, v, и пусть ω = υv. Выясним, как действует автоморфизм х→α^-1хα на векторы υ, v, ω. Ясно, что векторы α и υ коллинеируют, так что α ^-1υα = υ.

Далее,

α^-1= cosφ-υsinφ; α=cosφ+υsinφ;

α^-1vα=(cosφ-υsinφ) v (cosφ+υsinφ)=(vcosφ-ωsinφ) (cosφ+υsinφ)=

=vcos2φ-ωsinφcosφ+vυsinφcosφ-ωυ2sinφ=v (cos2φ-sin2φ)-2ωsinφcosφ=vcos2φ-ωsin2φ;

α ^-1ωα =(ωcosφ+vsinφ) (cosφ+υsinφ)=vsin2φ+vcos2φ.

Итак, автоморфизм х→α^-1хα не меняет вектор υ и поворачивает на угол 2φ плоскость, натянутую на вектора v и ω (считаем положительным направление вращения от v к ω), то есть, вращает пространство векторов вокруг оси, проходящей через вектор υ, на угол 2φ. Известно, что всякое собственное вращение трехмерного пространства есть поворот вокруг оси на некоторый угол, так что любое собственное вращение может рассматриваться как трансформация х→α^-1хα пространством кватерниона с единичным модулем.

Заметим, что преобразование х→α^-1хα при не дает ничего нового, если положить и при любом кватернионе х.

В любой ассоциативной алгебре с единицей обратимый элемент α порождает автоморфизм алгебры х→α^-1хα, называемый внутренним автоморфизмом алгебры.

Кватернионы единичного модуля образуют группу относительно умножения. Сопоставление каждому такому кватерниону вращения х→α^-1хα трехмерного пространства векторов есть гомоморфное отображение, ибо , то есть, произведению кватернионов отвечает произведение вращения. Ядро этого гомоморфизма состоит только из элементов .

Действительно, α = а + bi + сj + dk принадлежит ядру, если α^-1хα = х, при любом векторе х, т.е., если хα = αх. Положив х = i, получим с = d = 0, а, положив х = j, получим

b = d = 0.

Итак, α = а = 1, ибо . Тем самым получаем, что группа S0 (3) собственных вращений трехмерного пространства изоморфна фактор-группе кватернионов единичного модуля по подгруппе {

1}.

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

Заметим еще, что группа кватернионов с единичным модулем изоморфна группе u(2) унитарных матриц 2-го порядка с определителем равным единице.

Действительно, кватерниону α = а + bi + сj + dk соответствует матрица

,

а сопряженная

– кватерниону .

Из равенства следует, что АА*=Е, т.е. матрица произведений является унитарной.

Далее, detА = а² + b² + с² + d² = 1, если матрица †= унитарна и detА=1, то равенство А^-1=А* дает δ= , γ= – β, то есть, .

Таким образом, отображение α→А осуществляет изоморфизм группы кватернионов единичного модуля и группы вращений u(2) – группа алгебраических преобразований Лоренца.

Кватернион как перспективный инструментарий фундаментальных физических моделей

В данной работе лишь ставятся задачи, которые представляют интерес с точки зрения физики, а точнее, новой еще не существующей науки – «физической математики».

1. Реабилитация и развитие т.н. нестандартной математики в полном объеме, в которой аппарат дифференциального исчисления и дифференциальных уравнений считается некорректным. Тоже касается теории векторов, которые имеют смысл лишь в абсолютно изотропном и прямом пространстве, отказывая в корректности и компактности в любом криволинейном пространстве даже постоянной кривизны, не говоря уже о произвольном т.н. «финдслеровом» пространстве.

2. При этом становятся актуальными не только гиперкомплексные числа [5, 6], среди которых «скомпрометированные» своей некоммутативностью кватернионы, но и забытая сегодня функция sinvers, которой было предсказано большое будущее еще нашим русским математиком П.Л. Чебышевым.

3. Из всех проблем, способных с большей или меньшей вероятностью занять место великой теоремы Ферма, наибольшие шансы имеет проблема плотнейшей упаковки шаров. Проблему плотнейшей упаковки шаров можно сформулировать как задачу о том, как наиболее экономно сложить из апельсинов пирамиду. Молодым математикам такая задача досталась в наследство от Иоганна Кеплера. Проблема родилась в 1611 году, когда Кеплер написал небольшое сочинение «О шестиугольных снежинках». Интерес Кеплера к расположению и самоорганизации частиц вещества и привел его к обсуждению другого вопроса – о плотнейшей упаковке частиц, при которой они занимают наименьший объем. Если предположить, что частицы имеют форму шаров, то ясно, что как бы они ни располагались в пространстве, между ними неизбежно останутся зазоры, и вопрос состоит в том, чтобы объем зазоров свести к минимуму. В работе [8], например, утверждается (но не доказывается), что такой формой является тетраэдр, оси координат внутри которого определяют базисный угол ортогональности в 109^о28’, а не 90^о. Эта проблема имеет огромное значение для физики элементарных частиц, кристаллографии и других разделов естествознания. На рис. 1 приведена иллюстрация наиболее «экономной» упаковки разных и одинаковых частиц в классическом трехмерном пространстве (рис. 1а), в которой координатное пространство имеет четыре, а не три орта, представляющие прекрасную задачу для гипергеометрических чисел от кватернионов до октав (бикватернионов) и более [5, 6]. Хотя кватернион и описывает «ориентацию» объекта в пространстве и «вращение», но принято считать, что это вращение ограниченно именно лишь ±180^°. В то же время упаковка типа тетраэдра может быть названа группой лишь в рамках 6-осевых поворотов, и «плоскоугольная» проекция ортогональности между всеми базисными орт-векторами равна не 90^°, а «волшебные» 109^°28’ (рис. 1б) подобно осям молекулы СН₄ (рис. 1в).

4. Рецепт Дирака создания Новой Физики: «Прежде всего, – говорил Дирак, – нужно отбросить все так называемые «физические представления», ибо они – не что иное, как термин для обозначения устаревших предрассудков предшествующих поколений».

Начинать, по его словам, следует с красивой математической теории. «Если она действительно красива, – считал Дирак, – то она обязательно окажется прекрасной моделью важных физических явлений. Вот и нужно искать эти явления, развивать приложения красивой математической теории и интерпретировать их как предсказания новых законов физики», – так строится, по словам Дирака, вся новая физика, и релятивистская, и квантовая.

Еще менее известно, по мнению Арнольда, что релятивистские электронные уравнения Дирака имеют корни в виде кос – древней математической теории. Он заметил, исходя из топологии семейства эллиптических кривых в алгебраической геометрии, что в группе сферических кос из четырех нитей существует элемент второго порядка, и интерпретировал это свое открытие в виде теории спина электрона, имеющего 2 значения. Это означает, что для того, чтобы частица вернулась в прежнее положение, ей нужно повернуться не на 360⁰, а на 720.

Это было никому не понятно, и поэтому ему не верили. Чтобы убедить физиков в справедливости соответствующей странной математической теоремы, утверждающей, что фундаментальная группа SO(3) вращений трехмерного пространства состоит из двух элементов, Дирак продемонстрировал соответствующий эксперимент, изготовив физически свою сферическую косу второго порядка. Почему коса? Берутся две концентрические сферы и соединяются четырьмя переплетенными нитями. Не шестью, как если бы хоть одно соединение было осевым и отвечало бы евклидовой (а, точнее, галилевой) симметрии, а четырьмя. Еще одну внутреннюю концентрическую сферу также соединяют четырьмя переплетенными нитями, скрученными между собой (это называют «сферической косой»). Теперь, если убрать среднюю сферу, самая большая сфера окажется связана с самой маленькой незапутанными нитями. Получается тривиальная коса. Но ни Дирак, ни Арнольд не обращают внимания на то, что здесь и появляется радиально-сферическая система координат с ортогональностью не 90⁰ или поворотом-фракталом 360⁰, а все те же «кристаллические 109^°28’.

«Между прочим, сейчас ни физики, ни математики этого уже не знают. Может, один я прочитал у Дирака, как это делается и как он это придумал. А в спин физики верят, потому что провозглашено там, дают за это нобелевские премии, значит, что уже это всем известно, что это знаменитая, великая вещь. И все верят, просто потому, что это провозглашено, что это так. Ну так вот. На самом деле, это открытие Дирака – теория спина – было основано на эксперименте, доказавшем математическую теорему». – Это цитата В.И. Арнольда.

5. Кватернион и попытка описать античастицы в микрофизике. Возможно, этому поможет то, что инверсным единичному кватерниону, является его сопряженный.

6. Исследование возможности использования кватернион-представлений в группах вращательных симметрий S0 (m, n) собственных вращений n-мерного пространства, например, групп S0 (1,4) и S0 (2,3) де Ситтера (de Sitter) [8], постулирующих неустранимую кривизну и фундаментальную приоритетность вращательных движений при описании любых физических объектов и объяснении известных физических явлений [8–10]. Это удобно, т. к. можно циклически получать кватернион из матрицы и обратно матрицу из кватерниона. В этом случае мы получим интегрирование вращения без использования тригонометрических функций или квадратных корней. Крайне интересным обстоятельством является то, что в работе [7] автор формулирует четыре своеобразные аксиомы, из которых следует, что первые три из них обосновывают специальную теорию относительности, а при отказе от четвертой – Пуанкаре-инвариантности, мы получаем кватернионное описание пространства-времени. Но в [6] перспективные результаты получены именно при аналогичном отказе от фундаментальности 10-параметрической группы Пуанкаре. Поэтому аппарат кватернионов может быть использован для описания метрики Г. Минковского (1864–1909), инвариантной относительно преобразования Х. Лоренца (1853–1928). Особенно перспективно, на взгляд автора, использование целочисленных алгебр Галуа, диофантовых уравнений и кватернионов в физическом моделировании космо- и микромира [6, 8].

Литература

1. Мантуров О.В. и др. Толковый словарь математических терминов / под ред. проф. В.А. Диткина. М.: «Просвещение». – 1965. – 539 с.

2. Hamilton W.R. On quaternions; or on a new system of imaginaries in algebra. Philos. Mag., 1844, v. 25. – P.10–13.

3. Котельников А.П. Винтовое счисление и некоторые приложения его к геометрии и механике. Казань, 1895. Котельников А.П. Теория винтов и комплексные числа. Сб. Некоторые приложения идей Лобачевского в механике и физике. М.: Гостехиздат, 1950.

4. Диментберг Ф.М. Теория винтов и ее приложения. М., Наука, Гл. ред. физ-мат лит., 1978.

5. Кантор И.Л., Солодовников А.С. Гиперкомплексные числа. М.: Наука, 1973. – 144 с.

6. Понтрягин Л.С. Обобщения чисел. М.: Наука, 1986. – 120 с.

7. Челноков Ю.Н. Кватернионные и бикватернионные модели и методы механики твердого тела и их приложения. Геометрия и динамика движения. М.: ФИЗМАТГИЗ. 2006. – 289 c.

8. Мирмович Э.Г., Усачёва Т.В. Алгебра кватернионов и вращения в трехмерном пространстве // Научные и образовательные проблемы гражданской защиты №1, 2009. – С. 75–80.

9. Мирмович Э.Г., Лев Ф.М. Некоторые аспекты Де-Ситтер-инвариантной динамики / Деп. в ВИНИТИ №6099–84. 06.09.84 г. Хабаровск: СВ КНИИ ДВНЦ АН СССР. 1984. – 33 с. (Lev F.M. and Mirmovich E.G., VINITI No 6099 Dep.; Lev F.M. A possible mechanism of gravity Artwork Conversion Software Inc., 1201 Morningside Drive, Manhattan Beach, CA 90266, USA. arXiv:hep-th/0307087 v1 9 Jul 2003).

10. Ефремов А.П. Кватернионы: алгебра, геометрия и физические теории // Гиперкомплексные числа в геометрии и физике. М.: МГТУ им. Н.Э. Баумана. №1. 2004. – С. 112–122 (www.hypercomplex.ru).

11. Чуб В.Ф. Уравнения инерциальной навигации и кватернионная теория пространства-времени // Там же. №1 (7). 2007. – С. 133–140.

12. Березин А.В., Курочкин Ю.А., Толкачев Е.А. Кватернионы в релятивистской физике. Минск: Наука и техника. 1989. – 211 c.

13. Кассандров В.В. Алгебродинамика: кватернионный код Вселенной. В сб.: Метафизика. Век ХХI / Ред. Ю.С. Владимиров. М.: Лаборатория знаний. БИНОМ. 2006. – С. 142.

Характеристики

Список файлов статьи