Кантор. Бесконечность в математике. | страница 16

Говоря математическим языком, эта операция является «установлением взаимно однозначного соответствия» между членами множеств.

Заметим, что если в обоих множествах больше не осталось членов, то сказать «два множества эквивалентны» — значит сказать, что в них одинаковое количество членов.

Теория Кантора основывается на том, что вопреки мнению Галилея этот принцип может быть перенесен на актуально бесконечные группы без какого-либо противоречия. То есть можно утверждать, что если два множества эквивалентны, в них одинаковое количество членов. Именно это и хотел доказать Кантор.

Вопросы бесконечности бросали вызов разуму и воображению человека, как никакая другая проблема за всю историю человеческой мысли.

Эдвард Каснер и Джеймс Ньюмен, «Математика и воображение», 1940 год

Однако говорить о «количестве членов» актуально бесконечного множества несколько странно, потому что, как сказал бы Аристотель, не существует числа, которое выражает это количество. (По крайней мере его не существовало в середине 1870-х годов. А позже, как мы увидим, оно появится. Отметим также, что знаменитый символ °°, введенный в 1655 году английским математиком Джоном Валлисом, обозначает потенциальную бесконечность, а не актуальную.) Так Кантор был вынужден ввести понятие «кардинальное число». Оно выражает идею количества членов законченной или актуально бесконечной группы, не говоря о количестве открыто. Вообще-то Кантор употребил термин «мощность», но после математики изменили его на «кардинальное число». Сегодня оба термина употребляются наравне.

Кардинальное число множества, по Кантору, — это характеристика, которая сохраняется после абстрагирования сущности его членов, а также их взаимоотношений.

Возьмем группу букв, составляющих слово «небо». Их кардинальное число, по определению Кантора, можно записать как ****. Эти символы обозначают членов группы, природа которой рассматривается как абстракция. Кардинальное число последовательности чисел 2,3, 5,7 тоже было бы ****.

У обеих групп одно и то же кардинальное число, поскольку у них одинаковое количество членов (четыре, разумеется). Действительно, **** могло бы стать пусть примитивным, но действенным способом обозначения числа 4. Кардинальное число множества натуральных чисел выглядело бы как *********** (символы продолжаются бесконечно). Таким же было бы и кардинальное число множества квадратных чисел. Следуя рассуждениям Кантора, если два множества эквивалентны, у них одинаковая мощность.