1 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:24:58.80 ID:Bct9UQQT.net] 小学レベルとバカプロ固定、High level people、サイコパス お断り!High level people は自分達で勝手に立てたスレ28へどうぞ!sage進行推奨(^^; 旧スレが512KBオーバー間近で、新スレ立てる このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです (最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。) 過去スレ (そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます) 現代数学の系譜11 ガロア理論を読む 33 rio2016.2ch.net/test/read.cgi/math/1495860664/ 32 rio2016.2ch.net/test/read.cgi/math/1495369406/ 31 rio2016.2ch.net/test/read.cgi/math/1494038985/ 30 rio2016.2ch.net/test/read.cgi/math/1492606081/ 29 rio2016.2ch.net/test/read.cgi/math/1484442695/ 28 (High level people が自分達で勝手に立てた時枝問題を論じるスレ) rio2016.2ch.net/test/read.cgi/math/1480758460/ 27 rio2016.2ch.net/test/read.cgi/math/1483075581/ 26 rio2016.2ch.net/test/read.cgi/math/1480758460/ 25 rio2016.2ch.net/test/read.cgi/math/1477804000/ 24 rio2016.2ch.net/test/read.cgi/math/1475822875/ 23 rio2016.2ch.net/test/read.cgi/math/1474158471/ 22 rio2016.2ch.net/test/read.cgi/math/1471085771/ 21 rio2016.2ch.net/test/read.cgi/math/1468584649/ 20 wc2014.2ch.net/test/read.cgi/math/1466279209/ 19 wc2014.2ch.net/test/read.cgi/math/1462577773/ 18 wc2014.2ch.net/test/read.cgi/math/1452860378/ 17 wc2014.2ch.net/test/read.cgi/math/1448673805/ 16 wc2014.2ch.net/test/read.cgi/math/1444562562/ 15 wc2014.2ch.net/test/read.cgi/math/1439642249/ 以下次レスへ
3 名前:11454303/ 9 http://wc2014.2ch.net/test/read.cgi/math/1408235017/ 8 http://wc2014.2ch.net/test/read.cgi/math/1364681707/ 7 http://uni.2ch.net/test/read.cgi/math/1349469460/ 6 http://uni.2ch.net/test/read.cgi/math/1342356874/ 5 http://uni.2ch.net/test/read.cgi/math/1338016432/ 4 http://uni.2ch.net/test/read.cgi/math/1335598642/ スレタイに4が抜けてますが(4)です 3 http://uni.2ch.net/test/read.cgi/math/1334319436/ 2 http://uni.2ch.net/test/read.cgi/math/1331903075/ 1 http://uni.2ch.net/test/read.cgi/math/1328016756/ [] [ここ壊れてます]
4 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:26:26.08 ID:Bct9UQQT.net] 大学新入生もいると思うが、間違っても2CHで数学の勉強なんて思わないことだ このスレは、趣味と遊びのスレと思ってくれ(^^; 以下過去スレより再掲 rio2016.2ch.net/test/read.cgi/math/1492606081/7 7 自分:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/04/19(水) 22:07:49.66 ID:gLi5Ebjw まあ、過去何年かにわたって、猫さん、別名、¥ ◆2VB8wsVUooさんが、数学板を焼いていたからね ガロアスレは別として、数学板は焼け跡かな 再生は無理だろう そもそも、2CHは、数学に向かない アスキー字に制限され、本格的な数学記号が使えない 複数行に渡る記法ができない 複数行に渡る矢印や、図が描けない(AA(アスキーアート)で数学はできない) 大学数学用の掲示板を、大学数学科が主体となって、英語圏のような数学掲示板を作った方がいいだろうな、実名かせめてハンドルネーム必須でね、プロないしセミプロ用
5 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:27:00.47 ID:Bct9UQQT.net] 個人的には、下記は、”知恵袋の人>>> 2chの人”と思うよ(^^ rio2016.2ch.net/test/read.cgi/math/1484442695/494 494 現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/04/17(月) 18:01:02.76 ID:mNM7pqkU 前にも紹介したが、新入生もいるだろうから、下記再掲しておく。なお、信用できないに、私スレ主も含めること。定義から当然の帰結だが(^^; https://note.chiebukuro.yahoo.co.jp/detail/n98014 Yahoo 知恵袋 数学の勉強法 学部〜修士 ライター:amane_ruriさん(最終更新日時:2012/8/6)投稿日:2012/8/4 ナイス!:5閲覧数:11594 (抜粋) 私は修士1年生ですので、正直に言いますとこの部分はあまり書いているのが正しいとは思えません。趣味で書いているものだと認識していただければ良いのではないかと思っております。大学3、4年に入ってまず怖いのが数学の本の氾濫でしょう。まず何を読んで何をすればいいのか分からなくなります。 そして、自分のやっていることがいかにちっぽけな存在なのかというのを実感させられます。(多分皆がそうでしょう。)そして、結果が問われてきます。ここで、数学科は「入るのは易しいけどプロになるのは難しい」ということが実感させられてきます。 2012年8月3日現在、書泉グランデで有名数学者の薦める本がありました。森重文先生を初めとして本の多さに圧倒されました。(足立恒雄先生は信頼と安心のブレなさ) 2.2chの内容は信用できるか? 基本的に信用できません。先生>周りの人>>> 2chや知恵袋の人です。何故かというといつも同じことしか言っていないから。多分きちんと検証していないで想像で議論しているだけではないのかと私は思っています。(まあ、自分もあんまり信用できないけど) 数学をする場合は、問題が解けることも重要なのですが問題設定を作ることが大切です。そういう時に、どういう風に学んできたのかとか、正確な知識がどういう部分でどれだけ持っているのか、調和性や、生まれて来た環境っていうのが重要になってきます。 ただ、それがどうも2chの人は見られない(し、そもそも偉そうなことを言っている人が本当にできるかどうか分からない。)。こういう類のものは勉強不足ですとか、分かっていませんでしたで済まされるものではないと個人的には思うのですが。 (引用終り)
6 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:27:37.14 ID:Bct9UQQT.net] 過去スレより rio2016.2ch.net/test/read.cgi/math/1484442695/338 338 現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/04/09(日) 23:46:26.46 ID:Rh9CzQs6 スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします 大体、私は、自分では、数学的な内容は、筆を起こさない主義です じゃ、どうするかと言えば、出典明示とそこらの(抜粋)コピペです まあ、自分なりに、正しそうと思ったものを、(抜粋)コピペしてます が、それも基本、信用しないように 数学という学問は特に、自分以外は信用しないというのが基本ですし ”証明”とかいうらしいですね、数学では その”証明”がしばしば、間違っていることがあるとか、うんぬんとか 有名な話で、有限単純群の分類 ”出来た!”と宣言した大先生が居て、みんな信用していたら、何年も後になって、”実は証明に大穴が空いていた”とか おいおい、競馬じゃないんだよ(^^; https://ja.wikipedia.org/wiki/%E5%8D%98%E7%B4%94%E7%BE%A4 単純群 1981年にモンスター群が構成されてからすぐに、群論の研究者たちがすべての有限単純群を分類したという、合計10,000ページにも及ぶ証明が作られ、1983年にダニエル・ゴレンスタインが勝利を宣言した。 これは時期尚早だった、というのはいくつかのギャップが、特に準薄群(英語版)の分類野中で発見されたからである。このギャップは2004年に1300ページに及ぶ準薄群の分類によって埋められており、これは現在は完璧であると一般に受け入れられている。
7 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:28:41.34 ID:Bct9UQQT.net] >>5 補足 rio2016.2ch.net/test/read.cgi/math/1492606081/352 352 自分:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/04/29(土) みんな、何に価値をおいているか、それぞれだろうが・・ 個人的には、数学板で一番価値を置いているのは、確かな情報 つまり 根拠の明確な情報 つまり コピペ わけのわからん名無しさん(素数さん)のカキコを真に受けるとか、価値をおく人は少ないだろう きちんと、大学教員レベルの証明があればともかく、匿名板でそれはない(名無しカキコは基本価値なし)
8 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:30:57.62 ID:Bct9UQQT.net] 以下、過去時枝が数学セミナーに書いた記事(「箱入り無数目」数学セミナー2015.11月号)に関連して、過去スレより (時枝記事と批判詳細は、後述) rio2016.2ch.net/test/read.cgi/math/1492606081/619 619 自分:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/05/05(金) 22:57:51.96 ID:ZYeih3Vj 私は、時枝記事が成り立たないことを前提として 時枝記事がなぜ成り立たないか? なぜ、成り立つように見えるか そういう議論には参加するが 時枝記事が成り立たないこと前提とするの部分が 共有できない人とは議論しません あしからず では、とうぞスレ28へ。下記7でしたね。私は行きませんから(^^ ここから見ていますよ。自分達が立てたスレが寂れたからと、這い出してこないようにお願いします(^^; 現代数学の系譜11 ガロア理論を読む28 (High level people が自分達で勝手に立てた時枝問題を論じるスレ) rio2016.2ch.net/test/read.cgi/math/1483314290/7 (抜粋) 7 名前:132人目の素数さん[sage] 投稿日:2017/01/02(月) 20:02:42.58 ID:0caOih5s **** このスレを訪れた方へ **** 急ではありますが、このスレは ■時枝問題を語るスレ になりました。 ただし以下の行為は厳に謹んでください: ・他サイトからのコピペでスレを埋め尽くす行為 ・デタラメを述べておきながら間違いの指摘は無視する行為 ・明らかな間違いにもかかわらず、数学は自由だから何でもありだろ?、と無理やり正当化する行為 ・他人の学歴など個人情報を聞き出す行為 ・その他、材料工学分野の研究者/エンジニアの名誉を貶める行為 以上
9 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:34:43.45 ID:Bct9UQQT.net] >>7 <補足>私の見解 rio2016.2ch.net/test/read.cgi/math/1495860664/9 ・他サイトからのコピペでスレを埋め尽くす行為: どこの馬の骨とも分からない人の発言は、数学的には無価値。真に価値があるのは、根拠のあるURLとそこからのコピペ ・デタラメを述べておきながら間違いの指摘は無視する行為:バカの壁。自分のレベルの低さを自覚せず、勉強せず、延々自分たちの狭い知見の議論を繰り返す(文系)High level people を無視するだけのこと(説明しても理解できないレベルでどうしようもない(^^; https://ja.wikipedia.org/wiki/%E3%83%90%E3%82%AB%E3%81%AE%E5%A3%81 (抜粋)『バカの壁』(バカのかべ)は、東京大学名誉教授・養老孟司の著書。2003年(平成15年)4月10日、新潮新書(新潮社)より刊行された。400万部を超えるベストセラーとなり、同年の新語・流行語大賞、毎日出版文化賞特別賞を受賞。 ・明らかな間違いにもかかわらず、数学は自由だから何でもありだろ?、と・・: ”明らかな間違い”は自分達だろ? ・他人の学歴など個人情報を聞き出す行為:いくら説明しても、相手が理解できないようなので、相手のレベルを確認したまで。小学生、中学生レベルにこれ以上説明するつもりなく、”勉強してね”というのみ。 せめて高校レベルなら、努力して説明しようかという気にもなる・・。自分よりレベルが高ければ、教えを請うだろう。確認は、普段はしないが、議論がかみ合わなければこれからもありうる(^^; ・その他、材料工学分野の研究者/エンジニアの名誉を貶める行為:あんたら、材料工学の何が分かっているのか? 材料工学を修得した人なら、時枝「箱入り無数目」数学セミナー2015.11月号記事不成立は自明。材料工学では拡散過程や統計力学で、確率論程度は常識だ。時枝記事は確率論に反するってこと!(^^ さらに、個人的には、わけわからん名無しさん(素数さん)との議論も、価値を置いていない その理由は、上記に同じだ それが、スレ主がコピペでこのスレを埋める理由であり ”小学レベルのバカプロ固定たち”とのつまらん議論で、時間とスレの余白を浪費しない理由さ(^^; まあ、娯楽板ならバカ会話重視なんだろうが 学問板で、それはないだろう・・(^^;
10 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:37:12.99 ID:Bct9UQQT.net] <時枝問題> rio2016.2ch.net/test/read.cgi/math/1466279209/2-7 過去スレ 再録 1.時枝問題(数学セミナー201611月号の記事)の最初の設定はこうだった。 「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる. どんな実数を入れるかはまったく自由,例えばn番目の箱にe^πを入れてもよいし,すべての箱にπを入れてもよい. もちろんでたらめだって構わない.そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」 2.続けて時枝はいう 私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている. 但しもっときびしい同値関係を使う. 実数列の集合 R^Nを考える. s = (s1,s2,s3 ,・・・),s'=(s'1, s'2, s'3,・・・ )∈R^Nは,ある番号から先のしっぽが一致する∃n0:n >= n0 → sn= s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版). 念のため推移律をチェックすると,sとs'が1962番目から先一致し,s'とs"が2015番目から先一致するなら,sとs"は2015番目から先一致する. 〜は R^N を類別するが,各類から代表を選び,代表系を袋に蓄えておく. 幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる. 任意の実数列S に対し,袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ. sとrとがそこから先ずっと一致する番号をsの決定番号と呼び,d = d(s)と記す. つまりsd,sd+1,sd+2,・・・を知ればsの類の代表r は決められる. 更に,何らかの事情によりdが知らされていなくても,あるD>=d についてsD+1, sD+2,sD+3,・・・ が知らされたとするならば,それだけの情報で既に r = r(s)は取り出せ, したがってd= d(s)も決まり, 結局sd(実はsd,sd+1,・・・,sD ごっそり)が決められることに注意しよう. (補足) sD+1, sD+2,sD+3,・・・:ここでD+1などは下付添え字
11 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:38:00.84 ID:Bct9UQQT.net] sage
12 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:38:08.49 ID:Bct9UQQT.net] >>9 3.つづき 問題に戻り,閉じた箱を100列に並べる. 箱の中身は私たちに知らされていないが, とにかく第l列の箱たち,第2列の箱たち第100 列の箱たちは100本の実数列S^1,S^2,・・・,S^lOOを成す(肩に乗せたのは指数ではなく添字). これらの列はおのおの決定番号をもつ. さて, 1〜100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ. s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない. 第1列〜第(k-1) 列,第(k+1)列〜第100列の箱を全部開ける. 第k列の箱たちはまだ閉じたままにしておく. 開けた箱に入った実数を見て,代表の袋をさぐり, S^1〜S^(k-l),S^(k+l)〜SlOOの決定番号のうちの最大値Dを書き下す. いよいよ第k列 の(D+1) 番目から先の箱だけを開ける:S^k(D+l), S^k(D+2),S^k(D+3),・・・.いま D >= d(S^k) を仮定しよう.この仮定が正しい確率は99/100,そして仮定が正しいばあい,上の注意によってS^k(d)が決められるのであった. おさらいすると,仮定のもと, s^k(D+1),s^k(D+2),s^k(D+3),・・・を見て代表r=r(s~k) が取り出せるので 列r のD番目の実数r(D)を見て, 「第k列のD番目の箱に入った実数はS^k(D)=r(D)と賭ければ,めでたく確率99/100で勝てる. 確率1-ε で勝てることも明らかであろう. (補足) S^k(D+l), S^k(D+2),S^k(D+3),・・・:ここで^kは上付き添え字、(D+l)などは下付添え字
13 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:38:40.58 ID:Bct9UQQT.net] >>11 つづき 数学セミナー201511月号P37 時枝記事に、次の一文がある 「R^N/〜 の代表系を選んだ箇所で選択公理を使っている. その結果R^N →R^N/〜 の切断は非可測になる. ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系, 1905年)にそっくりである.」 さらに、過去スレでは引用しなかったが、続いて下記も引用する 「逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ, 1970年)から,この戦略はふしぎどころか標準的とさえいえるかもしれない. しかし,選択公理や非可測集合を経由したからお手つき, と片付けるのは,面白くないように思う. 現代数学の形式内では確率は測度論によって解釈されるゆえ,測度論は確率の基礎, と数学者は信じがちだ. だが,測度論的解釈がカノニカル, という証拠はないのだし,そもそも形式すなわち基礎, というのも早計だろう. 確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」
14 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:39:13.55 ID:Bct9UQQT.net] >>12 つづき 数学セミナー201511月号P37 時枝記事より 「もうちょっと面白いのは,独立性に関する反省だと思う. 確率の中心的対象は,独立な確率変数の無限族 X1,X2,X3,…である. いったい無限を扱うには, (1)無限を直接扱う, (2)有限の極限として間接に扱う, 二つの方針が可能である. 確率変数の無限族は,任意の有限部分族が独立のとき,独立,と定義されるから,(2)の扱いだ. (独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.) しかし,素朴に,無限族を直接扱えないのか? 扱えるとすると私たちの戦略は頓挫してしまう. n番目の箱にXnのランダムな値を入れられて,ある箱の中身を当てようとしたって, その箱のX と他のX1,X2,X3,・・・がまるまる無限族として独立なら, 当てられっこないではないか−−他の箱から情報は一切もらえないのだから. 勝つ戦略なんかある筈ない,と感じた私たちの直観は,無意識に(1)に根ざしていた,といえる. ふしぎな戦略は,確率変数の無限族の独立性の微妙さをものがたる, といってもよい.」
15 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:39:48.50 ID:Bct9UQQT.net] >>13 まず、数学セミナー201611月号の記事で、引用していなかった部分を、以下に引用する(^^; ”ばかばかしい,当てられる筈があるものか,と感じられるだろう. 何か条件が抜け落ちているのではないか,と疑う読者もあろう.問題を読み直していただきたい. 条件はほんとうに上記のとおり.無限個の実数が与えられ,一個を除いてそれらを見た上で,除いた一個を当てよ,というのだ. ところがところが--本記事の目的は,確率99%で勝てそうな戦略を供することにある. この問題はPeter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.” この部分を掘り下げておくと 1.時枝氏は、この記事を、数学の定理の紹介とはしていないことに気付く 2.”Peter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”と 3.まあ、お気楽な、おとぎ話とまでは言ってないとしても、その類いの話として紹介しているのだった ついでに”コルモゴロフの拡張定理”について、時枝記事は>>6 に引用の通りだが 1.”確率変数の無限族は,任意の有限部分族が独立のとき,独立,と定義されるから,(2)の扱いだ.(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)”と そして、”しかし,素朴に,無限族を直接扱えないのか? 扱えるとすると私たちの戦略は頓挫してしまう.”とも 記事の結論として、”勝つ戦略なんかある筈ない,と感じた私たちの直観は,無意識に(1)に根ざしていた,といえる. ふしぎな戦略は,確率変数の無限族の独立性の微妙さをものがたる, といってもよい”と締めくくっているのだった 2.言いたいことは、”コルモゴロフの拡張定理”を使えば、この時枝解法が成り立つという主張にはなってないってこと 3.そして、”コルモゴロフの拡張定理”を使ってブラウン運動を記述できるなら、ブラウン運動こそ、”他から情報は一切もらえない”を実現しているように思えるのだが?
16 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:42:02.18 ID:Bct9UQQT.net] >>14 rio2016.2ch.net/test/read.cgi/math/1466279209/12 さて、時枝記事についての過去スレの議論をまとめておこう 私スレ主は、時枝解法は成り立たないと思っている。その理由は次の通り 1.時枝自身が「n番目の箱にXnのランダムな値を入れられて,ある箱の中身を当てようとしたって,・・・当てられっこないではないか−−他の箱から情報は一切もらえないのだから.」と つまり、時枝自身が認めているような、”ランダムな値”が可能なら、時枝解法の反例成立 2.さて数学から離れて、自然界には”乱数”というものがある。 例えば右のサイト 「乱数列」https://ja.wikipedia.org/wiki/%E4%B9%B1%E6%95%B0%E5%88%97 そういうものから、ランダムな値を発生させることが可能だと 3.数学界でも、ブラウン運動の数理がある。>>xxの引用とか、過去スレ www.math.u-ryukyu.ac.jp/~sugiura/2010/sde10.pdf 数理解析学特別講義T確率微分方程式 杉浦誠 琉球大 2010 で、「コルモゴロフの拡張定理→ブラウン運動という流れ」が説かれている。強調したいことは、>>6 の「コルモゴロフの拡張定理を使って、完全にランダムな」状況を構成したと
17 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:43:30.80 ID:Bct9UQQT.net] >>15 つづき rio2016.2ch.net/test/read.cgi/math/1466279209/15-17 4.ところで、>>6 の”いったい無限を扱うには,(1)無限を直接扱う,(2)有限の極限として間接に扱う,二つの方針が可能である.”という話から、数学的帰納法の話が過去スレで盛んになった 数学的帰納法の話は、まだ決着しておらず、進行中だ 5.過去スレで、Tさんは、”独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく”過去スレ>>242 という予想を立てて、時枝解法は成り立つと主張した 対して、私スレ主は、過去スレ>>290 に示すように、Tさんの予想が成り立たないことについて、証明らしいことを書いた。これのフォローは過去スレ>>291 >>293に書いた (証明の骨子は、”時枝の定義:「確率変数の無限族は,任意の有限部分族が独立のとき,独立,と定義される」”から、”互いに情報を得られない”=”互いに独立”=”独立”、と3つの用語が同義であるとして、矛盾を導くもの) 6.残念ながら、過去スレ>>290 の証明に突っ込みが無いけど(^^;
18 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:44:11.80 ID:Bct9UQQT.net] >>16 つづき 7.さて、私は、時枝解法を過去スレ>>163 で、「時枝パラドックス」名付けた パラドックスの意味は、過去スレ>>228 パラドックスとは https://ja.wikipedia.org/wiki/%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9 での狭義「論理的な矛盾」としたい 9.ここら辺りから、過去スレ>>173 数学と無限 無限のパラドックス 2007年 渕野昌(中部大学) fuchino.ddo.jp/chubu/method-math-WS06-hoko-inf.pdf から P17”帰納法を含まない数学は矛盾しない (フォン・ノイマン,小野勝次etc.).不完全性定理(K. ゲーデル1931) 帰納法を含む数学が矛盾しないことは証明できない(ことが証明できる).ほとんどの数学理論は矛盾しないことが,上のゲーデルの定理の仮定している立場を弱めると証明できる(K. ゲンツェン,竹内外史etc. )” という話になって、数学的帰納法の話に発展した。 10.まあ、”数学的帰納法に反例がある”と皆が真顔でいうから、こっちらも脳波がくるってしまった。みなさん、人がわるいから、乗せられてしまった(^^; 数学的帰納法は、よく調べると、過去スレ>>330 https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E7%9A%84%E5%B8%B0%E7%B4%8D%E6%B3%95 数学的帰納法 にあるように、「ペアノ算術などの形式な体系では、数学的帰納法を証明に用いてよいことが公理として仮定されるのが普通である。 つまり、形式的には、自然数の性質から数学的帰納法の正しさが証明できるのではなく、逆に自然数の本質的な性質を与える推論規則として数学的帰納法が仮定される、ということになる。」と 勉強になりました。m(_ _)m
19 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:46:23.70 ID:Bct9UQQT.net] sage
20 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:46:36.76 ID:Bct9UQQT.net] >>17 つづき 11.以上、時枝パラドックス(論理的な矛盾)について述べてきたが、では、解法のどの部分に問題があるのか? 思うに、過去スレより ”現代確率論からすれば、測度論(完全加法族)をベースとして、確率が基礎づけられなければならない ところが、時枝のの無限の実数列のしっぽの同値類から商集合をつくって、代表元から決定番号を決め、確率を論じるところで 時枝がで、カミングアウトしているように、「R^N/〜 の代表系を選んだ箇所で選択公理を使っている.その結果R^N →R^N/〜 の切断は非可測になる.」と まあ、「非可測になってますよ」というベースで、果たして正確に確率が計算できるのかどうか? そういう目で見ると、”この仮定が正しい確率は99/100”>>4 のところが、直観に頼ってしまって、実は数学的な証明がなされていないことに気付く いま私が考えているのは、時枝パラドックスで、一番あやしい部分がここじゃないかと(^^;” 12.あと、無限数列のしっぽによる同値類分類も、従来の数学では見ない斬新な(皮肉に言えば奇妙奇天烈な)同値類分類 無限数列のしっぽによる同値類分類の数学的意味(例えばそれで何が言えるのか?)が、分からないので、 過去スレ の”数学考究2 確認小テスト解説(10-8) 落合理 大阪大学 20151008” www.math.sci.osaka-u.ac.jp/~ochiai/kaitou_short_exam151008.pdf なども読んだ 「係数が無限個0 でないものもゆるす形式的べき級数K[[X]] を考えると, V = K[[X]] もK ベクトル空間であるが, 次元は非可算無限である.」という いやはや、難しい。”次元は非可算無限”? なんとなく分かったような分からないような 13.従って、いま思っているのは、無限数列のしっぽによる同値類分類という奇妙奇天烈な手法と、「非可測になってますよ」というベースで決定番号の確率を計算するという数学的に未証明な部分との隙間に、トリックがあるのかなと 以上過去スレからの”時枝パラドックス(論理的な矛盾)”の現状まとめでした
21 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:48:00.45 ID:Bct9UQQT.net] 過去スレより rio2016.2ch.net/test/read.cgi/math/1495860664/77-79 >そもそも「箱入り無数目」の記事に対して間違ってるという人が >記事の問題の設定から矛盾を導く証明を示す義務があると >思ってます 1.一つは、それは双対だな(下記)。世間的でいう、お互いさま 2.批判・批評は表現の自由だ。というか、数学から批判・批評の精神が無くなったらまずいだろうよ・・(^^ 3.また、正しいことが、世間に理解されるのに時間が掛かることがある。しかし、正しければ、時間は掛かっても、徐々に理解が浸透する場合が多い。今回の時枝記事ガセもそうなるだろうし、現実にそうなっている 4.時枝正という”えらーい”権威のある先生が、数学セミナーという主に大学1〜3年向けの雑誌に記事を書いた。結構怪しい内容でね。書いている本人が半信半疑のような書き方なんだ〜(^^ こっちは、それに食いついたんだ〜(^^ 5.みんなが権威に負けて、記事を盲信しているときに、一人それを批判してこそ値打ちがあるというもの。記事を盲信しているが多ければ多いほど、こっちとしては面白いんだ(^^ https://ja.wikipedia.org/wiki/%E5%8F%8C%E5%AF%BE (抜粋) 双対とは、互いに対になっている2つの対象の間の関係である。2つの対象がある意味で互いに「裏返し」の関係にあるというようなニュアンスがある。 目次 1 数学における双対概念 1.3 論理の双対 1.6 圏の双対 下記単なるTV番組だが・・、正解者が少ない問題で正解するところに値打ちがある(^^; https://ja.wikipedia.org/wiki/%E6%97%A5%E6%9C%AC%E4%BA%BA%E3%81%AE3%E5%89%B2%E3%81%97%E3%81%8B%E7%9F%A5%E3%82%89%E3%81%AA%E3%81%84%E3%81%93%E3%81%A8_%E3%81%8F%E3%82%8A%E3%81%83%E3%82%80%E3%81%97%E3%81%A1%E3%82%85%E3%83%BC%E3%81%AE%E3%83%8F%E3%83%8A%E3%82%BF%E3%82%AB!%E5%84%AA%E8%B6%8A%E9%A4%A8 日本人の3割しか知らないこと くりぃむしちゅーのハナタカ!優越館 概要 2015年1月9日23:15 - 翌0:15に放送された単発番組『日本人の3割しか知らないこと ワリサン』が好評だったことから、レギュラー化された[1]。
22 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:48:42.27 ID:Bct9UQQT.net] 過去スレより再録 rio2016.2ch.net/test/read.cgi/math/1492606081/239 239 自分:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/04/26(水) 09:42:54.35 ID:HKIfusLx 前ふりで、確率論、下記をどうぞ www2.math.kyushu-u.ac.jp/~hara/index-j.html 原隆(数理物理学)のホームページ 九州大学 www2.math.kyushu-u.ac.jp/~hara/lectures/lectures-nagoya.html 前任校にて原の担当していた学部・大学院の講義について紹介します.2004 www2.math.kyushu-u.ac.jp/~hara/lectures/03/agora03.pdf 確率論で見る自然現象 数学アゴラ 高校生向け 講義ノートの改訂版 原隆2003 www2.math.kyushu-u.ac.jp/~hara/lectures/02/grad_pr02.html 確率論 I,確率論概論 I 学部4年・大学院向け,2002年度春学期 www2.math.kyushu-u.ac.jp/~hara/lectures/02/pr-grad-all.pdf 確率論 I,確率論概論 I 講義のレジュメをまとめたもの (2002.10.08) www2.math.kyushu-u.ac.jp/~hara/lectures/02/omni02.html 確率論(オムニバス)の一部 2003 www2.math.kyushu-u.ac.jp/~hara/lectures/02/omnibus030120.pdf 確率論(オムニバス)原の担当分の講義ノート,暫定版 (2003/1/20)(2002 年秋学期,名大三年生向け)
23 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:49:25.00 ID:Bct9UQQT.net] >>21 つづき 過去スレより rio2016.2ch.net/test/read.cgi/math/1492606081/240 (抜粋要約) 2017/04/26 で困るのは、確率論の常識がないってこと 時枝問題(「箱入り無数目」数学セミナー2015.11月号) rio2016.2ch.net/test/read.cgi/math/1466279209/2-6 ・箱がたくさん,可算無限個ある ・そこに、私がまったく自由に実数を入れる ・もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか? ・時枝記事の結論:勝つ戦略はある ・閉じた箱を100列に並べ、無限数列のしっぽで同値類分類する方法で。100列でなく、もっと増やせる ところで、”まったく自由”だから、>>239 で引用した確率論のランダム現象の数理と真っ向対立する ランダム現象の数理を利用して、私が実数を入れたとする。当然、どの箱の数もランダムで、どう並べ替えようとランダムだろう もし私が入れる実数を見ていないとか、あるいは、箱にはなんの目印もなく並べ替えたら外見からは違いが分からない・・ まあ、並べ替えたら、なにがなんだか、入れた私にも分からない・・。当てられるはずがない・・ とまあ、”まったく自由に”だから、>>239 で引用した確率論のランダム現象の数理と真っ向対立するんだ そういう、確率論の常識がないってこと そこらの事情を端的に言ったのが、”確率論の専門家”さん ところが、High level people たち、確率論の常識がないから、彼の言っていることが真に理解できてないんだろう。そのときは、平伏していたのにね・・ で、考えてみると、この記事のネタは、「無限数列のしっぽで同値類分類する方法」ってところが、笑いの肝(キモ)なんだろうね 大学数学科1年とか2年で、無限をおそわって代数の商集合(同値類分類)が、ちょっと分かってきたあたりの人に受ける でも、大学数学科3年とか4年で、確率論の常識が分かると、もう面白くもなんともない 当時チョウチンをつけていた大学数学科1年とか2年たち、進級してレベルアップしていったんだろう (High level people たちは)大学数学科など、良質な情報に触れる機会もないから、いつまでもそのままだ・・ それが分からない人たちは、どうぞ、スレ28 へ
24 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:51:29.16 ID:Bct9UQQT.net] 過去スレより rio2016.2ch.net/test/read.cgi/math/1495369406/562 2017/05/26 さて、 1.過去1年半ほど、このスレで「時枝記事はガセか、正しいか」で議論してきた。いまさら、堂々巡りのような気がする今日この頃 2.で、2017/01/02(月)に、High level people たち、スレ28を立てた rio2016.2ch.net/test/read.cgi/math/1483314290/ だ 3.だから、棲み分けしませんか? ”記事は正しい”と思う人は、どうぞスレ28へ。そして、中断されている”記事は正しい”の議論を数学的に完成させてください (完全な証明までは求めません。が、証明のあらすじでも可。但し、分散されたレスをつなぎ合わせないと分からない状態ではなく、連続したまとめスレを作ってもらえればありがたい。だれが見ても分かり易いというのが理想だ。) 4.こちらのスレ32などでは、「時枝記事が成り立たないことを前提として、時枝記事がなぜ成り立たないか? なぜ、成り立つように見えるか」を議論したい。 確率論については、例えば、>>12 に示した原隆先生”確率論 I,確率論概論 I 講義のレジュメ”PDFの最初の方を参照して貰えば良い(これに限らないが出典明示で可) www2.math.kyushu-u.ac.jp/~hara/lectures/02/pr-grad-all.pdf 例えばP25より 抜粋 「2.4.1 無限直積空間の構成(少しadvanced) 2.1.1 節で有限個の確率空間の直積を定義した.ここでは無限個の確率空間の直積が必要にな る.つまり,確率空間の無限列(Ωi,Fi, Pi) (i = 1, 2, 3, . . .)の直積(Ω,F, P) を作りたい.しか し,2N は非加算無限(!)であるため,有限個の時のようには構成できない.そこで,以下の ように可測集合を限定して作っていく. 定義2.4.2 (無限個の確率空間の直積) 確率空間の無限列(Ωi,Fi, Pi) (i = 1, 2, 3, . . .)の直積 (Ω,F, P) は以下のように構成する. ・・ ようやく,大数の強法則の正確な意味を理解できるようになった.つまり,大数の強法則では, 上のようにして構成した確率空間で考える.その結果,この確率は1 である(つまり,SN/N がμ に概収束する),と主張している」 辺りが、一つの議論の手がかりかと思う (もっとも、こちらは、確率論の専門家ではないので、あまり深い議論はついて行けないと思うが・・(^^;
25 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:52:22.95 ID:Bct9UQ
] [ここ壊れてます]
26 名前:QT.net mailto: sage [] [ここ壊れてます]
27 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:52:31.37 ID:Bct9UQQT.net] >>23 過去スレより再掲(無駄な議論の繰り返しを避けるために) rio2016.2ch.net/test/read.cgi/math/1492606081/101 101 自分:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/04/23(日) 07:53:46.56 ID:cvHfhso/ [5/35] (抜粋) まあ、時枝問題については、High level people たちは、”確率論の専門家”が来たとき、平伏していたんだよね(下記 2016/07/04) それを忘れて、”確率論の専門家”が居なくなったら、また「時枝記事正しい」とか言い出したんだ・・(^^ 過去スレ 20 rio2016.2ch.net/test/read.cgi/math/1466279209/541-565 (抜粋) 541 名前:132人目の素数さん[sage] 投稿日:2016/07/04(月)
28 名前:00:04:35.65 ID:hgUPmIoq [1/10] >>538 > 可算族に対しては(1)も(2)も同値となる ありがとう、勉強させてもらった このスレにはそこまで理解している人間はいなかった 貴方がもっと早く現れていれば無駄な議論を重ねずに済んだのだが 542 名前:132人目の素数さん[] 投稿日:2016/07/04(月) 00:06:31.30 ID:1JE/S25W [1/3] 時枝氏の主な主張は次の2つだろうだろう 1. 確率論を測度論をベースに展開する必要が無い 2. 無限族の独立性の定義は微妙 しかし1に関していうと時枝氏の解法は,現在の測度論から導かれる解釈のほうが自然. (当てられっこないという直感どおり,実際当てられないという結論が導かれる) 2に関して言うとそもそも時枝氏の勘違い. 時枝氏の考える独立の定義と,現代の確率論の定義は可算族に対しては同値である つづく [] [ここ壊れてます]
29 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:53:19.46 ID:Bct9UQQT.net] >>25 つづき rio2016.2ch.net/test/read.cgi/math/1466279209/541-565 544 返信:132人目の素数さん 2016/07/04(月) 00:19:16.71 ID:EwZDjjf/ >>542 >2に関して言うとそもそも時枝氏の勘違い. >時枝氏の考える独立の定義と,現代の確率論の定義は可算族に対しては同値である ここに関しては「任意の有限部分族が独立のとき、独立」という定義そのものが有限の極限として扱うって立場だろうってことだと思う だから同値なのは当たり前 そうじゃなくて"有限個のときみたいに無限個を全部眺めて独立性を判断する"ような扱いをすれば直観に根ざした結論が得られるだろう …と思ったけど(1)と(2)の二つの方針が可能であるって言ってるから読み違えてる気がしてきた 545 名前:132人目の素数さん 2016/07/04(月) 00:42:34.67 ID:hgUPmIoq [3/10] >>542 時枝氏の考察の不備はともかく、パラドックスの出来は秀逸だと思ったが。 貴方みたいに確率論に詳しいと全く面白くないのだろうか笑 564 名前:132人目の素数さん[] 投稿日:2016/07/04(月) 22:05:22.22 ID:1JE/S25W [3/3] >>563 ごめん,少し誤解があった 時枝氏の方法は「確率は計算できない」が今の確率論の答えだと思う. 確率0というのは,可測となるような選び方をしたら,それがどのような選び方でも確率は0になるだろうってこと 残す番号を決める写像Nが可測で,また開けた箱から実数を決める写像Yが可測ならば P(X_N=x)=0が導かれるだろう 565 名前:132人目の素数さん 2016/07/04(月) 22:43:48.47 ID:hgUPmIoq >>564 レスありがとう ここから先、話が数学的ではなく恐縮なんだけど、 率直にどんな感想をもつか貴方のコメントがもらえたらと思う (以下略) (引用終り) 103 自分返信:現代数学の系譜11 ガロア理論を読む 2017/04/23(日) High level people たち、数学的でない話をしているんだ・・(^^ だったら、スレ 28でやってくれよ。 28 (High level people が時枝問題を論じるスレ) (引用終り) まあ、要するに、話は全く逆で、数学的には一度決着している それを、非数学的な話で蒸し返しているのが、High level people たちなんです(^^
30 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:54:43.23 ID:Bct9UQQT.net] >>26 つづき 過去スレより rio2016.2ch.net/test/read.cgi/math/1495860664/145 全く立場が逆ですよ。 素人さん:(文系)High level people =(文系)High level people : 時枝記事ガセ(スレ主) 追伸 繰り返しますが、どうぞ、スレ28で証明を完成させてください。きちんと、確率変数の定義から初めてね・・(^^ 証明を完成を待って、スレ28で、証明のギャップ探しと指摘をさせて頂きますので、よろしくね・・(^^ rio2016.2ch.net/test/read.cgi/math/1495860664/162 大学レベルの確率論の初歩を学んだ人には分かるように書いて行くつもりだ(^^ もっとも、私自身は、本当の専門レベルにはとても到達しない初歩の初歩だけどね(^^ まあ、私がHigh level people との議論に参加する場合は、下記2つだけだ 1.スレ28ないしこのスレでも良いが、君たち自信が納得できる時枝解法成立の数学的証明がそれなりに完成したとき(完全でなくともあらすじでも可) 2.時枝解法不成立が理解できて、その上で「なぜ成立するように見えるのか?」の議論になったとき それ以外では、時枝解法を
31 名前:論じるための大学レベルの確率論の初歩を学んだとは言えないだろう 議論が無駄 [] [ここ壊れてます]
32 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:56:10.44 ID:Bct9UQQT.net] >>27 つづき rio2016.2ch.net/test/read.cgi/math/1495860664/274 古いがスレ17より、下記再録(『箱入り無数目』のスレ全体の最初の書き込みだ) wc2014.2ch.net/test/read.cgi/math/1448673805/ 314 名前:132人目の素数さん[sage] 投稿日:2015/12/20(日) 11:37:12.83 ID:d5oIGObW [1/10] 数学セミナー2015年11月号の記事『箱入り無数目』より要略 --------- [問題] 可算無限個の閉じた箱がある。1つの箱には1つの実数が入っている。 貴方は1つの箱を選び、それ以外の全ての箱を開いて中の数字を見ることができる。 貴方は選んだ箱の中の数字を当てることができるか? 答えは『(選択公理を用いて)できる』。 しかし直観的には不可能だ。各々の箱の数字は独立なのだから、 ある1つの箱について他の箱から意味のある情報が得られる訳がない。 この戦略は選択公理を用い、非可測集合を経由する。それがイケナイと片付けるのは面白くない。 筆者には確率変数の無限族の独立性の微妙さを物語っているように思える。 --------- (引用終り)
33 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:56:48.22 ID:Bct9UQQT.net] >>28 つづき これは、High level people の一人、当時私が”TA”さんと呼び、その後自称”T”となり、いま名無しにして正体を隠す その人が書いたもの まあ、要約すると、下記 1.時枝先生は「箱の中の数字当ては、『(選択公理を用いて)できる』」と 2.「直観的には不可能だ。各々の箱の数字は独立なのだから、ある1つの箱について他の箱から意味のある情報が得られる訳がない。」(これが、普通の可測集合による現代確率論の結論) 3.「この戦略は選択公理を用い、非可測集合を経由する。それがイケナイと片付けるのは面白くない」「確率変数の無限族の独立性の微妙さを物語っているように思える。」 と で、これは、このままでは数学ではない。随想文学だろう だから、おとぎ話か、与太記事だと 2016/07/03(日) に、確率論の専門家さんがやってきて、時枝の勘違いだと、結論を下した で、数学的に正しいというなら、非可測集合を経由する確率論を作るか、あるいは、どこか外国にでもそのような確率論があれば、引用して スレ28で、時枝解法成立の証明をすれば良い(^^ それが出来ないものだから、他人を攻撃してばかり。それ、文系ならディベートだが、数学では無意味。他人を論難しても自分の証明の代用にはならないぜ(^^ おわり
34 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:57:49.06 ID:Bct9UQQT.net] sage
35 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 18:57:55.13 ID:Bct9UQQT.net] >>30 つづき rio2016.2ch.net/test/read.cgi/math/1495860664/279-280 279 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/05/29(月) 17:19:52.45 ID:IKiw8fcW [22/58] 多分、なんか人違いしていると思うけど・・(^^ >>判別する方法(実行方法)が与えられていない >そもそも「実行可能性」については言及してないので 全文引用しておくよ(^^ https://rio2016.2ch.net/test/read.cgi/math/1483075581/6 6 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2016/12/30(金) 14:29:01.59 ID:zFouRTR2 [6/23] 前スレより 651 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2016/12/03(土) 18:40:32.23 ID:6Rgz8i9T [39/39] 時枝記事の問題点>>114-115 を、まとめておく 1.そもそも、可算無限の数列のしっぽなんて、「同値から推移律確認! はいおわり」 それですむ話じゃないだろう 2.コーシー列はヒルベルト空間内だが、時枝記事のR^Nはヒルベルト空間外。ヒルベルト空間外の数列は扱いが難しい。ま、そこらがトリックのネタだろう 3.”しっぽが一致する”を実際の数列について、判別する方法(実行方法)が与えられていない(絵に描いた餅だ。数列の最初から見て行っては終わらない) 4.決定番号があやしい。特に、決定番号の確率分布がすそが重い(超ヘビー)確率分布になるから、99/100が言えない(∵大数の法則も中心極限定理も不成立だから) 5.さらに、確率分布の変数として、決定番号を見たときに、定義域は[1, ∞)となる。だから、∞まで考える必要がある。この点からも、99/100は簡単に言えない 6.0〜9の数を箱に入れる極簡単なミニモデルでも、可算無限数列のしっぽは、現代数学では扱えない (このミニモデルでは、実数の無限小数
36 名前:展開と平行して論じられるので、便利なのだが) まして、任意の実数が箱に入る場合(つまり1つの箱に連続無限大の自由度があるモデル)においておや (引用終り) これ、「私は、時枝記事が成り立たないことを前提として 時枝記事がなぜ成り立たないか? なぜ、成り立つように見えるか」 という視点から見ていることを忘れないで下さいね(^^ [] [ここ壊れてます]
37 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:16:35.76 ID:Bct9UQQT.net] 過去スレより rio2016.2ch.net/test/read.cgi/math/1495860664/366 2017/05/30 (抜粋) >>330 >数学科で習うようなペダンティックな理論は無駄でしょう >>337 >ええ、あなたは工学屋らしく解析学やってればいいんじゃないですか? >>351 >仕事の役に立たないからやめときな >ガロア理論知っても代数方程式は解けない (まとめレス) 1.あなたは、数学科卒業生で、中学高校の数学教師の資格だが、教師だったことはありませんと 2.で、いま仕事についているのか、はたまた、その仕事では数学が生かせていないのか不明だが、まあ、少なくとも仕事の経験はあるんでしょうね 3.”仕事の経験はある”前提で話をすると、”仕事に役立つ数学”だけを勉強するということは、非常に困難だと分かるでしょ? 未来予測的中が必要だから・ 4.数学など、一つ上のレベルを勉強しておくことが、有利に働く場合は多い。例えば、高校数学で微積をやってもそれだけ使える人は少ない。大学レベルの勉強をすると、高校レベルが易しく見えるだろう 5.また、現実の社会で起きる課題は、試験問題とは違って、問題を数学の俎上に乗せることからやらないと行けない場合が多い (試験問題みたいに、綺麗な式が与えられていたり分かっている場合はまれ) 6.時代が変われば、要求される数学の質や量が異なる。例えば、エクセルが普及して、高等関数は使い易くなった。が、数学の知識がないと式が組めないだろう 7.さらには手作りの数学が必要になる場合もある。例として、有限要素法だとか。また、大規模マトリックスの効率的計算アルゴリズムの設計とかね 8.企業では、短期間に自分の直面する問題の知識を仕込まないと行けない場合が結構ある(一夜漬けともいう*))。数学でも同じだ。数学のレベルを高めておくと、「短期間に」という部分が可能になる *)試験で言えば、カンニング的な、問題文を読んでから教科書の該当箇所を見て答えを書く。教科書の該当箇所を正確に見つけて、正確に当てはめをする必要があるね まあ、そうことで、目先の役に立つ勉強も大事だが、理系にとって、数学は上記のように、仕事が密接に数学と関係しているので、数学を勉強しておくメリットはあるんだよね(^^ まあ、自分の趣味と実益とを兼ねてね(^^
38 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:17:52.94 ID:Bct9UQQT.net] 過去スレより rio2016.2ch.net/test/read.cgi/math/1495860664/372 372 自分:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/05/30(火) 06:07:59.51 ID:fHaelpbN >>216 >ID:PqWMwFYKさん 今更ですが >どうも見当違いなことばかり言って申し訳ない >やはり記事をコピーして読むべきでした >でもおかげで「箱入り無数目」のトリックがよく理解できた・・・気がします(笑) 納得したんですかね? で、結論は下記ですか? 『「矛盾」してるまでの証明は必要ありません 論理の飛躍を指摘すれば十分です 時枝氏の出した確率99/100は大きな論理の飛躍です なぜなら可測関数に対してのみ主張できる結果を、証明なしに非可測関数に適用しているからです』>>120 『非ユークリッド幾何学は実際に構成できたから認められたわけなので 「箱に入れる確率変数列X_1,
39 名前:X_2,...,は独立同分布である」 「どの列が最大長になるか同確率」 を同時に満たすようなモデルがあってはじめて意味をなすでしょう』>>139 『つまり構成できないんですね。 与太話をどうもありがとうございました ちなみに 「箱に入れる確率変数列X_1,X_2,...,は独立同分布である」 であればいくらでも構成できますよ。 どちらが数学的に優れているか明らかですね』>>201 ってことですかね? ID:PqWMwFYKさんの主張通りだと [] [ここ壊れてます]
40 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:18:30.87 ID:Bct9UQQT.net] 過去スレより rio2016.2ch.net/test/read.cgi/math/1495860664/382-383 382 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/05/30(火) 07:21:48.08 ID:fHaelpbN [10/42] >>379 つづき 過去スレより rio2016.2ch.net/test/read.cgi/math/1495369406/443 443 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/05/25(木) 07:19:19.14 ID:/bwT01kG ID:1maZ/hoI、表示名:One Stone Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets には サイコパス対策 ・サイコパスの存在を忘れない ・相手の肩書きに惑わされない ・不要な競争心・正義感を持たない が効きそうだな サイコパスは、適当に流す(スルー)か・・ 383 自分:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/05/30(火) 07:27:47.86 ID:fHaelpbN [11/42] どうも。スレ主です。 One Stone 様 (現 Une Pierre Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets)ではないと? それは失礼しましたm(_ _)m サイコ的攻撃性が全開だったのでつい・・
41 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:19:06.28 ID:Bct9UQQT.net] 過去スレより rio2016.2ch.net/test/read.cgi/math/1495860664/388 388 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/05/30(火) 09:03:29.38 ID:fHaelpbN [15/42] 独り言だが ・問題提起は、>>120 ”時枝氏の出した確率99/100は大きな論理の飛躍です なぜなら可測関数に対してのみ主張できる結果を、証明なしに非可測関数に適用しているからです”と ・この問題意識は、時枝氏も持っていて、>>103 から下記引用542ご参照 ”542 名前:132人目の素数さん[] 投稿日:2016/07/04(月) 00:06:31.30 ID:1JE/S25W 時枝氏の主な主張は次の2つだろうだろう 1. 確率論を測度論をベースに展開する必要が無い 2. 無限族の独立性の定義は微妙 しかし1に関していうと時枝氏の解法は,現在の測度論から導かれる解釈のほうが自然. (当てられっこないという直感どおり,実際当てられないという結論が導かれる) 2に関して言うとそもそも時枝氏の勘違い. 時枝氏の考える独立の定義と,現代の確率論の定義は可算族に対しては同値である” (引用終り) ・そして、時枝氏自身は、記事の中では、上記1と2の証明は与えていない ・だから、非可測集合を用いても良いということが、明確になるような議論がありがたいね。「xxだから、非可測集合を用いても良い!」という明言がないのさびしいね(^^ (Q「なんで、現代確率論は、主に可測集合限定なんですかね?」 A「可測集合限定でないと、どこかに矛盾が生じる可能性大だから・・」ということじゃないかね) あっ、単なる独り言です。気になさらないで下さい(^^
42 名前:132人目の素数さん [2017/06/04(日) 19:22:37.61 ID:K0KJBfWm.net] だから、時枝解法は別に不思議じゃないでしょ。 s〜r となる代表元r∈R^N が選べる、とされてるんだから。 一般的には神にしかできないようなことを認めている。 あとは決定番号で、選択公理によりあらかじめ決まっている はずの決定番号以降の箱さえ選べばいい。確実に決定番号 より大きくするためには∞としたいが、有限値を選ぶ 必要があるという点がジレンマ。 そこを、もとの列を100列に分解することで99/100の 確率でクリア。この確率計算に測度論は不要だろう というのが、前スレの議論。
43 名前:132人目の素数さん [2017/06/04(日) 19:24:35.76 ID:K0KJBfWm.net] 数理論理が専門の"カレ"の問題意識は 選択公理を認める限り時枝解法は成立するのだから それがイヤなら 「無限類の強力な独立性」の”新公理” を示せ、というもの。一理あると思う。 スレ主は、最初に「不成立」と思い込んでるから そこから離れなれない、頭が固いと思う。
44 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:26:09.01 ID:Bct9UQQT.net] 過去スレより rio2016.2ch.net/test/read.cgi/math/1495860664/478-479 478 2017/05/31 独り言 「可算無限等確率測度が存在しないことの証明 Nを自然数全体の集合とします。 n∈Nに対してP({n})が一定となるような確率測度Pが存在するとして矛盾を示します P({n})=pとおきます p>0のときは測度の可算加法性よりP(N)=∞ p=0のときも測度の可算加法性よりP(N)=0 いずれにしてもP(N)=1を満たさないので矛盾。(終わり)」 まあ、これは、伝統的なコルモゴロフ流確率論の枠内。だが、いま時枝問題は、コルモゴロフ流確率論の枠を外して議論しないと行けないんじゃなかったか? 例えば、下記、デルタ関数を用いた測度の拡張が可能だ。上記の証明は、まさに、「デルタ関数の積分がルベーグ積分として理解できない」という議論と相似だろう?(^^ ogyahogya.hatenablog.com/entry/2014/10/14/%E7%A2%BA%E7%8E%87%E6%B8%AC%E5%BA%A6%E3%81%A8%E5%BC%B1%E5%8F%8E%E6%9D%9F 確率測度と弱収束 2014-10-14 id:ogyahogya 北見工業大学 特任助教 (抜粋) ヘビサイド関数からディラック測度が定義されたのでいくつかのヘビサイド関数の凸結合から定義される確率測度は重み付けられたディラック測度というような感じになっています。ディラックのデルタ関数はディラック測度から定義された確率密度関数とみなすことができます。 ガウス分布の確率密度関数は分散を0に限りなく近付けるとディラックのデルタ関数ぽいと前の記事で紹介しましたが、ガウス測度はディラック測度に収束することが示せます。ただし、収束は次のように弱収束の意味です。 www.wikiwand.com/ja/%E3%83%87%E3%82%A3%E3%83%A9%E3%83%83%E3%82%AF%E3%81%AE%E3%83%87%E3%83%AB%E3%82%BF%E9%96%A2%E6%95%B0 ディラックのデルタ関数 Wikiwand (抜粋) デルタ関数は、通常の関数であるかのように扱われることも珍しくないが、実際には通常の意味の関数と見なすことはできない。 デルタ関数の特徴付けに用いられている積分が、通常の関数の(広義)リーマン積分やルベーグ積分として理解されるならば、このような関数の積分は恒等的に 0 に等しい関数を積分するのと同じであり積分値は 0 になる。したがって、このような条件を満たすような通常の関数は存在しない。
45 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:27:13.58 ID:Bct9UQQT.net] >>38 つづき 479 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/05/31(水) 17:36:59.20 ID:105ZXXC5 [13/18] >>478 つづき 以前のスレでも書いたが、ある国の宝くじで、母数をNとし、当たりくじの番号をPiとする。当たりくじは簡単に1枚とする。当たる確率pは、p=1/Nだ。 だが、当たりくじ1枚は必ず存在する。だから、Σ1/N=1 ここで、極限N→∞を考えると、p→0 で Σ1/N=1は変わらず これは、伝統的なコルモゴロフ流確率論の枠内には収まらない。上記証明の通りですね だが、北見工業大学 特任助教が書いているような、デルタ関数を使った確率論を考えたら、正当化できるんじゃないかな? もっとも収束の意味が、上記弱収束の意味になるかも まあ、証明しろと言われても困るがね(^^ 証明ないし反証は、あんたたちに任せるよ(^^ ああ、スマン、独り言なので、気にしないで、議論は進めておくれ(^^ (ついつい、えらく長い超関数の前振り脱線スマン。”落ち”はこれだ。”落ち”の解説がいるとは白けるだろうが、重ねて謝っておく(^^)
46 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:28:11.78 ID:Bct9UQQT.net] >>39 つづき rio2016.2ch.net/test/read.cgi/math/1495860664/487-497 487 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/05/31(水) 21:07:01.66 ID:105ZXXC5 [18/18] >>480 どうも。スレ主です。 ディラック測度ねーと、慌てて検索すると・・、下記か! ああ、なるほどね。だが、これはコルモゴロフ流確率論の中とも解釈できるが、シュワルツ超函数を使う発想はコルモゴロフ時代にはなかったから、コルモゴロフ流確率論の拡張とも解釈できるんじゃないかな〜(^^; ともかく、>>479 の宝くじで、極限N→∞を考えると、p→0 で Σ1/N=1は変わらずで、これは確率論として数学的に正当化できるという結論でOKかな?(^^ ああ、独り言なので、気にしないで、どんどん議論は進めて下さいね(^^ https://ja.wikipedia.org/wiki/%E3%83%87%E3%82%A3%E3%83%A9%E3%83%83%E3%82%AF%E6%B8%AC%E5%BA%A6 ディラック測度 (抜粋) ディラック測度は確率測度であり、確率の言葉で言えば標本空間 X においてほとんど確実に x が起こるかどうかを
47 名前:表すものである。この測度を x における単原子元(英語版)と呼ぶこともある。 ただし、ディラックデルタを(デルタ列の極限として)点列で定義する場合には、ディラック測度を原子測度(atomic measure)として扱うことは正しくない。ディラック測度は X 上の確率測度全体の成すの凸集合の極値点(英語版)である。 その名称は、測度が特別な種類のシュヴァルツ超函数として得られるという事実に基づいての、(例えば実数直線上で定義される)シュワルツ超函数として考えたディラックのデルタ関数からの逆成である。 [] [ここ壊れてます]
48 名前:132人目の素数さん mailto:sage [2017/06/04(日) 19:28:52.21 ID:K0KJBfWm.net] >どこの馬の骨とも分からない人の発言は、数学的には無価値。真に価値があるのは、根拠のあるURLとそこからのコピペ 証明があって自分が理解すれば馬の骨の言うことでも信用するのが数学。 それができないひとは、結局権威に頼るしかない。
49 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:35:56.05 ID:Bct9UQQT.net] 過去スレより rio2016.2ch.net/test/read.cgi/math/1495860664/488-497 488 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/01(木) 10:03:54.42 ID:p8p+qXsU めんどくさい方たちだね(^^ まず>>7 をどうぞ。私は「時枝記事が成り立たないこと前提とするの部分が 共有できない人とは議論しません あしからず」だ そもそも、時枝の数学セミナーの記事の原文読んでるのか? 特に、>>486 さん、新しい人だろ? どう? そっから念押し確認したいね。記事の原文読んでない人と議論しても、空回りだろうと思うから? ここで、私に議論を要求するなら、数学セミナーの記事の原文を読んでほしいね。できれば、原文のコピーかPDFでも手元においてほしいね (もっとも、原則は上記「時枝記事が成り立たないこと前提とするの部分が 共有できない人とは議論しません あしからず」だが) それから、いままで、議論が続いていましたね。例えば、>>372 あれ、終わったんですか? 私は、ID:PqWMwFYKさんの主張通りだと思う。違う? ID:PqWMwFYKさ〜ん、納得してますか? 『時枝氏の出した確率99/100は大きな論理の飛躍です なぜなら可測関数に対してのみ主張できる結果を、証明なしに非可測関数に適用しているからです』>>120 のギャップは解消されたんですか? 見るところ、一向にギャップは解消されていないと思うがどうですか? 私は、見てみたいな〜、ギャップを解消した証明を。スレ28で(^^ 例えば、>>478 に引用したδ関数を使ったディラック測度とかなんでも結構だが、「非可測関数による証明」を、どうぞ! それが、時枝記事の本来の論旨だったでしょ?(^^ つづく
50 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:37:19.02 ID:Bct9UQQT.net] >>42 つづき 489 自分返信:現代数学の系譜11 ガロア理論を読む 2017/06/01(木) 10:05 >>488 つづき つぎ、私の主張は、前スレ46でも引用したが、下記 rio2016.2ch.net/test/read.cgi/math/1494038985/348 (部分編集あり) 348 返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/05/11(木) 07:03:11.91 ID:Xdy/KOT2 (抜粋) >>18 より (引用開始) で、話を簡単にするために、箱に入れる数を{0, 1}に限定しましょう。いわゆるブール値です 杉田先生のように、コンピュータを用いたモンテカルロ法でも良いし、実際に硬貨を使っても良い 箱に順番に、数{0, 1}(0か1のどちらか)をランダムに入れる。可算無限の数列ができる 100列に並び変える。ここは、空箱を100列に並び変えて、列名をR1〜R100として、各列先頭の箱に入れて、それが終われば各列2番目に・・・と繰り返せば、数学的には同じこと 各列R1〜R100が、ランダムであることは自明 で、時枝記事は、ある箱を確率99/100で当てる方法があるという。これは、ランダム数列のある箱(どの箱であれ)の確率1/2に反する 時枝は、この方法は、”非可測集合を経由したから、良いのだ〜”という (引用終り) どんな拡張された確率論であれ、ランダム現象や乱数列が定義され、それを扱うことができる 一方、時枝解法は、乱数列であっても、確率99/100で当てる方法があるという。が、その解法は、乱数列の存在に反する(反例が存在する) だから、私スレ主の立場は、可算無限長のランダム現象や乱数列が定義される確率論であれば、時枝解法に反例が存在するのだと それは、可測非可測を問わ
51 名前:クだ。極めてシンプルな話だ で、時枝解法成立を認める新確率論が出来るなら、ランダム現象や乱数列が定義から見直さなければならないだろうと思う そんな新確率論が、果たして可能なのか? 非可測まで拡張したらできる?? そう思うなら、スレ28へどうぞ。High level people 同士で存分に論じてください(^^; 一方で、”時枝解法に反例が存在する”ということを認めて、なぜ不成立なのか? なぜ成立するように見えるのか? その認識を共有できるなら、このスレで話し合う価値ありだと それが、私スレ主の立場です・・(^^ つづく [] [ここ壊れてます]
52 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:37:56.15 ID:Bct9UQQT.net] >>43 つづき 490 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/01(木) 10:05:57.91 ID:p8p+qXsU >>489 つづき rio2016.2ch.net/test/read.cgi/math/1494038985/397 (部分編集あり) 397 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/05/11(木) 22:47:57.42 ID:Xdy/KOT2 シカトー(^^ 1.このスレでは、時枝解法不成立を前提とした議論しか、しない! 2.時枝解法成立の議論は、スレ28でどうぞ。なお、時枝解法成立の証明は未完と認識している。なので、どうぞ証明を完成願います! <さて、上記を前提として>>348 の反例について> 1.>>348 の反例は、乱数列の定義>>32 から直ちに出る ”ランダム(Random)とは、でたらめ(乱雑)である事。何ら法則性(規則性)がない事、人為的、作為的でない事を指す。 通常、サイコロの目などのように、各出現項目の出現確率が均等もしくはほぼ均等である状態を意味する。”>>32 だ 2.だから、仮にもし箱にサイコロの目1〜6を入れるならば、当てられる確率は1/6となる。これは、確率論の乱数列の定義だ 3.一方、時枝解法が正しいとすれば、それは定理と呼ばれるべきものである。定義から演繹によって導かれるのが定理だ もし、定理が定義に反するなら、それは定理が間違っていることを意味する。逆はありえない! 定理を成り立たせたいなら、定義を変えるしかない。それが数学としての筋でしょ? 4.ところで、乱数列の定義をどう変えたら、サイコロの目で確率1/6であるべきところ、他の箱を開けて99/100で的中できる数学的定義が可能なのか? どうぞスレ28で、証明願います。証明を見てみたいです〜(^^ 繰り返すが、私スレ主の興味は、なぜ時枝解法が成り立たないのか? なぜ、成り立つように見えるのか? だ ”時枝解法不成立”を前提とした議論なら参加するが、そうでないなら、参加はしない どうぞ、(文系)High level people 同士で、スレ28で証明お願いしますよ つづく
53 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:38:47.06 ID:Bct9UQQT.net] >>44 つづき 491 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/01(木) 10:06:58.97 ID:p8p+qXsU rio2016.2ch.net/test/read.cgi/math/1495369406/372 372 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/05/24(水) 21:04:10.65 ID:REXSP3Fp (抜粋) 時枝正という権威に負けて、数学の是非が曲げられたらおかしいだろうと >>8 に書いたが、”私は、時枝記事が成り立たないことを前提として 時枝記事がなぜ成り立たないか? なぜ、成り立つように見えるか そういう議論には参加するが 時枝記事が成り立たないこと前提とするの部分が 共有できない人とは議論しません あしからず”というのが、私の主張だ 理由: 可算無限個の独立な確率変数 X1,X2,・・・Xi,・・・Xn n→∞ X1,X2,・・・Xi,・・・Xn n→∞が、時枝問題の可算無限個の箱に相当するとして良いだろう サイコロを振って、箱に数を入れる 数列 X1,X2,・・・Xi,・・・Xn n→∞で、 任意の箱には、確率1/6で、各1〜6の数が入る 箱の数を的中できる確率は1/6。これは、ほぼ定義通りだ ここに、時枝解法で99/100で的中できる箱をXiとしても、一般性は失わないだろう が、定義から、箱の数を的中できる確率は1/6だ。これは矛盾だろう。だから、反例が存在すると で、Xiは、定義より独立な確率変数だから、他の箱をどう並び変えようと、Xiは影響を受けない。独立は保たれるべき だが、High level people は、スレ 28 のレス52 ”数列が選ばれた時点で、各箱の独立性はなくなります”と主張する rio2016.2ch.net/test/read.cgi/math/1483314290/52 52 名前:132人目の素数さん[sage] 投稿日:2017/01/10(火) 23:12:29.26 ID:q3tPENQ6 (抜粋) 数列が選ばれた時点で、各箱の独立性はなくなります。 (引用終り) つづく
54 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:39:44.55 ID:Bct9UQQT.net] >>45 つづき 493 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/01(木) 10:11:02.21 ID:p8p+qXsU 補足 1.で、>>300 ですか? 何を書いているのか、理解出来ない部分が多いです。”昨日の議論”関連の部分は無
55 名前:汲オますよ(^^ 2.次に、”あなたは「絶対予測できない!」といいはってますが”については、私の主張は、正確には上記です。(解法が確率変数の独立の定義とぶつかってますよと) つまり、定義と定理(時枝ではまだ予想レベル)がぶつかった場合、まず定理の証明を(間違っていないかと)見直すべきではないか 3.それから、どんな(任意の)箱の数当て法であれ、それが定理として成立するならば、確率変数の独立の定義とぶつかるってこと 4.なお、「数列が選ばれた時点で、各箱の独立性はなくなります」は、良いところに着眼したと思うね 「Xiは、定義より独立な確率変数だから、他の箱をどう並び変えようと、Xiは影響を受けない。独立は保たれるべき」だ ところが、時枝解法が成立するなら、「数列が選ばれた時点で、各箱の独立性はなくなります」でなければならない。が、これは変だろう 5.なお、”無限族の独立性の定義”については、>>103 の”確率論の専門家”さんの定義を参照ください 6.また、上記1〜4項は、可測非可測無関係だというのが、私の主張です(時枝記事の説とは違います(時枝は可測非可測が問題だと)) つづく [] [ここ壊れてます]
56 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:41:53.87 ID:Bct9UQQT.net] sage
57 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:42:02.14 ID:Bct9UQQT.net] >>46 つづき 495 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/01(木) 10:15:44.68 ID:p8p+qXsU >>493 つづき 追加 1.サイコロによるミニモデル「任意の箱には、確率1/6で、各1〜6の数が入る」でも上記の通り>>491 2.では、”サイコロを、面がn個のルーレット 乃至 鉛筆転がしに変える”と、「任意の箱には、確率1/nで、各1〜nの数が入る」となる 3.そうすると、箱1個の的中確率は最初から確率1/nで、任意の自然数Nで考えるとn→∞で、箱1個の的中確率は最初からゼロ(可算無限分の1)。それが、99/100で的中だあ? 矛盾だろ! 4.さらに、もともとの問題は、任意の実数で可だった。”ルーレット 乃至 鉛筆転がしの面を、点で考え連続濃度と仮定する”と、上記同様、箱1個の的中確率は最初からゼロ(非可算無限分の1)。それが、99/100で的中だあ? もっと矛盾だろ!! 5.なお、確率分布については、>>279-280 もご参照 496 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/01(木) 10:18:45.51 ID:p8p+qXsU >>495 つづき 追加2 1.こう書いてきて、「なぜ不成立なのか? なぜ成立するように見えるのか? 」>>489 について、改めて考えてみると 2.>>491 に引用した「数列が選ばれた時点で、各箱の独立性はなくなります」(High level peopleさん)ってところがキモか 正確には、「しっぽの同値類の代表から決定番号を用いて、ある箱の数を当てられる」としたところのどこか。思うに、”可算無限”長さの列と関連しているところがキモだろうと 3.下記ID:1maZ/hoIさん、「ヒルベルトの無限ホテルと同様の感覚」は一致。が、結論が違う。私は「(実行可否とは別に)理論として不成立だ」(上記)と (参考) 前スレ rio2016.2ch.net/test/read.cgi/math/1495369406/251 251 132人目の素数さん 2017/05/24(水) ID:1maZ/hoI (抜粋) >時枝記事はガセ ではないけどな ただ人間技で実行できるか、といえばできない そういう意味ではバナッハ・タルスキの逆理みたいなもんだ (注:元になるハウスドルフの逆理はより直感的だから むしろヒルベルトの無限ホテルと同様の感覚) つづく
58 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:42:48.91 ID:Bct9UQQT.net] >>48 つづき 497 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/01(木) 10:23:20.42 ID:p8p+qXsU >>496 つづき 追加3 1.上記の私の説が”理解できるか否か”、あるいは”同意できるか否か”、その議論はもうこのスレでは結構だ。十分堪能したしね(^^ 2.この程度のことは、数学科3〜4年で確率論を学べばすぐ分かることだろうと思う 多分、私のレベルはそこまで(数学科3〜4年の確率論修得者まで)行っていないだろう 私より低レベルの人と議論しても、「分からん者同士の低レベルの議論」になり、無価値だとと思うからね・・(^^ 3.時枝解法が成立すると思うなら、どうぞスレ28へ。私は、見てみたいな〜、ギャップを解消した証明を。スレ28で>>488 (^^ スレ28 rio2016.2ch.net/test/read.cgi/math/1495369406/ 4.で、このスレでは、「”時枝解法に反例が存在する”ということを認めて、なぜ不成立なのか? なぜ成立するように見えるのか? その認識を共有できるなら、このスレで話し合う価値ありだと」 おわり
59 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:43:58.91 ID:Bct9UQQT.net] rio2016.2ch.net/test/read.cgi/math/1495860664/527-533 527 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/01(木) 21:46:57.30 ID:p8p+qXsU どうも。スレ主です。おれの立場は>>497 に書いた通り 特に、”私より低レベルの人と議論しても、「分からん者同士の低レベルの議論」になり、無価値だとと思うから”ってことで、悪しからず(^^ あとは、スレ28へどうぞ rio2016.2ch.net/test/read.cgi/math/1483314290/ 前から言っているが、数学はディベートじゃない。また、相手を論破したところで、自分の正しいことの証明ではない。自分が正しいことの
60 名前:数学証明を、しっかりスレ28で書けよ 528 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/01(木) 21:48:01.84 ID:p8p+qXsU 特に、時枝は、非可測集合を使ったところが問題だと言っている 引用すれば「現代数学の形式内では確率は測度論によって解釈されるゆえ,測度論は確率の基礎, と数学者は信じがちだ.だが,測度論的解釈がカノニカル,という証拠はないのだし」と これに対して、『時枝氏の出した確率99/100は大きな論理の飛躍です なぜなら可測関数に対してのみ主張できる結果を、証明なしに非可測関数に適用しているからです』>>120 とID:PqWMwFYKさんの主張 私を論難したところで、このギャップは埋まらんぜ。あんたが、証明を書かない限り つづく [] [ここ壊れてます]
61 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:44:34.07 ID:Bct9UQQT.net] >>50 つづき 529 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/01(木) 21:48:47.78 ID:p8p+qXsU なお、時枝はこうも言っている rio2016.2ch.net/test/read.cgi/math/1466279209/6 「確率の中心的対象は,独立な確率変数の無限族 X1,X2,X3,…である. いったい無限を扱うには, (1)無限を直接扱う, (2)有限の極限として間接に扱う, 二つの方針が可能である. 確率変数の無限族は,任意の有限部分族が独立のとき,独立,と定義されるから,(2)の扱いだ. (独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.) しかし,素朴に,無限族を直接扱えないのか? 扱えるとすると私たちの戦略は頓挫してしまう. n番目の箱にXnのランダムな値を入れられて,ある箱の中身を当てようとしたって, その箱のX と他のX1,X2,X3,・・・がまるまる無限族として独立なら, 当てられっこないではないか−−他の箱から情報は一切もらえないのだから. 勝つ戦略なんかある筈ない,と感じた私たちの直観は,無意識に(1)に根ざしていた,といえる. ふしぎな戦略は,確率変数の無限族の独立性の微妙さをものがたる, といってもよい.」 つづく
62 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:45:46.75 ID:Bct9UQQT.net] >>51 つづき 531 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/01(木) 21:50:24.83 ID:p8p+qXsU これに対して、確率の専門家さんは、下記のように時枝の主張を否定している rio2016.2ch.net/test/read.cgi/math/1466279209/538 538 返信:132人目の素数さん[] 投稿日:2016/07/03(日) 23:54:57.90 ID:f9oaWn8A うーん,正直時枝氏が確率論に対してあまり詳しくないと結論せざるを得ないな >>6 >確率変数の無限族は,任意の有限部分族が独立のとき,独立,と定義されるから,(2)の扱いだ. の認識が少しまずい. 任意有限部分族が独立とは P(∀i=1,…n,X_i∈A_i)=Π[i=1,n]P(X_i∈A_i)ということだけど これからP(∀i∈N,X_i∈A_i)=Π[i=1,∞]P(X_i)が成立する(∵n→∞とすればよい) これがきっと時枝氏のいう無限族が直接独立ということだろう. ということは(2)から(1)が導かれてしまったので, 「(1)という強い仮定をしたら勝つ戦略なんてあるはずがない」時枝氏の主張ははっきり言ってナンセンス 確率変数の独立性というのは,可算族に対しては(1)も(2)も同値となるので, ”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが,これは全くの的外れ rio2016.2ch.net/test/read.cgi/math/1466279209/542 (抜粋) 542 名前:132人目の素数さん[] 投稿日:2016/07/04(月) 00:06:31.30 ID:1JE/S25W 時枝氏の主な主張は次の2つだろうだろう 1. 確率論を測度論をベースに展開する必要が無い 2. 無限族の独立性の定義は微妙 しかし1に関していうと時枝氏の解法は,現在の測度論から導かれる解釈のほうが自然. (当てられっこないという直感どおり,実際当てられないという結論が導かれる) 2に関して言うとそもそも時枝氏の勘違い. 時枝氏の考える独立の定義と,現代の確率論の定義は可算族に対しては同値である つづく
63 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:47:30.99 ID:Bct9UQQT.net] sage
64 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:47:37.95 ID:Bct9UQQT.net] >>52 つづき 532 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/01(木) 21:53:18.45 ID:p8p+qXsU 1.つまり、「(1)無限を直接扱う,と(2)有限の極限として間接に扱う,二つの方針」は、現代の確率論の定義は可算族に対しては同値である(確率論の専門家さん>>531 ) 2.だから、時枝の主張通り、「(1)無限を直接扱う」から「素朴に,無限族を直接扱え」るから、 このことから下記成立ってことだよ! 「扱えるとすると私たちの戦略は頓挫してしまう. n番目の箱にXnのランダムな値を入れられて,ある箱の中身を当てようとしたって, その箱のX と他のX1,X2,X3,・・・がまるまる無限族として独立なら, 当てられっこないではないか−−他の箱から情報は一切もらえないのだから.」 533 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/01(木) 21:54:09.44 ID:p8p+qXsU 繰り返す。おれの立場は>>497 に書いた通り 特に、”私より低レベルの人と議論しても、「分からん者同士の低レベルの議論」になり、無価値だとと思うから”ってことで、悪しからず(^^ あとは、スレ28へどうぞ rio2016.2ch.net/test/read.cgi/math/1483314290/ 前から言っているが、数学はディベートじゃない。また、相手を論破したところで、自分の正しいことの証明ではない。自分が正しいことの数学証明を、しっかりスレ28で書けよ おわり
65 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:48:38.98 ID:Bct9UQQT.net] rio2016.2ch.net/test/read.cgi/math/1495860664/545 545 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/02(金) 07:24:49.47 ID:DtknLDcm
66 名前: 繰り返す。おれの立場は>>497 に書いた通り 特に、”私より低レベルの人と議論しても、「分からん者同士の低レベルの議論」になり、無価値だと思うから”ってことで、悪しからず!(^^ それから、 "日本人の3割しか知らないこと くりぃむしちゅーのハナタカ!優越館" >>78 なんだ 時枝先生自身が勘違いしている問題だ。だから、そんなに簡単で単純な話じゃない! かなり高度なレベルの勘違いだ 君らのレベルですぐ理解できる話じゃないよってところ。それが、この問題の私にとっての面白さだ(^^ (「実用になるならない」ではなく、”多くの人が勘違いする中で、正解を言う”ってところが、面白いと) 君みたいに、わーわー突っかかってくる人が多いほど、こっちは面白いと そのうち、過去何人か正しい理解者(確率論の専門家さん、与太話と言った方(おそらく院生以上)下記*)、それに、ID:PqWMwFYKさん>>120 など)が出てきたように、自然にそういう人が増えてくると 正しい方は、悠然と待っていれば良い 突っかかってくる方は、多ければ多いほど面白いので、基本は放置(^^; *) http://rio2016.2ch.net/test/read.cgi/math/1468584649/620 620 名前:132人目の素数さん[] 投稿日:2016/08/10(水) 13:14:41.49 ID:4zBVHRJi 時枝解法なんて単なる与太話だし,与太話であることと自体は筆者も認めてるのに なんでここまで議論が続くのだろう (引用終り) [] [ここ壊れてます]
67 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:50:04.64 ID:Bct9UQQT.net] 過去スレより rio2016.2ch.net/test/read.cgi/math/1495860664/570-572 570 名前:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/02(金) 22:08:11.66 ID:DtknLDcm https://ja.wikipedia.org/wiki/%E3%81%9D%E3%82%8C%E3%81%A7%E3%82%82%E5%9C%B0%E7%90%83%E3%81%AF%E5%8B%95%E3%81%8F それでも地球は動く 「それでも地球は動く」(それでもちきゅうはうごく、イタリア語:E pur si muove エ・プル・スィ・ムオーヴェ または Eppur si muove エップル・スィ・ムオーヴェ)は、イタリアの天文学者ガリレオ・ガリレイが、1633年に開かれた2回目の異端審問(宗教裁判)の際につぶやいたとされる言葉。 ガリレオは1632年、地球が動くという旨を書いた著書『天文対話』を発刊した。それに対する罪で1633年に裁判が開かれ、有罪が告げられ、地動説を放棄する旨の異端誓絶文を読み上げた後につぶやいたとされる。 日本語には「それでも地球は動いている」「それでも地球は回る」「それでも地球は回っている」などと訳されることもある。ただし、「E pur si muove」は直訳すれば単に「それでも動く」であり、「地球」(terra)という語は含まれていない。仮に「地球」という語を入れれば「E pur la terra si muove」となる。 発言の実否 について ガリレオはこの言葉をつぶやいていないとする説 裁判で有罪判決が出た状況からして、ガリレオはこの言葉をつぶやいておらず、後に彼の弟子が地動説の宣伝効果を得ようとして、彼がつぶやいたという情報を捏造したというもの。 ギリシア語でつぶやいたという説 ガリレオは周りの人たちがわからないように、あえてギリシア語でつぶやいたという説もある。その言葉をイタリア語に訳すと「E pur si muove」となったという。 ガリレオは異端誓絶文に署名する直前、独り言を言っていたようで、「それでも地球は動く」はその独り言の一部とも考えられている。 つづく
68 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:52:13.16 ID:Bct9UQQT.net] >>56 つづき 571 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/02(金) 22:26:57.83 ID:DtknLDcm >>545 >"日本人の3割しか知らないこと くりぃむしちゅーのハナタカ!優越館" >>78 なんだ >時枝先生自身が勘違いしている問題だ。だから、そんなに簡単で単純な話じゃない! かなり高度なレベルの勘違いだ >君らのレベルですぐ理解できる話じゃないよってところ。それが、この問題の私にとっての面白さだ(^^ いまどき(21世紀に)、地動説を言ってもなんの面白みもない だが、1632年当時、地動説を唱えたガリレオは偉大だった!(^^ これと同様に、全員が 「時枝解法なんて単なる与太話」>>545 「正直時枝氏が確率論に対してあまり詳しくないと結論せざるを得ないな」>>531 「時枝氏の出した確率99/100は大きな論理の飛躍です なぜなら可測関数に対してのみ主張できる結果を、証明なしに非可測関数に適用しているからです」>>120 と言い出したら、こちらとしては、大して面白くない 宗教裁判望むところですよ〜(^^ 騒ぎは、大きいほど面白い〜(^^ (文系にとって
69 名前:、数学とは論争らしいね〜(^^) 572 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/02(金) 23:05:35.63 ID:DtknLDcm ああ、ご心配なく 私ら、異端誓絶文に署名でもなんでもしますよ。わからんやつには、説明しても無駄だと。無益な論争はしませんよ。時間が無駄 時枝先生自身が勘違いしている問題だ。だから、そんなに簡単で単純な話じゃない! かなり高度なレベルの勘違いだ 君らのレベルですぐ理解できる話じゃないよってところ。確率論の知識があるレベルに達しないと、理解できないと思うよ せめて、>>21 原隆先生の確率論 I,確率論概論 I 講義の最初の部分くらいは読んで貰わないとね [] [ここ壊れてます]
70 名前:132人目の素数さん [2017/06/04(日) 19:56:40.06 ID:K0KJBfWm.net] >どこの馬の骨とも分からない人の発言は、数学的には無価値。真に価値があるのは、根拠のあるURLとそこからのコピペ スレ主は本当に理系? 違和感ありまくりだよ。ウィキペディアが間違ってる とかよくあることだよ。公表論文からの引用ならまだ分かるが。 証明があって自分が理解すれば馬の骨の言うことでも信用するのが数学。 それができないひとは、結局権威に頼るしかない。 違いますか?
71 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:56:45.08 ID:Bct9UQQT.net] 過去スレより rio2016.2ch.net/test/read.cgi/math/1495860664/578 2017/06/03 >理由の一つは確率の専門家さん”も”そう言ってたからです。 正直、確率の専門家さんの証明は、鮮やかだと思うよ 時枝先生 rio2016.2ch.net/test/read.cgi/math/1466279209/6 「確率の中心的対象は,独立な確率変数の無限族 X1,X2,X3,…である. いったい無限を扱うには, (1)無限を直接扱う, (2)有限の極限として間接に扱う, 二つの方針が可能である. 確率変数の無限族は,任意の有限部分族が独立のとき,独立,と定義されるから,(2)の扱いだ. (独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.) しかし,素朴に,無限族を直接扱えないのか? 扱えるとすると私たちの戦略は頓挫してしまう. n番目の箱にXnのランダムな値を入れられて,ある箱の中身を当てようとしたって, その箱のX と他のX1,X2,X3,・・・がまるまる無限族として独立なら, 当てられっこないではないか−−他の箱から情報は一切もらえないのだから. 勝つ戦略なんかある筈ない,と感じた私たちの直観は,無意識に(1)に根ざしていた,といえる. ふしぎな戦略は,確率変数の無限族の独立性の微妙さをものがたる, といってもよい.」 (引用終り) >>531 より、確率の専門家さん rio2016.2ch.net/test/read.cgi/math/1466279209/538 2016/07/03 うーん,正直時枝氏が確率論に対してあまり詳しくないと結論せざるを得ないな >確率変数の無限族は,任意の有限部分族が独立のとき,独立,と定義されるから,(2)の扱いだ. の認識が少しまずい. 任意有限部分族が独立とは P(∀i=1,…n,X_i∈A_i)=Π[i=1,n]P(X_i∈A_i)ということだけど これからP(∀i∈N,X_i∈A_i)=Π[i=1,∞]P(X_i)が成立する(∵n→∞とすればよい) これがきっと時枝氏のいう無限族が直接独立ということだろう. ということは(2)から(1)が導かれてしまったので, 「(1)という強い仮定をしたら勝つ戦略なんてあるはずがない」時枝氏の主張ははっきり言ってナンセンス 確率変数の独立性というのは,可算族に対しては(1)も(2)も同値となるので, ”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが,これは全くの的外れ
72 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:58:00.80 ID:Bct9UQQT.net] 過去スレより rio2016.2ch.net/test/read.cgi/math/1495860664/599 599 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/03(土) 13:15:51.74 ID:RuRaSwaT >>592 >> >コメントが的外れだという指摘が正しかったとしても、それが戦略に不備があることの指摘にはならない >> この前文は、ロジックとしては正しい >スレ主は『「確率の専門家」さんの発言は、戦略の不成立を意味しない』ということを認めた >ということでよろしいですね そう短絡されても困るんだよね、悪いけど(^^ いいかな、>>578 から引用すると「扱えるとすると私たちの戦略は頓挫してしまう. n番目の箱にXnのランダムな値を入れられて,ある箱の中身を当てようとしたって, その箱のX と他のX1,X2,X3,・・・がまるまる無限族として独立なら,当てられっこないではないか−」だ ここで、この後段の時枝コメントは、”「独立な確率変数の無限族 X1,X2,X3,…」を、前段のゲームの箱に入れることができる”と、いうことを前提としていると読める つまり、”「独立な確率変数の無限族 X1,X2,X3,…」を、前段のゲームの箱に入れることができる”を認める すると、時枝解法は不成立だ つまり、「独立な確率変数の無限族 X1,X2,X3,…」→ランダムな値の例としてサイコロの1〜6を入れる→Xnの的中確率は1/6となる ∵Xnは、独立な確率変数の無限族だから なので、”「独立な確率変数の無限族 X1,X2,X3,…」を、前段のゲームの箱に入れることができる”を認めるかどうか。そこはキモだろう(^^ もし、認めないなら*)、お説の通り(もちろん、おれは認める派だけど) 注*)例えば、>>574 とか>>546
73 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 19:58:41.63 ID:Bct9UQQT.net] 過去スレより rio2016.2ch.net/test/read.cgi/math/1495860664/604 604 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/03(土) 13:32:25.92 ID:RuRaSwaT >>599 追加 >スレ主は『「確率の専門家」さんの発言は、戦略の不成立を意味しない』ということを認めた >ということでよろしいですね 「確率の専門家」さんの発言は、もう一つあるよ ”しかし1に関していうと時枝氏の解法は,現在の測度論から導かれる解釈のほうが自然. (当てられっこないという直感どおり,実際当てられないという結論が導かれる)”と(下記>>531 引用) >>531 より rio2016.2ch.net/test/read.cgi/math/1466279209/542 (抜粋) 542 名前:132人目の素数さん[] 投稿日:2016/07/04(月) 00:06:31.30 ID:1JE/S25W 時枝氏の主な主張は次の2つだろうだろう 1. 確率論を測度論をベースに展開する必要が無い 2. 無限族の独立性の定義は微妙 しかし1に関していうと時枝氏の解法は,現在の測度論から導かれる解釈のほうが自然. (当てられっこないという直感どおり,実際当てられないという結論が導かれる) 2に関して言うとそもそも時枝氏の勘違い. 時枝氏の考える独立の定義と,現代の確率論の定義は可算族に対しては同値である (引用終り)
74 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 20:01:07.73 ID:Bct9UQQT.net] 過去スレより rio2016.2ch.net/test/read.cgi/math/1495860664/614 2017/06/03 どうも。スレ主です。 >私は数学科の出身ですが何か? それはお見それした。じゃ、>>488 で書いた「>>486 さん、新しい人」ですかね? なら、”ここで、私に議論を要求するなら、数学セミナーの記事の原文を読んでほしいね。できれば、原文のコピーかPDFでも手元においてほしいね”はどうですか? それから、”(もっとも、原則は上記「時枝記事が成り立たないこと前提とするの部分が 共有できない人とは議論しません あしからず」だが)”とも書いたけど読んだ? >ええ、だから前提を示した上であなたの主張を証明してください さんざん書いたよ。>>488-497 、>>527-533 を読んでね(^^ >選択公理を存じないようですが、単に関数の存在を主張するだけで >関数が具体的に構成できるとは述べておりませんし構成は必要ありません これについては、>>611 の反論をご参照 なお、「構成は必要ありません」? ”構成”という用語を使ったのは、あなた自身だよ(>>584 ”選択公理を使って非可測関数を構成した時点で”と書いたでしょ)。食言は如何なものか? 構成は不要かも知れないが、「新確率論」(その非可測関数が確率計算に使えることの立証)は、必要と思うよ>>611 >スレ主さん不成立と言い張らなければ証明義務負わなくて済んだのに >まあがんばって証明するしかないわな、不成立と言い張る限りは それは、過去スレでも出た、立証責任とか証明責任と言われるもので、主に法律用語だな が、数学では立証責任は、お互いにあると思うよ どうぞ、数学科なら、スレ28で、時枝解法成立の証明を。お得意の集合論と選択公理と非可測関数で、お願いします 数学科を名乗るなら、特にだ! (それができないから、このスレでとぐろを巻いているのだろ?) https://ja.wikipedia.org/wiki/%E8%A8%BC%E6%98%8E%E8%B2%AC%E4%BB%BB (抜粋) 証明責任とは、裁判をするにあたって裁判所又は裁判官がある事実の有無につき確信を抱けない場合(真偽不明)に、その事実の有無を前提とする法律効果の発生ないし不発生が認められることにより被る、当事者一方の不利益のことをいう。
75 名前:132人目の素数さん [2017/06/04(日) 20:01:24.61 ID:4/LRfMmy.net] どうでもいいけど、無意味なコピペで埋め尽くすのやめてくれませんか? 何を必死に守ってるんですか?
76 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 20:02:20.37 ID:Bct9UQQT.net] 過去スレより rio2016.2ch.net/test/read.cgi/math/1495860664/661-662 661 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/03(土) 23:00:58.16 ID:RuRaSwaT ID:YbwQeVvSさん、どうも。スレ主です。 あんた、面白いね >>643 >嘘をいって愛されるよりは >本当のことをいって嫌われるほうがいい >別に他人に愛されたいとは思わないから >>654 >固定観念というよりは願望だな >つまり数学について真面目に語るつもりなら > 2chなんかに来るなよ、ってこと >>656 >身の程を知らぬ奴には責苦を >身の程を知る者には慈悲を ああ、>>653 のAA(絵)もあんただね(^^ 若いんだろうね〜 前スレの、サイコパス One Stone 様(ID:1maZ/hoI)と似ている面があるね いわゆるヒューマンスキルが稚拙で、社会で人間関係で失敗するタイプだね、あんた ああ、そういえば、「不遇」とか言っていたね。(下記引用) ・「だいたい正常な精神の持ち主は2chにこないですよw 2chに来るのは不遇な人ばかりですね」>>306 ・「Wikipediaってなんか分かってない感じの人が無理して書いてるっぽい文章多いな みんななんでリコウぶりたいんだろ? やっぱ不遇なんだろうな」>>352 これ、”鏡の法則”(後述)だね(^^ 心理学的には、自分の心の投影だよ(^^
77 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 20:03:56.05 ID:Bct9UQQT.net] >>64 つづき 662 現代数学の系譜11 ガロア理論を読む 投稿日:2017/06/03(土) >>661 補足 ”鏡の法則”、ちょっとスピリチュアルだが、下記ご参照 individual.polaris-heart.com/05_rules/mirror/ 鏡の法則 心のマネジメント 幸せな人生は、健全な思考とよい想念を持ち続けることから始まる 奥本 哲弘 2010 (抜粋) 「鏡の法則」とは、「私たちの人生の現実は、私たちの心の中を映し出す鏡であるという法則です。 つまり、 「自分の人生に起こる問題の原因は、すべて自分自身の中にある」 という考え方です。 認知不協和 この習性は、悲しいかな他人を観るときにも働いてしまいます。 他人の足りない箇所、駄目な箇所 に目がいくのです。 人の習性です。 ですから、意図して「良い箇所」「好ましい部分」を観る癖 をつける必要があります。 でなければ、人の粗(あら)ばかり探しては不平不満を言うだけの人間になってしまいます。 これはとても哀しいことです。 投影 他人の好きな箇所は、自分の認識している自分の好きな箇所です。 他人の嫌いな箇所も、自分の認識している自分の嫌いな箇所です。 他人の好きな箇所も嫌いな箇所も全て、他人という鏡を通して観る自分自身の良い箇所、嫌な箇所なのです。 これを心理学用語で投影と言います。 他人のあそこが嫌いと言ってみても、実は、他人に投影した自分の嫌な箇所が嫌い、と言っているようなものです。 人の悪口は、自分の悪口でもあります。 同族嫌悪とも言いますね。 人は完璧にして不完全な存在 https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%94%E3%83%AA%E3%83%81%E3%83%A5%E3%82%A2%E3%83%AB スピリチュアル (抜粋) 英語のスピリチュアル(英: spiritual)は、ラテン語の spiritusに由来するキリスト教用語で、霊的であること、霊魂に関するさま[1]。英語では、宗教的・精神的な物事、教会に関する事柄、または、神の、聖霊の、霊の、魂の、精神の、超自然的な、神聖な、教会の、などを意味する[2]。 医療・ケア 医療や心理学における用法については、スピリチュアリティを参照。 ターミナルケアやガン治療など終末医療で注目される概念についてはスピリチュアルケアを参照。
78 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 20:06:29.69 ID:Bct9UQQT.net] rio2016.2ch.net/test/read.cgi/math/1495860664/663 663 自分:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/03(土) 23:10:20.88 ID:RuRaSwaT どうも。スレ主です。 キーワード:コーシー分布 期待値が収束しない で、ちょっと検索してみておくれ そう単純な話ではないと分かるだろう なお、過去スレ26 に、関連の議論があるよ
79 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 20:08:00.53 ID:Bct9UQQT.net] >>66 つづき rio2016.2ch.net/test/read.cgi/math/1495860664/671 671 現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/04(日) 08:20:30.74 ID:Bct9UQQT >>664 >>666-667 どうも。スレ主です。 期待値は、下記コーシー分布記載の意味。まあ、普通には平均値と言ったりする この話は、過去スレ26で書いたけど コーシー分布を代表として、さまざまな、裾の重い分布(下記)があり、大数の法則が成立しないケース(下記)がある 時枝解法を、多数繰り返したとき、99/100が大数の法則として、成立しない確率分布になっているのではないか? ここは数学理論として要検証事項だろう https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%86%E5%B8%83 コーシー分布 (抜粋) 期待値が定義されない理由 確率分布が確率密度関数f(x)を持つ場合、その期待値は以下のように与えられる。 ∫(-∞ 〜 ∞) xf(x)dx.(注;-∞ 〜 ∞の積分を表す) 標準コーシー分布の場合は、 ・・・(省略) となるが、この極限はどのような値でも取り、 R_{1}=R_{2}の関係を保って無限大になるときは0に、 R_{1}=2R_{2}の関係を保って無限大になるときは log(1/4)/πになるなど、2重極限のとしての収束値は存在しない。このため、期待値は存在しない。 大数の強法則など、期待値に関する確率論のさまざまな結果は、このようなケースでは成立しない。 https://ja.wikipedia.org/wiki/%E8%A3%BE%E3%81%AE%E9%87%8D%E3%81%84%E5%88%86%E5%B8%83 裾の重い分布 (抜粋) 裾の重い分布あるいはヘヴィーテイルとは、確率分布の裾がガウス分布のように指数関数的には減衰せず[1]、それよりも緩やかに減衰する分布の総称。 また類似の用語に、ファットテイル、裾の厚い分布、ロングテール、劣指数的などがある。 https://ja.wikipedia.org/wiki/%E5%A4%A7%E6%95%B0%E3%81%AE%E6%B3%95%E5%8
80 名前:9%87 大数の法則 (抜粋) 大数の法則が成立しないケース 大数の法則は期待値の存在を前提としている。そのため、期待値の存在しない場合に大数の法則を適用することは適切ではない。例えば安定分布において特性指数が α ≦ 1 の場合、期待値は存在しないことから、大数の法則は成立しない。(例:コーシー分布) [] [ここ壊れてます]
81 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 20:08:56.73 ID:Bct9UQQT.net] >>67 つづき rio2016.2ch.net/test/read.cgi/math/1495860664/676 676 自分:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/04(日) 08:49:17.55 ID:Bct9UQQT >>666-667 どうも。スレ主です。 あなたたち、スレ28の失敗の一つは、まとめがないことだな rio2016.2ch.net/test/read.cgi/math/1483314290/ スレ28で、数学ソクラテスメソッドをやった。共同研究としてはありだろう。だが、まとめがない もう一つの失敗は、匿名の名無しさん同士の議論に終始した。外から見て、ぱっと見なにがなにかわけわからん。当事者は分かっているとしても 仮にでも、固定名を付けて、議論したら、ずっと見やすかったろう。が、それは、いまさら言っても仕方がないが ともかく、スレ28のまとめかレビュー作成をお薦めしますよ(ベストは数学の証明として完成させることだが、それは無理として次善策で)。大人の作法としてね ”まとめ”は、ビジネスでは、レビュー 【 review 】と言ったりすることもあるけど(下記) e-words.jp/w/%E3%83%AC%E3%83%93%E3%83%A5%E3%83%BC.html レビューとは - IT用語辞典 rio2016.2ch.net/test/read.cgi/math/1495860664/680 680 自分:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/06/04(日) 09:14:28.14 ID:Bct9UQQT >>677 >まとめがない、ハンドルがない、そんなことしか言えんのかw 大事なことだよ。社会人なら分かるはず 1.ハンドルがない:二人が議論して、錯綜している。分かり易くすべき。分かり易さは大切だぜ 2.まとめがない:まとめがない報告書は、上司から突き返されるだろうね 学生さんは、教員から見て、ある意味お客様だから、汚い字で読みにくいレポートでもなんとか読んでくれるだろう(が、心象は悪いとしても) だが、社会人のレポートなら、ゴミ箱行きだな
82 名前:132人目の素数さん [2017/06/04(日) 20:17:48.56 ID:4/LRfMmy.net] >>66 >期待値が収束しない そのことと時枝戦略が成り立たないことがどう結びつくのか説明して頂けますか?
83 名前:132人目の素数さん [2017/06/04(日) 20:25:45.73 ID:PuSfA6KI.net] 既に100KB越え
84 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 20:26:14.25 ID:Bct9UQQT.net] >>63 どうも。スレ主です。 失礼した コピペは、テンプレのつもりでね〜 無駄な議論の繰り返し、というか、こちらからなんども同じこと書くのが面倒なので、事前に予想質問の回答を貼っただけだ(楽だからね) ああ、あんたら、旧スレを 雑談ですりつぶしたんだ。暇だね〜! こっちは、まだ少し余裕があると思っていたのに(テンプレ完成後に、新スレ宣言予定だったんだ) あと、こっちも忙しいので、いつも遊んで貰えると思わないようにね。あんたほど暇じゃないから・・(^^ 数学の証明? >>3 「間違っても2CHで数学の勉強なんて思わないことだ このスレは、趣味と遊びのスレと思ってくれ」って宣言してある通りです(^^; あんたらのお遊び数学ごっこ 当然ながら、適当に付き合うことにしているので、よろしくね(^^ こんなバカ板で証明を書くなんて、まっぴらですよ(過去スレに何度も書いてある通りだよ) バカに書かれた証明を読むのも、極力ごめんだね〜(これも過去スレに何度も書いてある通りだよ)(^^ まあ、時枝の与太話は、ちくちく突かせて貰うよ あしからず(^^
85 名前:132人目の素数さん mailto:sage [2017/06/04(日) 20:36:55.07 ID:hzeiW7JX.net] スレ主は狂ってる。数学板から出て行ってほしい。
86 名前:132人目の素数さん mailto:sage [2017/06/04(日) 20:36:58.70 ID:nga2Q+rd.net] rio2016.2ch.net/test/read.cgi/math/1495860664/707 > スレ主さんの根拠って、論破され済みの > ・確率の専門家さんが後段に書かれている時枝氏の確率論に対する認識を批判した > ・決定番号の分布は裾が重いから期待値が収束しない > ・サイコロの目は確率1/6でしか当てられないから矛盾である > 以外に何かある? ・2つの数列を連接して作った数列は決定番号が∞になる! (R^Nに入ってねーよ) ・ある数列の第n項までを違う値に変えた数列をs_nとするとlim[n→∞]s_nの決定番号は∞になる! (同値類が変わるだろ) 遡ればもっとあると思う
87 名前:132人目の素数さん mailto:sage [2017/06/04(日) 20:39:43.43 ID:CPDhc7d3.net] スレ主に証明を書いたり読んだりできるのか? 疑問である。 そもそもコピペの仕方からして乱雑で要領を得ない。 無駄が多く、効率的な情報選択が出来ていない。 数学の証明が読めるような論理性が感じられない。
88 名前:132人目の素数さん mailto:sage [2017/06/04(日) 21:40:05.52 ID:OmsU9u8x.net] >>73 >ある数列の第n項までを違う値に変えた数列をs_nとすると >lim[n→∞]s_nの決定番号は∞になる この発言ですね rio2016.2ch.net/test/read.cgi/math/1483075581/40
89 名前:132人目の素数さん mailto:sage [2017/06/04(日) 21:43:59.63 ID:OmsU9u8x.net] >>73 >>75 ____ / \ /\ キリッ . / (ー) (ー)\ <「lim[n→∞]s_nの決定番号は∞になる」 / ⌒(__人__)⌒ \ | |r┬-| | \ `ー’´ / ノ \ /´ ヽ | l \ ヽ -一””””~~``’ー–、 -一”””’ー-、. ヽ ____(⌒)(⌒)⌒) ) (⌒_(⌒)⌒)⌒)) ____ /_ノ ヽ、_\ ミ ミ ミ o゚((●)) ((●))゚o ミ ミ ミ <だっておwww /⌒)⌒)⌒. ::::::⌒(__人__)⌒:::\ /⌒)⌒)⌒) | / / / |r┬-| | (⌒)/ / / // | :::::::::::(⌒) | | | / ゝ :::::::::::/ | ノ | | | \ / ) / ヽ / `ー’´ ヽ / / | | l||l 从人 l||l l||l 从人 l||l バンバン ヽ -一””””~~``’ー–、 -一”””’ー-、 ヽ ____(⌒)(⌒)⌒) ) (⌒_(⌒)⌒)⌒))
90 名前:132人目の素数さん mailto:sage [2017/06/04(日) 21:51:16.62 ID:OmsU9u8x.net] スレッド主に捧げる歌 BABYMETAL - Sis. Anger https://www.youtube.com/watch?v=9Vda2MlaSHc
91 名前:132人目の素数さん mailto:sage [2017/06/05(月) 08:21:04.45 ID:0AoiKrt3.net] >>14 おっちゃんです。 >まず、数学セミナー201611月号の記事で、引用していなかった部分を、以下に引用する(^^; > >”ばかばかしい,当てられる筈があるものか,と感じられるだろう. >何か条件が抜け落ちているのではないか,と疑う読者もあろう.問題を読み直していただきたい. >条件はほんとうに上記のとおり.無限個の実数が与えられ,一個を除いてそれらを見た上で,除いた一個を当てよ,というのだ. >ところがところが--本記事の目的は,確率99%で勝てそうな戦略を供することにある. >この問題はPeter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.” ここ大事だから、最初から掲載するべき。道理で記事が分かりにくいと思った訳だ。
92 名前:132人目の素数さん mailto:sage [2017/06/05(月) 08:34:48.36 ID:0AoiKrt3.net] これだと、やはり確率は1になる気がする。確率測度がウマく構成出来ているかどうかは分からんが。 右半開区間 I=[-∞,+∞) において、時枝問題と同様な問題を考える。つまり、問題設定は Iの非可算個の実数が与えられ、或る1個の実数 a∈I を除いてIに属するaではない実数を見た上で、 除いたaは何かを当てることが出来る確率は何か、ということになる。 Iの部分集合からなる集合族をFとする。I∈F で、定義からFはσ集合体になる。 Iの右半開区間の有限和全体を R(I) とする。すると、R(I)⊂F で、 任意のIの右半開区間 I_1, I_2∈R(I) に対して I_1−I_2、I_1∪I_2∈R(I) だから、 R(I) は有限加法的集合環になる。そして、R(I) は有限加法族である。 R(I) はσ集合体でもあるから、その上の確率測度μがある。 μを どの2つも互いに交わらないようなIの右半開区間 I_1,…,I_n の有限和 I'=I_1∪…∪I_n に対して μ(I')=μ(I_1)+…+μ(I_n) と定義する。但し、μはIの右半開区間の有限和 J∈R(I) に対し、 箱を開ける前に時刻 t=0 で選択公理を用いてJの実数を見る確率とする。
93 名前:132人目の素数さん mailto:sage [2017/06/05(月) 08:38:20.00 ID:0AoiKrt3.net] (>>79 の続き) ここに、互いに交わらない右半開区間の有限和 I_1,…,I_n,…∈R(I) について I_1,…,I_n,… が各々が同時にそれぞれ与えられた時刻を t=0 とするとき、 I_1,…,I_n,… から ∪_{n∈N}(I_n)∈R(I) のように新しく何らかの和、差、共通部分などの集合Kを作って その集合Kに対して選択公理を用いて実数を見る時刻を t=1 とする(選択公理を使うかは任意)。 (例えば、時刻 t=0 に与えられた ∪_{n∈N}(I_n)∈R(I) から選択公理を用いて 時刻 t=1 に I_1,…,I_n,…∈R(I) が構成されたと見なせると同時に、 時刻 t=0 に同時に与えられた I_1,…,I_n,…∈R(I) から 時刻 t=1 に ∪_{n∈N}(I_n)∈R(I) が構成されたと見なせるので、 確率測度の公理を満たさせるために μ(∪_{n∈N}(I_n))=Σ_{n∈N}( μ(I_n) )=0 とする。 Iの2個以上の右半開区間の有限和や確率測度の有限和についても同様。) そうすると、確率空間 (I, R(I), μ) が定義される。 ここで、f(a)=1, f(x)=0 x∈I なるような右半開区間I上の単関数fを考える。 a∈I としていて、{a}⊂I は零集合なること注意すると、fはI上でルベーグ積分出来る。 aは箱の中に入っているから、箱を開ける前にaを見る確率は ∫_If(x)dx=μ({a}∩I)=μ({a})=0。 従って、選択公理から、箱を開ける前に時刻 t=0 で選択公理を適用してIの実数のうちaを見る確率は μ(I\{a})=μ(I)−μ({a})=1−0=1。 選択公理を用いた後に箱の中の実数を当てるルールだから、Iに属するaではない実数を見た上で、 除いたaは何かを当てることが出来る確率は1になる。-∞ は実数ではないから、選択公理を用いると、 Rに属するaではない実数を見た上で、除いたaは何かを当てることが出来る確率は1になる。
94 名前:132人目の素数さん mailto:sage [2017/06/05(月) 08:50:56.42 ID:0AoiKrt3.net] >>80 の下から5行目の訂正: @:従って、選択公理から、箱を開ける前に → 従って、箱を開ける前に A:Iの実数のうちaを見る確率 → Iの実数のうちaを「見ない」確率
95 名前:132人目の素数さん mailto:sage [2017/06/05(月) 09:12:51.06 ID:oH1tI/Hn.net] >右半開区間 I=[-∞,+∞) において、時枝問題と同様な問題を考える。つまり、問題設定は >Iの非可算個の実数が与えられ、或る1個の実数 a∈I を除いてIに属するaではない実数を見た上で、 >除いたaは何かを当てることが出来る確率は何か、ということになる。 ならないよ。時枝問題とは全然違う。箱入り無数目の設定が理解できてないじゃん。 長々と証明らしきものを書いてるがナンセンス。 だから、おっちゃんが示したと言う「定理」も多分、全くナンセンスなんだろうなと思う。
96 名前:132人目の素数さん mailto:sage [2017/06/05(月) 09:22:38.84 ID:oH1tI/Hn.net] こういうひとっているんだよね。本に書いてある「証明」をワケもなく 覚えてマネすることはできるけど、全然数学が分かってないひと。 数学板の有名人では、大類ってひとがそう。
97 名前:132人目の素数さん mailto:sage [2017/06/05(月) 09:23:05.91 ID:0AoiKrt3.net] >>82 >だから、おっちゃんが示したと言う「定理」も多分、全くナンセンスなんだろうなと思う。 あの〜、元々、私は時枝問題には余り口を出さずにいて、 途中からは全くといっていい程議論していない。 時枝問題と私が示した定理には一見何の関係もなさそうなんだけど。 勝手に判断しないでくれ。根拠も何もない。
98 名前:132人目の素数さん [2017/06/05(月) 09:24:05.79 ID:KtoIH5i3.net] >>78 確率1を示すなら同様の問題ではなく元々の問題で示さなければならない。 ましてや「同様」になっていない。 >ここ大事だから、最初から掲載するべき。道理で記事が分かりにくいと思った訳だ。 何がどう分かりにくいと思ったの?
99 名前:132人目の素数さん mailto:sage [2017/06/05(月) 09:28:26.52 ID:0AoiKrt3.net] >>85 時枝記事の内容が誤解を与えるような内容で分かりにくいじゃないか。 昨日、素朴な国語で書かれた文章を誤解したんだからさ。
100 名前:132人目の素数さん mailto:sage [2017/06/05(月) 09:33:44.53 ID:0AoiKrt3.net] >>85 い
101 名前:竅A誤解したのは昨日ではなく一昨日の話だな。 [] [ここ壊れてます]
102 名前:132人目の素数さん [2017/06/05(月) 09:37:58.92 ID:KtoIH5i3.net] >>86 どこをどう誤解したか具体的に頼むわ そうでないと言ってることがまるで理解できない
103 名前:132人目の素数さん mailto:sage [2017/06/05(月) 09:45:06.43 ID:0AoiKrt3.net] 著者は数理論理が専門なのか。 これだけ議論して、無限のときはまだ分からず箱の中の実数を当てる 確率が 1-1/n の形になるままなのか分からないというなら、 何気に「与太話」で書いたというのもまんざら嘘ではなさそうだな。