翻訳と辞書
Words near each other
・ 双安定マルチバイブレータ
・ 双対
・ 双対ハーン多項式
・ 双対バンドル
・ 双対ベクトル
・ 双対ベクトル束
・ 双対ベクトル空間
・ 双対ペア
・ 双対位相
・ 双対問題
双対圏
・ 双対基底
・ 双対多面体
・ 双対対
・ 双対性
・ 双対普遍係数定理
・ 双対束
・ 双対条件
・ 双対空間
・ 双対表現


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

双対圏 : ウィキペディア日本語版
圏 (数学)[けん]

数学における(けん、category)とは数学的構造を取り扱うための枠組みであり、数学的対象をあらわす対象とそれらの間の関係を表すの集まりによって与えられる。
== 定義 ==
圏 ''C'' とは次のものからなる。
* 対象 - 対象の obj(''C'')
* - 任意の対象の組 (''X'', ''Y'') に対して、射の集合 Hom''C''(''X'', ''Y'')
* 恒等射 - 任意の対象 ''X'' に対して、恒等射 id''X'' ∈ Hom''C''(''X'', ''X'')
* 合成 - 任意の対象の三つ組 (''X'', ''Y'', ''Z'') に対して、合成 Hom''C''(''X'', ''Y'') × Hom''C''(''Y'', ''Z'') → Hom''C''(''X'', ''Z'')
ただし、これらは以下の公理を満たすとする。ここで射 ''ƒ'' が Hom''C''(''X'', ''Y'') の元であることを ''ƒ'' : ''X'' → ''Y'' と表し、射 ''g'' : ''Y'' → ''Z'' との合成を ''gf'' : ''X'' → ''Z'' と表す。
* 任意の射 ''ƒ'' : ''X'' → ''Y'', ''g'' : ''Y'' → ''Z'', ''h'' : ''Z'' → ''W'' に対して (''hg'')''ƒ'' = ''h''(''gƒ'') が成り立つ(結合律
* 任意の射 ''ƒ'' : ''X'' → ''Y'' に対して id''Y'' ''ƒ'' = ''ƒ'' id''X'' が成り立つ
上の定義における対象、射、恒等射、合成はいわゆる無定義用語であることに注意する。また圏を指定するときに恒等射と合成は文脈から明らかなことも多く、しばしば省略される。さらに ''X'' が圏 ''C'' の対象であることを記号を乱用して ''X'' ∈ ''C'' と書くこともよくある。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「圏 (数学)」の詳細全文を読む

英語版ウィキペディアに対照対訳語「 Category (mathematics) 」があります。



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.