Двойственность (математика)

General concept and operation in mathematics

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

В математическом контексте дуальность имеет множество значений. ^[1] Она была описана как «весьма распространенная и важная концепция в (современной) математике» ^[2] и «важная общая тема, которая имеет проявления почти в каждой области математики». ^[3]

Многие математические дуальности между объектами двух типов соответствуют спариванию , билинейным функциям от объекта одного типа и другого объекта второго типа к некоторому семейству скаляров. Например, линейная алгебраическая дуальность соответствует таким образом билинейным отображениям от пар векторных пространств к скалярам, ​​дуальность между распределениями и связанными тестовыми функциями соответствует спариванию, в котором интегрируется распределение по тестовой функции, а дуальность Пуанкаре соответствует аналогично числу пересечения , рассматриваемому как спаривание между подмногообразиями данного многообразия. ^[4]

С точки зрения теории категорий , двойственность также может рассматриваться как функтор , по крайней мере в области векторных пространств. Этот функтор назначает каждому пространству его двойственное пространство, а конструкция pullback назначает каждой стрелке f : V → W ее двойственное f ^∗ : W ^∗ → V ^∗ .

Вводные примеры

По словам Майкла Атьи ,

Двойственность в математике – это не теорема, а «принцип». ^[5]

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

Дополнение подмножества

Простая двойственность возникает при рассмотрении подмножеств фиксированного множества S. Для любого подмножества A ⊆ S дополнение A ^{c ​​[6]} состоит из всех тех элементов в S , которые не содержатся в A. Это снова подмножество S. Взятие дополнения имеет следующие свойства:

• Применение его дважды возвращает исходный набор, т. е. ( A ^c ) ^c = A. Это называется тем, что операция взятия дополнения является инволюцией .
• Включение множеств A ⊆ B превращается во включение в противоположном направлении B ^c ⊆ A ^c .
• Если даны два подмножества A и B множества S , то A содержится в B ^c тогда и только тогда, когда B содержится в A ^c .

Эта двойственность проявляется в топологии как двойственность между открытыми и замкнутыми подмножествами некоторого фиксированного топологического пространства X : подмножество U из X замкнуто тогда и только тогда, когда его дополнение в X открыто. Из-за этого многие теоремы о замкнутых множествах являются двойственными теоремам об открытых множествах. Например, любое объединение открытых множеств открыто, поэтому двойственно, любое пересечение замкнутых множеств замкнуто. [ ^7] Внутренность множества — это наибольшее открытое множество, содержащееся в нем, а замыкание множества — это наименьшее замкнутое множество, которое его содержит. Из-за двойственности дополнение внутренности любого множества U равно замыканию дополнения U .

Двойной конус

Множество C (синее) и его двойственный конус C ^* (красное).

Двойственность в геометрии обеспечивается конструкцией двойного конуса . При наличии набора точек на плоскости (или, в более общем смысле, точек в ), двойственный конус определяется как набор, состоящий из тех точек, которые удовлетворяют для всех точек в , как показано на диаграмме. В отличие от дополнения наборов, упомянутых выше, в общем случае неверно, что применение конструкции двойного конуса дважды возвращает исходный набор . Вместо этого, является наименьшим конусом ^[8], содержащим , который может быть больше . Поэтому эта двойственность слабее, чем та, что указана выше, в том, что ${\displaystyle C}$ ${\displaystyle \mathbb {R} ^{2}}$ ${\displaystyle \mathbb {R} ^{n}}$ ${\displaystyle C^{*}\subseteq \mathbb {R} ^{2}}$ ${\displaystyle (x_{1},x_{2})}$ $${\displaystyle x_{1}c_{1}+x_{2}c_{2}\geq 0}$$ ${\displaystyle (c_{1},c_{2})}$ ${\displaystyle C}$ ${\displaystyle C}$ ${\displaystyle C^{**}}$ ${\displaystyle C}$ ${\displaystyle C}$

• Применение операции дважды возвращает, возможно, больший набор: для всех содержится в . (Для некоторых , а именно конусов, эти два множества фактически равны.) ${\displaystyle C}$ ${\displaystyle C}$ ${\displaystyle C^{**}}$ ${\displaystyle C}$

Два других свойства остаются без изменений:

• По-прежнему верно, что включение превращается во включение в противоположном направлении ( ). ${\displaystyle C\subseteq D}$ ${\displaystyle D^{*}\subseteq C^{*}}$
• Если даны два подмножества и плоскости, то содержится в тогда и только тогда, когда содержится в . ${\displaystyle C}$ ${\displaystyle D}$ ${\displaystyle C}$ ${\displaystyle D^{*}}$ ${\displaystyle D}$ ${\displaystyle C^{*}}$

Двойственное векторное пространство

Очень важный пример двойственности возникает в линейной алгебре , когда любому векторному пространству V сопоставляется его двойственное векторное пространство V ^* . Его элементами являются линейные функционалы , где K — поле , над которым определено V. Три свойства двойственного конуса переносятся на этот тип двойственности путем замены подмножеств векторным пространством и включения таких подмножеств линейными отображениями. То есть: ${\displaystyle \varphi :V\to K}$ ${\displaystyle \mathbb {R} ^{2}}$

