Заострим внимание на том, что Кантор свободно использовал понятие актуальной бесконечности в определении столь конкретного явления, как число, которое, по сути, является не чем иным, как пределом бесконечной числовой последовательности. В своих первых работах он также не использовал понятие предела. Более того, он говорил не о числах, а о числовых величинах. Кантор осознавал, что ступает на зыбкую почву, поскольку при рассмотрении понятий бесконечности и непрерывности следует вооружиться логическими и математическими инструментами, а их у него не было, и Кантору ничего не оставалось, кроме как создать эти инструменты самому.
Расширив множество рациональных чисел , Кантор перешел к новому множеству , которое назвал множеством вещественных чисел. Некоторые считают, что выбор этого названия был продиктован существованием мнимых чисел, о которых в то время было уже известно, однако есть основания полагать, что Кантором двигали иные причины. В «Основаниях общей теории множеств» он использует понятие предела и отказывается от понятий числовой величины, называя введенное им множество множеством вещественных чисел. Это очень важная деталь: она указывает, что Кантор был готов принять актуальную бесконечность не как спекуляцию, а как реальный математический объект — столь же реальный, как целые или дробные числа.
Прямая — это бесконечное множество точек, расположенных на линии. Кантор, работая над определением вещественной прямой, следовал путем, который мы уже описали в предыдущих главах: он обозначил начало отсчета и выбрал единицу измерения. В начальную точку он поместил число 0, справа от него — целые положительные числа, слева — отрицательные. Добавим к ним рациональные числа, то есть дроби: положительные расположим справа, отрицательные — слева. Напомним, что с добавлением рациональных чисел эта прямая приобрела свойство плотности, согласно которому между двумя любыми рациональными числами всегда находится другое рациональное число.
Вы уже знаете, какой масштабный кризис вызвало открытие числа √2 в древнегреческой математике. Суть проблемы заключалась в том, что это число можно было совершенно четко представить с помощью прямоугольного треугольника с катетами единичной длины, но длина гипотенузы этого треугольника, выражаемая иррациональным числом, не входила во множество точек прямой, на которой мы определили единицу измерения катетов. Таким образом, длина гипотенузы имела смысл как величина, но не существовала как число. В этом смысле можно было утверждать, что вещественная прямая содержала бесконечное множество промежутков, пустых точек, которым не соответствовали никакие числа, следовательно, вещественная прямая не была непрерывной.
С введением иррациональных чисел всем точкам этой прямой оказались присвоены числа, рациональные или иррациональные, и промежутки на ней исчезли. Теперь прямая по праву могла называться вещественной.