Проективная двойственность

(перенаправлено с «Дуальное преобразование»)

Важное свойство проективной плоскости — «симметрия» ролей, которые играют точки и прямые в определениях и теоремах, и двойственность является формализацией этой концепции. Имеются два подхода к концепции двойственности: один, использующий язык «принципа двойственности», позволяет объявить ряд теорем двойственными друг к другу, при этом двойственная к верной теореме тоже верна; и другой, функциональный подход, основанный на специальном отображении двойственности. Связь между подходами состоит в том, что двойственная теорема получается применением отображения двойственности к каждому объекту исходной. Возможен и координатный подход.

Концепция двойственности плоскости легко расширяется до двойственности в любой конечномерной проективной геометрии.

Принцип двойственности

править

Принцип двойственности для проективной плоскости утверждает, что если взять любое верное утверждение, сформулированное в терминах проективной геометрии, (любую проективную теорему), и заменить все вхождения каждого термина на двойственный к нему, получится снова верное утверждение. В частности, для утверждений о точках и прямых достаточно заменить каждое вхождение слова «точка» на «прямая», а «прямая» на «точка» (заменив также окружающие их слова соответствующим образом, например «лежит на» на «принадлежит»). О полученном таким образом утверждении говорят, что оно двойственно исходному. Например, для проективной аксиомы «Через каждые две точки проходит единственная прямая» двойственным утверждением является другая проективная аксиома «Каждые две прямые пересекаются в одной точке».

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

Эта концепция может быть обобщена до двойственности трёхмерного проективного пространства, где понятия «точки» и «плоскости» меняются ролями (а прямые остаются прямыми).[1] Это приводит к Принципу двойственности для пространства. Возможны и дальнейшие обобщения (см. далее).

Двойственность более сложных фигур

править
 
Dual configurations

Конфигурацией точек и прямых с символом   называют набор из   точек и   прямых таких, что через каждую точку проходит ровно   прямых конфигурации, а на каждой прямой ровно   точек конфигурации. Двойственным объектом к конфигурации с символом   оказывается конфигурация с символом  . Например, к полному четырёхвершиннику двойственным объектом является полный четырёхсторонник[2].

Принцип двойственности допускает обобщение на произвольные кривые на проективной плоскости. Для построения двойственной кривой строят двойственную (см. отображение двойственности) к каждой точке данной кривой прямую, а потом рассматривают их огибающую — такую кривую, что все полученные прямые являются к ней касательными. В частности, для кривых второго порядка на проективной плоскости оказывается, что двойственная кривая тоже является кривой второго порядка.

Более общо, для квадрик в проективном пространстве имеет место следующее утверждение: множество касательных гиперплоскостей к невырожденной квадрике в проективном пространстве   образует невырожденную квадрику в пространстве   (звёздочка, как обычно, означает сопряжённое пространство)[3]. Можно расширить двойственность и на произвольные проективные алгебраические многообразия.

Двойственные теоремы

править

Для вещественной проективной плоскости   существует ряд хорошо известных утверждений, двойственных друг другу. Среди них:

Двойственные многогранники

править

В стереометрии имеет место двойственность многогранников, когда точки двойственны граням, а рёбра двойственны рёбрам, так что, например, икосаэдр двойственен додекаэдру, а куб двойственен октаэдру. Одним из способов построения этой двойственности является применение проективной двойственности.

Формализация

править

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

Если обменять ролями «точки» и «прямые» в структуре инцидентности

 

получим двойственную структуру

 

где  обратное отношение к  .   является также проективной плоскостью, которая называется дуальной (двойственной) плоскостью для  .

Если   и   изоморфны, то   называется самодвойственной. Проективные плоскости   для любого поля (или, в более общем случае, для любого тела, изоморфного двойственному себе)   являются самодвойственными. В частности, дезарговы плоскости конечного порядка всегда самодвойственны. Однако среди недезарговых плоскостей существуют как самодвойственные (например, плоскости Хьюза[англ.]), так и не самодвойственные (например, плоскости Холла).

Двойственность как отображение

править

Двойственность (плоскости) — это отображение из проективной плоскости   в её дуальную  , сохраняющее свойство инцидентности. Таким образом, двойственность   отображает точки в прямые и прямые в точки (  и  ) таким образом, что если точка   лежит на прямой   (обозначается  ), то  .

