Классификация тел кватернионов над р-адическими полями и рациональными числами

Министерство образования  и науки, молодежи и спорта Украины

Луганский национальный университет имени Тараса Шевченко

 

 

 

 

 

Курсовая работа

 

тема:

«Классификация тел кватернионов над р-адическими полями и рациональными числами»

 

 

 

 

 

Выполнил:

студент группы 3М

Симоненко Д.

 

Проверил:

Доцент кафедры 

математического анализа 

и алгебры

Жучок А.В.

 

 

 

 

 

 

 

 

Луганск

2011

 

ПЛАН:

1.Введение……………………………………………………………3

2. Кватернион: определение, свойства:………………………….....5

          3 Алгебра кватернионов…………………………………………….8

 

        3.2.Теорема (о теле кватернионов)………………9

                      3.1.Тело кватернионов………………………………………10

           4.р-адические числа……………………………………………..10

           5.Бикватернионы…………………………………………………...12.

           6.Паракватернионы…………………………………………………14

           7.Вывод………………………………………………………………17

            8. Литература…………………………………………………………………….19

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1. Введение

В различных разделах математики возникает потребность  рассматривать векторные пространства (над данным полем k), в которых кроме действий сложения и умножения на скаляры определено еще действие умножения, сопоставляющее каждой упорядоченной паре векторов третий вектор того же пространства – их произведение. В этой ситуации всегда естественно предполагать, что результат умножения λy линеен по каждому из множителей при фиксированном втором.

Кватернион – гиперкомплексное число, геометрически реализуемое в четырехмерном пространстве. Система кватернионов предложена в 1843 У. Гамильтоном (W. Hamilton). Кватернионы явились исторически первым примером гиперкомплексной системы, возникшей при попытках найти обобщение комплексных чисел. Комплексные числа изображаются геометрически точками плоскости, и действия над ними соответствуют простейшим геометрическим преобразованиям плоскости. Из точек пространства трех и выше измерений нельзя "устроить" числовую систему, подобную полю действительных или комплексных чисел. Однако, если отказаться от коммутативности умножения, то из точек 4-мерного пространства можно устроить числовую систему (в пространстве трех, пяти и выше измерений нельзя построить даже такую систему).

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

так что каждый кватернион x записывается в форме

где

– действительные числа, являющиеся координатами кватерниона x. Таким образом, совокупность всех кватернионов представляет собой четырехмерное векторное пространство с базисом

Для кватернионов, как  и для других гиперкомплексных чисел, определены операции сложения, вычитания, умножения и деления. Операции сложения и вычитания кватернионов определены покомпонентно. Умножение кватернионов полностью определяется законом умножения их мнимых единиц

Операций сопряжения для кватернионов определено три - скалярное сопряжение, векторное сопряжение и алгебраическое сопряжение. При этом в силу особенностей строения кватернионов эти сопряжения полностью совпадают.

Алгебра кватернионов является единственной ассоциативной, но не коммутативной, конечномерной нормированной алгеброй над полем действительных чисел, обладающей единицей. Алгебра К.- тело, т. е. в ней определено деление, причем кватернионом, обратным к кватерниону X, является  . Тело кватернионов – единственная конечномерная действительная ассоциативная, но не коммутативная алгебра без делителей нуля

 

2. Кватернион: определение, свойства.

По Гамильтону, кватернион есть математический объект вида

где a,b,c,d - действительные числа, a - множитель действительной единицы "1", а i, j, k - три разные мнимые кватернионные единицы. умножения этих единиц, записанное еще Гамильтоном и часто повторяемое в литературе, имеет вид

Умножение произвольных кватернионов производится с помощью приведенной выше таблицы. Пусть

По правилу умножения  суммы на сумму

Мы получили сумму 16 слагаемых. Преобразуя каждое, приходим

к результату:

Эти громоздкие уравнения означают, что Q-умножение теряет коммутативность:

так что появляется понятие  правого и левого умножения, но остается ассоциативным

В кватернионе естественно  выделяются две алгебраически весьма различные части, которые можно обозначить как скалярную:

и векторную:

Сложение (вычитание) кватернионов осуществляется покомпонентно: отдельно складываются (вычитаются) скалярные и векторные части. По сложению Q-алгебра коммутативна и ассоциативна.

Далее вводится операция кватернионного сопряжения, аналогичного сопряжению комплексных чисел:

Пусть дан кватернион

Сопряженным ему называется кватернион

Очевидно, что сумма  сопряженных кватернионов есть число  действительное. Но и произведение также является действительным числом:

Продолжая аналогию с  комплексными числами, определяется модуль Q-числа:

Последние действия позволяют  сформулировать правило деления  кватернионов, которое, как и умножение, может быть "правым" и "левым"

Из формулы модуля Q-числа сразу же следует знаменитое тождество четырех квадратов

В силу вышеперечисленных  свойств Q-числа составляют алгебру, принадлежащую к элитной группе четырех так называемых исключительных - "очень хороших" - алгебр: действительных, комплексных, кватернионных чисел и октав (теоремы Фро- бениуса и Гурвица 1878-1898 г. г.).

