ツォルンの補題
帰納的順序集合$\left(X,\preceq\right)$は極大元をもつ。
カテゴリー: 数学
集合族の有限性・鎖・帰納的順序集合の定義
\[
A\in\mathcal{A}\Leftrightarrow\forall B\subseteq A,\left|B\right|<\infty\rightarrow B\in\mathcal{A}
\]
選択関数と選択公理の定義
\[
\forall\lambda\in\Lambda,A_{\lambda}\ne\emptyset\rightarrow\prod_{\lambda\in\Lambda}A_{\lambda}\ne\emptyset
\]
超限帰納法
\[
P\left(\min X\right)\land\forall x\in X,\left(\forall a\prec x,P\left(a\right)\right)\rightarrow P\left(x\right)\Rightarrow\forall x\in X,P\left(x\right)
\]
整列可能定理
任意の集合は適当な順序を定めることによって整列集合にできる。
整列集合の基本的な性質
\[
X\left\langle \min X\right\rangle =\emptyset
\]
切片の定義
\[
X\left\langle a\right\rangle =\left\{ x\in X;x\prec a\right\}
\]
順序写像かつ単射の性質
\[
\forall a,b\in X,a\precneqq b\rightarrow f\left(a\right)\precneqq\left(b\right)
\]
上限定理・下限定理
実数では上に有界ならば上限が存在する。
デデキント切断の定義
\[
a\in A\land b\in B\rightarrow a\preceq b
\]
半順序集合・狭義半順序集合の辞書式順序
\[
\left(x_{1},y_{1}\right)\preceq\left(x_{2},y_{2}\right)\Leftrightarrow x_{1}\prec_{X}x_{2}\lor\left(x_{1}=x_{2}\land y_{1}\preceq_{Y}y_{2}\right)
\]
半順序関係と狭義半順序関係
\[
x\prec y\Leftrightarrow x\preceq y\land x\ne y
\]
上方集合と下方集合の定義
\[
\forall x\in A,\forall y\in X,x\preceq y\rightarrow y\in A
\]
部分順序集合
\[
b_{1}\preceq_{A}b_{2}\Leftrightarrow b_{1}\preceq_{B}b_{2}
\]
2つの集合上の二項関係(一意性・全域性)の定義
\[
aRc\land bRc\Rightarrow a=b
\]
順序写像・順序単射・順序埋め込み写像の合成写像
順序写像同士の合成写像は順序写像になる。
狭義半順序関係の性質
集...
順序同型は同値関係
順序同型は同値関係(反射律・対称律・推移律)を満たす。
順序写像・単調写像・順序反映・順序埋め込み・順序同型写像の定義
\[
a\preceq_{X}b\Rightarrow f\left(a\right)\preceq_{Y}f\left(b\right)
\]