双対性 (圏論)とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 双対性 (圏論)の意味・解説 

双対 (圏論)

(双対性 (圏論) から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/24 05:36 UTC 版)

ナビゲーションに移動 検索に移動

圏論という数学の分野において,双対性(そうついせい,: duality)は圏 C の性質と反対圏 Cop双対的な性質の間の対応である.圏 C についてのステートメントが与えられると,各の始域と終域を入れ替え,2つの射の合成の順序を入れ替えることによって,反対圏 Cop についての対応する双対命題が得られる.双対性は,そのようなものとして,ステートメントに関するこの操作の下で正しさが不変であるという主張である.言い換えると,あるステートメントが C について正しければ,その双対のステートメントは Cop について正しい.また,あるステートメントが C について間違いならば,その双対のステートメントは Cop について間違いである.

具体圏英語版 C が与えられたとき,その反対圏 Cop はしばしばそれ自体が抽象的である.Cop は数学的実践から生じる圏である必要はない.この場合,別の圏 DCop圏として同値であるとき,DC と双対にあると言われる.

C とその反対圏 Cop が同値であるとき,そのような圏は自己双対 (self-dual) である[1]

定義

We define the elementary language of category theory as the two-sorted first order language with objects and morphisms as distinct sorts, together with the relations of an object being the source or target of a morphism and a symbol for composing two morphisms.

Let σ be any statement in this language. We form the dual σop as follows:

  1. σ において各「始域」と「終域」と入れ替える.
  2. 射を合成する順序を入れ替える.つまり,各 に置き換える.

インフォーマルには,これらの条件はステートメントの双対は合成を逆にすることによって作られるといっている.

Duality is the observation that σ is true for some category C if and only if σop is true for Cop.

  • 単射であるとは ならば であることをいう.双対を取れば, ならば というステートメントを得る.射 に対しこれはちょうど f全射であるということである.つまり,単射であるという性質は全射であるという性質の双対である.

双対性を適用して,これは,ある圏 C における射が単射であることと反対圏 Cop においてそれを逆向きにした射が全射であることが同値であることを意味する.

  • 半順序の不等式の向きを逆にして例が作れる.つまり X集合 が半順序関係のとき,新しい半順序関係 new を次で定義できる:
xnew yyx.

順序についてのこの例は実際に例である,なぜならば半順序は Hom(A, B) が高々1つの元を持つある種の圏と対応するからである.論理学に適用すれば,否定の非常に一般的な記述に見える(つまり,証明が逆向きに進む).例えば,の逆を取れば,結び交わりの役割が入れ替わることがわかる.これはド・モルガンの法則あるいは束に適用した双対性英語版の抽象的な形である.

関連項目

参考文献

  1. ^ Jiří Adámek; J. Rosicky (1994). Locally Presentable and Accessible Categories. Cambridge University Press. p. 62. ISBN 978-0-521-42261-1. https://books.google.com/books?id=iXh6rOd7of0C&pg=PA62 



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「双対性 (圏論)」の関連用語

双対性 (圏論)のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



双対性 (圏論)のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの双対 (圏論) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS