Inter-universal geometry と ABC予想 (応援スレ) 73

Inter-universal geometry と ABC予想 (応援スレ) 73 (668ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

608(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 08/13(水)14:35 ID:ZWqlQsZq(1/3)調 AAS
>>607
jin さんか
いつもありがとうございます
スレ主です
頑張ってください

610(7): 現代数学の系譜雑談 ◆yH25M02vWFhP 08/13(水)16:30 ID:ZWqlQsZq(2/3)調 AAS
>>609
踏みつけたゴキブリが、うごめいているｗ
踏みつけられて悔しいか？ｗｗ　；ｐ）

１）「選択公理」は、整列可能定理と等価だという（ja.wikipedia）
　”どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである”
　任意無限集合Aにおいて、ある元a1を取出し残りをA1とする。次に A1から元a2を取出し残りをA2とする。これを可算or非可算任意の無限繰返せる
　取り出した a1,a2,・・を可算or非可算任意の無限繰返せば、全ての元の整列ができる
　略証はこんな感じだ
　本格的な証明は en.wikipedia ”Well-order”と”Zorn's lemma implies the axiom of choice”を百回音読せよｗ
２）さて、任意無限集合Aで人は好きに（任意に）元 a1,a2,・・を取り出して並べていい
　集合Aで残りの部分に、整列可能定理を適用すればそれで済む、それで集合Aの整列になる
３）>>601 ポール・コーエンの証明は、選択公理ではない（下記のja.wikipedia 選択公理歴史を百回音読せよｗ）
　コーエンの証明は、連続体仮説についてだよ（下記のja.wikipedia 連続体仮説歴史を百回音読せよｗｗ）

(参考)
https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
選択公理
選択公理（英: axiom of choice、選出公理ともいう）とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。
平行線公準以来、もっとも議論された公理である[2]
選択公理と等価な命題
整列可能定理
任意の集合は整列可能である。
ツォルンの補題
順序集合において、任意の全順序部分集合が有界ならば、極大元が存在する。（実際の数学では、この形で選択公理が使われることも多い。）
比較可能定理
任意の集合の濃度は比較可能である。
略
応用
選択公理、もしくはそれと同値な命題を適用することで、以下を示すことができる。
可算集合の可算個の和は可算である
任意の無限集合は可算集合を含む
ルベーグ非可測集合の存在
全ての体には代数的閉包が存在する。
歴史
集合論の創始者ゲオルク・カントールは、選択公理を自明なものとみなしていた
しかし、ツェルメロによる整列可能定理の証明に反論する過程で、エミーユ・ボレル、ルネ＝ルイ・ベール、アンリ・ルベーグ、バートランド・ラッセルなどが選択公理の存在に気付き、新たな公理と認識されるようになった
クルト・ゲーデルとポール・コーエンによって、ZF（ツェルメロ＝フレンケルの公理系）から独立であること（ZFに選択公理を付け加えても矛盾しないが、ZFから選択公理を証明することはできない）が示された。これは集合論研究における大きな成果であろう
ZFに一般連続体仮説を加えると選択公理を証明できることが知られている。これは、1926年にアドルフ・リンデンバウム（英語版）とアルフレト・タルスキが示したが証明は散逸したとされる。同内容を1943年にヴァツワフ・シェルピニスキが再発見し1947年に出版した

つづく

611: 現代数学の系譜雑談 ◆yH25M02vWFhP 08/13(水)16:30 ID:ZWqlQsZq(3/3)調 AAS
つづき

https://en.wikipedia.org/wiki/Well-order
Well-order
Reals
The standard ordering ≤ of any real interval is not a well ordering, since, for example, the open interval ⁠
(0,1)⊆[0,1]
⁠ does not contain a least element. From the ZFC axioms of set theory (including the axiom of choice) one can show that there is a well order of the reals. Also Wacław Sierpiński proved that ZF + GCH (the generalized continuum hypothesis) imply the axiom of choice and hence a well order of the reals. Nonetheless, it is possible to show that the ZFC+GCH axioms alone are not sufficient to prove the existence of a definable (by a formula) well order of the reals.[3] However it is consistent with ZFC that a definable well ordering of the reals exists—for example, it is consistent with ZFC that V=L, and it follows from ZFC+V=L that a particular formula well orders the reals, or indeed any set.

https://en.wikipedia.org/wiki/Zorn%27s_lemma
Zorn's lemma implies the axiom of choice
A proof that Zorn's lemma implies the axiom of choice illustrates a typical application of Zorn's lemma.[17] (The structure of the proof is exactly the same as the one for the Hahn–Banach theorem.)
略
ssentially the same proof also shows that Zorn's lemma implies the well-ordering theorem: take
P to be the set of all well-ordered subsets of a given set
X and then shows a maximal element of
P is X.[18]

https://ja.wikipedia.org/wiki/%E9%80%A3%E7%B6%9A%E4%BD%93%E4%BB%AE%E8%AA%AC
連続体仮説
歴史
1963年、ポール・コーエンは強制法と呼ばれる新しい手法を用いて「ZFC から連続体仮説を証明することは出来ない」ことを示した
コーエンはこの業績により、1966 年にフィールズ賞を受賞している
(引用終り)
以上

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.028s