[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
649(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/26(日)19:56 ID:57hfZFiX(13/17) AAS
＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/
さて
『 ZF上で実数は どこまで定義可能なのか？』の前に
Zorn's lemma を、取り上げようと思う
まず、マクラです
(参考)
www.math.is.tohoku.ac.jp/~obata/student/subject/
東北大 尾畑研 いつもお世話になっております
省30
655: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/26(日)23:09 ID:57hfZFiX(16/17) AAS
>>649 追加
www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_12.pdf
TAIKEI-BOOK : 2019/1/1(22:21) 東北大 尾畑研
第12章 順序集合
12.3 ツォルンの補題
すべての全順序部分集合が上界をもつような順序集合をツォルン集合と呼ぶ
そうするとツォルンの補題定理(定理12.18)はツォルン集合には極大元が存在することを主張する
証明は長いのでいくつかの段階に分割する 3）
3）ここでは松村にしたがって集合と写像を用いた初等的な証明を紹介する
超限帰納法による証明もありそれは簡潔で直感的なのだがそのためには整列集合の理論を準備
省19
797(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/29(水)22:04 ID:a/peK22S(1/2) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞
>>649に引き続き 『 ZF上で実数は どこまで定義可能なのか？』の前に
Zorn's lemma を、取り上げよう
まず、マクラの続きです
下記 Akihiko Koga さん いいね
（参考：いつもお世話になっている Akihiko Koga さん ）
www.cs-study.com/koga/set/lemmaOfZorn.html#TransfiniteMethod
省34
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.150s*