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

Равномощные множества чисел

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

«множество натуральных чисел (?) равномощно множествам целых чисел (?), чётных натуральных чисел, всех рациональных чисел (?), а отрезок числовой прямой (? = [0,1], континуум) оказывается в биективном соответствии со всей числовой прямой (?), а также с n-мерным евклидовым пространством (?

)» [1].

Несомненно, это противоречит нашей интуиции. Ведь четные числа явно составляют лишь половину всех целых чисел. Это справедливо для любой конечной совокупности чисел, но, как утверждается в цитате, не соответствует бесконечным рядам, для которых получается, что их количества равны. А утверждение в отношении отрезка буквально означает, что всем точкам отрезка соответствуют все точки всей евклидовой бесконечной плоскости. Такие же странные выводы о соотношении целого и части делаются и в космологии [7, с.

77; 2, с.282].

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

Для доказательства указанной равномощности точек отрезка и квадрата Кантор использует противоречивый, нелогичный метод.

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

"… параметрическое определение размерности (по крайней мере в форме: "Размерность пространства – это минимальное число параметров, которые необходимы, чтобы отличать точки пространства друг от друга") математически некорректно.

Это стало ясно после построенного Георгом Кантором (1845—1918) знаменитого примера взаимно-однозначного соответствия между множествами точек квадрата и отрезка" [4, с.32].

Рассмотрим некоторые доказательства, которые позволят решительно отвергнуть аргументы Кантора.

Количества натуральных чисел в группах

Нумерация четных чисел.