Как я перестал бояться и полюбил проективную плоскость
Making Peace with the Projective Plane
Джон Д. Кук вспоминает, как в студенчестве проективное пространство и однородные координаты казались ему произвольными абстракциями — их подавали без всякой мотивации. Лишь гораздо позже он понял, что они естественны и почти неизбежны: в проективном пространстве исчезают особые случаи и туманные отсылки к объектам «на бесконечности». Он выступает за подход снизу вверх — сначала мотивация, потом абстракция — и показывает, как программисты, добавляющие третью координату ради точки на бесконечности, сами того не зная, приходят к проективной геометрии.
Моё математическое образование было устроено сверху вниз: сначала абстракции, потом частности (если вообще до них доходило).
- lopotubez
Поскольку можно показать, что существует биекция между прямыми, проходящими через начало координат, и точками на проективной плоскости, это означает, что если вы проследите семейства параллельных прямых на проективной плоскости, то это будет соответствовать горизонтальной прямой, проходящей через начало координат, или «бесконечно удалённой точке». Она также имеет то же направление, что и параллельные прямые.
Я представляю это себе, когда ложусь и думаю, что моя рука — это одномерное подпространство, а потолок — проективная плоскость; если я прослежу семейства параллельных прямых, все они в конечном итоге окажутся одной и той же прямой (я знаю, это звучит глупо, но для меня это простой способ визуализировать).
Это также проясняет, откуда берётся общее уравнение прямой. Представьте ту же прямую через начало координат [a:b:c] и другую прямую, предположительно перпендикулярную ей [x:y:z], тогда по теореме Пифагора можно показать, что ax + by + cz = 0, что в точности является плоскостью, перпендикулярной [a:b:c]. Так что если вы представите, что эта плоскость тоже горизонтальна, то это будет соответствовать «горизонту в бесконечности». Общее уравнение прямой aX + bY + c = 0 — это просто пересечение с проективной плоскостью в однородных координатах (X,Y,1), где X = x/z и Y = y/z, z != 0. Точки на проективной плоскости соответствуют прямым через начало координат, а прямые на проективной плоскости соответствуют плоскостям через начало координат.
Я всегда удивляюсь, почему проективная плоскость не является «плоскостью по умолчанию», которую преподают в школе, когда реальность, по-видимому, проективна.
- nh23423fefe
Единственный раз, когда я понимал применения проективной геометрии, — это когда увидел, как вращения и трансляции объединяются с помощью экспонент бивекторов. Я до сих пор не понимаю однородные координаты. Вроде я понимаю, как f(lambda*x)=lambda^n*f(x) и что это означает, что f — это что-то вроде гомоморфизма, но я никогда не решал задачи и не понимал, зачем вообще это делать. Я понимаю, что такое стереографическая проекция, но не могу применить её к задачам.
Тогда как я постоянно вижу применения других математических объектов, которые я изучал. Я никогда не ловлю себя на мысли: «Ооо да, это проективное, и поэтому...»
- xeonmc
Всегда удивлялся, почему бы просто не назвать это «пространством направлений» или «координатами без величины».