コンテンツにスキップ

双対 (圏論)

出典: フリー百科事典『ウィキペディア(Wikipedia)』

圏論という数学の分野において,双対性(そうついせい,: 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