双対性（数学）

固定集合Sの部分集合を考えると、単純な双対性が生じます。任意の部分集合A ⊆ Sに対して、補集合A ^{∁ (} S \ Aとも表記) は、 Sに含まれる要素のうちAに含まれないすべての要素から構成されます。これもまたSの部分集合です。補集合を取ることには、次の性質があります。

• これを2回適用すると、元の集合、つまり( A ^∁ ) ^∁ = Aが返されます。これは、補集合を取る操作が対合であると言われることで表されます。
• 集合の包含関係A ⊆ Bは、反対方向の包含関係B ^∁ ⊆ A ^∁に変換されます。
• Sの2 つの部分集合AとBが与えられたとき、AがB ^∁に含まれるのは、 B がA ^∁に含まれる場合かつその場合に限る。

この双対性は、位相空間Xの開集合と閉集合の間の双対性として位相空間に現れます。Xの部分集合Uが閉集合であるのは、 Xにおけるその補集合が開集合である場合のみです。このため、閉集合に関する多くの定理は開集合に関する定理と双対になっています。たとえば、任意の開集合の和集合は開集合なので、双対的に、任意の閉集合の共通部分は閉集合です。^{[ 6 ]}集合の内部は、その集合に含まれる最大の開集合 であり、集合の閉包は、その集合を含む最小の閉集合です。双対性のため、任意の集合Uの内部の補集合は、Uの補集合の閉包に等しくなります。

幾何学における双対性は、双対円錐構成によってもたらされる。${\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}$図に示すように、上記の集合の補集合とは異なり、双対円錐構成を2回適用しても元の集合が復元されるとは限りません。${\displaystyle C}$。 その代わり、${\displaystyle C^{**}}$は、最小の円錐^{[ 7 ]}を含む${\displaystyle C}$これはより大きいかもしれない${\displaystyle C}$したがって、この二元性は上記の二元性よりも弱い。

• この操作を2回適用すると、より大きなセットが返される可能性があります。${\displaystyle C}$、${\displaystyle C}$に含まれる${\displaystyle C^{**}}$（一部の人にとっては）${\displaystyle C}$（つまり円錐形ですが、実際には両者は等しいです。）

他の2つのプロパティは変更なく引き継がれます。

• 包含は依然として真実である${\displaystyle C\subseteq D}$反対方向に介在物に変化する（${\displaystyle D^{*}\subseteq C^{*}}$)
• 2 つの部分集合が与えられた場合${\displaystyle C}$そして${\displaystyle D}$飛行機の、${\displaystyle C}$に含まれる${\displaystyle D^{*}}$かつその場合に限り${\displaystyle D}$に含まれる${\displaystyle C^{*}}$。

双対性の非常に重要な例は、任意のベクトル空間Vにその双対ベクトル空間V ^*を対応させることで線形代数に現れる。その要素は線形汎関数である。${\displaystyle \varphi :V\to K}$ここで、KはVが定義されている体である。双対錐の 3 つの性質は、 の部分集合を置き換えることによって、このタイプの双対性に引き継がれる。$\displaystyle \mathbb {R} ^{2}}$ベクトル空間と、線形写像によるそのような部分集合の包含関係によって定義される。すなわち、

• 双対ベクトル空間を2回取る操作を適用すると、別のベクトル空間V ^{**が得られます。常に}V → V ^**という写像が存在します。あるV、すなわち有限次元ベクトル空間の場合、この写像は同型写像となります。
• 線形写像V → W は、反対方向の写像 ( W ^* → V ^* )を生み出す。
• 2つのベクトル空間VとWが与えられたとき、 VからW ^*への写像はWからV ^*への写像に対応する。

この双対性の特筆すべき点は、VとV ^{* が}特定の対象、すなわち有限次元ベクトル空間において同型であることです。しかし、これはある意味で幸運な偶然であり、このような同型性を与えるには、例えばVの基底の選択など、特定の選択が必要となります。これは、 V がヒルベルト空間である場合にも、リース表現定理によって同様に成り立ちます。

これまで議論してきたすべての双対性において、対象の双対は対象自身と同じ種類である。例えば、ベクトル空間の双対は再びベクトル空間である。多くの双対性命題はこのような種類ではない。むしろ、そのような双対性は、一見異なる性質を持つ対象間の密接な関係を明らかにする。このようなより一般的な双対性の一例として、ガロア理論がある。固定されたガロア拡大K / Fに対して、任意の中間体E (すなわち、F ⊆ E ⊆ K ) にガロア群Gal( K / E )を対応させることができる。この群は、ガロア群G = Gal( K / F )の部分群である。逆に、そのような部分群H ⊆ Gに対して、 Hの要素によって固定された要素からなる固定体K ^Hが存在する。

上記と比較すると、この二元性には以下の特徴がある。

• 中間体の拡張F ⊆ F ′は、反対方向のガロア群の包含関係Gal( K / F ′ ) ⊆ Gal( K / F )をもたらします。
• Gal( K / E )をEに、K ^HをHに対応させることは互いに逆関係にある。これがガロア理論の基本定理の内容である。

双対ベクトル空間の構築 $${\displaystyle V^{*}=\オペレーター名 {Hom} (V,K)}$$ 序論で述べたように、このような双対性の例が存在します。実際、射の集合、すなわち線形写像は、それ自体でベクトル空間を形成します。上記の写像V → V ^**は常に単射です。全射であり、したがって同型写像となるのは、 Vの次元が有限である場合に限ります。この事実は、基底を参照することなく、有限次元ベクトル空間を特徴づけます。

射影幾何学における双対性

射影平面によっては、射影平面の各点を直線に、射影平面の各直線を点に、接続関係を維持する形で写像する幾何学的変換を見つけることができる。 ^{[ 10 ]}このような平面では、射影平面における双対性の一般原理が生じる。すなわち、このような平面射影幾何学における任意の定理において、「点」と「直線」という用語をあらゆる場所で交換すると、同様に有効な新しい定理が得られる。^{[ 11 ]}簡単な例として、「2 つの点が、これらの点を通る直線という一意の直線を決定する」という命題には、「2 つの直線が、これらの 2 つの直線の交点という一意の点を決定する」という双対命題がある。その他の例については、 「双対定理」を参照のこと。

