技能一覧 › 大学院数学 圏論

圏の定義と有限の圏

半順序集合・モノイド・群を圏とみなし、対象・射・合成を書き出して射の総数を求められる(半順序集合なら比較可能な組 の個数、モノイド なら )

前提

この技能までの道筋(3 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 樹形図で数え上げる (算数 場合の数)
  2. 積の法則と和の法則 (算数 場合の数)
  3. 和の法則・積の法則と樹形図 (数学A 場合の数と確率)

説明

圏とは「対象」と、対象から対象への「射」と、射をつなぐ「合成」の組で、合成が結合法則を満たし、各対象に恒等射があるものです。半順序集合やモノイド・群のような身近な構造は、そのまま小さな圏とみなすことができます。この技能では、そうした有限の圏について対象・射・合成を書き出し、射が全部で何本あるかを和の法則・積の法則で数えられるようになります。圏論の具体例を手で確かめる最初の一歩です。

なぜそうしてよいのか

圏の定義. 圏 は次のデータからなります。(1) 対象の集まり。(2) 対象 の組ごとに、 から への射の集合 (射 を と書く)。(3) 合成: と に対して射 。これらが、結合法則 と、各対象 の恒等射 で を満たすことを要求します。射の総数は で、和の法則で数えます。

半順序集合. 集合 上の関係 が反射律()・推移律()・反対称律()を満たすとき半順序集合といいます。対象を の元とし、 のときだけ の射をちょうど 1 本置くと圏になります。合成は推移律で保証され、恒等射は反射律から来ます。射が 2 つの対象の間に高々 1 本なので、合成は自動的に一意に決まり、結合法則も単位律も自動的に成り立ちます。射の総数は「 を満たす順序対 の個数」で、 の組(恒等射)も含みます。

モノイドと群. 集合 に結合的な演算 と単位元 ()があるものをモノイド、さらにどの元にも逆元があるものを群といいます。対象をただ 1 つ とし、、合成を 、恒等射を とすると、モノイドの公理がそのまま圏の公理になります。射の総数は です。

手順

  1. 何を対象とし、何を射とするかを決める(半順序集合なら対象は元、射は の組 1 つにつき 1 本。モノイド・群なら対象は 1 つ 、射は元)

  2. 恒等射と合成が何になるかを書き出す(半順序集合では は 、合成は推移律。モノイドでは 、合成は演算)

  3. 対象の組 ごとに を求める(半順序集合なら か 、モノイドなら )

  4. 和の法則で を計算する。半順序集合では各 について となる の個数を足すと数えやすい

例題

の正の約数全体の集合 に、整除関係「( が を割り切る)」で半順序を入れる。 のときに限り の射をちょうど 1 本置いて を圏とみなすとき、この圏の射の総数(恒等射を含む)を求めよ。

例題の解答

手順 1: 対象は の 6 個。 のとき の射が 1 本ある。

手順 2: 恒等射は による 、合成は「 かつ なら 」による で、どちらも射として確かに存在する。

手順 3: 各 について、 となる の個数( を について足したもの)を数える。
- : の 1 個
- : の 2 個
- : の 2 個
- : の 3 個
- : の 4 個
- : の 6 個

手順 4: 和の法則より、射の総数は 。

答え:

よくある誤り

この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。

入口の問題

この技能を使う問題

この技能の次に学べること