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

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

Действительно, мы можем сравнивать точки линии и точки квадрата таким же простым раздельным пересчетом, получив в обоих случаях бесконечность. Но это разные бесконечности, бесконечности разной мощности. Напротив, возьмем какую-либо y-линию на квадрате и начнем пересчитывать на ней точки: 1, 2, 3 и так далее. Одновременно

с этими точками будем пересчитывать и точки на линии: 1, 2, 3 и так далее. Мы тем самым однозначно отождествим все точки линии со всеми точками на одной из линий квадрата. Остальные линии квадрата, с другими координатами, разумеется, останутся без номеров. Это самый правильный способ пересчета и отождествления.

Итак, даже при ослаблении нашей аргументации мы приходим к выводу, который противоречит выводу Кантора об их равенстве. Два способа нумерации, основанных тождественно на одном и том же методе, приводят к несовместимым, противоположным выводам. Поэтому этот метод Кантора логически неверен, ошибочен. И вновь возникает риторический вопрос, какой же в этом случае метод верный? Методов группировки может быть сколько угодно, поэтому верным является только один метод – без группировки, то есть, сравнивать можно только равнозначные объекты – линию с линией. В этом случае вывод однозначный – множества точек линии и квадрата не равномощны. Самым простым и наглядным способом определения этого является простое наложение линии на квадрат и отождествление соприкоснувшихся точек.

Практически такая же противоречивая ситуация возникает и при отождествлении двух противоположных сторон квадрата: верхней и нижней, либо любых двух средних линий квадрата. Возникает совершенно противоестественная ситуации: эти пары линий вообще нельзя отождествить, поскольку нумерация их точек не имеет одинаковых значений. Верхняя сторона квадрата должна иметь по Кантору значения первой цифры после запятой всех точек, начинающиеся с 9, а нижняя – с 0, а средние, например, с 3 и 5. Две явно одинаковые линии оказываются несопоставимыми.

Стереографическая проекция

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

Рис.3. Стереографическая проекция отождествляет отрезок и точку

Мы не описываем сущность стереографической проекции, её описание можно найти в литературе. Каждая проекционная линия, прямая делится проецируемой точкой окружности между полюсом и проекционной плоскостью на две части, например, l₁ и l₂. Возьмем частный случай, когда отрезок делится пополам, то есть, l₁

= l₂ = l. Проведем ещё одну проекционную линию под углом α к исходной линии. В этом случае на окружности образуется дуга, а на плоскости – отрезок. Проведем из проецируемой точки пересечения дополнительный отрезок между проекционными лучами параллельно плоскости из проецируемой точки. Обозначим полученный отрезок через b, а проекцию на плоскости – через a. Из подобия треугольников следует, что

Здесь знак неточного равенства взят из предположения, что отрезок b приблизительно равен длине дуги. Это не точное равенство, но в средней части окружности отрезок и дуга отличаются друг от друга незначительно, в конечное число раз. Теперь найдем предел этого отношения, когда угол между двумя проецирующими прямыми стремится к нулю:

Это очевидный и аналитически достоверный предел. Но при этом возникает вопрос: что же означает это отношение 2? Две проекционные прямые слились в одну, и эта прямая пересекает и окружность и плоскость в одной точке каждую. Что же означает это соотношение для двух разных точек? Если считать, что точка – это то, что не имеет частей, то ответ становится совершенно туманным. Выходит, что точки не имеют частей, но в разном количестве. В любом случае для утверждения, что точка на окружности спроектировалась в единственную тождественную точку на плоскости, четких, бесспорных оснований уже нет.

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