Инверсия и стереографическая проекция

Google Maps, проекция Меркатора, GPS-навигация - всё это конформные отображения. Инверсия относительно окружности - простейший строительный блок, из которого собирается картография, комплексный анализ и даже нейросетевые эмбеддинги гиперболического пространства.

• Стереографическая проекция: 360-видео на сфере -> плоский экран; «Little Planet» в Instagram и Google Photos
• Проекция Меркатора: все веб-карты (Google, OSM, Яндекс) используют EPSG:3857 - сферическую Меркатор-проекцию
• Мёбиус-преобразования: основа модели Пуанкаре, гиперболических эмбеддингов иерархий в ML

Инверсия относительно окружности

Google Maps переводит координаты сферической Земли на плоский экран. GPS-навигатор пересчитывает геодезические дуги в прямые пути. Под капотом - конформные отображения: преобразования, сохраняющие углы. Инверсия - простейший пример такого отображения, из которого вырастают и проекция Меркатора, и сфера Римана.

Инверсия относительно окружности с центром O и радиусом r: каждая точка P переходит в точку P' на луче OP, причём OP * OP' = r^2. Точки на окружности неподвижны. Центр O не имеет образа (или уходит в бесконечность).

Числовой пример: окружность с r = 6, точка P на расстоянии OP = 2. Тогда OP' = 36/2 = 18. Точка внутри окружности ушла далеко за её пределы. Если взять OP = 9 (снаружи), то OP' = 36/9 = 4 (внутри). Инверсия переворачивает «внутри» и «снаружи».

Инверсия - инволюция: применение дважды возвращает исходную точку. Это делает её «обратимой без обратной формулы» - образ образа есть сама точка.

Образы окружностей и прямых - таблица преобразований

Самое неожиданное: инверсия превращает прямые в окружности и обратно. Если объединить прямые и окружности в один класс «обобщённых окружностей» (добавив точку бесконечности), то инверсия переводит этот класс в себя. Это делает её мощным инструментом для задач, где обычная геометрия требует длинных вычислений.

Практическое применение: задача Аполлония - найти все окружности, касающиеся трёх данных. Прямым перебором сложно. После инверсии одна из трёх окружностей превращается в прямую, касательная к прямой находится немедленно. Это классический пример «упрощения через инверсию».

Инверсия используется в алгоритме коррекции fisheye-дисторсии объективов. «Рыбий глаз» проецирует прямые линии в дуги - применение инверсии возвращает их обратно в прямые.

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

Стереографическая проекция - способ развернуть сферу на плоскость. Сфера касается плоскости Южным полюсом. Каждую точку сферы соединяем с Северным полюсом N и смотрим, где луч пересекает плоскость. Северный полюс - единственная точка без образа: он проецируется «в бесконечность».

Числовой пример: точка сферы (0, 0, -1) - Южный полюс. Проекция: X = 0/(1-(-1)) = 0, Y = 0. Южный полюс попадает в начало координат. Точка (1, 0, 0) - экватор. Проекция: X = 1/(1-0) = 1, Y = 0. Экватор отображается в единичную окружность плоскости.

Сфера Римана = расширенная комплексная плоскость C union {inf}. Стереографическая проекция - это явная биекция между C union {inf} и единичной сферой S^2. Используется в комплексном анализе, теории функций, рендеринге 360-видео.

Мёбиус-преобразования и конформность

Стереографическая проекция конформна - сохраняет углы. Небольшая фигура на сфере при проекции сохраняет форму, но меняет размер. Это ключевое свойство для картографии: компас показывает верный курс на конформной карте.

Проекция Меркатора - конформная карта: Земля -> плоскость через стереографическую проекцию плюс логарифмическое растяжение. Форма стран сохранена, площади искажены: Гренландия выглядит размером с Африку, хотя реально меньше в 14 раз. GPS-навигатор использует WGS-84 - систему координат, опирающуюся на те же конформные отображения.

Мёбиус-преобразования в комплексной плоскости: z -> (az + b)/(cz + d), где ad - bc != 0. Каждое такое преобразование - конформное и переводит обобщённые окружности в обобщённые окружности. Они реализуют симметрии сферы Римана. Модель Пуанкаре гиперболической плоскости (урок 16) строится именно из Мёбиус-преобразований.

Эффект «Little Planet» в мобильных приложениях - это буквально стереографическая проекция, применённая снизу к сферической фотографии. Одна формула, десятки миллионов пользователей.

Ключевые идеи

• Инверсия: OP * OP' = r^2 - конформное преобразование, переводящее обобщённые окружности в обобщённые окружности
• Прямая не через O -> окружность через O; прямая через O -> сама себя
• Стереографическая проекция: P = (x,y,z) -> (x/(1-z), y/(1-z)) - конформная биекция S^2 \ {N} -> R^2
• Сфера Римана = C union {inf}, Северный полюс = точка бесконечности
• Мёбиус-преобразования (az+b)/(cz+d) = конформные симметрии сферы Римана
• Меркатор = стереопроекция + логарифм; сохраняет углы, искажает площади

Связанные темы

Инверсия - мост между элементарной геометрией и продвинутыми применениями:

• Окружность — Окружность инверсии - основной объект преобразования
• Гиперболическая геометрия — Модель Пуанкаре строится через инверсии в граничной окружности
• Координатная геометрия — Аналитические формулы инверсии в декартовых и полярных координатах

Вопросы для размышления

• Почему конформность (сохранение углов) важнее сохранения расстояний для навигационных карт?
• Стереографическая проекция переводит большие круги сферы в окружности или прямые. Как это связано с тем, что авиалинии летят по дугам, а не по прямым на карте Меркатора?
• Что такое «точка бесконечности» в сфере Римана - абстракция или нечто физически осмысленное?

Связанные уроки

• top-01