[過去ログ]
現代数学の系譜 カントル 超限集合論2 (1002レス)
現代数学の系譜 カントル 超限集合論2 http://rio2016.5ch.net/test/read.cgi/math/1576852086/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
549: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/03/20(金) 00:00:05.28 ID:+qJdNaLm えらく、おサルが大人しく静かになったなw(^^; 時枝不成立が、うすうす分かってきたのかなw(゜ロ゜; http://rio2016.5ch.net/test/read.cgi/math/1576852086/549
550: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/03/20(金) 09:29:31.75 ID:+qJdNaLm >>525 タイポ訂正 (つまり、包含関係で、大は小を兼ねるで、{0,1}^Nの数当てにR~Nが使えるという。これを一般化すれば、十六元数列S^Nで、実数列R^Nでも{0,1}^Nでも、同様に確率1-εで的中できるという) ↓ (つまり、包含関係で、大は小を兼ねるで、{0,1}^Nの数当てにR^Nが使えるという。これを一般化すれば、十六元数列S^Nで、実数列R^Nでも{0,1}^Nでも、同様に確率1-εで的中できるという) つまり R~N→R^Nな (^^; タイポ訂正ついでに書くと 時枝記事(数学セミナー 2015年11月号 箱入り無数目 時枝 正) 1)箱に入れた任意の実数を、箱を開けずに、確率1-εで的中できる手法があるという(εはいくらでも小さくできる) 2)その手法とは、 ・箱を可算無限個として、可算無限数列X:X1,X2,・・Xd,Xd+1,・・を考え、可算無限数列のしっぽの同値類Eを考える ・同値類Eの代表数列rを選び、これをr:r1,r2,・・rd,rd+1,・・とすると ・いま、d番目以降のしっぽの数が一致する場合、rd=Xd,rd+1=Xd+1,・・と書けて(このdを時枝では”決定番号”と称する) ・そうであれば、d+1番以降のしっぽの箱を開けて、Xd+1,・・たちを知ると、同値類Eが分かり ・同値類Eから、代表数列rが分かり、rd=Xdであるから、rdの値から Xdを箱を開けずに 知ることができるという手法である 3)もちろん、この手法は、無数目ならぬデタラ目なのだが、どこがおかしいか? ・”可算無限数列のしっぽの同値類”は良いだろう ”同値類Eの代表数列rを選ぶ”も良いだろう とすると、”決定番号d が存在して、d+1番以降のしっぽの箱から同値類E→代表数列rのrd=Xd”のところが怪しいと分かる ・つまり、”そのような有限の決定番号dが存在する”というところが、数学的に怪しい雰囲気だってことですw(^^; つづく http://rio2016.5ch.net/test/read.cgi/math/1576852086/550
551: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/03/20(金) 09:31:05.42 ID:+qJdNaLm >>550 つづき 4)ここは、おサルさんには 理解が難しいだろうと思うが (数学的には 正確ではないが 分り易く書く) 例え話でいうと、自然数N全体の中で、決定番号有限d以下の自然数と 有限d超えの自然数との確率を考えると 自然数N全体の中で、有限d以下の自然数の確率は0。有限d超えの自然数との確率1です つまり、有限決定番号の中で、”確率1-ε”という主張って、それは”有限d以下の自然数の確率は0”と言う前提の中で成立しているってことです この話は、おサルには理解が難しいわな、多分w(^^; (>>358より 参考) https://www.nippyo.co.jp/shop/magazine/6987.html 数学セミナー 2015年11月号 箱入り無数目───────────────時枝 正 36 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1576852086/551
552: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/03/20(金) 09:57:00.04 ID:+qJdNaLm >>551 補足 数学的に正確な話は、極限を考えるのが良い 1)有限数列Xf:X1,X2,・・Xd,Xd+1,・・,Xm (m有限)を考える(f:finiteの意) 2)しっぽの同値類、代表、決定番号は、可算無限列と同じとする 3)有限数列Xfの場合、しっぽの同値類は、本質的にはXmで決まる! 4)つまり、数列rfで rm=Xm であれば rf:r1,r2,・・rd,rd+1,・・,rm で rf〜Xf (しっぽ同値)である 5)もちろん、d番目から一致する rd=Xd,rd+1=Xd+1,・・rm=Xmの場合も考えられる しかし、その場合の起きる確率は、”rd=Xd,rd+1=Xd+1,・・rm=Xm”が全て成立する確率だから 1つの rd+1=Xd+1の確率をpとして、p^(m-d+1)となって d<<m ほど、確率 p^(m-d+1) は小になる 6)もし、箱の数がコイントスとすればp=1/2、サイコロ1個とすればp=1/6、・・・任意の実数ならp=0(2つの任意実数が一致する確率は0) だから、有限数列では、殆どの場合、決定番号は本質的にはd=mとなる! この場合、d+1=m+1の箱は存在せず、時枝手法は不成立 7)そして、m→∞の極限として、可算無限個の箱の数列を考えて、可算無限では”時枝手法は不成立”が分かる もちろん、これは1つの時枝不成立を理解するモデルであって、これが全てでは無い 他にも、もっと分り易い”時枝手法は不成立”の説明が考えられるかもしれない QED(^^; http://rio2016.5ch.net/test/read.cgi/math/1576852086/552
553: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/03/20(金) 11:34:24.47 ID:+qJdNaLm <転載> 0.99999……は1ではない その7 https://rio2016.5ch.net/test/read.cgi/math/1584625377/79-80 (抜粋) 79 2020/03/20(金) ID:WMaa4Quj conglomerabilityの定義を理解した上でPrussの論文を読み直せば、 自説がPrussによって真正面から否定されてると理解できます 80 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/20(金) ID:+qJdNaLm おサルさん、DR Pruss氏は、mathoverflowの彼の回答の前段で、conglomerabilityを出しているが (下記引用ご参照) 最後は、”the function is measurable”が不成立だから、”dumb(ダメダメ) strategy”と言っているよ (下記の通り) QED (^^; (参考) https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice Probabilities in a riddle involving axiom of choice Denis氏 Dec 9 '13 DR Pruss氏 (抜粋) By a conglomerability assumption, we could then conclude that P(X<=Y)=0, which would be absurd as the same reasoning would also show that P(Y<=X)=0. In general, Mj will be nonmeasurable (one can prove this in at least some cases). We likewise have no reason to think that M is measurable. But without measurability, we can't make sense of talk of the probability that the guess will be correct. That's a fine argument assuming the function is measurable. But what if it's not? So there is an extension P′ of P such that P′-almost surely the dumb strategy works. Just let P′ be an extension on which the set of representatives has measure 1 and note that the dumb strategy works on the set of representatives. http://www.mdpi.com/2073-8994/3/3/636 Symmetry and the Brown-Freiling Refutation of the Continuum Hypothesis by Paul Bartha Symmetry 2011, 3(3), 636-652; http://rio2016.5ch.net/test/read.cgi/math/1576852086/553
554: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/03/20(金) 12:00:58.15 ID:+qJdNaLm >>553 DR Pruss氏は下記で、conglomerabilityの正確な意味がいまいち分からんけど 要するに”nonmeasurable”で、測度論的確率から外れているということでしょう (^^; https://en.wikipedia.org/wiki/Alexander_Pruss Alexander Robert Pruss (born January 5, 1973) is a Canadian mathematician, philosopher, Professor of Philosophy and the Co-Director of Graduate Studies in Philosophy at Baylor University in Waco, Texas. Pruss graduated from the University of Western Ontario in 1991 with a Bachelor of Science degree in Mathematics and Physics. After earning a Ph.D. in Mathematics at the University of British Columbia in 1996 and publishing several papers in Proceedings of the American Mathematical Society and other mathematical journals,[4] he began graduate work in philosophy at the University of Pittsburgh. https://books.google.co.jp/books?id=RXBoDwAAQBAJ&pg=PA77&dq=Pruss+conglomerability&hl=ja&sa=X&ved=0ahUKEwjplc_N8qfoAhWJ7WEKHXwVDuoQ6AEIKDAA#v=onepage&q=Pruss%20conglomerability&f=false Infinity, Causation, and Paradox 著者: Alexander R. Pruss (P76-77 に conglomerabilityの説明があるが、正確な定義は分からないが、 P76に”But typically, where there is no coutable additibity, there is lack of conglomerability(Scervish,Seidenfeld,and Kanade 1984).” と記されているので、”coutable additibity ”即ち σ-加法性 と密接に関連した(多分”σ-加法性”を拡張した)概念だと思う) (更に附言すれば、現代の測度論的確率が、σ-加法性をベースに成立っているとすれば、DR Pruss氏の指摘は、要するに”nonmeasurable”で、測度論的確率から外れているということでしょう (^^; ) http://rio2016.5ch.net/test/read.cgi/math/1576852086/554
555: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/03/20(金) 12:52:30.11 ID:+qJdNaLm >>554 (補足) 本 「Infinity, Causation, and Paradox」 著者: Alexander R. Pruss は、2018発行な さて、 conglomerabilityは、下記の Reliability and Risk: A Bayesian Perspective 2006 では、ベイズ理論で、σ-加法性の代わりに使われる概念みたいだな https://books.google.co.jp/books?id=szLqBTXsyJQC&pg=PA23&dq=Pruss+conglomerability&hl=ja&sa=X&ved=0ahUKEwjplc_N8qfoAhWJ7WEKHXwVDuoQ6AEIMzAB#v=onepage&q=conglomerability&f=false Reliability and Risk: A Bayesian Perspective 2006 著者: Nozer D. Singpurwalla P13 conglomerabilityの公理というのがあって コルモゴロフの確率公理のσ-加法性の代わりに 導入されたものらしい。 詳しくは、2.5, 5.2.3, 5.3.2を見ろってことらしい http://rio2016.5ch.net/test/read.cgi/math/1576852086/555
556: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/03/20(金) 14:16:36.13 ID:+qJdNaLm >>554 (補足) 本 「Infinity, Causation, and Paradox」 著者: Alexander R. Pruss は、2018発行な さて >DR Pruss氏は下記で、conglomerabilityの正確な意味がいまいち分からんけど conglomerabilityは、下記の Reliability and Risk: A Bayesian Perspective 2006 では、ベイズ理論で、σ-加法性の代わりに使われる概念みたいだな(下記) (参考) https://books.google.co.jp/books?id=szLqBTXsyJQC&pg=PA23&dq=Pruss+conglomerability&hl=ja&sa=X&ved=0ahUKEwjplc_N8qfoAhWJ7WEKHXwVDuoQ6AEIMzAB#v=onepage&q=conglomerability&f=false Reliability and Risk: A Bayesian Perspective 2006 著者: Nozer D. Singpurwalla P13 conglomerabilityの公理というのがあって コルモゴロフの確率公理のσ-加法性の代わりに 導入されたものらしい。 詳しくは、2.5, 5.2.3, 5.3.2を見ろってことらしい(本を買う気がないのでスルー(大学生なら図書に入れてもらえば良い)) (なお、検索で見つけた論文では、下記が一番 conglomerabilityについて詳しい) http://www-dimat.unipv.it/~rigo/ Pietro Rigo Dipartimento di Matematica “F. Casorati”Universita di Pavia - Italia http://www-dimat.unipv.it/~rigo/cong.pdf International Journal of Approximate Reasoning, 88, 387-400. Basic ideas underlying conglomerability and disintegrability June 16, 2017 Abstract The basic mathematical theory underlying the notions of conglomerability and disintegrability is reviewed. Both the precise and the imprecise cases are concerned. http://rio2016.5ch.net/test/read.cgi/math/1576852086/556
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.034s