[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
270(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/14(火)17:22 ID:rO5NkXOo(3/3) AAS
>>267
(引用開始)
>つまり、整列可能定理は公理として、有理コーシー列で有理数Qの完備化を可能として
>無理数（超越数を含む）の存在を保証する
は君の発言だよね？ 食言ってことは、未だに間違いって理解してないってこと？
(引用終り)
では、下記の通り 微修正をします ；ｐ）
つまり、整列可能定理は公理として、有理コーシー列で有理数Qの完備化を可能として
↓
つまり、整列可能定理は公理として、x∈R subset A⊂R で 有理コーシー列 a sequence in A＼{x} that converges to x で有理数Qの完備化を可能として(但し、RをcompactにするためDCを使用>>261)
省23
271: 01/14(火)17:38 ID:M9OrezAK(9/13) AAS
>>270
>x∈R subset A⊂R で 有理コーシー列 a sequence in A＼{x} that converges to x で有理数Qの完備化を可能として
Rとは？ 実数全体の集合？ 有理数Qを完備化するにあたってRの存在を前提としてるの？ｗ
272(1): 01/14(火)17:44 ID:M9OrezAK(10/13) AAS
>>270
>整列可能定理は公理として
整列可能定理無しでは有理数Qの完備化は不可能 が君の主張との理解でよろしい？
284: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)14:46 ID:ZCTGHyhi(1/11) AAS
>>270
>Choice principles in elementary topology and analysis Horst Herrlich
Horst Herrlichは、下記か
大物ですな （＾＾
(参考)
en.wikipedia.org/wiki/Horst_Herrlich
Horst Herrlich (11 September 1937, in Berlin – 13 March 2015, in Bremen) was a German mathematician, known as a pioneer of categorical topology.
Education and career
From 1971 to 2002 Herrlich was a professor of mathematics with a focus on general topology and category theory at the University of Bremen.
He was an Invited Speaker of the International Congress of Mathematicians in 1974 in Vancouver.[4]
省11
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s