アフィリエイト広告を利用しています

2017年01月19日

罪悪感が苦しい

9 時半起床.

動けないほどではないが微妙に抑鬱感が強く苦しい.

何とか起きてみたが, 外に出る気持ちになれず散歩もプールも今日は駄目だ.

お昼を挟んで本を読み, 絵を描き, 数学をやり, それなりに気分は昂揚した.

しかし, 心の底にある罪悪感や自責の念がちょっとした隙き間の時間に表に出てくる.

自分がこれまで迷惑を掛けた多くの人たちに一生をかけて償わなければならない.
あれだけの迷惑を掛けておいて勝手に逃げ出した自分の罪は絶対に許されるものではない.
命をかけてお詫びをしなければならない.

こういう考えに捕われてしまうと, 冷静な思考を行うことも客観的な視点を持つこともできなくなってしまう.
ただ固まるしかない.

夜になってからこういった状態が強くなってくる.

夕食は納豆と卵かけご飯とべったら漬け.

頓服を飲んで休む.
タグ:鬱病 罪悪感
posted by 底彦 at 21:20 | Comment(0) | TrackBack(0) |

数学: スライス圏における同型射

このところ取り組んでいた圏論の練習問題をどうにか解けたと思う.
自分なりの内容の見直しも終わったので, 解いた問題について概要をまとめておく.
以下の通り:

問題. $\mathscr{C}$ を任意の圏とし, $A \in {\mathrm{Ob}}({\mathscr{C}})$ を任意の対象とする.
($a$) 圏 $\mathscr{C}$ の $A$ 上の対象からなる圏 ${\mathscr{C}}\,\big/\,{A}$ おいて, 射 $h : f \rightarrow g$ が同型射であるための必要十分条件は, $h$ が $\mathscr{C}$ における同型射で $g \circ h = f$ を満たすことである. これを示せ.
($b$) $\mathscr{C}$ の対象 $A, B, C$ と射 $f : B \rightarrow A$ と $g : C \rightarrow A$ で $B$ と $C$ は $\mathscr{C}$ 内で同型だが, $f$ と $g$ が ${\mathscr{C}}\,\big/\,{A}$ 内で同型でない例を与えよ.

注: ${\mathscr{C}}\,\big/\,{A}$ を $\mathscr{C}$ の $A$ 上のスライス圏と呼ぶ. $f : B \rightarrow A$ と $g : C \rightarrow A$ を ${\mathscr{C}}\,\big/\,{A}$ の対象とするとき, $\mathscr{C}$ の射 $h : B \rightarrow C$ で図式
\[
\begin{xy}
\xymatrix@=48pt {
B \ar[d]_{f} \ar[r]^{h} & C \ar[dl]^{g} \\
A &
}
\end{xy}
\]
を可換図式にするものをスライス圏 ${\mathscr{C}}\,\big/\,{A}$ における $f$ から $g$ への射 $h : f \rightarrow g$ と呼ぶ.

($a$) はスライス圏 ${\mathscr{C}}\,\big/\,{A}$ の射 $h : f \rightarrow g$ が同型射であるということと, 圏 $\mathscr{C}$ における 3 つの射 $f : B \rightarrow A$, $g : C \rightarrow A$, $h : B \rightarrow C$ の関係とを照らし合わせてみることによって解ける.

($b$) は以下のような例を作った.

(i) 集合の圏 $\mathbf{Set}$ を考える. $\mathbb{Z}$ を整数全体の集合とし,
\[
A = B = C = \mathbb{Z}
\]
とおく. 写像 $f : B \rightarrow A$ と $g : C \rightarrow A$ を
\[
\begin{alignat}{2}
f(n) &= 2n & \quad & (n \in B), \\
g(n) &= 2n + 1 & & (n \in C)
\end{alignat}
\]
により定義する.
このとき, $\mathscr{C}$ における任意の同型写像 $h : B \rightarrow C$ に対して $g \circ h \neq f$ となる.
したがって $f$ と $g$ はスライス圏 ${\mathscr{C}}\,\big/\,{A}$ において同型ではない.

