Джон Дербишир - Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике.

Дроби вместе со всеми целыми были собраны в новую систему рациональных чисел Q. Увы, Qнесет в себе свой собственный запрет. Не всегда удается найти предел сходящейся последовательности. Три примера таких последовательностей были приведены в главе 1.vii. По мере развития науки к моменту, когда потребовался анализ, это стало препятствием, поскольку весь анализ основан на идее предела. Для развития анализа были изобретены иррациональные числа.

Иррациональные числа вместе с рациональными (включая, разумеется, все целые) были собраны в новую систему вещественных чисел R. Но и вещественные числа по-прежнему содержали запрет. Нельзя извлечь квадратный корень из отрицательного числа. К концу XVI века математика развилась до такой степени, что это стало препятствием. Так были изобретены мнимые числа. Мнимое число — это квадратный корень из отрицательного числа.

Мнимые числа вместе со всеми вещественными составили великий новый синтез: комплексные числа C.С комплексными числами нам доступно все, никаких запретов нет — и наступил конец истории.

Подчеркну, что эта история — полная фальшивка. Наше понимание чисел вовсе не развивалось подобным образом. Порядок — и тот неправильный. Он должен быть таким: N, Q, R, Z, С. Натуральные числа и правда были известны в доисторические времена. Египтяне изобрели дроби в начале третьего тысячелетия до P.X. Пифагор (или один из его учеников) открыл иррациональные числа около 600 года до P.X. Отрицательные числа возникли во времена Возрождения из необходимости бухгалтерского учета (хотя нуль появился чуть раньше). Комплексные числа появились в XVII веке. Все это развивалось малопредсказуемым образом, хаотично, как и большая часть того, что делают люди. Неверно и то, что наступил конец истории. История никогда не кончается; как только одна шахматная партия доиграна, немедленно начинается следующая.

Что моя подложная история все же показывает, так это каким образом матрешки помещаются одна в другой; надеюсь также, что она проливает некоторый свет на то, почему математики не склонны воспринимать мнимые и комплексные числа как нечто необычное. Эти числа представляют собой просто еще одну матрешку, созданную с практическими целями — решать задачи, которые иначе не решаются.

Утомительно все время писать √−1, поэтому математики заменили эту величину буквой i . Поскольку i — квадратный корень из минус единицы, имеем i 2= −1. Умножая здесь обе части равенства на i , находим, что i 3= − i . Продолжая процесс, получаем i 4= 1.

А как обстоят дела с √−2, √−3, √−4 и т.д.? Не понадобятся ли и для них отдельные обозначения? Нет. Согласно обычным правилам перемножения целых чисел, имеем −3 = −1×3. Поскольку √ x есть просто x 1/2, 7-е правило действий со степенями говорит нам, что √(a×b) = √a×√b. (Например, √(9×4) = √9×√4 — довольно изысканный способ записи того факта, что 6 = 3×2.) Итак, √−3 = √−1×√3. Далее, √3, понятно, — совершенно обычное вещественное число, имеющее значение 1,732050807568877…. Следовательно (с точностью до трех знаков после запятой), √−3 = 1,732 i ; в замкнутом виде это обычно записывают как i √3. То же относится и к корню из любого другого отрицательного числа. Целой кучи новых чисел не требуется; достаточно одного только i .

Так вот, i — очень гордое число. Оно довольно надменно и не любит путаться с другими числами. Прибавим 3 к 4; в полученной семерке исчезло всякое воспоминание о «тройности» тройки, как, впрочем, и о «четверности» четверки; они растворились в «семерности» семерки. Напротив, если мы прибавим 3 к i , то получим… 3 + i . И такая же история с умножением. Когда мы умножаем 5 на 2, вся «пятерность» пятерки и «двойность» двойки проглатываются «десятностью» десятки, исчезая без следа. Но, умножая 5 на i , получаем… 5 i . Дело выглядит так, словно i никак не может расстаться со своей индивидуальностью; или, быть может, вещественные числа чувствуют, что i сделано из другого теста, чем они сами.

Итак, достаточно один раз впустить букву i в порядок вещей, как она породит целый новый класс чисел вида 2 + 5 i , −1 − i , 47,242 − 101,958 i , √2 + πi — все возможные a + bi с вообще любыми вещественными a и b . Они называются комплексными числами. Каждое комплексное число имеет две части: вещественную и мнимую. Вещественная часть комплексного числа a + bi — это a , а мнимая — это b .