2019-07-01から1ヶ月間の記事一覧
Zermeloの整列定理 $X$を集合とする。 $\exi \leq \; \subseteq X \times X \; (X, \leq) {\rm は整列集合}$ が成り立つ$^{AC}$。 $\exi {\rm 整列集合} Y \; \exi {\rm 全単射} f : Y \rightarrow X$ を証明すれば良い。それをもって $X$ を整列集合と出来…
Zermeloの整列定理 $X$を集合とする。 $\exi \leq \; \subseteq X \times X \; (X, \leq) {\rm は整列集合}$ が成り立つ$^{AC}$。 $\exi {\rm 整列集合} Y \; \exi {\rm 全単射} f : Y \rightarrow X$ を証明すれば良い。それをもって $X$ を整列集合と出来…