Математика. Утрата определенности.

Над решением этой проблемы бились многие. Полезный пространственный аналог комплексных чисел предложил в 1843 г. Уильям Роуан Гамильтон. Пятнадцать лет он непрестанно размышлял над этой проблемой. Умножение всех известных к тому времени чисел обладало свойством коммутативности, т.е. всегда было ab = ba, — и Гамильтон вполне естественно полагал, что трехмерные, или трехкомпонентные, числа также должны обладать этим свойством, равно как и другими свойствами вещественных и комплексных чисел. Гамильтону удалось добиться успеха лишь ценой двух компромиссов: во-первых, его новые числа обладали четырьмя компонентами, а не тремя, как ему первоначально хотелось, и, во-вторых, ему пришлось пожертвовать свойством коммутативности умножения (сохранив, однако, ассоциативность: для любых трех кватернионов p, q и r всегда (pq)r = p(qr)). Оба необычных свойства введенных Гамильтоном чисел произвели подлинный переворот в алгебре. Гамильтон назвал найденные им новые числа кватернионами. 

Если комплексное число представимо в виде а + bi, где i = √−1, то кватернион — это число, представимое в виде 

a + bi + cj + dk,

где i, j и k обладают таким же свойством, как и √−1, т.е.

i² = j² = k² = −1.

Два кватерниона равны в том и только том случае, если попарно равны коэффициенты a, b, c

и d в представлениях этих чисел. При сложении двух кватернионов суммы соответствующих коэффициентов образуют новые коэффициенты. Таким образом, сумма двух кватернионов сама также является кватернионом. Чтобы определить умножение кватернионов, Гамильтону пришлось задать произведения i и j, i и k, j и k. Гамильтон исходил из того, что произведение кватернионов должно быть кватернионом и что кватернионы должны сохранять как можно больше свойств вещественных и комплексных чисел. Достичь желаемого ему удалось, приняв правила умножения: 

jk = i, kj = −i,

ki = j, ik = −j,

ij = k, ji = −k

. 

Эти правила означают, что умножение кватернионов не коммутативно, т.е. если p и q — кватернионы, то pq не равно qp. Выполнимо и деление одного кватерниона на другой. Но поскольку умножение кватернионов не коммутативно, то разделить кватернион p на кватернион q означает найти либо такой кватернион r, что р = qr, либо такой кватернион r,

что p = rq. Частное r в этих двух случаях не обязательно должно быть одним и тем же; поэтому их и записывают по-разному: в первом случае пишут r = q⁻¹p, a во втором — pq⁻¹. Хотя кватернионы не получили столь широкого применения, как рассчитывал Гамильтон, ему удалось с их помощью решить немало физических и геометрических задач.

Введение кватернионов явилось еще одним потрясением для математики. Налицо был пример физически полезной алгебры, не обладающей фундаментальным свойством всех известных ранее чисел — здесь не выполнялось правило ab = ba.

Вскоре после того, как Гамильтон создал свои кватернионы, математики, работавшие в других областях, ввели еще более необычные алгебры. Знаменитый алгебраист и геометр Артур Кэли (1821-1895) ввел матрицы — квадратные или прямоугольные таблицы чисел. Над матрицами также можно было производить обычные алгебраические операции, но умножение матриц, как и кватернионов, не было коммутативным. Кроме того, произведение двух матриц могло равняться нулю, даже если оба сомножителя были отличны от нуля. Кватернионы и матрицы ознаменовали начало появления нескончаемой вереницы новых алгебр со все более необычными свойствами. Несколько таких алгебр создал Герман Гюнтер Грассман (1809-1877). По своей общности они превосходили кватернионы Гамильтона. К сожалению, Грассман всю жизнь оставался преподавателем средней школы, и прошло немало лет, прежде чем его работа привлекла заслуженное внимание. Как бы то ни было, Грассман пополнил множество так называемых гиперчисел (или, как сегодня чаще говорят, гиперкомплексных чисел{57}) новыми полезными разновидностями.

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