半順序集合 は、対象を の元とし、 のときに限り から への射がちょうど つ存在する(それ以外のときは射が存在しない)圏とみなす。合成は、 と の射の合成を の射とすることで定め、恒等射は の射とする。
集合 に、成分ごとの順序
(各成分の は整数の通常の大小)を入れた半順序集合を考える。これを上のように圏とみなしたとき、この圏の射の総数(恒等射も含める)を求めよ。
半順序集合・モノイド・群を圏とみなし、対象・射・合成を書き出して射の総数を求められる(半順序集合なら比較可能な組 の個数、モノイド なら )
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
圏とは「対象」と、対象から対象への「射」と、射をつなぐ「合成」の組で、合成が結合法則を満たし、各対象に恒等射があるものです。半順序集合やモノイド・群のような身近な構造は、そのまま小さな圏とみなすことができます。この技能では、そうした有限の圏について対象・射・合成を書き出し、射が全部で何本あるかを和の法則・積の法則で数えられるようになります。圏論の具体例を手で確かめる最初の一歩です。
圏の定義. 圏 は次のデータからなります。(1) 対象の集まり。(2) 対象 の組ごとに、 から への射の集合 (射 を と書く)。(3) 合成: と に対して射 。これらが、結合法則 と、各対象 の恒等射 で を満たすことを要求します。射の総数は で、和の法則で数えます。
半順序集合. 集合 上の関係 が反射律()・推移律()・反対称律()を満たすとき半順序集合といいます。対象を の元とし、 のときだけ の射をちょうど 1 本置くと圏になります。合成は推移律で保証され、恒等射は反射律から来ます。射が 2 つの対象の間に高々 1 本なので、合成は自動的に一意に決まり、結合法則も単位律も自動的に成り立ちます。射の総数は「 を満たす順序対 の個数」で、 の組(恒等射)も含みます。
モノイドと群. 集合 に結合的な演算 と単位元 ()があるものをモノイド、さらにどの元にも逆元があるものを群といいます。対象をただ 1 つ とし、、合成を 、恒等射を とすると、モノイドの公理がそのまま圏の公理になります。射の総数は です。
何を対象とし、何を射とするかを決める(半順序集合なら対象は元、射は の組 1 つにつき 1 本。モノイド・群なら対象は 1 つ 、射は元)
恒等射と合成が何になるかを書き出す(半順序集合では は 、合成は推移律。モノイドでは 、合成は演算)
対象の組 ごとに を求める(半順序集合なら か 、モノイドなら )
和の法則で を計算する。半順序集合では各 について となる の個数を足すと数えやすい
の正の約数全体の集合 に、整除関係「( が を割り切る)」で半順序を入れる。 のときに限り の射をちょうど 1 本置いて を圏とみなすとき、この圏の射の総数(恒等射を含む)を求めよ。
手順 1: 対象は の 6 個。 のとき の射が 1 本ある。
手順 2: 恒等射は による 、合成は「 かつ なら 」による で、どちらも射として確かに存在する。
手順 3: 各 について、 となる の個数( を について足したもの)を数える。
- : の 1 個
- : の 2 個
- : の 2 個
- : の 3 個
- : の 4 個
- : の 6 個
手順 4: 和の法則より、射の総数は 。
答え:
恒等射を数え忘れて の組だけを数えてしまう誤り。圏ではどの対象にも恒等射があるので、上の例では ではなく、 の 6 本を含めて
半順序集合の圏で、合成で得られる射を別の射として重ねて数えてしまう誤り( の合成を とは別に数えるなど)。正しくは 2 つの対象の間の射は高々 1 本で、合成 はもとからある そのもの
モノイド の圏で、元を対象と考えて対象を 個としてしまう誤り。正しくは対象は の 1 個だけで、元はすべて射 なので射の総数は 。たとえば の掛け算のモノイドなら対象 1 個・射 2 本
比較できない元の組にも射を置いてしまう誤り。整除の例で と は なので 。射の総数は ではない
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
の正の約数全体 を整除関係 で順序づけた半順序集合とみなし、これを圏 とする(対象は の元で、 のときに限り から への射がちょうど 1 本ある)。
共変関手 を次で定める。各 に対し
とし、 の射に対しては包含写像 を対応させる。
表現可能関手 から への自然変換の個数を求めよ。
半順序集合 は、対象を の元とし、 のときに限り から への射がちょうど つ存在する(それ以外のときは射が存在しない)圏とみなす。
集合 の部分集合全体を包含関係 で順序づけた半順序集合を圏とみなしたものを とし、 つの元からなる全順序集合 を圏とみなしたものを とする。
関手 の個数を求めよ。ただし、2 つの関手は、対象への対応と射への対応がともに一致するときに限り同じとみなす。
半順序集合 は、対象を の元とし、 のときに限り から への射がちょうど つ存在する(それ以外のときは射が存在しない)圏とみなす。
集合 の分割(空でない互いに素な部分集合(ブロック)への分け方)全体を とし、分割 について「 の各ブロックが のあるブロックに含まれる」ときに と定める(細分による順序)。この半順序集合 を圏とみなしたとき、射(恒等射も含む)の総数を求めよ。
半順序集合 は、対象を の元とし、 のときに限り から への射がちょうど つ存在する(それ以外のときは射が存在しない)圏とみなす。
を通常の順序 で全順序集合とみなした圏とする。関手 を対象とし、関手の間の自然変換を射とする関手圏を とする。
関手圏 の射(自然変換)の総数を求めよ。ただし、すべての対象の組 についての から への自然変換を合計し、恒等自然変換も数に含める。
を、 を法とする乗法によりモノイド(単位元 )とみなす。
から次のように圏 を作る。
- 対象は、 の冪等元、すなわち を満たす である。
- 対象 から への射の集合を と定める。
- 射 と の合成を とし、対象 の恒等射を とする。
(これは の冪等元完備化(カルービ包絡)と呼ばれる圏である。)圏 の射の総数、すなわち対象の順序対 すべてにわたる の和を求めよ。
に対し を通常の順序で全順序集合とみなし、対象を 、射を広義単調増加な写像とする圏を とする。単体的集合とは関手 のことである。
小さい圏 の脈体(nerve) を、 単体の集合 が の合成可能な射の列
全体( のときは対象全体)であり、面写像が射の合成(両端では射の除去)、退化写像が恒等射の挿入で与えられる単体的集合とする。 単体が非退化であるとは、それがどの退化写像の像にも入らないことをいう。
圏 を次で定める。対象は の つで、射は
であり、恒等射以外の合成は
で与えられる。
脈体 の非退化な 単体の個数を求めよ。
を整数とし、その素因数分解を ( は相異なる素数、 は正の整数)とする。 の正の約数全体の集合を とし、整除関係 による半順序集合 を圏 とみなす。すなわち の対象は の要素で、 に対し のとき はただ 1 つの射 からなり、そうでないとき空集合である(合成は一意に定まるものとする)。
正の整数 に対して、 の射の列 で、各 について の終域と の始域が一致するもの(合成可能な 個の射の列)全体の集合を とする( は の射全体)。このとき
が成り立つことを示せ。素因数分解の一意性は用いてよい。
半順序集合 は、対象を の元とし、 のときに限り から への射がちょうど つ存在する(それ以外のときは射が存在しない)圏とみなす。有限集合と写像のなす圏を とする。
とする。 上の半順序 は、反射律による と、次の つの関係だけからなるものとする。
(これら以外の異なる 元の間には順序関係はない。)
を 個の元からなる有限集合とみなす。関手 を、すべての対象 に対して とし、恒等射を恒等写像に、恒等射以外の 本の射を次の写像に移すものとして定める( であり、べきは の乗法で計算する)。
における の極限 と余極限 (いずれも同型を除いて一意に定まる有限集合)の要素の個数を、この順に組 で求めよ。
とし、写像 全体のなす集合を とする。 は写像の合成 を積とし、恒等写像を単位元とするモノイドである()。
次のように圏 を定める。
- 対象は、 の冪等元、すなわち をみたす である。
- 対象 から対象 への射は、 をみたす である(異なる対象の組に対する射は、同じ写像 であっても別の射として数える)。
- 射 と の合成は 、対象 の恒等射は 自身である。
(これは の冪等元完備化(Karoubi 包絡)である。)圏 の射の総数、すなわち
(和は の対象の順序対 全体にわたる)を求めよ。
半順序集合 は、対象を の元とし、 のときに限り から への射がちょうど つ存在する(それ以外のときは射が存在しない)圏とみなす。
3 つの元 からなる集合に、, と反射律だけで定まる半順序を入れた半順序集合を とする( と は比較できない)。また を通常の大小関係 による全順序集合とし、これらを上のように圏とみなす。
関手 を対象とし、それらのあいだの自然変換を射とする関手圏 を考える。この関手圏の射(自然変換)の総数を求めよ。ただし恒等自然変換も射として数える。
群 に対し、対象がただ つ で、射 が の元、射の合成が の積、恒等射が単位元であるような圏を とする。
とし、 を位数 の二面体群とする。関手 を対象、それらの間の自然変換を射とする関手圏 を考える。
この関手圏の射の総数、すなわち関手の組 すべてにわたる自然変換 の個数の和
を求めよ。