Двойственность, определённая таким образом, не обязательно является биекцией. Двойственность проективных плоскостей, являющуюся изоморфизмом, называют корреляцией.[4][5] Иногда ограничиваются только случаем автоморфизма, то есть отображения из проективной плоскости в себя, тогда существование корреляции означает самодвойственность проективной плоскости.

Связь с коллинеацией

править

Можно смотреть на понятие корреляции как на аналог понятия коллинеации. Коллинеация — отображение между проективными плоскостями, отображающее точки в точки, а прямые в прямые, то есть сохраняющее инцидентность.[6]

Важным свойством коллинеаций является то, что они сохраняют двойное отношение[7]. Корреляции тоже удовлетворяют этому требованию, переводя двойное отношение точек в двойное отношение прямых. Таким образом, при переводе множества точек на прямой в пучок прямых через точку каждая гармоническая четвёрка точек переводится в гармоническую четвёрку прямых.

Рассмотрев композицию произвольной корреляции   самой с собой, мы автоматически получаем некоторую коллинеацию  . Если это оказывается тождественное отображение, то есть если сама корреляция является инволюцией, то она называется поляритетом или полярным соответствием. Иногда это название применяют только к соответствию конкретного вида, см. #Полюса и поляры.

Отображения с теми же свойствами могут быть введены и в пространствах более высоких размерностей, все рассуждения повторяются дословно.

Классификация корреляций

править

Так как композиция двух корреляций — коллинеация, это позволяет классифицировать коллинеации, после чего множество всех корреляций описывается как композиция фиксированной корреляции со всеми коллинеациями.

Понятие коллинеации тесно связано с понятием проективного преобразования. Формально, проективным преобразованием   называют такую коллинеацию, которая происходит из линейного оператора на  . Оказывается, в вещественном случае или при   эти понятия просто совпадают. Для проективной плоскости вида  , где   — тело, по фундаментальной теореме проективной геометрии[англ.] любая коллинеация является композицией автоморфизма   и проективного преобразования.

При помощи этого можно показать, что корреляция на   задаётся произвольной полуторалинейной формой на   ассоциированной с произвольным антиавтоморфизмом поля  . При этом каждое подпространство отображается в ортогональное ему относительно данной формы.

Двойственность в однородных координатах

править

Двойственность проективной плоскости является частным случаем двойственности для проективных пространств, преобразований   (которые обозначаются также  ), где   — поле, обменивающих объекты размерности   с объектами размерности   (= коразмерность  ). Таким образом, в проективном пространстве размерности   точки (размерность 0) будут соответствовать гиперплоскостям (коразмерность 1), прямые, проходящие через две точки (размерность 1), будут соответствовать пересечению двух гиперплоскостей (коразмерность 2), и так далее.

Точки   можно рассматривать как ненулевые вектора в ( )-мерном векторном пространстве над  , в котором мы отождествляем вектора, отличающиеся умножением на скаляр. Ненулевой вектор   в   также определяет ортогональное ему  -мерное подпространство (гиперплоскость)  :

 

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

На проективной плоскости   с полем   мы имеем соответствие: однородные координаты   прямые, задаваемые уравнениями  . В проективном пространстве   соответствие выглядит как точки в однородных координатах   ↔ плоскости, задаваемые уравнениями  . Это соответствие также отображает прямую, задаваемую двумя точками   и  , в прямую, которая является пересечением двух плоскостей, задаваемых уравнениями   и  .

Скалярное произведение в   можно заменить на произвольную невырожденную билинейную форму, тем самым построив другие корреляции.

Геометрическое построение взаимного преобразования

править

Соответствие в   в однородных координатах может быть описано геометрически. Для этого используется модель вещественной проективной плоскости «единичная сфера с отождествлением антиподов[8]», или, что эквивалентно, модель прямых и плоскостей, проходящих через начало координат пространства  . Сопоставим прямой, проходящей через начало координат, единственную ортогональную ей плоскость, содержащую начало координат. Если в этой модели прямые считать точками, а плоскости — прямыми проективной плоскости  , это сопоставление становится соответствием (а фактически — полярным отображением) проективной плоскости. Сферическую модель можно получить как пересечение прямых и плоскостей, проходящих через начало координат, с единичной сферой, имеющей центр в начале координат. Прямые пересекают сферу в двух противоположных точках, которые отождествляются для получения точки проективной плоскости, плоскости же пересекают сферу по большим кругам, которые являются прямыми проективной плоскости.

