Конечно, для отождествления это не является противоречием. Мы можем, например, отождествить 10 яблок и 10 уток. Или 200 кресел в кинотеатре и 200 зрителей. Но при этом следует помнить, что равны не они сами по себе, а их количества. В доказательстве Кантора, вроде бы, так и говорится, что равны мощности, равны количества. Однако преподносится это так, что создается впечатление, будто эти сравниваемые множества равны не только по своим количествам, мощности, но и равны буквально точка на линии тождественно равна точке на квадрате. При таком подходе можно отождествить любые бесконечности, просто отбросив их качество и оставив лишь безликое количество. Все зависит только от искусства отождествителя. Приведём простой пример.
Точки любой линии на плоскости характеризуются двумя координатами. Точно так же и в рассмотренном примере все точки линии имеют две координаты, одна из которых просто равна нулю. Теперь становится ясным, почему мы обратили внимание на замечание "для простоты мы не берем". На самом деле в таком упрощении преследовалась цель упростить организацию подмены понятий. Ведь если у линии признать наличие имеющейся на самом деле второй координаты, то и для неё пришлось бы также формировать комбинированное число индекс. Действительно, если вернуть в рассмотрение и стороны квадрата, то одна из них совпадет с отождествляемой линией. В этом случае надо было бы веско обосновать, почему координаты нижней стороны квадрата преобразуются в число z, а линия, полностью совпадающая с этой стороной, по-прежнему описывается одной координатой, хотя у неё однозначно имеется и вторая, нулевая?
Ясно, что разумные обоснования этого просто невозможны. Если же вернуть линии её законные права на вторую, нулевую координату, то все её собственные числа z будут начинаться с нулевого знака. То есть, с линией можно будет отождествить только одну единственную линию квадрата его нижнюю сторону. Соответственно, мощность множества точек линии окажется меньше мощности точек квадрата в счетное число раз, то есть, в бесконечное. Мощность множества точек квадрата имеет более высокий порядок. Просто результат зависит от способа подсчета и может быть на любой вкус. Два способа мы уже увидели. Рассмотрим еще один.
Рассмотрим эти два объекта в единой метрической системе единиц, в которой размер точки квадрата равен размеру точки линии. Это естественное разумное предложение: бессмысленно приравнивать, скажем, два куска золота, размеры которых неизвестны. Длина стороны квадрата равна a, следовательно, метрически он содержит a2 точек. Отрезок по этой же причине содержит a метрических точек. Другим словами, квадрат и линия метрически тождественны. Тогда линия длиной na будет содержать заведомо больше точек, чем квадрат, если n > a.
Такой же результат можно получить и иначе. Возьмем тот же квадрат и разделим его на 4 части. Нижний ряд, два вновь образовавшихся квадрата назовём условно линией. Пока эти два квадрата, понятно, на линию не похожи.
Теперь разделим эти 4 квадрата ещё на 4 части каждый. Нижний ряд из 4 квадратов по-прежнему будем считать линией. Затем вновь каждый квадрат разделим крестом на 4 части. Теперь уже нижний ряд из 8 мелких квадратов отдаленно напоминает некую линию. Посчитаем, отношение количества этих квадратиков в исходном квадрате к их количеству на прообразе линии. По пройденным шагам деления эти отношения равны: 2, 4, 8. Легко обнаружить, что эти отношения будут возрастать по мере дальнейшего деления квадратов по уравнению 2n × 2n. Каждый из сомножителей означает, соответственно, деление по вертикали и по горизонтали. Продолжим такое же деление до бесконечности: n .
Очевидно, что все квадратики станут бесконечно малыми, превратятся в точки и исчезнут из видимости. При этом и линия станет тем, чем мы её обычно и представляем линией с нулевой толщиной. Что важно, в этом случае и квадрат и линия состоят из одинаковых точек. И количества этих точек будут для квадрата 2n × 2n, для линии 2n. Отношение количеств или мощностей точек квадрата к точкам линии будет равно 2n. При увеличении числа шагов деления до бесконечности отношение также увеличится до бесконечности. Это значит, что мощность множества точек квадрата имеет более высокий порядок, чем мощность множества точек отрезка. Конечно, этот способ относится более к алгебре, чем к геометрии, но поэтому в нём и подмены с отождествлением скрыть труднее.
Наконец, можно рассмотреть и классический способ подсчета. Для этого возьмем одну из горизонтальных линий квадрата и начнем пересчитывать на ней точки: 1, 2, 3 и так далее. Поскольку координаты точек на отождествляемой линии совпадают с одноименными координатами линии квадрата, то будет пересчитывать одновременно и их: 1, 2, 3 и так далее. Очевидно, что мы получим два тождественных счетных множества. Вряд ли этому следует удивляться, физически и геометрически две линии тождественны. Следует отметить, что здесь мы пересчитываем не координаты, которые обозначаются действительными числами, необоснованно признанными несчетным множеством.
После завершения счета мы обнаруживаем, что одна единственная линия квадрата и отождествляемая с ним линия имеют равные мощности или количества точек. Но на квадрате таких линий счетное множество (помним и отвергаем утверждение о несчётности действительных чисел). Следовательно, общее число точек на квадрате в счетное множество раз превышает число точек на любом его отрезке и отождествляемой линии.
Однако все рассмотренные отождествления, зависимые от способа счета, построены таким образом, что подсчет числа точек всегда приводит к результату либо большей, либо равной мощности множества точек квадрата по сравнению с множеством точек отрезка. Но можно подобрать и такое правило счета, что соотношение изменится на обратное: окажется, что число точек в отрезках является более мощным множеством. Для этого возьмем не один, а несколько одинаковых квадратов, просто выбрав в кубе несколько разных сечений, и одну линию с длиной ребра куба. Попробуем отожествить все точки этих квадратов с точками на линии. Вновь воспользуемся методикой нумерации точек, предложенной Кантором. Согласно ей, для того чтобы точки на квадратах можно было различить и из очевидных соображений мы обязаны признать, что квадраты имеют ещё одну координату. То есть, каждая точка квадрата в кубе в этом случае характеризуется тремя координатами:
Для простоты, что, вообще-то, усложняет наше опровержение, ослабляет его, возьмём значения этих координат в кратчайшем виде, в виде единственной цифры от 0 до 9 без последующих дополнительных нулей, что во много раз увеличит число таких комбинированных точек, принадлежащих каждому квадрату. Для определенности возьмем в кубе 10 сечений, причем имеющие точное значение координаты s = 0; 0,1; 0,2 0,9. Теперь создадим по методу Кантора новые числа для точек каждого квадрата. Согласно этому методу каждая точка квадрата будет описываться новым числом индексом. Исходные координаты задаём в следующем формате:
из которых формируем индекс:
Здесь символом γ обозначен номер квадрата или, что то же самое, его координата в исходном кубе. Например, точки квадрата с номером s = 0,5 будут описываться индексом:
Как видим, закономерно и оправданно все точки и, соответственно, скомбинированные числа отличаются друг от друга, а все точки этого квадрата расположатся на интервале 0,50,6 отождествляемой линии и, более того, на линии останется бесконечное число точек, которым не будет соответствовать ни одна точка этого квадрата. Это точки, для которых индекс должен был бы содержать вместо нулей в позициях, кратных трём, другие цифры. Ничего не изменится, если цифру координаты s ставить в тройках последней.
Такая же ситуация будет наблюдаться с индексами и других девяти квадратов. Легко обнаружить, что комбинированные числа каждого квадрата изменяются в диапазонах, соответственно, [0, 0.1), [0.1, 0.2), [0.2, 0.3) и так далее. Таким образом, мы разместили все точки десяти квадратов на одной линии [0, 1]. Получается, что мощность множества, количество точек квадрата имеет меньший порядок, чем мощность множества точек любой линии. В нашем случае в десять раз. Но мы могли использовать и другое количество квадратов. Тогда и их точки оказались бы во взаимном однозначном соответствии с точками части отрезка. В этом случае соотношение мощностей станет еще больше и даже, по желанию, в любое число раз.
Очевидно, что такой принцип "сколько будет? а сколько надо?", к которому, по сути, сводится метод Кантора, не может служить основой для корректного математического приема. Но в чем же состоит хитрость, изюминка, так сказать, канторовского метода отождествления? По какой загадочной причине происходит такое противоестественное отождествление? В чем его тайный механизм? Ведь мы же четко видим, что каждой точке квадрата можно однозначно привязать каждую точку линии, причем ни одна из точек не останется без своей единственной пары. А тайна, в сущности, предельно проста. Покажем это на еще одном несколько отвлеченном, но подобном примере.