圏論の問題
とし、写像 全体のなす集合を とする。 は写像の合成 を積とし、恒等写像を単位元とするモノイドである()。
次のように圏 を定める。
- 対象は、 の冪等元、すなわち をみたす である。
- 対象 から対象 への射は、 をみたす である(異なる対象の組に対する射は、同じ写像 であっても別の射として数える)。
- 射 と の合成は 、対象 の恒等射は 自身である。
(これは の冪等元完備化(Karoubi 包絡)である。)圏 の射の総数、すなわち
(和は の対象の順序対 全体にわたる)を求めよ。
この問題で使うもの
- 圏の定義と有限の圏(説明と入口の問題)
この問題を解けるようになるまで(4 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
対象である冪等元を「像の大きさ」で分類し、各 の大きさが の像だけで決まることを示す方針で考える。
ヒント 2
冪等元は像の上で恒等写像である。 をみたす は、制限 と一対一に対応する(逆は )。
ヒント 3
像の大きさ の冪等元は 個あり、。階数 の から階数 の への射は 個なので、 を計算すればよい。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
1. 冪等元の分類. が冪等であることは、 が像 の上で恒等写像であることと同値である( なら 。逆に 上で恒等なら )。よって像が ()の冪等元は、 の元を固定し、残りの 個の元を の中へ任意に送る写像であり、その個数は である。像の大きさ(階数)が の冪等元の個数を とすると
で、対象は全部で 個ある。
2. 射の集合の記述. 冪等元 に対し と、写像の集合 の間に全単射があることを示す。
- が をみたすとき、 なので、制限 が定まる。また だから であり、 は制限から復元できる(単射)。
- 逆に が与えられたとき とおくと、 は 上で恒等なので 、また より 。よって であり、( は 上恒等)。したがって全射。
ゆえに、 の階数を 、 の階数を とすると
(確認: のとき で正しい。)
3. 総和.
- :
- :
- :
合計 。
よって求める射の総数は である。
別解
射 の条件 は、次の 2 条件を合わせたものと同値である。
(i) 。これは がすべての で成り立つことで、 が 上の値で決まることを意味する。
(ii) 。これは ( は冪等なので )と同値である。
したがって は、 から への任意の写像 を用いて と一意に書ける。逆に、そのような に対して は条件をみたす。よって である。ただし は階数(像の元の数)とする。
の階数 の冪等元の個数は である。これは、像を選び、像以外の点を像の点へ送る写像の数を数えたものである。
, , (合計 10 個)。
総数は である。
- :
- :
- :
合計は である。