[過去ﾛｸﾞ]
現代数学の系譜 古典ガロア理論を読む37 [無断転載禁止]©2ch.net (681ﾚｽ)
現代数学の系譜 古典ガロア理論を読む37 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1501561433/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
527: ｝現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/08(火) 22:52:10.96 ID:dwNxNtRp >>526 つづき ＜言いたいこと＞ 分かりやすくするために、都合で元の命題と対偶命題を入れ替える 元の命題 「nを整数とするとき、 n が4の倍数ならば、 n^2 は4の倍数である」を細かく分解すると (公理など)大前提（全体集合）U：nを整数とするとき 条件(仮定) P：n が4の倍 結論 Q：n^2 は4の倍数 対偶命題 「nを整数とするとき、 n^2 が4の倍数でないならば、 n は4の倍数でない」を細かく分解すると (公理など)大前提（全体集合）U：nを整数とするとき 条件(仮定) Q~(Qの否定)：n^2 は4の倍数でない 結論 P~(Pの否定)：n が4の倍でない ここで、対偶命題で、「条件(仮定) Q~(Qの否定)：n^2 は4の倍数でない」から、通常の「結論 P~(Pの否定)：n が4の倍でない」ではなくて・・ (公理など)大前提（全体集合）に対し「 U~(Uの否定)：nは整数ではない」が導かれると主張する小学生がいるなら、それは”かなり独創的な小学生！”と言わねばならないだろう （彼は天才かも知れない・・（＾＾ ） QED 以上 http://rio2016.5ch.net/test/read.cgi/math/1501561433/527
528: ｝現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/08(火) 23:00:41.94 ID:dwNxNtRp >>527 補足 >>129 より引用下記 ”（命題A） 選択公理を使って 無限列から決定番号への非可測関数を構築すれば 「箱入り無数目」解法による予測は避けられないよ （命題B） 「X1，X2，X3，・・・がまるまる無限族として独立なら絶対に当てられない」 と言い切るなら、必然的に 「実数の全ての集合はルベーグ可測であり選択公理は成立しない」 といわざるを得なくなる” >>132 より引用下記 ”命題に下記の記号を付けよう A：フルパワー選択公理 B：時枝問題（例えばR^Nに対して）の数列の同値類から決定番号まで C：あなたの”独創的（確率論不要？）な言い訳” D：時枝記事成立（ある箱の数を当てる確率99/100） ロジックは （A & B） & C → D（時枝記事成立） 対偶は not D → not｛（A & B） & C ｝＝ not（A & B） or not C つまり、対偶命題の意味は 「時枝記事の解法が不成立の場合、C：あなたの”独創的（確率論不要？）な言い訳”が否定されるか、又は、（A & B）が否定されるか」だ で、当然、直ちに選択公理に関する（A & B）が否定されるのではなく、C：あなたの”独創的（確率論不要？）な言い訳”が疑われるべしだ で、あなたの考え方 ”「X1，X2，X3，・・・がまるまる無限族として独立なら絶対に当てられない」 と言い切るなら、必然的に 「実数の全ての集合はルベーグ可測であり選択公理は成立しない」 といわざるを得なくなる” のロジックがおかしいと思うよ（＾＾” http://rio2016.5ch.net/test/read.cgi/math/1501561433/528
529: １３２人目の素数さん [] 2017/08/08(火) 23:21:47.88 ID:FLcpUz9v ＞一人は、私が確率の専門家さんと呼ぶ人。おそらくＤＲから上だろう おそらくDRから上の人が言ったから時枝解法は不成立である by スレ主 http://rio2016.5ch.net/test/read.cgi/math/1501561433/529
530: １３２人目の素数さん [] 2017/08/08(火) 23:26:48.56 ID:FLcpUz9v ＞無駄にピエロのお笑いで ＞スレが伸びても仕方ないと思っているよ（適当にあしらっているがね） 俺は天然ピエロだから簡単にスレ伸ばせる、おかげで今夜は残飯漁らずに済むぜ、ボロ儲けボロ儲けっと by スレ主 http://rio2016.5ch.net/test/read.cgi/math/1501561433/530
531: １３２人目の素数さん [] 2017/08/08(火) 23:44:09.33 ID:FLcpUz9v ＞でも、受ける側の劣等感もあるんですよね 稀代のアホが落ちぶれたとはいえ元数学者に説諭の図 http://rio2016.5ch.net/test/read.cgi/math/1501561433/531
532: １３２人目の素数さん [] 2017/08/08(火) 23:46:59.63 ID:FLcpUz9v ＞直接読んで無い人と議論しても、上滑りだからね どんなに直接読んでも上滑りな奴もいるよｗｗｗ そいつは数学のすの字も知らない なのに上から目線で語るのが大好きｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1501561433/532
533: １３２人目の素数さん [] 2017/08/08(火) 23:49:43.94 ID:FLcpUz9v ＞時枝記事成立を主張する人の無能は争うよ ＞かつ、時枝記事成立・不成立も争うよ と、数学のすの字も知らない稀代のアホが申しております http://rio2016.5ch.net/test/read.cgi/math/1501561433/533
534: １３２人目の素数さん [] 2017/08/09(水) 00:10:18.00 ID:8YG24gaz ＞・底辺数学科卒程度の知識はあるみたい。不十分だが と大学一年一学期の数列すら理解してないアホが申しております http://rio2016.5ch.net/test/read.cgi/math/1501561433/534
535: ｝現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/09(水) 05:26:25.71 ID:bM/5YfPT >>529-534 ピエロくん、なんだ、そんなところに隠れていたのか？（＾＾ 朝早くから、深夜までご苦労さん 日付が変わるまで５連投とは、ご苦労だね よほど悔しかったのか？（＾＾ まあ、これに懲りずに、今日も頑張って、みなの笑いをとっておくれ（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1501561433/535
536: ｝現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/09(水) 06:23:29.63 ID:bM/5YfPT >>527 訂正 n が4の倍 ↓ n が4の倍数 ３箇所あり。まあ、”n が4の倍”のままでも意味分かるだろうが・・（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1501561433/536
537: ｝現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/09(水) 06:27:40.90 ID:bM/5YfPT >>528の補足説明 >>136に戻る 引用>>136より ”さて、「整列可能定理が否定されると、選択公理が否定される」は言えるのに・・ フェルマーの最終定理やゴールドバッハの予想との違いは？ 分かりますか？ 分かんねーだろうね ピエロくんの頭じゃね（＾＾” ＜補足説明＞ １．まず、「3.1 集合(ベン図)による説明」 http://yama-taku.science/mathematics/logic-and-sets/converse-inverse-and-contraposition/ 論理と集合の基本5|「逆，裏，対偶」と対偶の利用 合格タクティクス 2015.12.20 >>524 を見て下さい ２．全体集合Uとして、ZFC公理系が成り立つ”宇宙 (数学)”とする。選択公理Cは当然U全体で成り立つ。∵公理だから当然。 ３．整列可能定理の適用範囲も、U全体だ。従って、整列可能定理の否定は、つまり、ベン図で言えば、Uの否定つまりUの外あるいは、Uの内なら空集合だ ４．こういう場合に、「整列可能定理が否定されると、選択公理が否定される」は言えるのだ ５．が、フェルマーの最終定理やゴールドバッハの予想は、そうではない。時枝記事もそうではない！！（＾＾ https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6) (抜粋) 宇宙 (数学) 数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。 数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。 目次 [非表示] 1 ある特定の文脈において 2 通常の数学 3 集合論 4 圏論 5 関連項目 (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1501561433/537
538: ｝現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/09(水) 06:34:36.09 ID:bM/5YfPT >>537 補足の補足 >>528より ”（命題A） 選択公理を使って 無限列から決定番号への非可測関数を構築すれば 「箱入り無数目」解法による予測は避けられないよ （命題B） 「X1，X2，X3，・・・がまるまる無限族として独立なら絶対に当てられない」 と言い切るなら、必然的に 「実数の全ての集合はルベーグ可測であり選択公理は成立しない」 といわざるを得なくなる” これで、特に（命題B）が問題だが、もし（命題B）が言えたら（証明できたら）、基礎論的には面白いと思うけどね（＾＾ ”独創的な天才小学生！”の君（>>524）ならできる。頑張ってね（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1501561433/538
539: １３２人目の素数さん [] 2017/08/09(水) 06:52:08.03 ID:OWBfmAtB >>528 idiotの分際で"ボクちゃんはgenius!"と自惚れてる勘違いピエロの>>1へ おまえの粗雑なウソ証明じゃなく、 他人様が直してくださった精緻な証明を引用しような https://rio2016.2ch.net/test/read.cgi/math/1499815260/621-625 A：非可算選択公理 Eq1：時枝問題（例えばR^Nに対して）の数列の同値類の設定 Lm1：時枝問題の同値類の代表列＆決定番号（自然数） (A & Eq1) → Lm1 Eq2：自然数のｎ組の順序関係に関する同値類の設定 「(a1,･･･,an)と、(b1,･･･,bn)は、任意のi,jについて ai,aj間とbi,bj間の大小関係が等しいとき同値とみなす」 Lm2：自然数のｎ組の順序関係に関する同値類から 順序を保存する長さｎの代表順列を選択する Eq2→Lm2 （*順列は有限個だから可算選択公理すら必要ない！） Fn ：「数列から自然数への関数f」から 「数列のｎ組から自然数のｎ組への関数f_n」が 構成できる f_n(r1,･･･,rn)=(f(n1),･･･,f(rn)) Lm3：関数f_nから、自然数のｎ組の順序に関する 同値類の代表元を利用してできる関数f_n!について 順列i番目の要素が最大になる確率はiによらず1/n Lm2 & Fn→Lm3 (数列のn組の順序の入れ替えにより、 異なる順列の同値類に1対1対応する。 かつ、i番目が最大になる長さnの順列は iによらず長さnの順列全体の1/n) (L1 & Lm3)→D （fに数列から決定番号への関数を代入） つまり A & Eq1 & Eq2 & Fn → D 対偶は NotD→NotA or NotEq1 or NotEq2 or NotFn しかし、実はEq1もEq2もただの同値類の設定だし Fnもただの関数の構成方法だから否定しようがない つまり否定できるのはAしかない R.I.P. http://rio2016.5ch.net/test/read.cgi/math/1501561433/539
540: １３２人目の素数さん [] 2017/08/09(水) 06:55:21.12 ID:OWBfmAtB >>529 ＞おそらくDRから上の人が言ったから時枝解法は不成立である by スレ主 正しくは 数学のgeniusである俺様の直感「時枝解法では予測できない！」 を支持したから、当然博士の学位は取得している筈である by 自惚れピエロの>>1 http://rio2016.5ch.net/test/read.cgi/math/1501561433/540
541: １３２人目の素数さん [] 2017/08/09(水) 06:59:56.88 ID:OWBfmAtB >>537 idiotが何を喚いてるか知らないが soloveyのモデルでは、実数全体は整列可能ではないが つまり、ZFCにおける整列可能定理は、 ZF+"任意の実数の集合がルベーグ可測"では 定理でもなんでもないが http://rio2016.5ch.net/test/read.cgi/math/1501561433/541
542: １３２人目の素数さん [] 2017/08/09(水) 07:05:30.74 ID:OWBfmAtB idiotの>>1はどうせ全順序と整列順序を混同してるんだろうｗ 実数全体は自然な順序＜で全順序集合だが、 この順序は整列順序ではない 整列順序というのは、任意の元について 自分の次の元、つまり自分より大きな最小の元 が存在する順序をいう 実数の順序＜では、自分より大きな元の中に最小のものはない つまり、自分ｒより大きな元から任意にある元ｒ’を選べば 必ず自分ｒより大きいという性質をもつ、ｒ’より小さい元ｒ’’がとれる だから実数の順序＜を以て”ほれ、整列順序！”とほざいてるなら 整列順序の意味も知らん正真正銘のidiotだと白状していることになる だから教育を受けてないidiotは度し難いｗｗｗｗｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1501561433/542
543: １３２人目の素数さん [] 2017/08/09(水) 07:08:30.39 ID:OWBfmAtB ついでにいうと ZFにおいて、「AC⇒整列可能定理」は証明可能である したがって対偶「整列不能⇒¬AC」ももちろん証明可能 知らん>>1は大学で数学教育を全く受けてない野蛮なidiot http://rio2016.5ch.net/test/read.cgi/math/1501561433/543
544: １３２人目の素数さん [] 2017/08/09(水) 07:15:02.40 ID:Pu1DhnBA >>502 増田哲也の寿命を鑑みた上での期限でしょうか？ 前倒しを要求します。 まずは、増田哲也から回答を引き出すために、どのようなアプローチをとって、どのようなアクションしていく計画だったのかを提示して下さい（納期は明日8/10）。 提示してくれた計画をベースにして、前倒しすべきポイントなどについて検討し、現実的な計画へとブラッシュアップしましょう。 なお、計画遂行に必要なリソース（ヒト、モノ、カネ）についても、見積もり済みであれば、それも提示して下さい。 http://rio2016.5ch.net/test/read.cgi/math/1501561433/544
545: ｝現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/09(水) 07:18:42.77 ID:bM/5YfPT >>509 補足 >「宇宙は無限」と私も思うが、現代物理学では、未決着だと理解しているよ 哀れな素人さん、どうも。スレ主です。下記ご参考まで http://www.nikkei-science.com/201709_029.html 日経サイエンス 2017年9月号 特集：マルチバースと多世界 空間はインフレーションと呼ばれる急膨張を今も続け，その中に新たな宇宙が泡のように次々と生まれている。私たちの宇宙はそんな泡の1つにすぎず，その外にも無限の泡宇宙が広がっている──。 宇宙は単一のユニバースではなく無数の「マルチバース」だとの見方は，現代物理学の3つの理論によって示唆されている。 宇宙が加速的に膨張することを示すインフレーションの理論，量子力学と重力を統一的に記述しようとする超弦理論，そして，宇宙がまるで人間のためにできているかのように見える理由を矛盾なく説明する人間原理だ。 理論物理学者の野村泰紀博士は，このマルチバースについての新たな見方を提唱した。無数の宇宙は，量子力学的な重ね合わせ状態になっており，それぞれが確率的に存在するという。 マルチバースと多世界 インフレーション理論と量子力学のつながり 野村泰紀 http://www.nikkei-science.com/201709_030.html 提唱者野村博士に聞く 今なぜマルチバースか 聞き手：古田 彩 http://www.nikkei-science.com/201709_040.html 「インフレーション理論に異議」に物理学者33人が大反論 http://www.nikkei-science.com/201709_049.html 2017年9月号目次へ http://www.nikkei-science.com/page/magazine/201709.html http://rio2016.5ch.net/test/read.cgi/math/1501561433/545
546: ｝現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/09(水) 07:22:19.18 ID:bM/5YfPT >>544 カレーにするーしますので、１００年待ってください http://rio2016.5ch.net/test/read.cgi/math/1501561433/546
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 135 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.008s