• Применение операции взятия двойственного векторного пространства дважды дает другое векторное пространство V ^** . Всегда существует отображение V → V ^** . Для некоторых V , а именно конечномерных векторных пространств , это отображение является изоморфизмом .
• Линейное отображение V → W порождает отображение в противоположном направлении ( W ^* → V ^* ).
• Для двух векторных пространств V и W отображения из V в W ^* соответствуют отображениям из W в V ^* .

Особенностью этой дуальности является то, что V и V ^* изоморфны для определенных объектов, а именно конечномерных векторных пространств. Однако это в некотором смысле удачное совпадение, поскольку для задания такого изоморфизма требуется определенный выбор, например, выбор базиса V . Это также верно в случае, если V является гильбертовым пространством , через теорему о представлении Рисса .

теория Галуа

Во всех дуальностях, обсуждавшихся ранее, двойственный объект имеет тот же вид, что и сам объект. Например, двойственный векторному пространству снова является векторным пространством. Многие утверждения двойственности не имеют такого вида. Вместо этого такие двойственности раскрывают тесную связь между объектами, казалось бы, разной природы. Один пример такой более общей двойственности взят из теории Галуа . Для фиксированного расширения Галуа K / F можно связать группу Галуа Gal( K / E ) с любым промежуточным полем E (т. е. F ⊆ E ⊆ K ). Эта группа является подгруппой группы Галуа G = Gal( K / F ) . Обратно, для любой такой подгруппы H ⊆ G существует фиксированное поле K ^{H ,} состоящее из элементов, фиксированных элементами в H .

По сравнению с вышеизложенным, эта двойственность имеет следующие особенности:

• Расширение F ⊆ F ′ промежуточных полей приводит к включению групп Галуа в противоположном направлении: Gal( K / F ′) ⊆ Gal( K / F ) .
• Связывание Gal( K / E ) с E и K ^H с H является обратным друг другу. Это содержание фундаментальной теоремы теории Галуа .

Дуальности, меняющие порядок

Диаграмма Хассе множества мощности {1,2,3,4} , частично упорядоченная по ⊂ . Двойственный посет, т.е. упорядочение по ⊃ , получается переворачиванием диаграммы вверх дном. Зеленые узлы образуют верхний и нижний наборы в исходном и двойственном порядке соответственно.

При наличии частично упорядоченного множества P = ( X , ≤) (сокращение от частично упорядоченного множества; т. е. множества, имеющего понятие упорядочения, но в котором два элемента не обязательно могут быть размещены в порядке относительно друг друга), двойственное частично упорядоченное множество P ^d = ( X , ≥) содержит то же самое базовое множество, но обратное отношение . Известные примеры двойственных частичных порядков включают

• отношения подмножества и надмножества ⊂ и ⊃ на любой коллекции множеств, такой как подмножества фиксированного множества S. Это приводит к первому примеру двойственности, упомянутому выше.
• отношения деления и умножения целых чисел .
• отношения потомка и предка в человеческом сообществе .

Преобразование дуальности — это инволютивный антиавтоморфизм f частично упорядоченного множества S , то есть инволюция , обращающая порядок f  : S → S . ^{[9] [10]} В нескольких важных случаях эти простые свойства определяют преобразование однозначно с точностью до некоторых простых симметрий. Например, если f ₁ , f ₂ — два преобразования дуальности, то их композиция является автоморфизмом порядка S ; таким образом, любые два преобразования дуальности отличаются только автоморфизмом порядка. Например, все автоморфизмы порядка множества мощности S = ​​2 ^R индуцируются перестановками R .

Понятие, определенное для частичного порядка P, будет соответствовать дуальному понятию на дуальном частично упорядоченном множестве P ^d . Например, минимальный элемент P будет максимальным элементом P d ^: минимальность и максимальность являются дуальными понятиями в теории порядка. Другие пары дуальных понятий — это верхние и нижние границы , нижние множества и верхние множества , а также идеалы и фильтры .

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

Дуальности, меняющие измерения

Характеристики куба и его двойного октаэдра соответствуют один к одному, а измерения меняются местами.

Существует множество различных, но взаимосвязанных дуальностей, в которых геометрические или топологические объекты соответствуют другим объектам того же типа, но с обратными размерами свойств объектов. Классическим примером этого является дуальность Платоновых тел , в которой куб и октаэдр образуют дуальную пару, додекаэдр и икосаэдр образуют дуальную пару, а тетраэдр является самодуальным. Дуальный многогранник любого из этих многогранников может быть образован как выпуклая оболочка центральных точек каждой грани первичного многогранника, так что вершины дуального соответствуют один к одному граням первичного. Аналогично, каждое ребро дуального соответствует ребру первичного, а каждая грань дуального соответствует вершине первичного. Эти соответствия сохраняют инцидентность: если две части первичного многогранника касаются друг друга, то же самое делают и соответствующие две части двойственного многогранника . В более общем смысле, используя концепцию полярного возвратно-поступательного движения , любой выпуклый многогранник или, в более общем смысле, любой выпуклый многогранник соответствует двойственному многограннику или двойственному многограннику с i -мерным элементом n -мерного многогранника, соответствующим ( n − i − 1) -мерному элементу двойственного многогранника. Сохраняющая инцидентность природа двойственности отражается в том факте, что решетки граней первичного и двойственного многогранников или многогранников сами являются двойственными по порядку. Двойственность многогранников и двойственность по порядку являются инволюциями : двойственный многогранник двойственного многогранника любого многогранника является исходным многогранником, и обращение всех отношений порядка дважды возвращает к исходному порядку. Выбор другого центра полярности приводит к геометрически различным дуальным многогранникам, но все они имеют одинаковую комбинаторную структуру.

