Inter-universal geometry と ABC予想 (応援スレ) 73 (668ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
618(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/13(水)20:48 ID:w78+kS3p(1/4)調 AAS
>>612
ID:C2xh/shi ゴキブリの友かい？(旧知のおサルの友？)ｗ
>なぜなら無限回の繰り返しは決して完了しないので
それは違うよ
a)無限回の繰り返しは決して完了しないと考えることもできるし
b)無限回の繰り返しは決して完了すると考えることもできる
要するに、上記のa)b)とも、日常の数学の言葉だよね
何が言いたいか？ 日常の数学の言葉と 公理的集合論の言葉とは 全く異なるってことだ
つまり、公理的集合論の中では、”無限回の繰り返し”という操作は 定義されていない
従って、ある事象について ”無限回の繰り返し”という操作を 公理的集合論の中で 定義できれば、上記のb)になる
逆に、ある事象について ”無限回の繰り返し”という操作を 公理的集合論の中で 定義できない、あるいは定義しなければ 上記のa)になる
それだけのこと
で、グロタンディークを含む希代の天才数学者たちは、ZFCが狭いと思ったら 自分たちのやりたい数学ができるように ZFCに拡張してきたのです
それは、当然 無限集合に対する操作であったり 無限の繰り返しであったりしたわけだ
∵ 有限集合の有限の繰り返しで完結する話ならば、わざわざ集合論の公理をいじくるまでもないのだから
>>614
（引用開始）
ja.wikipedia 選択公理 歴史
「クルト・ゲーデルとポール・コーエンによって、
ZF（ツェルメロ＝フレンケルの公理系）から独立であること
（ZFに選択公理を付け加えても矛盾しないが、ZFから選択公理を証明することはできない）
が示された。」
まず、ゲーデルが構成可能宇宙で選択公理が成立することを示した
そして、コーエンが強制法によって構成したモデルで選択公理が成立しないことを示した
(引用終り)
これは 大変失礼した。ご指摘ありがとう
>>610 自分で引用した ja.wikipedia 選択公理 歴史に
『クルト・ゲーデルとポール・コーエンによって、ZF（ツェルメロ＝フレンケルの公理系）から独立であること（ZFに選択公理を付け加えても矛盾しないが、ZFから選択公理を証明することはできない）が示された』
の記述があるのに、見過ごしていた
下記en.wikipediaにもう少し詳しい記述がある
(参考)
https://en.wikipedia.org/wiki/Axiom_of_choice
Axiom of choice
Independence
In 1938,[18] Kurt Gödel showed that the negation of the axiom of choice is not a theorem of ZF by constructing an inner model (the constructible universe) that satisfies ZFC, thus showing that ZFC is consistent if ZF itself is consistent. In 1963, Paul Cohen employed the technique of forcing, developed for this purpose, to show that, assuming ZF is consistent, the axiom of choice itself is not a theorem of ZF. He did this by constructing a much more complex model that satisfies ZF¬C (ZF with the negation of AC added as axiom) and thus showing that ZF¬C is consistent. Cohen's model is a symmetric model, which is similar to permutation models, but uses "generic" subsets of the natural numbers (justified by forcing) in place of urelements.
627(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/13(水)22:22 ID:w78+kS3p(2/4)調 AAS
>>626
(引用開始)
>グロタンディークを含む希代の天才数学者たちは、ZFCが狭いと思ったら 自分たちのやりたい数学ができるように ZFCに拡張してきたのです
>それは、当然 無限集合に対する操作であったり 無限の繰り返しであったりしたわけだ
無限回の繰り返しの例を示して。
ちなみに無限級数は無限回の足し算でないことは理解してる？
(引用終り)
すでに、>>610で 「選択公理」と 整列可能定理でしました
なお、関連で Georg Cantor en.wikipedia を引用しておく
ZFCより前の代の話だ
ZFCは、これら（Cantorやデデキントや、リーマンやコーシーら）の数学を公理化したもの
ついでに、ヒルベルトの無限ホテルを引用しておくよ（『その手順を無限に繰り返せることを示す』）
(参考)
https://en.wikipedia.org/wiki/Georg_Cantor
Georg Cantor
Cantor established the importance of one-to-one correspondence between the members of two sets, defined infinite and well-ordered sets, and proved that the real numbers are more numerous than the natural numbers. Cantor's method of proof of this theorem implies the existence of an infinity of infinities.
Mathematical work
(google訳)
絶対無限、整列定理、そしてパラドックス
1883年、カントルは無限を超限と絶対の二つに分けた。[ 60 ]
超限は大きさを増加させることができるが、絶対は増加できない。例えば、順序数αはα+1まで増加できるため超限である。
一方、順序数は絶対的に無限の列を形成し、それより大きな順序数が存在しないため、大きさを増加させることはできない。[ 61 ]
1883年、カントールは「すべての集合は整列可能である」という整列原理を提唱し、これを「思考の法則」であると述べた。[ 62 ]
https://ja.wikipedia.org/wiki/%E3%83%92%E3%83%AB%E3%83%99%E3%83%AB%E3%83%88%E3%81%AE%E7%84%A1%E9%99%90%E3%83%9B%E3%83%86%E3%83%AB%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
ヒルベルトの無限ホテルのパラドックス
無限個の客室があるホテルは「満室」でも（無限人の）新たな客を泊めることができ、その手順を無限に繰り返せることを示す。
パラドックスの内容
有限人の新たな客
1人の客が来てホテルに宿泊を希望したとする。そこで1号室の客を2号室に、2号室の客を3号室に、n号室の客を(n + 1)号室に（同時に）移動させる。すると1号室は空室になり、1人の客を泊めることができる。この手順を繰り返すことで、任意の有限人の新たな客の部屋を作れる。
以下略す
628(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/13(水)22:24 ID:w78+kS3p(3/4)調 AAS
>>627 タイポ訂正
すでに、>>610で 「選択公理」と 整列可能定理でしました
↓
すでに、>>610で 「選択公理」と 整列可能定理でしめした
629: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/13(水)22:30 ID:w78+kS3p(4/4)調 AAS
>>625
死狂幻調教大師S.A.D.@月と六ベンツ さん いつもありがとうございます
スレ主です
今後もよろしくお願いいたします。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.026s