[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (601ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
547(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/23(木)18:26 ID:OWxAi42s(10/12) AAS
>>541 つづき
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
>>544 お愉しみを邪魔して悪いが
ちょっと、『 ZF上で実数は どこまで定義可能なのか？』に戻る
結論は
１）ZF上で、コーシー列が収束することは言える
２）ZFC上でならば、コーシー列が収束することが、実数の定義として成り立ち
従来知られている 実数の位相的な性質 完備距離空間だとか なんだとか いろいろ 言える
省24
550(1): 01/23(木)19:35 ID:F2cs9bbp(3/3) AAS
>>547
>ZF上で実数は どこまで定義可能なのか？
どこまでもクソも無い
実数とは連続公理を満たす順序体（の元）である
よってZFで連続公理を満たす順序体が構成できればそれがZF上の実数である
それ以上でも以下でもない
551(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/23(木)21:02 ID:y/IThbaj(2/6) AAS
>>550
>実数とは連続公理を満たす順序体（の元）である
>よってZFで連続公理を満たす順序体が構成できればそれがZF上の実数である
>それ以上でも以下でもない
なるほど
それは、理屈だ
至言ですね
よって、結論
・ZFで、コーシー列の収束は証明できる。そこで詰み
・ZF+可算選択公理で、先に進める。例えば、”5. R is a Lindel¨ of space,”（リンデレーエフ空間になる）>>547
省29
558(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/24(金)07:59 ID:U1RMCmJs(1/3) AAS
>>557
> 逆に上限がない場合、それは集合でない、と言えればいいんじゃね？
同意です
その筋は、ツォルンの補題の証明に書いてあった
『この列は本当に長い、添え字の範囲は単なる自然数ではなく、全ての順序数を動く。実は P と比較しても長すぎる。順序数の全体は真クラスを成すほど大きすぎて、普通の集合より大きくなる。そして、この長さにより集合 P の元を使い尽くすことで矛盾を得る。』
とか。（まだ、分ってないので、ツッコミなしね）
(参考)
ja.wikipedia.org/wiki/%E3%83%84%E3%82%A9%E3%83%AB%E3%83%B3%E3%81%AE%E8%A3%9C%E9%A1%8C
ツォルンの補題（英: Zorn's lemma）またはクラトフスキ・ツォルンの補題
証明の概略
省26
560: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/24(金)10:17 ID:BCvEAUed(1/10) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
>>559
>なんで可算選択公理に固執してんの？
良い質問ですね by 池上彰
１）『 ZF上で実数は どこまで定義可能なのか？』を明確にするためです
つまり、ZFだけと、選択公理ありのZF+C 二つだけでなく
ZFだけ ＜ ZF＋可算選択公理 ＜ ZF＋従属選択公理DC ＜ ZF＋選択公理AC(フルパワー)
の４つの選択肢をおくことで、冒頭の議論を明確にするため
省3
563(1): 01/24(金)11:09 ID:Y9e4pxHo(2/7) AAS
>>558
>では、集合Ｒの性質はどうか？
>・>>547にあるように、ZF＋可算選択公理と、下記がEquivalent
こじつけ
選択公理無しで言える性質もいくらでもある
選択公理有りで言える性質もいくらでもある
恣意的に後者を持ち出したところで只のこじつけに過ぎない
どれほど言い訳を重ねても
「ZFで実数は存在しない」
が正しくなることはありません 残念！
566(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/24(金)11:36 ID:BCvEAUed(5/10) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
>>563
(引用開始)
>では、集合Ｒの性質はどうか？
>・>>547にあるように、ZF＋可算選択公理と、下記がEquivalent
こじつけ
選択公理無しで言える性質もいくらでもある
選択公理有りで言える性質もいくらでもある
省23
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s