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

ясно демонстрирует некий порядок, и несложно заранее сказать, каков в нем сотый знак после запятой, или миллионный, или триллионный. (Спорим? Это соответственно 5, 1 и 1). Однако число это иррациональное. Когда же мы видим вещественное число, в котором знаки после запятой повторяются, мы думаем: «Рациональное!»

• Любое вещественное число можно записать как комплексное. Например, √2 записывается в виде комплексного числа как √2 + 0i. Подробности ниже.

(В этом списке можно и перескочить через несколько ступенек и записать, скажем, натуральное число как вещественное: 257,000000000….)

Каждое семейство чисел — каждая из матрешек — обозначается ажурной буквой: N — семейство всех натуральных чисел, Z — целых, Q — рациональных, a R — вещественных. Каждое семейство в определенном смысле содержится внутри следующего. И каждое расширяет возможности математики, позволяя делать что-то такое, чего нельзя было делать с предыдущей матрешкой. Например, Z позволяет получить ответ для вычитания любого целого числа из любого целого, чего не удавалось сделать, оставаясь в N (7 − 12 =?). Подобным же образом Q позволяет получить ответ для деления на любое число (кроме нуля), чего не удавалось сделать, оставаясь в Z ((−7):(−12) =?). И наконец, R открывает дорогу анализу — математике пределов, — поскольку любая сходящаяся бесконечная последовательность чисел в R имеет предел (что неверно для Q).

(Вспомним последовательности и ряды, с которыми мы встретились в конце главы 1. Все они состояли из рациональных чисел. Некоторые из них сходились к 2, или ²/₃, или 1¹/₂ — т.е. их пределы также оказывались рациональными. Но другие, напротив, сходились к √2, или π, или e — иррациональным числам. Таким образом, бесконечная последовательность чисел из Q может сходиться к пределу, который не лежит в Q. Математический профессиональный термин: Q не является полным. Напротив, R полно, как полно и С. Эта идея пополнения Q приобретет новое значение, когда в главе 20.v мы будем говорить о p-адических числах.)

Можно выделить и другие категории чисел или внутри приведенной схемы N—Z—Q—R—C, или же «нарезав ее поперек». Очевидный пример доставляют простые числа — подмножество в N. Их совокупность иногда обозначается как P. Имеется также очень важное подмножество в С, называемое алгебраическими числами и иногда снабжаемое собственной ажурной буквой А. Алгебраическое число — это такое число, которое является нулем некоторого многочлена, все коэффициенты которого взяты из Z, например, 2x⁷ − 11x⁶ − 4x⁵ + 19x³ − 35x² + 8x − 3. Среди вещественных чисел каждое рациональное (и, следовательно, каждое целое и натуральное) — алгебраическое; ^{39 541}/_{24 565} есть корень многочлена 24 565x − 39 541 (или, если вы предпочитаете язык уравнений и их решений языку функций и их нулей, — решение уравнения 24 565x − 39 541 = 0). Иррациональное число может быть, а может и не быть алгебраическим. Те, которые не являются алгебраическими, называются трансцендентными. И число π, и число e трансцендентны, как это доказали, соответственно, Эрмит в 1873 году и Фердинанд фон Линдеманн в 1882.

III.

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