圏論の問題
の正の約数全体 を整除関係 で順序づけた半順序集合とみなし、これを圏 とする(対象は の元で、 のときに限り から への射がちょうど 1 本ある)。
共変関手 を次で定める。各 に対し
とし、 の射に対しては包含写像 を対応させる。
表現可能関手 から への自然変換の個数を求めよ。
この問題で使うもの
- 表現可能関手と米田の補題(説明と入口の問題)
- 圏の定義と有限の圏(説明と入口の問題)
この問題を解けるようになるまで(10 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
米田の補題により、 は と全単射で対応します。
ヒント 2
求める個数は です。 の正の約数 から を満たす組 を数えましょう。
ヒント 3
を固定すると、 は の正の約数を自由に選べます。 の約数の個数はそれぞれ です。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
が関手であること. なら の約数は の約数でもあり、条件 は変わらないので であり、包含写像の合成は包含写像なので は関手である。
米田の補題. 局所小圏 の対象 と関手 に対し、
は全単射である。よって求める個数は である。
(直接の確認) は のとき 1 元集合、そうでないとき空集合である。空集合からの写像は一意なので、自然変換 は の成分だけで決まる。 を選ぶと、自然性から の値は に決まる。したがって自然変換は の選び方と 1 対 1 に対応する。
の計算. の正の約数は 。 となる組 を数える。
- : の 個
- : の 個
- : の 個
- : の 個
合計 。
(別解) の約数は指数の組 で表され、 は各指数ごとの大小関係になる。各素因数について の 通りなので 。
よって自然変換の個数は 。
別解
米田の補題より、。したがって を数える。
。 の約数は 。 ごとに となる を数える。
- : の 1 個
- : の 2 個
- : の 2 個
- : の 4 個
合計 。
検算: 約数の個数 の約数対 , の個数は で一致する。