Чарльз Сейфе - Ноль - биография опасной идеи

Вещественные числа составляют бо́льшую бесконечность, чем числа рациональные. Термин для бесконечности такого типа — 1 , это первая несчетная бесконечность. (Технически термин для бесконечности вещественной прямой — С, или бесконечность-континуум. Математики многие годы пытались определить, действительно ли мощность С— 1. В 1963 году математик Пол Коэн разрешил эту загадку, так называемую континуум-гипотезу: она недоказуема и не недоказуема в силу теоремы неполноты Гёделя. Сегодня большинство математиков воспринимают континуум-гипотезу как верную, хотя при некоторых исследованиях не-Канторовых трансфинитных чисел она оказывается неверна.) В уме Кантора существовало бесконечное число бесконечностей, одна в другой — трансфинитных чисел. 0 меньше, чем 1 , которая, в свою очередь, меньше 2, которая меньше 3и т.д. На вершине цепи располагается предельная бесконечность, поглощающая все прочие, — Бог, бесконечность, не поддающаяся никакому пониманию.

К несчастью для Кантора, не все разделяли его видение Бога. Леопольд Кронекер был видным профессором Берлинского университета и одним из учителей Кантора. Кронекер верил в то, что Бог никогда не допустил бы существования такой гадости, как иррациональные числа и тем более бесконечно увеличивающегося числа бесконечностей, образующих нечто вроде матрешки. Целые числа символизировали чистоту Бога, в то время как иррациональные числа и другие странные разновидности чисел представляли собой скверну — измышления несовершенного человеческого ума. Худшими из них были Канторовы трансфинитные числа.

Возмущенный взглядами Кантора, Кронекер обрушил на него ядовитую критику и очень затруднил публикацию его работ. Когда Кантор в 1883 году претендовал на должность в Берлинском университете, ему было отказано. Пришлось удовольствоваться должностью профессора гораздо менее престижного университета в Галле. Вероятно, виноват в этом был влиятельный Кронекер. В том же году Кантор написал опровержение нападок Кронекера. Затем в 1884 году Кантор пережил первый нервный срыв, приведший к депрессии.

Слабым утешением для него послужило бы то, что его работы стали основой целой новой области математики: теории множеств. Используя теорию множеств, математики открыли не только числа, о которых мы ничего не знаем; они разработали неслыханные до того понятия — бесконечные бесконечности, которые можно складывать, вычитать, умножать и делить, как обычные числа. Кантор открыл целую новую вселенную чисел. Немецкий математик Давид Гильберт сказал о нем: «Никто не сможет изгнать нас из рая, созданного для нас Кантором». Однако для Кантора признание опоздало: весь остаток жизни он лечился в психиатрических больницах и в 1918 году умер в одной из них.

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

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

Для такого сложного подсчета требуется остроумная уловка. Измерить объекты неправильной формы очень трудно. Например, представьте себе, что у вас пятно на деревянном полу. Какую площадь занимает пятно? Это совсем не очевидно. Если пятно имеет форму круга, квадрата или треугольника, площадь легко вычислить: просто возьмите рулетку и измерьте радиус или высоту и основание. Однако не существует формулы для вычисления площади пятна в форме амебы. Впрочем, существует другой способ.

Возьмите прямоугольный коврик и положите его поверх пятна. Если коврик покрывает пятно полностью, значит, пятно меньше коврика; если площадь коврика — квадратный фут, то площадь пятна меньше квадратного фута.

При использовании ковриков меньшего размера аппроксимация делается лучше и лучше. Предположим, что пятно покрывается пятью ковриками размером в одну восьмую квадратного фута. Значит, площадь пятна не больше пяти восьмых квадратного фута, что меньше нашей оценки при помощи коврика в один квадратный фут. По мере того как вы берете все меньшие и меньшие коврики, покрытие делается все лучше и лучше, и их общая площадь все больше приближается к истинному размеру пятна. На самом деле вы можете определить площадь пятна как предел площади ковриков, когда площадь каждого из них стремится к нолю ( рис. 43 ).