(ii) 可換体 $k$ 上のベクトル空間の圏 $k$-$\mathbf{Vect}$ を考える.
$B \in \mathrm{Ob}(k$-$\mathbf{Vect})$ を $k$ 上の任意の有限次元ベクトル空間, $C$ を $B$ の双対ベクトル空間とする. すなわち

 C = $B^{*} = \{\, \varphi \mid \varphi : B \rightarrow k$ は線形写像 $\,\}$

ベクトル空間 $B$ と $C$ は互いに他の双対ベクトル空間となっているので $k$-$\mathbf{Vect}$ においてこれらは同型である.
$n = \dim(B) = \dim(C)$ とし $\{\, v_1,..., v_{n} \,\}$ を $B$ の基底, $\{\, v^{*}_1,..., v^{*}_{n} \,\}$ を $\{\, v_1,..., v_{n} \,\}$ に対する $C$ の双対基底とする.

$k$ 上の $2n$ 次元ベクトル空間 $A$ を任意にとり, $\{\, w_1,..., w_{2n} \,\}$ を $A$ の基底とする.
線形写像 $f : B \rightarrow A$ を $f(v_i) = w_i \; (i = 1,..., n)$ により定義し, 線形写像 $g : C \rightarrow A$ を $g(v^{*}_i) = w_{n+i} \; (i = 1,..., n)$ により定義すると, 任意の線形写像 $h : B \rightarrow C$ に対して常に $g \circ h \neq f$ となる. したがって $B$ と $C$ は $k$-$\mathbf{Vect}$ において同型だが, $f : B \rightarrow A$ と $g : C \rightarrow A$ はスライス圏 $k$-$\mathbf{Vect}\,\big/\,{A}$ において同型ではない.

(iii) 群の圏 $\mathbf{Grp}$ を考える.
集合 $B$ を
\[
B = \left\{\, \left(\cos\left(\frac{n}{3} \pi\right),
\sin\left(\frac{n}{3} \pi\right)\right) \,\Big|\,
n \in \mathbb{Z} \,\right\}
\]
と定義する.
各 $i \in \mathbb{Z}$ に対して
\[
a_{i} = \left(\cos\left(\frac{i}{3} \pi\right),
\sin\left(\frac{i}{3} \pi\right)\right)
\quad (i \in \mathbb{Z})
\]
とおき, $B$ 上の 2 項演算 $\cdot$ を
\[
a_{i} \cdot a_{j} = a_{i+j}
= \left(\cos\left(\frac{i+j}{3} \pi\right),
\sin\left(\frac{i+j}{3} \pi\right)\right)
\quad (i, j \in \mathbb{Z})
\]
により定義すると $B$ はこの 2 項演算を積, $a_{0} = (1, 0)$ を単位元として Abel 群になる.
混乱の恐れが無い場合には $\cdot$ を省略して
\[
a \cdot b = a b \quad (a, b \in B)
\]
と書く.

$B$ の定義より, 任意の $i \in \mathbb{Z}$ に対して $a_{i} = a_{i+6}$ が成立するので, 代表元をとることによって群 $B$ は
\[
B = \left\{\,a_{0}, a_{1}, a_{2}, a_{3}, a_{4}, a_{5}\,\right\}
\]
と表わされる.

集合 $C$ を
\[
C = \mathbb{Z} / 6 \mathbb{Z}
\]
により定義する. $C$ には整数環 $\mathbb{Z}$ から導かれる加法が定義される. この加法と単位元 $0 = 0 \bmod 6$ によって $C$ は Abel 群となる. $C$ の定義により, 代表元をとることによって群 $C$ は
\[
C = \left\{\, 0, 1, 2, 3, 4, 5 \,\right\}
\]
と表わされる.