Плоский граф показан синим цветом, а его двойственный граф — красным.

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

Геометрическая двойственность также встречается в теории оптимизации , но не та, которая меняет измерения местами. Линейная программа может быть задана системой действительных переменных (координатами точки в евклидовом пространстве ), системой линейных ограничений (определяющих, что точка лежит в полупространстве ; пересечение этих полупространств является выпуклым многогранником, допустимой областью программы) и линейной функцией (что оптимизировать). Каждая линейная программа имеет двойственную задачу с тем же оптимальным решением, но переменные в двойственной задаче соответствуют ограничениям в основной задаче и наоборот. ${\displaystyle \mathbb {R} ^{n}}$

Двойственность в логике и теории множеств

В логике функции или отношения A и B считаются дуальными, если A (¬ x ) = ¬ B ( x ) , где ¬ — логическое отрицание . Основная дуальность этого типа — дуальность кванторов ∃ и ∀ в классической логике. Они дуальны, потому что ∃ x .¬ P ( x ) и ¬∀ x . P ( x ) эквивалентны для всех предикатов P в классической логике: если существует x , для которого P не выполняется, то ложно, что P выполняется для всех x (но обратное не выполняется конструктивно). Из этой фундаментальной логической дуальности вытекают несколько других:

• Формула считается выполнимой в определенной модели, если существуют назначения ее свободным переменным , которые делают ее истинной; она действительна, если каждое назначение ее свободным переменным делает ее истинной. Выполнимость и действительность двойственны, поскольку недействительные формулы — это именно те, отрицания которых выполнимы, а невыполнимые формулы — это те, отрицания которых действительны. Это можно рассматривать как особый случай предыдущего пункта, с кванторами, варьирующимися по интерпретациям.
• В классической логике операторы ∧ и ∨ являются двойственными в этом смысле, поскольку (¬ x ∧ ¬ y ) и ¬( x ∨ y ) эквивалентны. Это означает, что для каждой теоремы классической логики существует эквивалентная двойственная теорема. Примерами являются законы Де Моргана . В более общем смысле, ∧ (¬ x _i ) = ¬ ∨ x _i . Левая сторона истинна тогда и только тогда, когда ∀ i .¬ x _i , а правая сторона тогда и только тогда, когда ¬∃ i . x _i .
• В модальной логике □ p означает , что предложение p «необходимо» истинно, а ◊ p — что p «возможно» истинно. Большинство интерпретаций модальной логики приписывают этим двум операторам двойственные значения. Например, в семантике Крипке « p возможно истинно» означает «существует некоторый мир W такой, что p истинно в W », в то время как « p обязательно истинно» означает «для всех миров W p истинно в W » . Двойственность □ и ◊ затем следует из аналогичной двойственности ∀ и ∃ . Другие двойственные модальные операторы ведут себя аналогично. Например, во временной логике есть операторы, обозначающие «будет истинным в какой-то момент в будущем» и «будет истинным во все моменты в будущем», которые также двойственны.

Из них вытекают и другие аналогичные двойственности:

• Теоретико-множественное объединение и пересечение являются двойственными относительно оператора дополнения множества ⋅ ^C. То есть, A ^C ∩ B ^C = ( A ∪ B ) ^C , и, в более общем случае, ∩ A^С
  _α= ( ∪ A _α ) ^C. Это следует из двойственности ∀ и ∃ : элемент x является членом ∩ A^С
  _αтогда и только тогда, когда ∀ α .¬ x ∈ A _α , и является членом ( ∪ A _α ) ^C тогда и только тогда, когда ¬∃ α . x ∈ A _α .

Двусторонний

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

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

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

