- 369 名前：現代数学の系譜 雑談 [2025/01/16(木) 17:11:18.54 ID:6RwEALUm.net]
- >>340
>選択公理から整列定理を証明するのに
>ツォルンの補題を経由していたが
>その証明は全然直観的でなく実にわかりにくかった
ご苦労様です
下記の いつもの 尾畑研 東北大
第13章 整列集合 13.3 整列可能定理 ”ここではツォルンの補題を用いて証明しよう”
ですな
ついでに、第14章順序数も 貼っておきます
(参考)
www.math.is.tohoku.ac.jp/~obata/student/subject/
尾畑研 東北大
www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_13.pdf
TAIKEI-BOOK :2019/1/1
第13章 整列集合
13.3 整列可能定理
ツェルメロは選択公理から整列可能定理を導いたがここではツォルンの補題を用いて証明しよう
www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_14.pdf
TAIKEI-BOOK :2019/1/1
第14章順序数
14.1順序型としての順序数
順序同型な整列集合を代表するものと理解するこのあたりの取�
|
 |
