Инверсия относительно сферы

Инверсия относительно сферы — это преобразование евклидова пространства, которое оставляет неподвижными точки сферы, переводя точки внутри сферы в точки вне сферы и наоборот. Инверсия есть конформное отображениеШаблон:SfnШаблон:Sfn и является базовой операцией в Шаблон:Не переведено 5.
Определение
Инверсия относительно сферы проще всего описать с помощью полярных координат. Выберем систему аффинных координат так, чтобы центр сферы лежал в начале координат, а радиус сферы был равен 1. Тогда любая точка может быть записана в виде rv, где r есть расстояние от точки до начала координат, а v является единичным вектором. Для любой точки, отличной от начала координат, такое представление точки существует и единственно. Если дано такое представление точки, её образ при сферической инверсии определяется как точка r−1vШаблон:Sfn. Это определяет гомеоморфизм из в себя. Как отображение евклидова пространства в себя, сферическая инверсия не определена в начале координат, но можно расширить её до , одноточечного компактного расширения пространства , если считать, что точка 0 отображается на бесконечность, а бесконечность отображается в 0. Тогда сферическую инверсию можно рассматривать как гомеоморфизм пространства Шаблон:Sfn.
Будем называть (для краткости) центр сферы, относительно которой осуществляется инверсия, центром инверсии.
Свойства
Инверсия является инволюцией и оставляет неподвижными точки, лежащие на сфереШаблон:Sfn. Инверсия прямой, не проходящей через центр инверсии, является окружностью, проходящей через центр инверсии и наоборот. Инверсия плоскости, не проходящей через центр инверсии, является сферой, проходящей через центр рассматриваемой сферы, и наоборот. В других случаях инверсия окружности является окружностью, а инверсия сферы является сферойШаблон:Sfn.
Инверсия относительно сферы является мощным преобразованием. Простым примером является проективное отображение.
Обычно проекция с северного или южного полюса является инверсией Земли на плоскость. Если вместо полюса использовать центр и мы выберем город, то инверсия даст карту, где каждый кратчайший маршрут (большие окружности) для перелёта появляется как прямые линии.
Результаты инверсии относительно сферы
- Если некоторая точка A при инверсии отображается на точку B, то точка B при этом отображается на точку A.
- Каждая точка на сфере инверсии отображается на саму себя.
- Прямая, проходящая через центр инверсии, переходит в себя.
- Прямая, не проходящая через центр инверсии, переходит в окружность, проходящую через центр инверсии.
- Инверсией окружности, проходящей через центр инверсии, будет прямая.
- Инверсией окружности, не проходящей через центр инверсии, будет окружность.
- Плоскость, проходящая через центр инверсии, переходит в себя.
- Плоскость, не проходящая через центр инверсии, переходит в сферу, проходящую через центр инверсии.
- Инверсией сферы, проходящей через центр инверсии, является плоскость.
- Инверсией сферы, не проходящей через центр инверсии, является сфера.