Йэн Стюарт - Укрощение бесконечности. История математики от первых чисел до теории хаоса [litres]

Так Кантор пришел к изобретению арифметики бесконечности, которая объясняла предыдущие парадоксы и в то же время предлагала новые. Эта работа стала частью более обширной программы, теории множеств, Mengenlehre (от нем. Menge – множество или скопление). Кантор стал размышлять о множествах из-за некоторых сложных вопросов Фурье-анализа, так что его идеи уходят корнями в широко признанные математические теории. Однако полученные им ответы оказались столь странными, что многие из математиков того времени предпочти их проигнорировать. В то же время другие ученые сразу оценили их важность, особенно Давид Гильберт, утверждавший, что «никто не сможет изгнать нас из рая, созданного Кантором».

Отправной точкой для Кантора стала наивная концепция множества как совокупности объектов, или его элементов. Один из способов описать множество – перечисление его членов с использованием фигурных скобок. Например, множество всех натуральных чисел от 1 до 6 будет описано так:

{1, 2, 3, 4, 5, 6}.

В другом варианте множество может быть описано с помощью правила для его элементов:

{ n : 1 ≤ n ≤ 6, где n – натуральное число}.

Множества, определенные выше, идентичны. Первое обозначение ограничено конечным множеством, второе не имеет такого ограничения. Таким образом, множества

{ n: n – натуральное число}

и

{ n: n – полный квадрат}

точно указаны и оба бесконечны.

Самое простое, что вы можете сделать со множеством, – пересчитать его элементы. Насколько оно велико? Множество {1, 2, 3, 4, 5, 6} имеет шесть элементов. То же относится к множеству {1, 4, 9, 16, 25, 36}, состоящему из соответствующих квадратов. Мы говорим, что мощность множества равна 6, и называем 6 кардинальным числом . (Есть и другая концепция: ординальное (порядковое) число, связанное с построением чисел по порядку, и поэтому прилагательное «кардинальное» здесь не лишнее.) Множество всех натуральных чисел невозможно пересчитать таким образом, но Кантор отметил, что вы можете установить между множеством всех натуральных чисел и множеством всех квадратов взаимно однозначное соответствие, используя ту же схему, что и Галилей. Тогда каждое натуральное число n окажется в паре со своим квадратом n 2.

Кантор определил, что два множества равномощные (не его термин), если между ними есть взаимно однозначное соответствие. Если множества конечны, это свойство эквивалентно одинаковому количеству элементов. Но если они бесконечны, то нет смысла говорить о количестве элементов, а идея равномощности обретает очень важный смысл. Но Кантор пошел дальше. Он предложил систему трансфинитных чисел , или бесконечных кардинальных чисел , которые дали возможность определять, сколько элементов содержится в бесконечном множестве. Более того, два множества равномощны тогда и только тогда, когда они имеют равное количество элементов – равные кардинальные числа.

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

и множеству всех нечетных:

Одно из следствий этого определения таково: меньшее множество может иметь мощность, равную мощности б о льшего множества. Но здесь в определении Кантора не было логических противоречий, он решил считать эту особенность естественным следствием своей идеи и не прогадал. Главное – не считать, что бесконечные кардинальные числа могут вести себя точно так же, как и конечные. Да и с какой стати? Ведь они не конечны!

Как вы думаете, количество целых чисел (и положительных, и отрицательных) больше количества натуральных? Будет ли их вдвое больше? Нет, потому что мы можем сопоставить эти два множества вот так:

Арифметика бесконечных кардинальных чисел тоже довольно странная. Например, мы только что увидели, что множества четных и нечетных натуральных чисел имеют кардинальное число א 0. Поскольку у них нет одинаковых элементов, кардинальное число их объединения – множества, полученного в результате их совмещения, – должно быть א 0+ א 0. Номы знаем, что представляет собой такое объединение: это натуральные числа с кардинальным числом א 0. Видимо, придется заключить:

א 0+ א 0= א 0.

Так мы и поступим. Но и здесь нет противоречий: мы не можем поделить א 0, чтобы получить 1 + 1 = 1, потому что א 0не является натуральным числом. Такое деление невозможно, поскольку не имеет смысла. Действительно, это равенство показывает, что деление на א 0не имеет смысла. И снова мы принимаем это как плату за прогресс.

Всё это очень хорошо, однако кому-то может показаться, что א 0не более чем новый забавный символ для старой доброй бесконечности и по сути ничего нового здесь не сказано. Разве это не тот случай, когда все бесконечные множества имеют кардинальное число א 0? Разве все бесконечности не равны?

Один из кандидатов на бесконечное кардинальное число, большее, чем א 0, – точнее, на бесконечное множество, для которого невозможно установить взаимно однозначное соответствие с множеством целых чисел, – это множество всех рациональных чисел, обычно обозначаемое Q. В конце концов, есть бесконечно много рациональных чисел в промежутке между двумя любыми последовательными целыми числами, и здесь уже не работает та хитрость, которая помогала нам с целыми числами.

Однако в 1873 г. Кантор доказал, что Q также имеет кардинальное число א 0. Взаимно однозначное соответствие основательно перемешивает числа, но никто и не говорил, что они должны располагаться согласно порядковым номерам. Кажется, всё выглядит замечательно: всякое бесконечное множество имеет кардинальное число א 0.

В том же году Кантор совершил важный прорыв. Он доказал, что последовательность всех действительных чисел не имеет кардинального числа א 0. Неожиданную теорему об этом он опубликовал в 1874 г. Так что даже в неординарном понимании Кантора существует больше действительных чисел, чем целых. Одна бесконечность может быть больше другой.