Петр Путенихин - Правила счета элементов бесконечного множества

Нужно просто обратить внимание на то, что же именно отождествляется. В обоих приведенных примера сразу же можно заметить присутствие члена натурального ряда. Понятно, что отождествляются не значения членов ряда, а их порядковые номера, которые самым наглядным образом обозначены в каждом из членов рядов. До начала отождествления каждый член ряда уже имеет свой натуральный порядковый номер, а значение самого члена ряда не имеет никакого смысла. Это могут быть и летучие обезьяны с соответствующей биркой на шее, и протоны в бесконечной Вселенной, которые ещё только предстоит пометить соответствующим номером, и даже множество миров Эверетта.

Группировка в пары. Попробуем теперь просто пересчитать, перенумеровать все натуральные числа, предварительно соединив их в пары четное-нечетное число: (1,2), (3,4), (5,6), то есть, присваивая каждой паре последовательно номера 1, 2, 3, 4 и так далее. Очевидно, что каждой паре будет присвоен один номер, натуральное число. И мы получаем явное противоречие, поскольку это означает, что количество всех натуральных чисел, собранных в пары, в два раза больше количества всех натуральных чисел. Буквально, количество всех натуральных чисел в два раза больше количества всех натуральных чисел. Но натуральные числа можно группировать и тройками, пятерками, десятками и так далее.

Десять рядов . Еще более наглядно подмена понятий будет видна, если составить из натурального ряда десять новых рядов, каждый из которых содержит натуральные числа, оканчивающиеся на 0, 1, 2 и так далее до 9. Если теперь пересчитать их количества, то для каждого ряда, как и в случае (1) мы получим количество, совпадающее с количеством натуральных чисел. Теперь вновь соединим все эти ряды в единый. Очевидно, что в результате мы получим исходный ряд – натуральные числа. Получается, что количество членов просуммированного ряда в десять раз больше, чем в ряду натуральных чисел. Но ведь просуммированный ряд – это тот же самый натуральный ряд. Здесь совершается та же ошибка: подсчет без учета принадлежности чисел выделенных рядов исходному, натуральному ряду.

Квадратная таблица . Однако и это не предел. Можно, например, составить таблицу из n строк натуральных чисел, поэтому, соответственно, столбцов будет тоже n, где n – натуральное число. Теперь подсчитаем, перенумеруем диагональным процессом Кантора все числа этой таблицы. Очевидно, что каждое из чисел получит свой порядковый номер, которых, понятно, будет ровно n, стремящееся к бесконечности. Но таблица определенно содержит n 2элементов. Получается, что количество n 2элементов равно n, или, другими словами, количество всех натуральных чисел равно квадрату количества всех натуральных чисел. Конечно, сами натуральные числа к этому непричастны. Проблему создаёт выбор специфических способов подсчета, в основе которых явно лежат методы Кантора, позволяющие получить любой, произвольный результат. Поскольку один и тот же метод при корректном применении даёт разные результаты, такой метод не может быть верным.

Как утверждается со ссылкой на методологию счета Кантора, множество всех действительных чисел несчетно, то есть, невозможно их пересчитать, присвоив каждому из них некоторое натуральное число – номер, поскольку всегда останутся непронумерованные числа [3, с.73-74]. Вообще-то, на первый взгляд, интуитивно это выглядит вполне очевидно. Рассмотрим, например, следующую явно бесконечную последовательность действительных чисел:

В этих числах запятая просто занимает позицию n, представляющую натуральное число, поэтому чисел в указанной последовательности в точности равно числу строк, n, где n равно бесконечности. Поскольку все номера натуральных чисел использованы для нумерации этих действительных чисел, то очевидно, что остальное множество действительных чисел осталось без номеров, то есть их множество – несчетно. В связи с хитростями нумерации, как правило, вспоминают математика Кантора, который, как считается, доказал, что число точек на отрезке прямой сосчитать никаким способом нельзя. Утверждается, что их нельзя перенумеровать с помощью бесконечного ряда натуральных чисел, приписывая каждой точке свой номер, в каком бы порядке мы ни выбирали эти точки. Всегда останется хотя бы одна точка, на которую не хватит номера!