$B$ と $C$ は $\mathbf{Grp}$ において同型である. 同型射としてたとえば射 $h : B \rightarrow C$ を
\[
h(a_{i}) = i \quad (i = 0,..., 5)
\]
と定義すればよい.

集合 $A$ を
\[
A = \mathbb{Z}/12\mathbb{Z}
= \left\{\, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 \,\right\}
\]
により定義する. $A$ には整数環 $\mathbb{Z}$ から導かれる加法が定義されるが, この加法と単位元 $0 = 0 \bmod 12$ によって $A$ は Abel 群になる. これより群の圏 $\mathbf{Grp}$ において, $A$ 上のスライス圏 ${\mathbf{Grp}}\,\big/\,{A}$ を考えることができる.

群の準同型写像 $f : B \rightarrow A$ を
\[
f(a_{i}) = 3 i \bmod 12 \quad (i = 0,..., 5)
\]
と定義する.
また, 群の準同型写像 $g : C \rightarrow A$ を
\[
g(i) = 4 i \bmod 3 \quad (i = 0,..., 5)
\]
と定義する.

このとき, 任意の群の同型写像 $h : B \rightarrow C$ に対して, 常に $g \circ h \neq f$ となる.
同型写像 $h$ の任意性により, $B$ と $C$ は圏 $\mathbf{Grp}$ においては同型だが, ライス圏 ${\mathbf{Grp}}\,\big/\,{A}$ においては $f$ と $g$ は同型ではない.

(iv) 位相空間の圏 $\mathbf{Top}$ を考える.
$\mathbb{R}^2$ 内の半径 1 の単位円周
\[
B = S^1 = \left\{\, (x, y) \,\big|\,
(x, y) \in \mathbb{R}^2, \; x^2 + y^2 = 1 \,\right\}
\]
と, 半径 $\sqrt{2}$ の円周
\[
C = \left\{\, (x, y) \,\big|\,
(x, y) \in \mathbb{R}^2, \; x^2 + y^2 = 2 \,\right\}
\]
に $\mathbb{R}^2$ から導かれる位相を入れる. このとき, $B$ と $C$ は $\mathbf{Top}$ において同型である. 同型射となる同相写像として, たとえば $h : B \rightarrow C$ を
\[
h(x, y) = \left(\!\sqrt{2}\,x, \sqrt{2}\,y\right) \quad
((x, y) \in B)
\]
と定義すればよい.

$A = [-1, 1]$ とおき, $A$ に $\mathbb{R}^1$ から導かれる位相を入れることによって $A$ は $\mathbf{Top}$ の対象となる.
写像 $f : B \rightarrow A$ と $g : C \rightarrow A$ を
\begin{alignat*}{2}
f(x, y) &= x & \qquad & ((x, y) \in B), \\
g(x, y) &= \frac{1}{2} (x^2 - y^2) & ~ & ((x, y) \in C)
\end{alignat*}
と定義する. 定義より $f$, $g$ は共に連続写像, つまり $\mathbf{Top}$ における射である.

このとき, $h : B \rightarrow C$ で $g \circ h = f$ を満たす任意の連続写像に対して, $f$, $g$ の定義から $h$ が常に全射ではない連続写像であることが導かれる. よって $g \circ h = f$ を満たすような同型写像 $h : B \rightarrow C$ は存在しない.
以上より, 位相空間の圏 $\mathbf{Top}$ において $B$ と $C$ は同型であるが, $g \circ h = f$ を満たす同型射 $h$ が存在しないことからスライス圏 ${\mathbf{Top}}\,\big/\,{A}$ においては $f$ と $g$ は同型ではない.
posted by 底彦 at 21:07 | Comment(0) | TrackBack(0) | 数学
ファン
検索
<< 2017年01月 >>
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技術ブログ プログラム・プログラマーへ
にほんブログ村