いくつかの平面（特にフィールド平面）におけるこの現象の概念的な説明は、双対ベクトル空間によって提供される。実際、射影平面上の点は${\displaystyle \mathbb {RP} ^{2}}$1次元部分ベクトル空間に対応する$\displaystyle V\subset \mathbb {R} ^{3}}$^{[ 12 ]}射影平面上の線は部分ベクトル空間に対応する${\displaystyle W}$2次元の。このような射影幾何学における双対性は、1次元に${\displaystyle V}$部分空間$\displaystyle (\mathbb {R} ^{3})^{*}}$これらの線形マップから構成される${\displaystyle f:\mathbb {R} ^{3}\to \mathbb {R} }$満たす${\displaystyle f(V)=0}$線形代数の次元公式の結果として、この空間は2次元であり、すなわち、射影平面上の直線に対応します。$\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/ p + 1/ q = 1が成り立つが、 L ^∞の双対空間はL ¹より大きい。したがって、L ¹は反射的ではない。
• 分布は、適切な関数空間上の線形汎関数です。これらは偏微分方程式(PDE)の理論における重要な技術的手段です。PDE を直接解く代わりに、まず「弱い意味」で PDE を解く、つまり PDE を満たす分布を見つけ、次にその解が実際に関数でなければならないことを示す方が容易な場合があります。^{[ 13 ]}分布のすべての標準空間 —${\displaystyle {\mathcal {D}}'(U)}$、${\displaystyle {\mathcal {S}}'(\mathbb {R} ^{n})}$、${\displaystyle {\mathcal {C}}^{\infty }(U)'}$―は反射的な局所凸空間である。^{[ 14 ]}

格子Lの双対格子は次のように与えられる。 $${\displaystyle \operatorname {Hom} (L,\mathbb {Z} ),}$$格子を含む実ベクトル空間 上の線形関数の集合で、格子の点を整数に写像するもの${\displaystyle \mathbb {Z} }$これはトーリック多様体の構成に用いられる。^{[ 15 ]}局所コンパクト位相群Gのポントリャーギン双対は次のように与えられる。 $${\displaystyle \operatorname {Hom} (G,S^{1}),}$$ 円内の値を持つ連続群準同型写像（群演算として複素数の乗算を用いる）。

別の双対関係のグループでは、一方の理論の対象が他方の理論の対象に変換され、最初の理論における対象間の写像が、方向が逆の状態で、2番目の理論における射に変換されます。圏論の用語を用いると、これは2つの圏CとDの間の反変関手に相当します。

これは、 Cの任意の2 つのオブジェクトXとYに対してマップを与える。

そのファンクターは、圏の同値である場合もあれば、そうでない場合もある。このようなファンクターが、 Cの反対の圏C ^opとDの間の同値となるような状況は様々である。この種の双対性を用いると、最初の理論のすべての命題を、2 番目の理論の「双対」命題に翻訳することができ、その場合、すべての矢印の方向を反転させる必要がある。^{[ 16 ]}したがって、圏CとDの間の双対性は、形式的にはCとD ^op ( C ^opとD )の間の同値と同じである。しかし、多くの場合、反対の圏には固有の意味がないため、双対性は追加の独立した概念となる。^{[ 17 ]}

双対と同値な圏を自己双対圏と呼ぶ。自己双対圏の例としては、ヒルベルト空間の圏がある。^{[ 18 ]}

多くの圏論的概念は、反対の圏を考察する際に互いに対応し合うという意味で、ペアになっています。例えば、集合の直積Y ₁ × Y ₂と非交和Y ₁ ⊔ Y ₂は、次のような意味で互いに双対です。

そして

任意の集合Xに対して。これは、より一般的な双対性現象の特殊なケースであり、その現象では、ある圏Cの極限が反対の圏C ^opの余極限に対応します。これの具体的な例としては、全射と単射、特に因子モジュール(または群など) と部分モジュール、直積と直和(双対性の側面を強調するために余積とも呼ばれる) などがあります。したがって、場合によっては、このような双対性現象を使用して、特定の命題の証明を半分にすることができます。このような圏論的双対性によって関連付けられているその他の概念には、ホモロジー代数における射影モジュールと単射モジュール、^{[ 19 ]}位相におけるファイブレーションとコファイブレーション、より一般的にはモデル圏があります。^{[ 20 ]}

2 つのファンクターF : C → DとG : D → C は、 CのすべてのオブジェクトcとDのすべてのオブジェクトdに対して、 が成り立つ場合に随伴である。

自然な方法で。実際、極限と余極限の対応は随伴の例です。なぜなら、

between the colimit functor that assigns to any diagram in C indexed by some category I its colimit and the diagonal functor that maps any object c of C to the constant diagram which has c at all places. Dually,

Gelfand duality is a duality between commutative C*-algebrasA and compactHausdorff spacesX is the same: it assigns to X the space of continuous functions (which vanish at infinity) from X to C, the complex numbers. Conversely, the space X can be reconstructed from A as the spectrum of A. Both Gelfand and Pontryagin duality can be deduced in a largely formal, category-theoretic way.^[21]

In a similar vein there is a duality in algebraic geometry between commutative rings and affine schemes: to every commutative ring A there is an affine spectrum, Spec A. Conversely, given an affine scheme S, one gets back a ring by taking global sections of the structure sheaf O_S. In addition, ring homomorphisms are in one-to-one correspondence with morphisms of affine schemes, thereby there is an equivalence

(Commutative rings)^op ≅ (affine schemes)^[22]

Affine schemes are the local building blocks of schemes. The previous result therefore tells that the local theory of schemes is the same as commutative algebra, the study of commutative rings.

Noncommutative geometry draws inspiration from Gelfand duality and studies noncommutative C*-algebras as if they were functions on some imagined space. Tannaka–Krein duality is a non-commutative analogue of Pontryagin duality.^[23]

多くの場合、互いに双対である 2 つのカテゴリは、実際には半順序集合から生じており、つまり、あるオブジェクトが別のオブジェクトよりも「小さい」という概念があります。問題となっている順序を尊重する双対性は、ガロア接続として知られています。例として、序論で述べたガロア理論の標準的な双対性があります。より大きな体拡大は、任意の拡大L ⊃ K (固定されたより大きな体 Ω 内) にガロア群 Gal (Ω / L ) を割り当てる写像の下で、より小さな群に対応します。^{[ 24 ]}

位相空間Xのすべての開部分集合の集合は、完全なハイティング代数を形成する。ソバー空間と空間ロケールを結びつける、ストーン双対性として知られる双対性が存在する。

• 分配束と半順序の関係を示すバーコフの表現定理

ポントリャーギン双対性は、局所コンパクトアーベル群の圏に双対性を与える。すなわち、そのような群Gが与えられたとき、指標群は

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

Gから円群S ¹への連続群準同型によって与えられるコンパクト開位相を付与することができる。ポントリャーギン双対性によれば、指標群は再び局所コンパクトアーベル群であり、

G ≅ χ ( χ ( G )). ^{[ 25 ]}

さらに、離散群はコンパクトアーベル群に対応し、有限群は有限群に対応する。一方では、ポントリャーギンはゲルファント双対性の特殊な場合である。他方では、それはフーリエ解析の概念的な根拠でもある（下記参照）。

滑らかなコンパクト複素多様体Xのポアンカレ双対性は、特異コホモロジーとC係数 (等価的に定数層Cの層コホモロジー)の組み合わせによって与えられる。

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

ここでnはXの（複素）次元である。^{[ 26 ]}ポアンカレ双対性は、写像が次の条件を満たすことを主張することにより、特異ホモロジーとド・ラームコホモロジーの関係としても表現できる。

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

（ (2 n − k )次元サイクル上の微分k形式を積分すること）は完璧な組み合わせです。  

ポアンカレ双対性では次元も反転します。これは、位相多様体がセル複体として表現される場合、その複体の双対（平面グラフ双対の高次元一般化）が同じ多様体を表すという事実に対応します。ポアンカレ双対性では、この同相写像はk番目のホモロジー群と( n  - k )番目のコホモロジー群の同型写像に反映されます。 

同じ双対性パターンは、Qℓ係数を用いた_l進コホモロジーを用いることで、分離閉体上の滑らかな射影多様体にも成り立つ。^{[ 27 ]}これはさらに、交差コホモロジーを用いることで、特異多様体にも一般化され、ヴェルディエ双対性と呼ばれる双対性となる。^{[ 28 ]}セール双対性またはコヒーレント双対性は上記の記述に似ているが、コヒーレント層のコホモロジーに適用される。^{[ 29 ]}

一般性が高まるにつれて、これらの定理を理解するために、より多くの技術的背景が役立つか、あるいは必要となることがわかっています。これらの双対性の現代的な定式化は、導来圏と層の特定の直接および逆像関手を使用して行うことができます（ポアンカレ双対性については多様体上の古典的な解析的位相に関して、2 番目のケースでは l 進層とエタール位相に関して、コヒーレント双対性についてはコヒーレント層に関して）。

算術においても同様の双対性を示す例が見られます。有限体、局所体 、大域体のエタールコホモロジー（体上のエタールコホモロジーは、その体の（絶対）ガロア群の群コホモロジーと同値であるため、ガロアコホモロジーとも呼ばれます）は、同様のペアリングを許容します。例えば、有限体の絶対ガロア群G ( F _{q ) は、}${\displaystyle {\widehat {\mathbf {Z} }}}$Zのプロ有限完備化、整数。したがって、完全ペアリング (任意のG加群Mに対して)

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

これは有限群のポントリャーギン双対性の直接的な結果である。局所体と大域体についても同様の記述が存在する（局所双対性と大域双対性またはポワトゥー・テイト双対性）。^{[ 31 ]}

• アティヤ、マイケル (2007)。「バルセロナ大学マテマティカ大学 (IMUB) の数学と物理学の二重性講義ノート」(PDF)。
• コストリキン、AI (2001) [1994]、「双対性」、数学百科事典、EMS Press。
• ゴワーズ、ティモシー（2008）「III.19 双対性」、プリンストン数学事典、プリンストン大学出版局、 187-190頁 。
• Cartier, Pierre (2001)、「狂気の一日：グロタンディークからコンヌとコンツェヴィッチへ。空間と対称性の概念の進化」、Bulletin of the American Mathematical Society、新シリーズ、38 (4): 389–408、doi : 10.1090/S0273-0979-01-00913-2、ISSN 0002-9904、MR 1848254  （双対性を含む幾何学のいくつかの側面に関する、専門用語を使わない概説）

• ジェームズ・C・ベッカーとダニエル・ヘンリー・ゴットリーブ著『代数トポロジーにおける双対性の歴史』

• Artstein-Avidan, シリ; Milman、Vitali (2008)、「凸体の測定投影に対する双対性の概念」、Journal of Functional Analysis、254 (10): 2648–66、CiteSeerX 10.1.1.417.3470、doi : 10.1016/j.jfa.2007.11.008 また、著者のサイトもあります。
• Artstein-Avidan, Shiri; Milman, Vitali (2007)、「双対性の概念の特徴付け」、Electronic Research Announcements in Mathematical Sciences、14 : 42–59、2011年7月24日にオリジナルからアーカイブ、 2009年5月30日に取得また、著者のサイトもあります。
• Dwyer, William G. ; Spaliński, Jan (1995)、「ホモトピー理論とモデル圏」、代数トポロジーハンドブック、アムステルダム：North-Holland、pp. 73–126、MR 1361887 、 2021年2月9日にオリジナルからアーカイブ、 2009年3月11日に取得  
• フルトン、ウィリアム（1993）、『トーリック多様体入門』、プリンストン大学出版局、ISBN 978-0-691-00049-7
• グリフィス、フィリップ；ハリス、ジョセフ（1994）、『代数幾何学の原理』、ワイリー・クラシックス・ライブラリー、ニューヨーク：ジョン・ワイリー＆サンズ、ISBN 978-0-471-05059-9MR 1288523​ 
• ハートショーン、ロビン（1966）「留数と双対性」、数学講義ノート、第 20巻、シュプリンガー・フェルラーク、 20～ 48ページ、 ISBN  978-3-540-34794-1
• ハートショーン、ロビン（1977）、『代数幾何学』、シュプリンガー・フェルラーク、ISBN 978-0-387-90244-9MR 0463157、OCLC 13348052​  
• Iversen、Birger (1986)、層のコホモロジー、Universitext、Springer-Verlag、ISBN 978-3-540-16389-3MR 0842190​ 
• Joyal, André ; Street, Ross (1991)、「田中双対性と量子群入門」（PDF）、カテゴリー理論、Lecture Notes in Mathematics、第1488巻 、Springer-Verlag、pp. 413–492、doi : 10.1007/BFb0084235、ISBN  978-3-540-46435-8MR 1173027​ 
• ラム、ツィットユエン（1999）、『モジュールと環に関する講義』、大学院数学テキスト、第 189巻、シュプリンガー・フェルラーク、ISBN 978-0-387-98428-5MR 1653294​ 
• ラング、セルジュ（2002）、『代数学』、大学院数学テキスト、第 211巻、シュプリンガー・フェルラーク、ISBN 978-0-387-95385-4MR 1878556​ 
• ルーミス、リン・H. (1953)、『抽象調和解析入門』、D. ヴァン・ノストランド、pp.  x+190、hdl : 2027/uc1.b4250788
• Mac Lane、Saunders (1998)、『数学者のためのカテゴリー』（第2 版）、Springer-Verlag、ISBN 978-0-387-98403-2
• Mazur、Barry (1973)、「数体のエタール コホモロジーに関する注記」、高等師範科学誌、シリーズ 4、6 ( 4 ): 521–552、doi : 10.24033/asens.1257、ISSN 0012-9593、MR 0344254  
• ミルン、ジェームス S. (1980)、エタール コホモロジー、プリンストン大学出版局、ISBN 978-0-691-08238-7
• ミルン、ジェームズ S. (2006)、算術双対定理（第 2 版）、サウスカロライナ州チャールストン：BookSurge, LLC、ISBN 978-1-4196-4274-6MR 2261462​ 
• ネグレポンティス、ジョアン・W. (1971)、「三つ組の観点から見た解析における双対性」、Journal of Algebra、19 (2): 228–253、doi : 10.1016/0021-8693(71)90105-0、ISSN 0021-8693、MR 0280571  
• ルディン、ウォルター（1976）、『数学解析の原理』（第3 版）、ニューヨーク：マグロウヒル、ISBN 0-07-054235-X
• ヴェブレン、オズワルド；ヤング、ジョン・ウェスリー（1965）、『射影幾何学』第1巻、第2巻、ブレイスデル出版、ギン・アンド・カンパニー、MR 0179666 
• ワイベル、チャールズ A. (1994)、『ホモロジー代数学入門』、ケンブリッジ大学出版局、ISBN 978-0-521-55987-4MR 1269324​ 
• エドワーズ、RE（1965）。関数解析。理論と応用。ニューヨーク：ホルト、ラインハート・アンド・ウィンストン。ISBN 0030505356。