ていへんかけるたかさわるに

ノートに書いた証明を LaTeX で書き写す.
圏 $\mathscr{C}$ の骨格 $\mathrm{sk}(\mathscr{C})$ が圏になることの証明.
今日まとめたのは以下のような内容.

$\mathscr{C}$ の対象の全体を $O_0 = \mathrm{Ob}(\mathscr{C})$, 射の全体を $A_0 = \mathrm{Ar}(\mathscr{C})$ とする.
2 つの対象 $X, Y \in \mathrm{Ob}(\mathscr{C})$ が同型であるとき,
\begin{equation*}
X \simeq_\mathscr{C} Y \quad\textrm{ in }\,\, \mathscr{C}
\end{equation*}
と表わす. このとき, 関係 $\simeq_\mathscr{C}$ は $O_0 = \mathrm{Ob}(\mathscr{C})$ 上の同値関係となる.
\begin{equation*}
\hat{O}_{0} = O_0\,\big/\,\simeq_\mathscr{C}
\end{equation*}
とおく.

2 つの射, $(f : X \to Y), (f' : X' \to Y') \in \mathrm{Ar}(\mathscr{C})$ が同型であるとき, つまり 2 つの $\mathscr{C}$ の同型射 $h : X \to X'$, $k : Y \to Y'$ が存在して図式
\begin{equation*}
\xymatrix@=48pt {
X \ar[d]_{f} \ar[r]^{h} & X' \ar[d]^{f'} \\
Y \ar[r]_{k} & Y'
}
\end{equation*}
が可換となるとき,
\begin{equation*}
f \simeq_{\mathrm{Ar}(\mathscr{C})} f' \quad\mathrm{ in }\,\, \mathrm{Ar}(\mathscr{C})
\end{equation*}
と表わす. このとき, 関係 $\simeq_{\mathrm{Ar}(\mathscr{C})}$ は $A_0 = \mathrm{Ar}(\mathscr{C})$ 上の同値関係となる.
\begin{equation*}
\hat{A}_{0} = A_0\,\big/\,\simeq_{\mathrm{Ar}(\mathscr{C})}
\end{equation*}
とおく.

商空間 $\hat{O}_{0}$ の各同値類 $o \in \hat{O}_{0}$ から代表元 $X_o$ を 1 個ずつ選んで族
\begin{equation*}
O = \{\, X_o \mid o \in \hat{O}_{0} \,\}
\end{equation*}
を作る.

商空間 $\hat{A}_{0}$ から同値類 $\alpha \in \hat{A}_{0}$ をとる. このとき, $\alpha$ の代表元となる射 $f_{\alpha}$ を次のように選ぶことができる.
\begin{equation*}
f_{\alpha} = \begin{cases}
\mathrm{id}_{X} : X \to X & (\text{ある } X \in O \text{ が存在して } \mathrm{id}_{X} \in \alpha \text{ となるとき}) \\
f : X \to Y & (\text{上記以外; ある } X, Y \in O \text{ が存在して, ある } (f : X \to Y) \in \alpha \text{ がとれる })
\end{cases}
\end{equation*}
これにより $\hat{A}_{0}$ の各同値類から 1 つずつ代表元を選んだ集まり
\begin{equation*}
A = \{\, f_{\alpha} \mid \alpha \in \hat{A}_{0} \,\}
\end{equation*}
が構成される.

この $f_{\alpha}$ を定める箇所に相当ひっかかったこともあり, 記述が複雑になっている. 何度も同じ議論をしているし, 直接必要の無いことまで長々と議論して証明していたりしている. 全体的に文章が非常に長くてわかりづらい.

とりあえず, 切るところはどんどん切って整理することはできた.
続きは明日.

7 時半起床.
頓服無しで起き上がれた.

頭が半分眠っていてぼんやりとしているが, 数学をやる.
ノートに書いた練習問題の証明を, 内容を確かめながら LaTeX で書いていく. なかなか集中できないが 1 時間少し続けていたら漸く考えがまとまるようになってきた.
午前中いっぱいやってかなり消耗した.

昼食はベーコンエッグ, チーズとトマトとレタスのサラダ.

午後は買い出しに出かける.
スーパーでいろいろ買う. キャベツ, トマト, 茄子, 玉葱, ブロッコリー, レタス, 人参, 鶏肉, 鮭切り身, ベーコン, 納豆, 豆腐, 卵, 漬け物, あといろいろ.
気付いたら外が凄い雨になっている. 傘は持っていたが, 手提げと肩掛け 2 つの買い物バッグを抱えて帰るのでしばらくスーパーの中で雨宿りをした.
鮮魚コーナーをぶらぶらする.
鯵の干物とかは今日は買っていないが, 冷凍してあるのがまだ二尾くらいあるからいいか.
釜揚げシラスは好きだけどちょっと高いのでまた今度にする.
鰤の切り身が 30% 引きで売っているのに気が付いた. 買った.

帰宅してシャワーを浴びる.
どうも気分が低調なので少し横になって休む.

夕食は鰤の塩焼きと納豆と冷奴とご飯.
食べていたらだんだん体調が悪くなってきた. あまり良くない.

後片付けをしてすぐに休む.