数学: 圏の骨格 (skeleton) ── 定義に戻ってみる


$\mathscr{C}$ の射の集まり $\mathrm{Ar}({\mathscr{C}})$ に対して次のように定める.
(i) $\mathscr{C}$ の射を対象とする;
(ii) $f : X \to Y$, $g : X' \to Y'$ を $\mathscr{C}$ の 2 つの射とする. $f$ から $g$ への射を, $\mathscr{C}$ の射 $h : X \to X'$, $k : Y \to Y'$ の対 $(h, k)$ で図式
\begin{equation*}
\begin{xy}
\xymatrix@=48pt {
X \ar[d]_{f} \ar[r]^{h} & X' \ar[d]^{g} \\
Y \ar[r]_{k} & Y'
}
\end{xy}
\end{equation*}
を可換図式にするものと定義する.

このとき $\mathrm{Ar}({\mathscr{C}})$ は圏となる. これを圏 $\mathscr{C}$ の射圏 (arrow category) と呼ぶ.

$\mathscr{C}$ の対象 $\mathrm{Ob}(\mathscr{C})$ において, 対象が同型であることは $\mathrm{Ob}(\mathscr{C})$ における同値関係となる. $\mathrm{Ob}(\mathscr{C})$ をこの同値関係で割った商空間を $\hat{O}$ とおく.

同様に, $\mathrm{Ar}({\mathscr{C}})$ の対象 $\mathrm{Ob}(\mathrm{Ar}({\mathscr{C}}))$ (つまり $\mathscr{C}$ の射の集まり) において, 対象が同型であることは $\mathrm{Ob}(\mathrm{Ar}({\mathscr{C}}))$ における同値関係となる. $\mathrm{Ob}(\mathrm{Ar}({\mathscr{C}}))$ をこの同値関係で割った商空間を $\hat{A}$ とおく.

$\hat{O}$ と $\hat{A}$ に対して次の操作を行う.
・ $\hat{O}$ の各同値類から $\mathscr{C}$ の対象を 1 個ずつ選ぶ. 結果の集まりを $O$ とおく;
・ $\hat{A}$ の各同値類から $\mathrm{Ar}({\mathscr{C}})$ の対象を 1 個ずつ選ぶ. 結果の集まりを $A$ とおく.

この $O$ と $A$ を適切に定め, 以下の 4 つの関数を適切に定義することより, $O$ を対象, $A$ を射とする圏を構成することができる.
このために,
(1) $d^0, d^1 : A \to O$. ── $A$ に属する任意の射に対して, それぞれ射のソースとターゲットになる $O$ の対象を与える;
(2) $u : O \to A$. ── $O$ に属する任意の対象に対して, その上の恒等射 (identity) を与える;
(3) $m : P \to A$. ここで
\begin{equation*}
P = \left\{\, (f, g) \mid f, g \in A. \, d^0(f) = d^1(g) \,\right\}
\end{equation*}
である ── $A$ の 2 つの射 $f$ と $g$ に対して $f$ のソース $d^0(f) \in O$ と $g$ のターゲット $d^1(g) \in O$ が等しいとき, $f$ と $g$ の射の合成を与える.

このように構成された圏を
\begin{equation*}
\mathrm{sk}(\mathscr{C}) = (A, O, d^0, d^1, u, m)
\end{equation*}
と表わし, 圏 $\mathscr{C}$ の骨格 (skeleton) と呼ぶ.

今やっているのは, $\mathrm{sk}(\mathscr{C})$ の構成と, それが圏であることの証明. ひとまずできたと思うので証明を一から書いている.
$A$ の定義と関数 $m : P \to A$ の定義にかなり苦労した.

こういった苦労は自分としてはいつものことで, 非常に基礎的なところで大きく躓くのである.
posted by 底彦 at 21:43 | Comment(0) | TrackBack(0) | 数学

2017年06月17日

この記事へのコメント
コメントを書く

お名前:

メールアドレス:


ホームページアドレス:

コメント:

この記事へのトラックバックURL
https://fanblogs.jp/tb/6381450

この記事へのトラックバック
ファン
検索
<< 2024年12月 >>
1
2 3 4 5 6 7
8
9 10 11 12 13 14
15
16 17 18 19 20 21
22
23 24 25 26 27 28
29
30 31
最新記事
最新コメント
眼科の定期検査 〜 散歩 by コトタマ (02/15)
眼科の定期検査 by 三文字寄れば文殊のヒフミヨ (09/21)
本を読んで過ごす by 底彦 (12/13)
本を読んで過ごす by ねこ (12/12)
数学の計算をする by 底彦 (12/04)
タグクラウド
カテゴリアーカイブ
仕事 (59)
社会復帰 (22)
(44)
コンピューター (211)
(1)
借金 (8)
勉強 (13)
(13)
数学 (97)
運動 (8)
日常生活 (1407)
(204)
健康 (38)
読書 (21)
プロフィール

ブログランキング・にほんブログ村へ
にほんブログ村
にほんブログ村 メンタルヘルスブログ うつ病(鬱病)へ
にほんブログ村
にほんブログ村 科学ブログ 数学へ
にほんブログ村
にほんブログ村 IT技術ブログ プログラム・プログラマーへ
にほんブログ村
Mobilize your Site
スマートフォン版を閲覧 | PC版を閲覧
Share by: