翻訳と辞書
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.