всегда равно конечному числу:
В этом случае отношение множеств (1) для четных чисел запишется в виде:
Запишем также и отношение множеств для нечетных чисел:
Далее нам понадобится и такое тождественное отношение:
Это равенство очевидно, поскольку числитель равен знаменателю. Теперь просуммируем эти приведенные два отношения мощностей:
Очевидно, что последняя дробь содержит в числителе все целые натуральные числа:
поэтому они и равны тождественно единице.
Это определённо означает, что мощности множеств всех натуральных чисел и суммы множеств всех четных и нечетных чисел равны. Но это также означает и тождественное равенство их бесконечного количества членов. Очевидно, что множества четных и нечетных чисел равномощны, поэтому, разделив полученное равенство на cn, получим:
Поэтому из равенства также следует, что каждая из мощностей четных и нечётных чисел в два раза «слабее» мощности всех натуральных чисел:
Отметим также без доказательств, что любые действия над каждым членом множества не изменяют мощности множества:
Из этого непосредственно следует, что решающее значение имеет способ, каким получено множество. Например, множество всех четных чисел может быть получено удалением из множества всех натуральных чисел нечётных или умножением на 2 каждого члена множества всех натуральных чисел:
Казалось бы, последнее выражение является точной копией множества всех четных чисел М(2, 4, 6, 8…). Но это ошибочно, поскольку любые действия над всеми (или отдельными) членами множества не изменяют их полного количества и, соответственно, мощности. Поэтому справедливо (знак множества M опускаем):
Хотя оба множества в числителях в обеих строках выглядят тождественно, на самом деле это разные множества, имеющие разную мощность.
Перестановки в рядах. Еще один вариант доказательства равномощности части и целого приведен в книге [2, с.282], где предлагается вести подсчет нечетных чисел, предварительно переставив их в ряду:
"В бесконечной вселенной коэффициент объема можно определить как долю, занятую областями данного типа. Но это определение приводит к неоднозначности. Чтобы проиллюстрировать природу проблемы, зададимся вопросом: какова доля нечетных чисел среди целых? Четные и нечетные числа чередуются в последовательности 1, 2, 3, 4, 5, и можно подумать, что ответом, очевидно, будет половина. Однако целые числа можно упорядочить другим способом. Например, так: 1, 2, 4, 3, 6, 8 … Эта последовательность по-прежнему включает все целые числа, но теперь за каждым нечетным числом следует два четных, и кажется, что только треть целых чисел являются нечетными"
Здесь нам отчетливо видна некорректность