赤雪江第1章のまとめノート作ってみた

集合$A$の任意の元$a$に対し集合$B$の元$f(a)$がただ一つに定まっているとき，$f$を$A$から$B$への写像という.

部分集合$S \subset A,\, T \subset B$に対し，$f(S) = \left\{f(a)\in A\mid a\in S\right\}, \, f^{-1}(T) = \left\{a \in A \mid f(a) \in T\right\} $ とおき，それぞれ$S$の像, $T$の逆像という.

$A,B$を集合, $f : A \rightarrow B$を写像とする. 任意の$a,a' \in A$に対し, $f(a) = f(a')\Rightarrow a = a'$という条件が成り立つとき, $f$は単射であるという. また，任意の$b \in B$に対し, $f(a) = b$となる$a \in A$が存在するとき，$f$は全射であるという. 写像が単射かつ全射なら, 全単射であるという.

集合$A$から集合$B$への全単射写像があるとき, 集合$A$と集合$B$は一対一に対応するという. また, $A \subset B$なら，$A$の元を$B$の元とみなす写像のことを包含写像という.

1. 集合$A$から$A$への写像$f$で, 全ての$a \in A$に対し$f(a) = a$となるものを恒等写像といい, $\mathrm{id}_{A}$と書く.

2. $f : A \rightarrow B, \, g : B \rightarrow C$が写像なら，$A$から$C$への写像$g \circ f$を$g \circ f(a) = g(f(a))$と定義し，$f,g$の合成という.

3. $A,B$が集合, $f : A \rightarrow B$が全単射写像であるとする.このとき, 任意の$b \in B$に対して$b = f(a)$となる$a \in A$が常にただ一つ存在する. そこで$b \in B$に対して, $a = g(b)$となる$a \in A$を対応させ, $B$から$A$への写像$g$が一意に定まる. この写像を$f$の逆写像といい,$g = f^{-1}$と表す.

$A$という数学的対象から$B$という数学的対象を定義するとき，$A$から複数定まる$C$という数学的対象を経由して$B$を定めるとする.
このとき, $B$の定義が$C$によらない(つまり, $A$にのみ依存する)ことを示してはじめて$B$の定義が確定する. このようなとき, この定義はwell-definedであるという.

$A$を数学的対象とするとき, $A$のみから，それ以外の情報を用いずに定義できる数学的対象を$A$により自然に定まる対象であるという.

$\Lambda$を集合とし, 各$\lambda \in \Lambda$に対し，集合$A_{\lambda}$が与えられているとする. このようなとき，$\left\{A_{\lambda}\right\}$を, $\Lambda$を 添字集合に持つ集合族という.

$\Lambda$を添字集合に持つ集合族$\left\{A_{\lambda}\,\vert\, \lambda \in \Lambda\right\}$が与えられたとき, $\Lambda$から和集合$\bigcup(A_{\lambda}\,\vert\, \lambda \in \Lambda)$ への関数$f$のうちで，$\Lambda$のどの元$\lambda$に対しても $f(\lambda) = f_{\lambda} \in A_{\lambda}$となるようなもの全体を集合族$\left\{A_{\lambda}\,\vert\, \lambda \in \Lambda\right\}$の直積といい, $\prod_{\lambda \in \Lambda}A_{\lambda}$と書く. また，各$A_{\lambda}$ を直積因子という.

$\left\{X_i\right\}$が$I$を添字集合とする集合族であるとき，$X = \bigcup_{i} X_i$, $Y = X \times I$とし, 各$i \in I$に対して$Y_i$を$Y$の部分集合で, $x \in X_i$により$\left(x, i\right)$という形をした元全体よりなるものとする.このとき, $Z = \bigcup_{i} Y_i$を集合族$\left\{X_i\right\}$の直和といい, $\coprod_{i} X_i$と書く.

$S$を集合するとき, $S$上の関係とは, $S \times S$の部分集合のことである.$R \subset S \times S$を関係とするとき，$x,y \in S$が$\left(x,y\right) \in R$ であるならば，$x,y$は関係$R$があるといい, そうでないとき, 関係$R$がないという.

集合$X$上の関係$\leqq$が次の$(1)-(3)$の条件を満たす時に順序という. 以下，$x,y,z$は$X$の元を表す.

1. $x \leqq x$

2. $x \leqq y,\, y \leqq z \Rightarrow x \leqq z$

3. $x \leqq y,\, y \leqq x \Rightarrow x = y$

さらに, 任意の$x,y \in X$に対し
(4) $x \leqq y$または$y \leqq x$が成り立つ.

という条件が満たされるなら, $\leqq$を全順序という.
順序を持つ集合を順序集合, 全順序を持つ集合を全順序集合という.

1. $X$を順序集合, $S \subset X$を部分集合とする.$x_0 \in X$が任意の$y \in S$に対し$y \leqq x_0$という条件を満たすなら，$x_0$は$S$の上界であるという.

2. $x \in X$が順序に関して極大元であるとは，任意の$y \in X$に対し$x \leqq y \Rightarrow y = x$が成り立つことである.