То, что такое сопоставление «сохраняет» инцидентность, легко показать на модели прямых и плоскостей. Точка, инцидентная прямой в проективной плоскости, соответствует прямой, лежащей на плоскости в модели. При двойственности плоскость становится прямой, проходящей через начало координат и перпендикулярной плоскости. Этот образ (прямая) перпендикулярен любой прямой, лежащей на исходной плоскости, а в частности и исходной прямой (точке проективной плоскости). Все прямые, перпендикулярные исходной прямой, образуют плоскость, которая является образом исходной прямой. Таким образом, образ прямой лежит в образе плоскости, так что инцидентность сохранена.

Полюса и поляры

править
 
Полюс и поляра для окружности  .  ,   — поляра для  ,   — полюс для  .

На евклидовой плоскости зафиксируем окружность   с центром   и радиусом  . Для каждой точки  , отличной от  , определим образ   на луче   по правилу  . Так определенное отображение   называется инверсией относительно окружности  . Прямая  , проходящая через  , перпендикулярная  , называется полярой точки   по отношению к окружности  .

Пусть   — прямая, не проходящая через  . Опустим перпендикуляр из   из точки   на прямую  . Пусть   — образ точки   при инверсии относительно  . Тогда говорят, что  полюс прямой  . Если точка   лежит на прямой   (не проходящей через  ), то полюс   прямой   лежит на поляре   точки   и наоборот. Таким образом, отображение, при котором точки и прямые переходят в их поляры и полюсы по отношению к  , сохраняет инцидентность и является проективным преобразованием.[9]

Чтобы сделать этот процесс взаимно-однозначным преобразованием и превратить в корреляцию, евклидову плоскость необходимо расширить до проективной плоскости путём добавления прямой на бесконечности[англ.] и точек на бесконечности[англ.], которые лежат на этой бесконечно удалённой прямой. На этой расширенной плоскости мы определяем поляру точки   как прямую на бесконечности (а точка   является полюсом бесконечно удалённой прямой), и полюсы прямых, проходящих через   как точки на бесконечности, где, если прямая имеет угловой коэффициент  , её полюс является бесконечно удалённой точкой, соответствующей классу параллельных прямых с наклоном  . Полюс для оси   — это точка на бесконечности вертикальных прямых, а полюс оси   — точка на бесконечности горизонтальных прямых.

Построение полярного преобразования для инверсии относительно окружности, данное выше, можно обобщить с использованием инверсии относительно конических сечений (на расширенной вещественной плоскости). Взаимное преобразование, построенное таким образом, является проективной корреляцией порядка 2, то есть полярным преобразованием.

Отображение сферы в плоскость

править

Модель проективной плоскости с единичной сферой изоморфна (принимая во внимание свойство инцидентности) планарной модели, где плоскость расширена проективной прямой на бесконечности. В этой модели противоположные точки сферы (относительно центра) считаются одной точкой.

Чтобы сопоставить точкам сферы точки на плоскости, положим, что сфера касается плоскости в некоторой точке и эту точку мы выберем в качестве начала координат плоскости. Теперь проведём прямую через точку на сфере и центр сферы. Эта прямая пересечёт сферу в некоторой точке. Полученную точку можно использовать для построения взаимно однозначного отображения

 .

Если точки в   заданы в однородных координатах, то

 
 

Прямые на планарной модели являются проекциями больших окружностей сферы, поскольку через прямую на плоскости и начало 3-мерных координат можно провести плоскость, и эта плоскость будет пересекать сферу по большой окружности.

Как можно видеть, любой большой окружности на сфере можно сопоставить проективную точку, соответствующую единственной прямой, перпендикулярной плоскости, на которой окружность лежит и которую можно определить как двойственную. Эта прямая пересекает касательную плоскость, и это показывает, каким образом сопоставить единственную точку плоскости любой прямой этой плоскости, таким образом, что точка будет двойственной к прямой.

Примечания

править
  1. Дж.В. Юнг. Проективная геометрия. — Москва: Гос. изд. Иностранной литературы, 1949. — С. 30.
  2. Coxeter, 2003, p. 26
  3. Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия. — гл. 11, § 1. — М.: Физматлит, 2009.
  4. Певзнер, 1980, стр. 68-69 § 13 Коллинеации
  5. Dembowski, 1968 стр.151.
  6. Точки, лежащие на одной прямой, называются коллинейными, то есть лежащими на одной прямой. Коллинейное преобразование сохраняет свойство коллинейности. См. Вольберг, 1949
  7. Певзнер, 1980, стр. 45-46, Двойное отношение точек и прямых на плоскости
  8. противоположные точки сферы (концы диаметра) называются антиподами.
  9. Coxeter, Greitzer, 1978 pg.165