Особое внимание стоит уделить  представлениям Q-единиц. В обозначениях Гамильтона действительная единица есть просто 1, тогда как три мнимые единицы по аналогии с алгеброй комплексных чисел обозначены как i, j, k. Позже было найдено простое представление этих единиц с помощью постоянных матриц

Это представление, конечно, не единственное. Вот один простой пример. Если в последних выражениях мнимую единицу алгебры комплексных чисел i представить матрицей с действительными компонентами

то тогда три векторные Q-единицы оказываются представленными действительными матрицами. Понятно, что процедуру удвоения ранга матриц представления можно продолжить до бесконечности.

Выполнимость  деления в системе кватернионов.

Прежде всего обратим внимание на существенное отличие в самой постановке вопросов о делении кватернионов и делении комплексных чисел. Для комплексных чисел, как помнит читатель, частным от деления на называется решение уравнения . Но для кватернионов произведение зависит от порядка сомножителей, поэтому вместо одного уравнения нужно рассматривать два:

Итак, мы установили два наиболее важных свойства системы кватернионов:

1) для умножения кватернионов  выполняется ассоциативность; 

2) кватернионы — система  с делением.

3. Алгебра кватернионов

Множество кватернионов обладает всеми свойствами алгебры  размерности 4 (по числу базисных единиц), в нем заданы операции умножения на действительное число, сложения и умножения кватернионов.

Во многом эта алгебра  близка алгебрам действтельных и  комплексных чисел. Она ассоциативна по сложению и умножению, дистрибутивна, имеет единицу (действительная единица); в ней определены вычитание и деление; это алгебра нормированная, в ней выполняется тождество четырех квадратов.

Но алгебра кватернионов уже сильно отличается от алгебр меньших  размерностей. Она некоммутативна по умножению и в силу этого, несмотря на «высокое качество» свойств, множество всех кватернионов является не полем, а телом – некоммутативным кольцом с делением (иногда можно встретить название «некоммутативное поле»).

Одна из важнейших  отличительных черт алгебры кватернионов состоит в том, что она является последней по числу размерностей ассоциативной алгеброй с единицей и с делением. В 1878 году немецкий математик Г.Фробениус доказал замечательную теорему:

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

 

3.1.Тело кватернионов

Определение:

Пусть А — непустое множество, +, • — операции на множестве А, и 0,1 — элементы множества А. Тогда алгебра называется телом тогда и только тогда, когда выполняются следующие утверждения (аксиомы тела):

1. — абелева (коммутативная) группа;
2. — группа (вообще говоря, некоммутативная);
3. —законы дистрибутивности.

При этом группа называется аддитивной группой тела, а группа ( называется мультипликативной группой тела.

 

3.2.Теорема (о теле кватернионов).

Алгебра кватернионов относительно операций сложения и умножения кватернионов является телом.

Для доказательства этой теоремы надо проверить выполнение аксиом тела.

Тот факт, что относительно сложения алгебра кватернионов является группой, очевиден.

Проверку остальных аксиом тела можно осуществить непосредственным вычислением.

 

4. р-адические числа.

Числа, называемые р-адическими, называются так потому, что поля, ими образуемые, параметризованы  простыми (prime) числами. Именно, если по порядку простое натуральное число — входит в несократимую запись ненулевого рационального числа r в степени , то положим (минус существенен) и получим гомоморфизм мультипликативной группы поля Q в ее положительную часть (далее пишем р вместо p_j); полагая к тому же , обнаружим, что выполнено неравенство треугольника (a,b ÎQ) и, значит, отображение Q является нормированием поля рациональных чисел, называемым р-адическим. Других нормируемых недискретных топологий на поле Q, кроме задаваемых обычным абсолютным значением и р-адическими нормированиями (перечисленные топологии, кстати, попарно различны), не существует (этот факт носит имя теоремы Островского о нормированиях на Q). Поэтому естественно, наряду с обычным пополнением поля Q, рассмотреть и пополнения этого поля относительно р-адических нормирований (точнее говоря, относительно равномерно- стей, порождаемых этими нормированиями). Соответствующие пополнения и называются полями р-адических чисел. Эти пополнения не являются упорядоченными полями, в отличие от обычного, и потому не признаются в кругу физиков за имеющие физический смысл; эта позиция, конечно, полностью оправдана при рассмотрении обычного пространства-времени, но модели теорий полей и струн, связанные с компактифицированными измерениями, столь причудливо алгебраичны — и в то же время столь же далеки от экспериментального обоснования — что приведенный аргумент о «нефизичности» применений р-адических полей теряет свою безусловность и очевидность. В математической литературе р-адический анализ —т.е. анализ функций р-адического аргумента (принимающих как комплексные, так и р-адические значения) развит вплоть до формул типа Стокса, спектральной теории дифференциальных операторов и функциональных интегралов, представляющих решения р-адических аналогов дифференциальных уравнений (в том числе стохастических) математической физики, и потому современные работы по р-адическому анализу часто относится к математической физике, хотя, в силу отсутствия верифицируемых физических предсказаний — не к теоретической физике.