[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
292(14): 01/15(水)15:40 ID:zEkLeAcw(6/13) AAS
定理 選択公理⇒整列定理
証明
空でない集合Xの任意の空でない部分集合Yをその元∃y∈Yに対応させる写像f(Y)=yの存在が選択公理により保証される。
X上の二項関係≦を ∀Y⊂X.((Y≠{})⇒∀y∈Y.(f(Y)≦y)) で定義する。
反射律の確認：∀a∈Xについて、≦の定義を{a}に適用しa≦aを得る。
推移律の確認：∀a,b,c∈Xについて、a≦b ∧ b≦c を仮定する。≦の定義を{a,b,c}に適用しa≦cを得る。
反対称律の確認：∀a,b∈Xについて、a≦b ∧ b≦a を仮定する。≦の定義を{a,b}に適用しf({a,b})=a ∧ f({a,b})=bを得る。fは写像だからa=b。
全順序律の確認：∀a,b∈Xについて、fの定義よりf({a,b})=a ∨ f({a,b})=b。≦の定義を{a,b}に適用しa≦b ∨ b≦aを得る。
以上で≦がX上の全順序であることが確認された。
さらに、≦の定義より、Xの任意の空でない部分集合Yに最小元f(Y)が存在するから、≦はX上の整列順序である。
294(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)15:53 ID:ZCTGHyhi(4/11) AAS
>>292
だから 前スレ
rio2016.5ch.net/test/read.cgi/math/1724969804/970
”{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・”という整列順序を 整列可能定理で 作ったと解釈してくださいね。整列可能定理でね
それで、議論は終りです
”{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・”という整列順序を 整列可能定理で 作ったと解釈すると
∈ → ≦ （>>292の定義の通り）と書き直して
”{}≦{{}}≦{{{}}}≦{{{{}}}}≦・・・”
となる
この ≦の定義で
省7
301(3): 01/15(水)17:10 ID:l2ptd/jY(1) AAS
>>292
その証明、正しい？
どこにそれ載ってる？
306(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)17:57 ID:ZCTGHyhi(10/11) AAS
>>301
>>>292
>その証明、正しい？
>どこにそれ載ってる？
ID:l2ptd/jY さんか
レスありがとうございます。
スレ主です （＾＾
私は、主義として 素人が ここ５ｃｈ（便所板）に書き散らかした
素人証明は、読まない主義ですが
なるほどね
省4
307(2): 01/15(水)18:02 ID:WVUbhM43(1/5) AAS
>>292
f({a,b})=a, f({b,c})=b, f({c,a})=c
なるfのとき、a,b,cの順序は定まりますかね？
308: 01/15(水)18:04 ID:WVUbhM43(2/5) AAS
>いま >>292 を チラ見で流し読みしてみると
この方が「チラ見で流し読み」で証明の成否が分かるほど数学が
できるとはまったく思いませんが
312: 01/15(水)18:53 ID:zEkLeAcw(12/13) AAS
>>306
>いま >>292 を チラ見で流し読みしてみると
>この証明は、完全にスベっていて
具体的にどうぞ
言えない？ ブラフですか？
319(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)23:39 ID:HSrNcrvS(1/3) AAS
>>310
検索すると
>>148 (>>146-147もご参照)
にあるね
補足
・>>146で『整列可能定理→選択公理 の証明を、貼ります！
英語版が分りにくいので、中国版とイタリア版 を追加した』
と書いたけど
・このときに、選択公理→整列可能定理について、
中国版とイタリア版も見て、殆ど同じだと見ていたんだ （＾＾
省25
338: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/16(木)10:54 ID:6RwEALUm(3/8) AAS
>>292より 再録
定理 選択公理⇒整列定理
証明
空でない集合Xの任意の空でない部分集合Yをその元∃y∈Yに対応させる写像f(Y)=yの存在が選択公理により保証される。
X上の二項関係≦を ∀Y⊂X.((Y≠{})⇒∀y∈Y.(f(Y)≦y)) で定義する。
反射律の確認：∀a∈Xについて、≦の定義を{a}に適用しa≦aを得る。
推移律の確認：∀a,b,c∈Xについて、a≦b ∧ b≦c を仮定する。≦の定義を{a,b,c}に適用しa≦cを得る。
反対称律の確認：∀a,b∈Xについて、a≦b ∧ b≦a を仮定する。≦の定義を{a,b}に適用しf({a,b})=a ∧ f({a,b})=bを得る。fは写像だからa=b。
全順序律の確認：∀a,b∈Xについて、fの定義よりf({a,b})=a ∨ f({a,b})=b。≦の定義を{a,b}に適用しa≦b ∨ b≦aを得る。
以上で≦がX上の全順序であることが確認された。
省13
386(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/18(土)10:38 ID:yCcyDMub(3/12) AAS
つづき
>集合2^Xの選択公理を用いて、Xの濃度の部分的な値のみを用いている。
>では、最初からXの濃度で済ますことが出来るかと言えば、おそらく無理。
そこ、おサルさん>>7-10の勘違いでしょうね ；ｐ）
>>292の 定理 選択公理⇒整列定理 証明 で
『空でない集合Xの任意の空でない部分集合Yをその元∃y∈Yに対応させる写像f(Y)=yの存在が選択公理により保証される』
と書いたでしょ、おかしな事を書いている・・ｗ ；ｐ）
後で、ほじくらせて貰いますよ、乞うご期待 （＾＾
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
省31
390(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/18(土)12:28 ID:yCcyDMub(4/12) AAS
公開処刑
>>292 より
定理 選択公理⇒整列定理
証明
空でない集合Xの任意の空でない部分集合Yをその元∃y∈Yに対応させる写像f(Y)=yの存在が選択公理により保証される。
X上の二項関係≦を ∀Y⊂X.((Y≠{})⇒∀y∈Y.(f(Y)≦y)) で定義する。
反射律の確認：∀a∈Xについて、≦の定義を{a}に適用しa≦aを得る。
推移律の確認：∀a,b,c∈Xについて、a≦b ∧ b≦c を仮定する。≦の定義を{a,b,c}に適用しa≦cを得る。
反対称律の確認：∀a,b∈Xについて、a≦b ∧ b≦a を仮定する。≦の定義を{a,b}に適用しf({a,b})=a ∧ f({a,b})=bを得る。fは写像だからa=b。
全順序律の確認：∀a,b∈Xについて、fの定義よりf({a,b})=a ∨ f({a,b})=b。≦の定義を{a,b}に適用しa≦b ∨ b≦aを得る。
省30
395: 01/18(土)13:25 ID:xY23/2ac(7/7) AAS
>>292さんがなぜおかしな「証明」を書いたかといえば、おそらくこれは
整列可能定理⇒選択公理 の証明の逆を考えたのだろう。
整列可能定理から選択函数が構成できる。こうやって構成した選択函数を
用いれば、>>292の証明は確かに機能する。
しかし、それは特別な選択函数であって一般の選択函数ではないから
失敗したというわけ。
409(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/18(土)23:39 ID:yCcyDMub(9/12) AAS
公開処刑 part2 ；ｐ）
>>292 より
定理 選択公理⇒整列定理
証明
空でない集合Xの任意の空でない部分集合Yをその元∃y∈Yに対応させる写像f(Y)=yの存在が選択公理により保証される。
X上の二項関係≦を ∀Y⊂X.((Y≠{})⇒∀y∈Y.(f(Y)≦y)) で定義する。
反射律の確認：∀a∈Xについて、≦の定義を{a}に適用しa≦aを得る。
推移律の確認：∀a,b,c∈Xについて、a≦b ∧ b≦c を仮定する。≦の定義を{a,b,c}に適用しa≦cを得る。
反対称律の確認：∀a,b∈Xについて、a≦b ∧ b≦a を仮定する。≦の定義を{a,b}に適用しf({a,b})=a ∧ f({a,b})=bを得る。fは写像だからa=b。
全順序律の確認：∀a,b∈Xについて、fの定義よりf({a,b})=a ∨ f({a,b})=b。≦の定義を{a,b}に適用しa≦b ∨ b≦aを得る。
省31
427(3): 01/19(日)11:53 ID:MeW3b4Rf(1/8) AAS
雑談さんは、>>292の証明は、整列定理から作った特別な選択函数を用いれば成立するということは分かりますかね？
>>426
それでいいと思ってるなら、マジで数学の才能ゼロだから、今すぐやめた方がいい。
もし病気なら、治療を優先すべき。
473(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/20(月)15:58 ID:7RKCNKc8(1/6) AAS
＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ）
さて >>465 より
(引用開始)
”we can do by induction, using a choice function f for the family S of all nonempty subsets of A.”
ああ、ごめんごめん。きみ、英語全く読めないニホンザルだったな。翻訳しとくわ。
「Aのすべての空でない部分集合の族Sに対する選択関数fを用いて、帰納的に行うことができる。」
(引用終り)
それでな おサルさんよ>>7-10
省40
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s