Литература

править
  • A. Adrian Albert, Reuben Sandler. An Introduction to Finite Projective Planes. — New York: Holt, Rinehart and Winston, 1968.
  • F. Bachmann, 1959. Aufbau der Geometrie aus dem Spiegelungsbegriff, Springer, Berlin.
  • Р. Бэр. Линейная алгебра и проективная геометрия. — Москва: Издательство иностранной литературы, 1955.
  • M.K. Bennett. Affine and Projective Geometry. — New York: Wiley, 1995. — ISBN 0-471-11315-8.
  • Albrecht Beutelspacher, Ute Rosenbaum. Projective Geometry: from foundations to applications. — Cambridge: Cambridge University Press, 1998. — ISBN 0-521-48277-1.
  • Rey Casse. Projective Geometry: An Introduction. — New York: Oxford University Press, 2006. — ISBN 0-19-929886-6.
  • Judith N. Cederberg. A Course in Modern Geometries. — New York: Springer-Verlag, 2001. — ISBN 0-387-98972-2.
  • Г.С.М. Коксетер. Действительная проективная плоскость. — Москва: Государственное издательство физико-математической литературы, 1959.
  • Coxeter, H. S. M. Projective Geometry. — 2nd ed. — Springer Verlag, 2003. — ISBN 978-0-387-40623-7.
  • Г.С.М. Коксетер. Введение в геометрию. — Москва: «Наука» Главная редакция физико-математической литературы, 1968.
  • Г.С.М. Коксетер, С.Л. Грейтцер. Новые встречи с геометрией. — Москва: «Наука» Главная редакция физико-математической литературы, 1978. — (Библиотека математического кружка).
  • Dembowski Peter. Finite Geometries. — Berlin: Springer Verlag, 1968.
  • Lynn E. Garner. An Outline of Projective Geometry. — New York: North Holland, 1981. — ISBN 0-444-00423-8.
  • Greenberg, M.J. Euclidean and non-Euclidean geometries. — 4th ed. — Freeman, 2007.
  • Р. Хартсхорн. Основы проективной геометрии. — Москва: «Мир», 1970. — («Современная математика» Популярная серия).
  • Hartshorne Robin. Geometry: Euclid and Beyond. — Springer, 2000.
  • Д. Гилберт, С. Кон-Фоссен. Наглядная геометрия. — Москва, Ленинград: Главная редакция общетехнической литературы и номографии, 1936.
  • D. R. Hughes, F. C. Piper. Projective Planes. — Springer, 1973.
  • F. Kárteszi. Introduction to Finite Geometries. — Amsterdam: North-Holland, 1976. — ISBN 0-7204-2832-7.
  • R.J. Mihalek. Projective Geometry and Algebraic Structures. — New York: Academic Press, 1972. — ISBN 0-12-495550-9.
  • S. Ramanan. Projective geometry // Resonance. — Springer India, August 1997. — Т. 2, вып. 8. — С. 87–94. — ISSN 0971-8044. — doi:10.1007/BF02835009.
  • Pierre Samuel. Projective Geometry. — New York: Springer-Verlag, 1988. — ISBN 0-387-96752-4.
  • Frederick W. Stevenson. Projective Planes. — San Francisco: W.H. Freeman and Company, 1972. — ISBN 0-7167-0443-9.
  • Oswald Veblen, J. W. A. Young. Projective geometry. — Boston: Ginn & Co., 1938. — ISBN 978-1-4181-8285-4.
  • О.А. Вольберг. Основные идеи проективной геометрии. — Москва, Ленинград: Учпедгиз, 1949.
  • С.Л. Певзнер. Проективная геометрия. — Москва: «Просвещение», 1980. — С. 68—69 § 13 Коллинеации.
  • А.Д. Александров, Н.Ю. Нецветаев. Геометрия. — Москва: Наука, 1990.
  • И.Р. Шафаревич, А.О. Ремизов. Линейная алгебра и геометрия. — Москва: Физматлит, 2009.

Ссылки

править

Weisstein, Eric W. Duality Principle (англ.) на сайте Wolfram MathWorld.