Файл: Кантор И.Л. Гиперкомплексные числа.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 25.07.2024

Просмотров: 101

Скачиваний: 1

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

И . Л . К А Н Т О Р , А . С . С О Л О Д О В Н И К О В

ГИПЕРКОМПЛЕКСНЫЕ Ч И С Л А

И З Д А Т Е Л Ь С Т В О сНАУ1<А> Г Л А В Н А Я Р Е Д А К Ц И Я

ФИЗИКО - МАТЕМАТИЧЕСКОЙ Л И Т Е Р А Т У Р Ы М О С К В А 1 9 7 3

517.1 К 19

УДК 512.8

i O v . ПУБЛИЧНАЯ

 

НАУЧ; ;0-ТЕХЦИЧЕбКАЯ

 

' БИБЛИОТЕКА С С С Р -

1,

АННОТАЦИЯ

:' { 1

Л

 

Эта

брошюра

посвящена

гиперкомплексным

чис­

лам— обобщению

обычных

комплексных

чисел. В ней

рассказывается

о том, к чему

приводит

замена

одной

«мнимой

единицы» ('несколькими

мнимыми

единицами,

иначе

говоря,

рассказывается

о величинах

 

вида

а +

Ы +

cj...

В

частности,

книга

знакомит

читателя

с

замечательными примерами

гиперкомплексных

чи­

сел -*- кватернионами й октавами.

Эти

числа

играют

большую роль

в

различных

математических

вопросах.

В книге рассматриваются два таких вопроса: разыска­ ние «алгебр с делением» (теорема Фробениуса) и ра­ зыскание «нормированных алгебр» (теорема Гурвица).

©Издательство «Наука», 1973.

Исай Львович

Кантор.

Александр

Самуилович

Солодовников

 

 

 

 

Г И П Е Р К О М П Л Е К С Н Ы Е Ч И С Л А

 

 

 

 

 

М.,

1973 г.,

144 стр. с нлл.

 

 

 

 

 

 

Р е д а к т о р

В. В.

Донченко

 

 

 

Т е х н . редактор

Е. Н. Земская

Корректоры О. А.

Бутусова,

А. Л.

Ипатова

Сдано в

набор

17/VI

1973 г.

Подписано

к печати

П/ХИ I973 г.

Бумага

84ХЮЗ'/1 3 ,

тип. № 2. Фнз. печ. л. 4,5.

Условн. печ. л . 7,56.

Уч.-иэд. л. 6,93.

 

Т и р а ж 60 030 экз. Т-19920. . Цена книги 22 коп. З а к а з

№ 671

 

Издательство « Н а у к а > Главная редакция физико-математической литературы

117071, Москва, B-7I, Ленинский проспект, 15

Ордена Трудового Красного Знамени Ленинградская типография № 2 имени Евгении Соколовой

Сою8полиграфпрома при Государственном комитете Совета Министров СССР

по делам издательств, полиграфии и книжной торговли, 19S052, г. Ленинград, Измайловский проспект, 29

0223-1854

* 042(02)-73 ^ " / d


П Р Е Д И С Л О В И Е

Предметом этой книжки являются различные системы «чисел», которые можно построить, исходя из действи­

тельных

чисел,

путем

добавления

ряда

«мнимых

еди­

ниц». Классический пример такой

системы — это систе­

ма комплексных

чисел.

 

 

 

 

 

 

 

Одно из важнейших свойств комплексных чисел вы­

ражается

 

тождеством

 

 

 

 

 

 

 

 

 

 

 

 

\zz'\

= \z\-\z'\

 

 

 

 

(1)

(модуль

произведения

 

равен

произведению

модулей) .

Если обозначить

z

=

al-\-a2i,

z'—

b[-{-b2i,

то

(1)

пе­

репишется

в виде

 

 

 

 

 

 

 

 

 

,6,

-

a2b2f

+

,62

+ a2btf

=

(а? +

а*) {Ь\ +

Ь*).

 

Прочитанное справа налево, это тождество звучит так: «произведение суммы двух квадратов на сумму двух

квадратов

есть

снова сумма

двух квадратоз» .

Существуют

ли подобные

тождества

с большим, чем

2, числом

квадратов?

 

 

 

Как

описать

все такие тождества?

 

 

Е щ е

Л . Эйлер указал пример тождества

для 4 кваД-

ратов;

позже было найдено

тождество

для

8 квадратов .

О д н а к о полное решение вопроса удалось получить толь­

ко

в конце

X I X века.

 

 

 

 

 

 

М о ж н о предположить, что к а ж д о е тождество «для п

квадратов»

связано с формулой

(1),

в

которой z

и z'

обозначают

у ж е не комплексные числа,

а .«числа»

бо­

лее

общего

вида:

 

 

 

 

 

 

 

а, + a2i + a3j + . . . +

anl,

 

 

где

i, j , . . . . / — мнимые

единицы. Несколько у п р о щ а я

положение

вещей, можно

сказать,

что

это

действительно

1

 

 

 

 

 

3


так. Установление связи

между

тождествами

«для

п квадратов» и формулой

(1) для

некоторых

систем

«гиперкомплексных» чисел составляет одну из основных линий в общем построении этой книжки.

Другой

вопрос,

которому

уделено

в

этой книжке

много места, — это

вопрос о

делении

гиперкомплексных

чисел. Д е л о

в том,

что в любой

системе

гиперкомплекс­

ных чисел определены только три

из четырех «арифмети­

ческих»

операций:

сложение, вычитание и умножение.

Что ж е касается деления, то вопрос о возможности

этой

операции для данной системы гиперкомплексных

чисел

требует

отдельного

рассмотрения. Вообще, следует

ска­

зать, что гиперкомплексные системы, в которых возмож ­ но деление, составляют большую редкость. Разумеется, системы действительных чисел, так ж е к а к и комплекс­ ных, я в л я ю т с я примерами систем с делением. Но, кроме

них, имеются

и другие

примеры.

С а м ы м и замечатель ­

ными среди них являются система

так

называемых

ква­

тернионов

и

система

октав.

П р о б л е м а

разыскания

всех

гиперкомплексных

систем с

 

делением

исчерпывающим

образом

не решена

и до

сих

пор.

Несколько

вариантов

этой проблемы будут рассмотрены в данной книжке .

Первая глава этой книги знакомит читателя с раз ­

личными

примерами

гиперкомплексных чисел,

в

том

числе с

«кватернионами» и «октавами»; д л я тех и дру­

гих справедлива формула

(1),

и те

и другие

составляют

«систему

с делением». Третья

глава посвящена

исклю­

чительной роли, которую играют три системы: комплекс­ ных чисел, кватернионов, октав по отношению к постав­ ленным выше вопросам. Вторая глава является вспо­

могательной:

в

ней

излагаются на' элементарном уров­

не основные

понятия

линейной алгебры.

К н и ж к а рассчитана

на учащихся математических

школ

и

просто

всех

интересующихся математикой. Пер ­

в а я

и

вторая

главы

в

основном доступны школьнику

старших классов, чтение других разделов ~мбжет потре­ бовать от него довольно напряженных усилий. Во всех случаях никаких предварительных знаний от читателя не требуется.


Глава 1

ГИ П Е Р К О М П Л Е К С Н Ы Е ЧИСЛА

§1. Комплексные числа

1°. Вступление. В элементарной алгебре наряду с действительными числами рассматривается и более ши­

рокая

система

комплексных

чисел.

Причина,

з а с т а в л я ю ­

щ а я

рассматривать

комплексные

числа,

связана

с

ре­

шением

квадратных

уравнений. Д е л о

в

том,

 

что

неко­

торые

квадратные

уравнения,

например,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

* 2 + 1 = 0 ,

 

 

 

 

 

 

(1)

нельзя

решить,

ограничиваясь

только

действительными

числами

(не

существует

такого действительного

числа

а,

чтобы

а 2

было равно — 1 ) .

 

 

 

 

 

 

 

 

 

История

комплексных

чисел

начинается с

X V I

века.

Итальянские

математики

Д ж и р о л а м о

К а р д а н о и

Р а ­

фаэль

Бомбелли,

решая

квадратные

уравнения,

ввели

в

рассмотрение

символ

У— 1 — формальное

решение

уравнения

(1),

а т а к ж е в ы р а ж е н и я

ЪУ—

1 —

ф о р м а л ь ­

ные

решения

уравнений

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

лг2 +

62 =

0.

 

 

 

 

 

 

 

В ы р а ж е н и я

более

общего

вида

а + 6]/"—1 можно

 

р а с ­

сматривать

тогда

к а к формальные решения

 

уравнений

 

 

 

 

 

 

 

 

"(я — а ) 2 + & 2 = " 0 .

 

 

 

 

 

(2)

Впоследствии

в ы р а ж е н и я

а-\-ЬУ—I

 

стали

называться

«мнимыми», а затем «комплексными» числами и запи ­

сываться

а-\-Ы

(символ

г д л я

обозначения

У1

ввел

Л . Эйлер

в

X V I I I в.). Этих

чисел

оказывается у ж е до ­

статочно

д л я решения

любого

квадратного

уравнения

(если

дискриминант квадратного

уравнения

неотрица­

телен,

то,

к а к

известно,

корни

такого

уравнения —

5


действительные числа, если

ж е

дискриминант

отрицате­

лен, то уравнение обязательно приводится к

виду ( 2 ) ) .

Итак,

комплексным

числом

называется

выражение

вида

 

а -\

Ы,

 

 

 

 

 

 

где а и b—действительные

1

числа, а символу i припи­

сывается

свойство i2 =

. Заметим, чго

среди ком­

плексных чиселсодержатся, в частности, все действи­

тельные числа (они получаются при

b = 0),

а т а к ж е

все

«чисто мнимые» числа Ы (они получаются

при

а =

0).

Обозначая для краткости комплексное число одной

буквой

г,

будем д а л ь ш е писать

 

 

 

 

 

 

 

 

z = а + be.

 

 

 

 

Число

а

называется

действительной

частью,

а число

Ы — мнимой

частью

комплексного числа z;

сам

символ

i называют

«мнимой

единицей». Название,

«мнимая»

не

следует понимать буквально; оно сохранилось с тех

времен

( X V I — X V I I

вв.),

когда комплексные числа

счи­

тались чем-то нереальным й были окружены

ореолом

глубокой

таинственности.

Д л я

теперешней

математики

комплексные числа — вещь совершенно естественная

(не

более «мнимая», чем сами действительные

числа) .

 

2°. Действия над комплексными числами. Сложение,

вычитание

и умножение

 

комплексных

чисел

естественно

определить следующим

образом:

 

 

 

 

 

(а +

bi) +

(c +

di)

=

(a +

 

c) +

(b +

d)i,

 

 

 

(а +

bi) — (с +

di)

=

(а -

 

с) +

{b — d) I,

 

 

 

(а +

bi) (с +

di)

=

ас +

 

adi

+

bci

+ bdi2 =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

(ас

— bd)

+ (ad + be) I

(определяя умножение,

мы

учли

тот

факт,

что

i2=1),

Отметим попутно, что если в равенстве, определяю­

щем

умножение

комплексных

 

чисел,

положить

b =

0, то

получим правило умножения действительного числа на комплексное:

а (с + di) = ас + adi.

Нетрудно проверить, что законы, которым подчи­ няются определенные выше операции над комплексными числами, те ж е самые, что и законы действий над дей-

6