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

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

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

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

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

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

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

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