[過去ﾛｸﾞ]
現代数学の系譜11 ガロア理論を読む21 [無断転載禁止]©2ch.net (808ﾚｽ)
現代数学の系譜11 ガロア理論を読む21 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1468584649/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
334: １３２人目の素数さん [sage] 2016/07/31(日) 13:27:45.75 ID:gKFcwFzS >>322 > なんらかの無限を扱う公理を仮定するから、無限が扱える このように書いたのはスレ主なのだが スレ主は「無限論争」を持ち出して逃げようとしているのだろうけれども別に有限小数や無限小数は 普通に使っている用語だろう √2(=1.4142135623...)を例に挙げ有限小数を要素に持つ数列を考える 1, 1.4, 1.41, 1.414, 1.4142, 1.41421, 1.414213, ... これらの有限小数を分数にしてから可算無限個の箱に入れる (これは数列 1, 4, 1, 4, 2, 1, 3, ... に対応する) n番目の箱には小数点以下(n-1)桁の有限小数が入っているのでそれらは分数で表せる 上の数列の極限は√2であるからスレ主は上の数列で√2(の小数表示)も扱える (あるいは√2の小数表示を一桁ずつ順番に可算無限個の箱にいれることができる) と主張しているわけだが√2は無理数であり分数で表せないので矛盾する http://rio2016.5ch.net/test/read.cgi/math/1468584649/334
335: １３２人目の素数さん [] 2016/07/31(日) 13:38:36.86 ID:eoIQzfwB >>333 ＞>>68みたいな醜態をさらしたら ＞＞数学的帰納法は、ZFCの選択公理と無限公理を認めるなら、”n=∞でも成り立つ”>>330で良いということは、ご理解いただけましたか？（＾＾； ＞間違い。数学的帰納法は自然数についてしか言っていない。∞は自然数でないから間違い。 が間違いとでも？ 醜態さらしてるのはどうみてもお前ｗブーメラン乙ｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1468584649/335
336: 現代数学の系譜11 ガロア理論を読む [] 2016/07/31(日) 13:49:52.49 ID:+lv/DUAA >>329-332 ￥さん、どうも。スレ主 いやはや、￥さん、博識だね（＾＾； 下記、竹村彰通先生のPDFなどが参考になるね http://park.itc.u-tokyo.ac.jp/atstat/athp/index.html 竹村彰通 私の研究分野は数理統計学全般にわたりますが、以前より多変量解析の分布理論や統計的決定理論の研究をしてきました。 最近の主な研究テーマは計算代数統計とよばれる分野で、統計学と代数学にまたがる新たな展開をめざしています。 また確率論への新しいアプローチであるゲーム論的確率論の基礎研究もおこなっています。 http://park.itc.u-tokyo.ac.jp/atstat/athp/upcoming_talks.html 竹村彰通 List of recent and upcoming talks http://park.itc.u-tokyo.ac.jp/atstat/takemura-talks/100301-takemura.pdf ゲーム論的確率論の概要と最近の研究成果．ゲーム論的確率論と関連分野に関するワークショップ．東京大学本郷キャンパス工学部6号館3F セミナー室B．2010年3月1日 目次. 1 ゲーム論的確率論の背景. 2 ゲーム論的確率論入門. 3 これまでの竹内グループの研究成果. 4 ゲーム論的確率論に関する雑感. 竹村 (東大情報理工). 日本数学会秋季総合分科会にて，共同発表2件．大阪大学豊中キャンパス．2009年9月27日． http://park.itc.u-tokyo.ac.jp/atstat/takemura-talks/takemura-090927.pdf 1) Levy の0-1 法則のゲーム確率論的一般化について 竹村 彰通，V.Vovk, G.Shafer (PDF) http://park.itc.u-tokyo.ac.jp/atstat/takemura-talks/hara-sei-takemura-090927.pdf 2) Hierarchical subspace models for contingency tables. 原 尚幸，清 智也，竹村彰通 (PDF） http://rio2016.5ch.net/test/read.cgi/math/1468584649/336
337: 現代数学の系譜11 ガロア理論を読む [] 2016/07/31(日) 13:55:14.23 ID:+lv/DUAA >>336 つづき http://park.itc.u-tokyo.ac.jp/atstat/takemura-talks/100301-takemura.pdf ゲーム論的確率論の概要と最近の研究成果．ゲーム論的確率論と関連分野に関するワークショップ．東京大学本郷キャンパス工学部6号館3F セミナー室B．2010年3月1日 目次. 1 ゲーム論的確率論の背景. 2 ゲーム論的確率論入門. 3 これまでの竹内グループの研究成果. 4 ゲーム論的確率論に関する雑感. 竹村 (東大情報理工). から内容紹介 ・ゲーム論的確率論の背景がなかなか面白い ・これまでの竹内グループの研究成果 研究成果のリスト(Tokyo Papers)1 http://www.probabilityandfinance.com/ にVovk 氏が情報を集約し ている．簡単な解説つき! “Tokyo papers in chronological order” （以下略） ・ゲーム論的確率論研究への動機 新しい定式化なので，いろいろな問題を解ける可能性がある そこで論文は書ける．ただし，現状では出版はトラブる． しかし，より原理的な興味が研究の動機となる． 確率論に関連する多くの分野の基礎を革新する可能性がある． http://rio2016.5ch.net/test/read.cgi/math/1468584649/337
338: 現代数学の系譜11 ガロア理論を読む [] 2016/07/31(日) 14:00:59.73 ID:+lv/DUAA >>336 つづき 日本数学会秋季総合分科会にて，共同発表2件．大阪大学豊中キャンパス．2009年9月27日． http://park.itc.u-tokyo.ac.jp/atstat/takemura-talks/takemura-090927.pdf 1) Levy の0-1 法則のゲーム確率論的一般化について 竹村 彰通，V.Vovk, G.Shafer (PDF) から内容紹介 ・ゲーム論的確率論は，測度論を前提としない確率論の体系としては，数学的な基礎として唯一成功をおさめていると考えられる． ・連続時間確率過程については，Shafer and Vovk の2001 年の著書では，non-standard analysis を用いており，必ずしも標準的なものとして受け容れられな い面もあった． しかし，最近の竹内・公文・竹村の原稿(Bernoulli 掲載予定) と，それをより整備したVovk の諸論文により，通常の解析の範囲でゲーム論的に扱うことが可能となった． ・測度論を前提としないということは，事象として必ずしも可測なものに限る必要がないことを意味している． ゲーム論的確率論においてはあらゆる事象に対して上確率と下確率が賭けの文脈から自然に定義できる．上確率は「外測度」，下確率は「内測度」に対応してい ると考えられる． ・本報告でも述べるように，測度論がどの程度不要であり，どこで必要とされるか，などが明らかになりつつある． http://rio2016.5ch.net/test/read.cgi/math/1468584649/338
339: 現代数学の系譜11 ガロア理論を読む [] 2016/07/31(日) 14:07:42.25 ID:+lv/DUAA >>337 つづき http://www.probabilityandfinance.com/ にVovk 氏が情報を集約し ている．簡単な解説つき! より History of Probability がある このページは結構面白そうだよ （http://www.probabilityandfinance.com/misc/grund.pdf などは、これロシア語だけど、読める人は読めるんだろう） http://rio2016.5ch.net/test/read.cgi/math/1468584649/339
340: 現代数学の系譜11 ガロア理論を読む [] 2016/07/31(日) 14:10:18.34 ID:+lv/DUAA >>335-339 つづき ここらに深入りできるほどは、レベルが伴わないスレ主です（＾＾； 検索と紹介まででご勘弁を http://rio2016.5ch.net/test/read.cgi/math/1468584649/340
341: １３２人目の素数さん [] 2016/07/31(日) 14:13:53.95 ID:eoIQzfwB お前は一年生の教科書からだ 何度言わせる？ http://rio2016.5ch.net/test/read.cgi/math/1468584649/341
342: １３２人目の素数さん [sage] 2016/07/31(日) 14:22:51.36 ID:ZWel9JZY >>322 >集合の濃度としての可算無限と、例えば拡張実数の集合元としての無限（∞）を、 >明確に意識して区別するところからお願いしたい 拡大数直線 R∪{±∞} の無限大+∞を可算無限集合の濃度 a＝ℵ_0 と思い込んでいる時点で間違い。 正の無限大+∞は濃度aの意味での無限を指すこともあれば、非可算無限の濃度cの意味での無限を指すこともある。 スレ主の間違いに気付かなかった。超準解析でも0にはならない。 答えが求まるという前提で超準解析を用いても0にはならない。 スレ主は超準解析や微分積分以前の間違いをしている。 >>315 >「現代確率論は未完成だ」という￥さんの視点もハッとさせられた 厳密さを求めるようになった19世紀以降、実解析はフーリエ解析や偏微分方程式論とか 他の分野からアイディアを仕入れて発展したり、その結果によって、 確率論を含むこれら他分野が発展していて、それをいうなら「実解析は未完成だ」だよ。 確率論だけに限らない。解析の原型は物理という現実の世界の数理モデル化にあるから、 「現代の微分積分は未完成だ」で置き換えられるかも知れんぞ。 http://rio2016.5ch.net/test/read.cgi/math/1468584649/342
343: 現代数学の系譜11 ガロア理論を読む [] 2016/07/31(日) 14:31:04.18 ID:+lv/DUAA >>334 どうも。スレ主です。 >>> なんらかの無限を扱う公理を仮定するから、無限が扱える >このように書いたのはスレ主なのだが 逃げるつもりは無いが、基礎論を勉強してもらわないと、議論がかみ合わないよ 「なんらかの無限を扱う公理を仮定するから、無限が扱える」は、正しいよ 下記なども含めて、いくつか渕野先生の無限公理の話を読んでください それなしで、（基礎論を読まない人と）何十年も議論するつもりはないよ。では http://fuchino.ddo.jp/misc/susemi2012-01x.pdf 想定外の数学− 不完全性定理以降の数学(続) 神戸大学大学院・システム情報学研究科渕野昌(Sakae Fuchino) http://rio2016.5ch.net/test/read.cgi/math/1468584649/343
344: ￥ ◆2VB8wsVUoo [sage] 2016/07/31(日) 14:35:38.74 ID:/ZQUKLRs >>336 そもそも（加算）無限個のデータから実測値としての有限個の数値を選び、 そして頻度とか平均値とかを考えた場合、その客観性を担保するのは大数 の法則とか中心極限定理とかの「確率論の極限定理」ですよね。でもこう いうものを安全に成立させる為の枠組みが（Lebesgue測度論を用いた） Kolmogorovの公理系『だけしかない』というのは、ひょっとすれば数学的 にも言い過ぎではないかという危惧がどうしても残りますよね。 そもそも確率論の役割とは： ★★★『沢山のデータを参照する事に拠り、人間の都合とか恣意性を排除する』★★★ という事だろうから、そういう考え方で例えば物理測定のデータからノイ ズを除去するという考え方にはなるでしょうね。また以前コメントした、 所謂「Brown運動⇒Random Walk⇒…⇒Itoh Calculus」みたいな美しい理 論の展開とかは純粋数学では大事ですわ。 でもこういう考え方「だけ」では例えば経済学みたいな、まあ『人間の恣 意的な活動』みたいなイヤラシイものを記述するには不十分ではないかと いう考え方が、所謂ゲーム論的な確率論ですか、そういう話の展開を期待 させるとか何とか、その竹村氏がどっかで書いてたのを見たことがありま すよ。まだ他にも進化論的なゲーム論とか、そういうのが各種様々に一杯 あって、それで学習理論（所謂Deep learning）とかもアリだけど、でも 「純粋数学という観点から見れば、かなり未整理な印象を受ける」のもま た事実ですよ。だから私から見たら、かなり気持ちが悪いですわ。 こういうモノの中できちんとした数学のネタになり得るのはドレだろうか、 とは思いますよね。でもNeumannだってNashだって、本来は超人的な純粋 数学者だから、従ってきちんと見定めれば： ★★★『ソコにも何がしかのちゃんとした数学的な構造が確かにある』★★★ という様な事になればいいのではありますがね。 但し現状の様に「便利な計算手順が沢山ある」ってだけじゃダメですが。 ￥ 追加：以後は「黙って見てるだけ」にしますので。なのでどうぞ続きを。 http://rio2016.5ch.net/test/read.cgi/math/1468584649/344
345: １３２人目の素数さん [] 2016/07/31(日) 14:41:00.27 ID:eoIQzfwB >>343 ＞「なんらかの無限を扱う公理を仮定するから、無限が扱える」は、正しいよ 間違い。古代ギリシャ人は√2が無限小数であることを証明した。 ＞基礎論を勉強してもらわないと、議論がかみ合わないよ 多少聞きかじっただけでドヤ顔か？お前は基礎論の前に一年生の教科書を勉強しろ http://rio2016.5ch.net/test/read.cgi/math/1468584649/345
346: 現代数学の系譜11 ガロア理論を読む [] 2016/07/31(日) 14:58:08.25 ID:+lv/DUAA >>342 言いたいことは、いろいろあるんだろうが、それ後出しっていうやつ >>4の”確率論の専門家”さんの意見をまとめたろ そのとき、>>342みたいなことを言えなかったんだろ で、時枝解法が正しいかどうか？ それは数学的な真偽の話だから、意見があったら、論文にでもまとめてarXivに投稿したらどう？ それを、専門家に見て貰え あるいは、以前時枝のメアドも紹介した。時枝にメール出しなよ、そんなに気になるならば こんな数学記号が使えない不自由な板で、本格的な深い数学議論をするのは野暮 個人的には、前々スレくらいでやった私の初等的な考察と、それを裏付ける”確率論の専門家”さんの意見（>>4 の２と３）が得られたことで私は満足だよ 私は、それ以上やるつもりはないので、これ以降レスはしないよ http://rio2016.5ch.net/test/read.cgi/math/1468584649/346
347: １３２人目の素数さん [] 2016/07/31(日) 15:02:02.30 ID:eoIQzfwB 逃亡宣言ワロス http://rio2016.5ch.net/test/read.cgi/math/1468584649/347
348: 現代数学の系譜11 ガロア理論を読む [] 2016/07/31(日) 15:02:53.78 ID:+lv/DUAA >>342 つづき >確率論を含むこれら他分野が発展していて、それをいうなら「実解析は未完成だ」だよ。 >確率論だけに限らない。解析の原型は物理という現実の世界の数理モデル化にあるから、 >「現代の微分積分は未完成だ」で置き換えられるかも知れんぞ。 そこは同意見 時枝問題みたいな小さい話を離れて、そういう話なら歓迎だな 間違いなく、数学は未完成だ。解けていない問題がある。分かり易いのはリーマン辺り http://rio2016.5ch.net/test/read.cgi/math/1468584649/348
349: １３２人目の素数さん [sage] 2016/07/31(日) 15:18:59.58 ID:ZWel9JZY >>346 スレ主の書き方は全く証明の体裁をなしてなく、数学的に曖昧で非常に読みにくい。 その上毎度のようにコピペだらけで長い。 誰がこんなスレを毎度毎度のように端から端まで御丁寧に読むんだよw こんなことしていたらコピペまで確認して読むことになるだろ。 http://rio2016.5ch.net/test/read.cgi/math/1468584649/349
350: 現代数学の系譜11 ガロア理論を読む [] 2016/07/31(日) 15:20:24.87 ID:+lv/DUAA >>344 ￥さん、どうも。スレ主 ￥さん、博識だね（＾＾； >中心極限定理とかの「確率論の極限定理」ですよね。でもこう >いうものを安全に成立させる為の枠組みが（Lebesgue測度論を用いた） >Kolmogorovの公理系『だけしかない』というのは、ひょっとすれば数学的 >にも言い過ぎではないかという危惧がどうしても残りますよね。 なるほど １．Lebesgue測度論を用いたKolmogorovの公理系は、安全確実だが、非可測集合になるととたんに無力 ２．一方で、選択公理を落として、実数の部分集合をすべて可測集合だと言い出すと、証明のパワーが落ちる ３．だから、第三の道で、選択公理を生かしながら、非可測集合を扱えるようにしようというのが、竹村 彰通，V.Vovk, G.Shafer氏の「ゲーム論的確率論」 でこれは、竹村 彰通氏は、「測度論を前提としない確率論の体系としては，数学的な基礎として唯一成功をおさめていると考えられる」と >追加：以後は「黙って見てるだけ」にしますので。なのでどうぞ続きを。 はい、ここまでレベルが上がると、時枝問題とは違い自分で掘り下げる力や時間はありません なので、私も見物と野次馬の側に回りますよ どうぞ、どなたか、このスレでも別スレでも、本格的に「測度論を前提としない確率論の体系」を論じて貰えれば結構だ その文脈で、きちんと時枝解法が数学的に体系付けられるといならそれはそれで結構だ（そうはならないと思っているが） 但し、「測度論を前提としない確率論の体系」は、時枝問題なんかを扱う前に、もっとやるべきことが沢山ある そう思いますよ（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1468584649/350
351: 現代数学の系譜11 ガロア理論を読む [] 2016/07/31(日) 15:28:04.67 ID:+lv/DUAA 独り言を書いておく ・この不便な板で証明は書かないのがスレ主の原則（例外はある） （ そこはおっちゃんや証明おじさんとは主義が違う）（こんな不便な板の読みにくい証明を読むやつの気が知れないとまで思うよ。その点メンターさんには頭が下がる） ・引用とリンクこそがこのスレの価値。私の書いたことなど、数日（数字間）経てば無価値だが、引用とリンクは時間が経っても価値の減少は少ないだろう ・このスレは、スレ主のメモ帳だよ。読みたいやつが読め。読みたくないやつは読まなくても良い。それが全て http://rio2016.5ch.net/test/read.cgi/math/1468584649/351
352: 現代数学の系譜11 ガロア理論を読む [] 2016/07/31(日) 15:29:07.10 ID:+lv/DUAA >>351 訂正 数日（数字間） ↓ 数日（数時間） http://rio2016.5ch.net/test/read.cgi/math/1468584649/352
353: １３２人目の素数さん [] 2016/07/31(日) 15:29:47.36 ID:eoIQzfwB >>350 ＞はい、ここまでレベルが上がると、時枝問題とは違い自分で掘り下げる力や時間はありません 一年生のレベルさえわかってないお前が何気取ってんだ？ 反論があるならどの教科書で勉強したのか書名を書きなさい http://rio2016.5ch.net/test/read.cgi/math/1468584649/353
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 455 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.057s