Для топологических векторных пространств (включая нормированные векторные пространства ) существует отдельное понятие топологического дуального , обозначаемого ⁠ ⁠ ${\displaystyle V'}$ для отличия от алгебраического дуального V ^* , с различными возможными топологиями на дуальном пространстве, каждая из которых определяет другое бидуальное пространство ⁠ ⁠ ${\displaystyle V''}$ . В этих случаях каноническое оценочное отображение ⁠ ⁠ ${\displaystyle V\to V''}$ в общем случае не является изоморфизмом. Если это так, то это известно (для некоторых локально выпуклых векторных пространств с топологией сильного дуального пространства ) как рефлексивное пространство .

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

Двойные объекты

Группа дуальностей может быть описана путем наделения для любого математического объекта X множества морфизмов Hom ( X , D ) в некоторый фиксированный объект D со структурой, аналогичной структуре X . Иногда это называется внутренним Hom . В общем случае это дает истинную дуальность только для определенных выборов D , в этом случае X ^* = Hom ( X , D ) называется двойственным к X . Всегда существует отображение из X в бидуальное , то есть двойственное к двойственному, Оно назначает некоторому x ∈ X отображение, которое сопоставляет любому отображению f  : X → D (т. е. элементу в Hom( X , D ) ) значение f ( x ) . В зависимости от конкретной рассматриваемой дуальности, а также в зависимости от объекта X , это отображение может быть или не быть изоморфизмом. $${\displaystyle X\to X^{**}:=(X^{*})^{*}=\operatorname {Hom} (\operatorname {Hom} (X,D),D).}$$

Повторный взгляд на дуальные векторные пространства

Конструкция дуального векторного пространства, упомянутая во введении, является примером такой дуальности. Действительно, множество морфизмов, т. е. линейных отображений , образует векторное пространство само по себе. Отображение V → V ^**, упомянутое выше, всегда инъективно. Оно сюръективно, и, следовательно, является изоморфизмом, если и только если размерность V конечна. Этот факт характеризует конечномерные векторные пространства без ссылки на базис. $${\displaystyle V^{*}=\operatorname {Hom} (V,K)}$$

ИзоморфизмыВиВ ^∗и внутренние пространства продукта

Векторные пространства V изоморфны V ^∗ в точности тогда, когда V конечномерно. В этом случае такой изоморфизм эквивалентен невырожденной билинейной форме . В этом случае V называется пространством внутреннего произведения . Например, если K — поле действительных или комплексных чисел , любая положительно определенная билинейная форма порождает такой изоморфизм. В римановой геометрии V считается касательным пространством многообразия , а такие положительные билинейные формы называются римановыми метриками . Их цель — измерение углов и расстояний. Таким образом, двойственность является фундаментальной основой этой ветви геометрии. Другим применением пространств внутреннего произведения является звезда Ходжа , которая обеспечивает соответствие между элементами внешней алгебры . Для n -мерного векторного пространства оператор звезды Ходжа отображает k -формы в ( n − k ) -формы. Это можно использовать для формулировки уравнений Максвелла . В этом облике дуальность, присущая внутреннему продукту пространства, меняет роли магнитных и электрических полей . $${\displaystyle \varphi :V\times V\to K}$$

Двойственность в проективной геометрии

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

В некоторых проективных плоскостях можно найти геометрические преобразования , которые отображают каждую точку проективной плоскости в прямую, а каждую прямую проективной плоскости в точку, сохраняющим инцидентность способом. ^[11] Для таких плоскостей возникает общий принцип двойственности в проективных плоскостях : если задана любая теорема в такой плоской проективной геометрии, замена терминов «точка» и «прямая» везде приводит к новой, одинаково справедливой теореме. ^[12] Простым примером является то, что утверждение «две точки определяют единственную прямую, причем прямая проходит через эти точки» имеет двойственное утверждение, что «две прямые определяют единственную точку, точку пересечения этих двух прямых». Дополнительные примеры см. в разделе Двойственные теоремы .

Концептуальное объяснение этого явления в некоторых плоскостях (особенно в полевых плоскостях) предлагается дуальным векторным пространством. Фактически, точки в проективной плоскости соответствуют одномерным субвекторным пространствам ^[13] , тогда как линии в проективной плоскости соответствуют субвекторным пространствам размерности 2. Двойственность в таких проективных геометриях вытекает из присвоения одномерному подпространству состоящего из тех линейных отображений, которые удовлетворяют . Как следствие формулы размерности линейной алгебры , это пространство является двумерным, т. е. оно соответствует линии в проективной плоскости, связанной с . ${\displaystyle \mathbb {RP} ^{2}}$ ${\displaystyle V\subset \mathbb {R} ^{3}}$ ${\displaystyle W}$ ${\displaystyle V}$ ${\displaystyle (\mathbb {R} ^{3})^{*}}$ ${\displaystyle f:\mathbb {R} ^{3}\to \mathbb {R} }$ ${\displaystyle f(V)=0}$ ${\displaystyle (\mathbb {R} ^{3})^{*}}$

(Положительно определенная) билинейная форма дает отождествление этой проективной плоскости с . Конкретно, двойственность присваивает ее ортогональному . Явные формулы двойственности в проективной геометрии возникают посредством этого отождествления. $${\displaystyle \langle \cdot ,\cdot \rangle :\mathbb {R} ^{3}\times \mathbb {R} ^{3}\to \mathbb {R} ,\langle x,y\rangle =\sum _{i=1}^{3}x_{i}y_{i}}$$ ${\displaystyle \mathbb {RP} ^{2}}$ ${\displaystyle V\subset \mathbb {R} ^{3}}$ ${\displaystyle \left\{w\in \mathbb {R} ^{3},\langle v,w\rangle =0{\text{ for all }}v\in V\right\}}$

Топологические векторные пространства и пространства Гильберта

В области топологических векторных пространств существует похожая конструкция, заменяющая двойственное топологическим двойственным векторным пространством. Существует несколько понятий топологического двойственного пространства, и каждое из них порождает определенную концепцию двойственности. Топологическое векторное пространство, канонически изоморфное своему бидуальному, называется рефлексивным пространством : ${\displaystyle X}$ ${\displaystyle X''}$

$${\displaystyle X\cong X''.}$$

Примеры:

• Как и в конечномерном случае, на каждом гильбертовом пространстве H его скалярное произведение ⟨⋅, ⋅⟩ определяет отображение , которое является биекцией в силу теоремы Рисса о представлении . Как следствие, каждое гильбертово пространство является рефлексивным банаховым пространством . $${\displaystyle H\to H^{*},v\mapsto (w\mapsto \langle w,v\rangle ),}$$
• Двойственное нормированное пространство L p -пространства есть L ^q , где 1/ p + 1/ q = 1 при условии, что 1 ≤ p < ∞ , но двойственное к L ^∞ больше, чем L ¹ . Следовательно, L ¹ не рефлексивно.
• Распределения — это линейные функционалы на соответствующих пространствах функций. Они являются важным техническим средством в теории уравнений с частными производными (PDE): вместо того, чтобы решать PDE напрямую, может быть проще сначала решить PDE в «слабом смысле», т. е. найти распределение, которое удовлетворяет PDE, и, во-вторых, показать, что решение должно, по сути, быть функцией. ^[14] Все стандартные пространства распределений — , , — являются рефлексивными локально выпуклыми пространствами. ^[15] ${\displaystyle {\mathcal {D}}'(U)}$ ${\displaystyle {\mathcal {S}}'(\mathbb {R} ^{n})}$ ${\displaystyle {\mathcal {C}}^{\infty }(U)'}$

Дальнейшие двойные объекты

Двойственная решетка решетки L задается набором линейных функций на действительном векторном пространстве, содержащем решетку, которые отображают точки решетки в целые числа . Это используется при построении торических многообразий . ^[16] Двойственная по Понтрягину локально компактным топологическим группам G задается непрерывными групповыми гомоморфизмами со значениями в круге (с умножением комплексных чисел в качестве групповой операции). $${\displaystyle \operatorname {Hom} (L,\mathbb {Z} ),}$$ ${\displaystyle \mathbb {Z} }$ $${\displaystyle \operatorname {Hom} (G,S^{1}),}$$

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

Противоположная категория и сопряженные функторы

В другой группе дуальностей объекты одной теории переводятся в объекты другой теории, а отображения между объектами в первой теории переводятся в морфизмы во второй теории, но с обратным направлением. Используя терминологию теории категорий , это равносильно контравариантному функтору между двумя категориями C и D :

Ф : С → Д

что для любых двух объектов X и Y из C дает карту

Хом _C ( Икс , Y ) → Хом _D ( F ( Y ), F ( Икс ))

Этот функтор может быть или не быть эквивалентностью категорий . Существуют различные ситуации, когда такой функтор является эквивалентностью между противоположной категорией C ^op категории C и D . Используя двойственность этого типа, каждое утверждение в первой теории может быть переведено в «двойственное» утверждение во второй теории, где направление всех стрелок должно быть изменено на противоположное. ^[17] Следовательно, любая двойственность между категориями C и D формально совпадает с эквивалентностью между C и D ^op ( C ^op и D ). Однако во многих случаях противоположные категории не имеют внутреннего смысла, что делает двойственность дополнительной, отдельной концепцией. ^[18]

Категория, эквивалентная своей двойственной, называется самодвойственной . Примером самодвойственной категории является категория гильбертовых пространств . ^[19]

Многие категориально-теоретические понятия входят в пары в том смысле, что они соответствуют друг другу при рассмотрении противоположной категории. Например, декартовы произведения Y ₁ × Y ₂ и непересекающиеся объединения множеств Y ₁ ⊔ Y ₂ являются двойственными друг другу в том смысле, что

Хом ( Икс , Y ₁ × Y ₂ ) знак равно Хом ( Икс , Y ₁ ) × Хом ( Икс , Y ₂ )

и

Хом ( Y ₁ ⊔ Y ₂ , Икс ) знак равно Хом ( Y ₁ , Икс ) × Хом ( Y ₂ , Икс )

для любого множества X . Это частный случай более общего явления двойственности, при котором пределы в категории C соответствуют копределам в противоположной категории C ^op ; дальнейшие конкретные примеры этого — эпиморфизмы против мономорфизма , в частности, фактор-модули (или группы и т. д.) против подмодулей , прямые произведения против прямых сумм (также называемых копроизведениями , чтобы подчеркнуть аспект двойственности). Поэтому в некоторых случаях доказательства некоторых утверждений можно сократить вдвое, используя такое явление двойственности. Дальнейшие понятия, отображающие связь с такой категорической двойственностью, — это проективные и инъективные модули в гомологической алгебре , ^[20] расслоения и корасслоения в топологии и, в более общем смысле, модельные категории . ^[21]

Два функтора F : C → D и G : D → C являются сопряженными , если для всех объектов c из C и d из D

Hom _D (F( c ), d ) ≅ Hom _C ( c , G ( d )) ,

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

colim: C ^I ↔ C : Δ

между функтором копредела, который назначает любой диаграмме в C, индексированной некоторой категорией I, ее копредел, и диагональным функтором, который отображает любой объект c из C в константную диаграмму, которая имеет c во всех местах. Двойственно,

Δ: C ↔ C ^I : предел .

Пространства и функции

Двойственность Гельфанда — это двойственность между коммутативными C*-алгебрами A и компактными хаусдорфовыми пространствами X, которая является той же: она сопоставляет X пространство непрерывных функций (которые исчезают на бесконечности) от X до C , комплексных чисел. Наоборот, пространство X может быть восстановлено из A как спектр A. Как двойственность Гельфанда, так и двойственность Понтрягина могут быть выведены в значительной степени формальным, теоретико- категорным способом. ^[22]

В похожем ключе в алгебраической геометрии существует двойственность между коммутативными кольцами и аффинными схемами : для каждого коммутативного кольца A существует аффинный спектр, Spec A. Наоборот, если задана аффинная схема S , то можно получить кольцо, взяв глобальные сечения структурного пучка O _S. Кроме того, гомоморфизмы колец находятся во взаимно однозначном соответствии с морфизмами аффинных схем, тем самым существует эквивалентность

(Коммутативные кольца) ^op ≅ (аффинные схемы) ^[23]

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

Некоммутативная геометрия черпает вдохновение из двойственности Гельфанда и изучает некоммутативные C*-алгебры, как если бы они были функциями на некотором воображаемом пространстве. Двойственность Таннаки–Крейна является некоммутативным аналогом двойственности Понтрягина. ^[24]

Связи Галуа

В ряде ситуаций две категории, которые являются дуальными друг другу, на самом деле возникают из частично упорядоченных множеств, т. е. существует некоторое понятие объекта, «являющегося меньшим», чем другой. Дуальность, которая уважает рассматриваемые упорядочения, известна как связь Галуа . Примером является стандартная дуальность в теории Галуа , упомянутая во введении: большее расширение поля соответствует — при отображении, которое назначает любому расширению L ⊃ K (внутри некоторого фиксированного большего поля Ω) группу Галуа Gal (Ω / L ) — меньшей группе. ^[25]

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

• Теорема Биркгофа о представлении, связывающая дистрибутивные решетки и частичные порядки

Двойственность Понтрягина

Двойственность Понтрягина дает двойственность в категории локально компактных абелевых групп : для любой такой группы G группа характеров

χ( G ) = Hom ( G , S ¹ )

заданные непрерывными групповыми гомоморфизмами из G в группу окружности S ¹ могут быть наделены компактно-открытой топологией . Двойственность Понтрягина утверждает, что группа характеров снова локально компактна и абелева и что

G ≅ χ(χ( G )). ^[26]

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

Аналитические дуальности

В анализе часто задачи решаются путем перехода к двойственному описанию функций и операторов.

Преобразование Фурье переключается между функциями на векторном пространстве и его дуальным: и наоборот Если f является L 2 -функцией на R или RN , скажем, то таковыми являются и . Более того, преобразование меняет местами операции умножения и свертки на соответствующих функциональных пространствах . Концептуальное объяснение преобразования Фурье получается с помощью вышеупомянутой двойственности Понтрягина, примененной к локально компактным группам ^R ( или RN ^и т. д.): любой характер R задается соотношением ξ ↦ e ^{−2 πixξ} . Дуализирующий характер преобразования Фурье имеет много других проявлений, например, в альтернативных описаниях квантово-механических систем в терминах координатных и импульсных представлений. $${\displaystyle {\widehat {f}}(\xi ):=\int _{-\infty }^{\infty }f(x)\ e^{-2\pi ix\xi }\,dx,}$$ $${\displaystyle f(x)=\int _{-\infty }^{\infty }{\widehat {f}}(\xi )\ e^{2\pi ix\xi }\,d\xi .}$$ ${\displaystyle {\widehat {f}}}$ ${\displaystyle f(-x)={\widehat {\widehat {f}}}(x)}$

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

Гомологии и когомологии

Теоремы, показывающие, что некоторые объекты интереса являются дуальными пространствами (в смысле линейной алгебры) других объектов интереса, часто называются дуальностями . Многие из этих дуальностей задаются билинейным сопряжением двух K -векторных пространств

А ⊗ В → К .

Для совершенных пар , следовательно , существует изоморфизм A к двойственному B.

Двойственность Пуанкаре

Двойственность Пуанкаре гладкого компактного комплексного многообразия X задается спариванием сингулярных когомологий с C -коэффициентами (эквивалентно, когомологий пучка постоянного пучка C )

H ⁱ (X) ⊗ H ^{2 n − i} (X) → C ,

где n — (комплексная) размерность X. ^[27] Двойственность Пуанкаре также может быть выражена как отношение сингулярных гомологий и когомологий де Рама , утверждая, что отображение

${\displaystyle (\gamma ,\omega )\mapsto \int _{\gamma }\omega }$

(интегрирование дифференциальной k -формы по 2 n − k- (действительному)-мерному циклу) является совершенным сопряжением.

Двойственность Пуанкаре также меняет размерности; это соответствует тому факту, что если топологическое многообразие представлено как клеточный комплекс , то двойственный комплексу (высокомерное обобщение плоского графа-двойственного) представляет то же самое многообразие. В двойственности Пуанкаре этот гомеоморфизм отражается в изоморфизме k- й группы гомологий и ( n  −  k )-й группы когомологий .

Двойственность в алгебраической и арифметической геометрии

Тот же шаблон двойственности справедлив для гладкого проективного многообразия над сепарабельно замкнутым полем , используя вместо этого l-адические когомологии с Q _ℓ -коэффициентами. ^[28] Это далее обобщается на возможно сингулярные многообразия , используя вместо этого когомологии пересечения , двойственность, называемую двойственностью Вердье . ^[29] Двойственность Серра или когерентная двойственность аналогичны утверждениям выше, но вместо этого применяются к когомологиям когерентных пучков . ^[30]

Оказывается, с ростом уровня общности все больше технических знаний становится полезным или необходимым для понимания этих теорем: современная формулировка этих дуальностей может быть сделана с использованием производных категорий и определенных функторов прямого и обратного образа пучков (относительно классической аналитической топологии на многообразиях для двойственности Пуанкаре, l-адических пучков и этальной топологии во втором случае и относительно когерентных пучков для когерентной двойственности).

Еще одна группа подобных утверждений о двойственности встречается в арифметике : этальные когомологии конечных локальных и глобальных полей ( также известные как когомологии Галуа , поскольку этальные когомологии над полем эквивалентны групповым когомологиям (абсолютной) группы Галуа поля) допускают подобные спаривания. Абсолютная группа Галуа G ( F _q ) конечного поля, например, изоморфна , проконечному пополнению Z , целым числам. Следовательно , совершенное спаривание (для любого G -модуля M ) ${\displaystyle {\widehat {\mathbf {Z} }}}$

H ⁿ ( G , M ) × H ^{1− n} ( G , Hom ( M , Q / Z )) → Q / Z ^[31]

является прямым следствием двойственности Понтрягина конечных групп. Для локальных и глобальных полей существуют аналогичные утверждения ( локальная двойственность и глобальная или двойственность Пуату–Тейта ). ^[32]

Смотрите также

• Присоединённый функтор
• Автономная категория
• Выпуклое тело и полярное тело.
• Двойственное абелево многообразие
• Двойная основа
• Дуал (теория категорий)
• Двойной код
• Дуальность (электротехника)
• Двойственность (оптимизация)
• Модуль дуализации
• Дуализирующий пучок
• Двойная решетка
• Двойная норма
• Двойственные числа , определенная ассоциативная алгебра ; термин «дуальный» здесь является синонимом двойного и не имеет отношения к понятиям, данным выше.
• Двойная система
• Двойственность Кошуля
• Двойственный Лэнглендс
• Линейное программирование#Двойственность
• Список дуальностей
• дуальность Матлиса
• Двойственность Петри
• Двойственность Понтрягина
• S-дуальность
• T-дуальность , Зеркальная симметрия

Примечания

1. Атья 2007, стр. 1
2. Кострикин 2001, Эта цитата является первым предложением последнего раздела под названием «Комментарии» в этом одностраничном документе.
3. Gowers 2008, стр. 187, столбец 1
4. Gowers 2008, стр. 189, столбец 2
5. Атья 2007, стр. 1
6. Дополнение также обозначается как S \ A.
7. Рудин (1976, стр. 34)
8. Точнее, является наименьшим замкнутым выпуклым конусом, содержащим . ${\displaystyle C^{**}}$ ${\displaystyle C}$
9. Артштейн-Авидан и Милман, 2007 г.
10. Артштейн-Авидан и Милман, 2008 г.
11. Веблен и Янг, 1965.
12. (Веблен и Янг 1965, Гл. I, Теорема 11)
13. В более общем смысле можно рассматривать проективные плоскости над любым полем, таким как комплексные числа, конечные поля или даже тела .
14. См . эллиптическую регулярность .
15. Эдвардс (1965, 8.4.7).
16. Фултон 1993
17. Mac Lane 1998, Гл. II.1.
18. (Лэм 1999, §19C)
19. Йиржи Адамек; Дж. Росицки (1994). Локально презентабельные и доступные категории. Cambridge University Press. стр. 62. ISBN 978-0-521-42261-1.
20. Вайбель (1994)
21. Дуайер и Спалиньски (1995)
22. Негрепонтис 1971.
23. Hartshorne 1966, Ch. II.2, особ. Prop. II.2.3
24. Радость и улица (1991)
25. См. (Lang 2002, Theorem VI.1.1) для конечных расширений Галуа.
26. (Лумис 1953, стр. 151, раздел 37D)
27. Гриффитс и Харрис 1994, стр. 56
28. Милн 1980, Гл. VI.11
29. Иверсен 1986, гл. VII.3, VII.5
30. Хартсхорн 1966, Гл. III.7
31. Милн (2006, Пример I.1.10)
32. Мазур (1973); Милн (2006)

Ссылки

Двойственность в целом

• Атья, Майкл (2007). «Конспект лекций по двойственности в математике и физике из Института математики Барселонского университета (IMUB)» (PDF) .
• Кострикин, А.И. (2001) [1994], «Двойственность», Энциклопедия математики , Издательство ЭМС.
• Гауэрс, Тимоти (2008), «III.19 Двойственность», The Princeton Companion to Mathematics , Princeton University Press, стр. 187–190.
• Картье, Пьер (2001), «Безумный рабочий день: от Гротендика до Конна и Концевича. Эволюция концепций пространства и симметрии», Бюллетень Американского математического общества , Новая серия, 38 (4): 389–408, doi : 10.1090/S0273-0979-01-00913-2 , ISSN  0002-9904, MR  1848254(нетехнический обзор нескольких аспектов геометрии, включая двойственности)

Двойственность в алгебраической топологии

• Джеймс С. Беккер и Дэниел Генри Готлиб, История двойственности в алгебраической топологии

Конкретные двойственности

• Артштейн-Авидан, Шири ; Мильман, Виталий (2008), «Концепция двойственности для проекций меры выпуклых тел», Журнал функционального анализа , 254 (10): 2648–66, CiteSeerX  10.1.1.417.3470 , doi : 10.1016/j.jfa.2007.11.008. Также сайт автора.
• Артштейн-Авидан, Шири; Мильман, Виталий (2007), «Характеристика концепции дуальности», Electronic Research Announcements in Mathematical Sciences , 14 : 42–59, архивировано из оригинала 24.07.2011 , извлечено 30.05.2009. Также сайт автора.
• Дуайер, Уильям Г.; Спалиньски, Ян (1995), «Гомотопические теории и модельные категории», Справочник по алгебраической топологии , Амстердам: Северная Голландия, стр. 73–126, MR  1361887, архивировано из оригинала 09.02.2021 г. , извлечено 11.03.2009 г.
• Фултон, Уильям (1993), Введение в торические многообразия , Princeton University Press , ISBN 978-0-691-00049-7
• Гриффитс, Филлип ; Харрис, Джозеф (1994), Принципы алгебраической геометрии , Библиотека классики Wiley, Нью-Йорк: John Wiley & Sons , ISBN 978-0-471-05059-9, г-н  1288523
• Хартшорн, Робин (1966), Вычеты и двойственность , Lecture Notes in Mathematics, т. 20, Springer-Verlag , стр. 20–48, ISBN 978-3-540-34794-1
• Хартшорн, Робин (1977), Алгебраическая геометрия , Springer-Verlag , ISBN 978-0-387-90244-9, MR  0463157, OCLC  13348052
• Иверсен, Биргер (1986), Когомологии пучков , Universitext, Springer-Verlag , ISBN 978-3-540-16389-3, МР  0842190
• Джоял, Андре ; Стрит, Росс (1991), «Введение в дуальность Таннака и квантовые группы» (PDF) , Теория категорий , Lecture Notes in Mathematics, т. 1488, Springer-Verlag , стр. 413–492, doi :10.1007/BFb0084235, ISBN 978-3-540-46435-8, МР  1173027
• Лам, Цит-Юэн (1999), Лекции о модулях и кольцах , Graduate Texts in Mathematics, т. 189, Springer-Verlag , ISBN 978-0-387-98428-5, г-н  1653294
• Ланг, Серж (2002), Алгебра , Graduate Texts in Mathematics, т. 211, Springer-Verlag , ISBN 978-0-387-95385-4, г-н  1878556
• Лумис, Линн Х. (1953), Введение в абстрактный гармонический анализ , Д. Ван Ностранд, стр. x+190, hdl : 2027/uc1.b4250788
• Мак Лейн, Сондерс (1998), Категории для работающего математика (2-е изд.), Springer-Verlag , ISBN 978-0-387-98403-2
• Мазур, Барри (1973), «Заметки об этальных когомологиях числовых полей», Annales Scientifiques de l'École Normale Supérieure , Série 4, 6 (4): 521–552, doi : 10.24033/asens.1257 , ISSN  0012-9593 , МР  0344254
• Милн, Джеймс С. (1980), Этальные когомологии , Princeton University Press , ISBN 978-0-691-08238-7
• Милн, Джеймс С. (2006), Арифметические теоремы двойственности (2-е изд.), Чарльстон, Южная Каролина: BookSurge, LLC, ISBN 978-1-4196-4274-6, г-н  2261462
• Негрепонтис, Джоан В. (1971), «Двойственность в анализе с точки зрения троек», Журнал алгебры , 19 (2): 228–253, doi :10.1016/0021-8693(71)90105-0, ISSN  0021-8693, MR  0280571
• Рудин, Уолтер (1976), Принципы математического анализа (3-е изд.), Нью-Йорк: McGraw-Hill , ISBN 0-07-054235-X
• Веблен, Освальд ; Янг, Джон Уэсли (1965), Проективная геометрия. Тома 1, 2 , Blaisdell Publishing Co. Ginn and Co., MR  0179666
• Вайбель, Чарльз А. (1994), Введение в гомологическую алгебру , Cambridge University Press , ISBN 978-0-521-55987-4, г-н  1269324
• Эдвардс, Р. Э. (1965). Функциональный анализ. Теория и приложения . Нью-Йорк: Холт, Райнхарт и Уинстон. ISBN 0030505356.