[過去ログ]
スレタイ 箱入り無数目を語る部屋18 (1002レス)
スレタイ 箱入り無数目を語る部屋18 http://rio2016.5ch.net/test/read.cgi/math/1710632805/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
1: 132人目の素数さん [] 2024/03/17(日) 08:46:45.42 ID:Wb4r6a5R 前スレが1000近く又は1000超えになったので、新スレを立てる (”場外バトルスレ”が別にあります https://rio2016.5ch.net/test/read.cgi/math/1710616318/ 箱入り無数目を語る部屋18 棲み分けです) https://rio2016.5ch.net/test/read.cgi/math/1709593480/ 前スレ スレタイ 箱入り無数目を語る部屋17 (参考)時枝記事 https://imgur.com/a/8bqlb08 数学セミナー201511月号「箱入り無数目」 https://rio2016.5ch.net/test/read.cgi/math/1620904362/401-406 純粋・応用数学(含むガロア理論)8 より 1.時枝問題(数学セミナー201511月号の記事)の最初の設定はこうだった。 「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる. どんな実数を入れるかはまったく自由,例えばn番目の箱にe^nを入れてもよいし,すべての箱にπを入れてもよい. もちろんでたらめだって構わない.そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」 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などは下付添え字 つづく http://rio2016.5ch.net/test/read.cgi/math/1710632805/1
983: 132人目の素数さん [] 2024/06/05(水) 17:29:36.82 ID:X29ZhDGs >>980 >条件つき確率としての確率99/100は認める じゃあ逆に「100個中99個」にならない条件って例えば何? http://rio2016.5ch.net/test/read.cgi/math/1710632805/983
984: 132人目の素数さん [] 2024/06/05(水) 20:51:11.12 ID:18s1FmPg >>981-983 980です 1)つまり、選択公理で代表を選んで決定番号を出し 決定番号の大小比較を確率に使う根本のところが 測度論としては、well-definedでないということだろう 2)つまり、いま簡単に可算無限列で2列としよう 箱入り無数目>>1-2の通り 選択公理で代表を選び決定番号d1,d2となったとしよう そして、例えばd1<d2だという この論法の根本のところが、測度論的裏付けが希薄で well-definedでない その一つの表れが >>980より再録するが 「無限列の尻尾同値類で、無限個の項で一致する代表を使っているのならば 繰り返すが、1個の一致確率がpで 無限個の項で一致する代表を選ぶ確率はp^n=0です 確率0の事象を前提として、条件つき確率99/100であれば 全体としては、0*99/100=0」 ということ (参考) https://mathlandscape.com/well-defined/ 数学の景色 【数学】well-defined, ill-definedとは 2022.05.05 数学における well-defined, ill-defined とは,それぞれ「ちゃんと定義できている」,「定義があいまい・無効・無意味である」ことを意味します。専門数学をやっていくにあたっては必須の用語でしょう。この言葉について,具体例も交えながら,分かりやすく紹介しましょう。 http://rio2016.5ch.net/test/read.cgi/math/1710632805/984
985: 132人目の素数さん [] 2024/06/05(水) 21:29:54.68 ID:beqeI1U3 >>984 出題される100列を固定した場合 君のいう測度論は全く無用になるけど >繰り返すが、1個の一致確率がpで 無限個の項で一致する代表を選ぶ確率はp^n=0です 繰り返すが、有限個の箱を除いた他の無限個の箱の中身がわかれば 選択公理によりその列と有限個の箱を除いて一致する代表が選べる 必ず選べるのだから確率は1 選択公理は確率論と相容れないのかい? そんな主張は君以外から聞いたことないが? http://rio2016.5ch.net/test/read.cgi/math/1710632805/985
986: 132人目の素数さん [] 2024/06/05(水) 23:12:42.57 ID:X29ZhDGs >>984 >選択公理で代表を選び決定番号d1,d2となったとしよう > そして、例えばd1<d2だという > この論法の根本のところが、測度論的裏付けが希薄で > well-definedでない 自然数の組d1,d2が定まった瞬間に、どんな過程により(例えば選択公理を用いて)定まったにせよ、d1>d2, d1=d2, d1<d2 のいずれかひとつだよ それとも自然数は全順序じゃないと言いたいの? http://rio2016.5ch.net/test/read.cgi/math/1710632805/986
987: 132人目の素数さん [] 2024/06/06(木) 00:12:59.85 ID:Nx6qibah >>985-986 >出題される100列を固定した場合 >君のいう測度論は全く無用になるけど 1)”固定”の数学定義を述べよ 2)なお、普通は>>1の通りで 「箱それぞれに,私が実数を入れる.・・・そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよい・・」 つまり、箱を閉じた後は、出題者は箱の数を変えることはできない これは共通認識と思うが、それ以上の意味を”固定”で定義しているのか? 3)君の論法ならば、箱が有限の場合にも 測度論は全く無用になる 例えば箱が一つある サイコロの目1〜6を入れる あるいはコイントス 0,1 あるいは、実数[0,1]区間の一様分布の数 r∈[0,1] で、これで箱を閉じたら「測度論は全く無用になる」? ならんぞ 箱に入れる数に応じた測度を使う 実数[0,1]区間の一様分布の数 r∈[0,1] なら的中確率0です! >選択公理によりその列と有限個の箱を除いて一致する代表が選べる >必ず選べるのだから確率は1 1)選択公理は、確率1を保証しない 2)非正則分布(下記)からでも数の選択は可能だ しかし、非正則分布では、確率の公理を満たすことはできない (『非正則な分布は、よく見てみると確率の和が1ではありません。』(下記)) (参考)>>7より再録 //ai-trend.jp/basic-study/bayes/improper_prior/ AVILEN Inc. 2020 2020/04/14 非正則事前分布とは?〜完全なる無情報事前分布〜 ライター:古澤嘉啓 目次 1 非正則な分布とは?一様分布との比較 2 非正則分布は確率分布ではない!? 3 非正則事前分布は完全なる無情報事前分布 4 まとめ 『非正則な分布は、よく見てみると確率の和が1ではありません。』 http://rio2016.5ch.net/test/read.cgi/math/1710632805/987
988: 132人目の素数さん [] 2024/06/06(木) 05:15:55.28 ID:C5bHO3hO >>987 >それ以上の意味を”固定”で定義しているのか? 試行毎に変化しない >箱が有限の場合 箱入り無数目では箱は無限個 >選択公理は、確率1を保証しない 選択公理は選択関数の存在を保証する、よって決定番号がwell-definedであることが保証される http://rio2016.5ch.net/test/read.cgi/math/1710632805/988
989: 132人目の素数さん [] 2024/06/06(木) 05:17:18.89 ID:C5bHO3hO なぜこれほど頭が悪いのか http://rio2016.5ch.net/test/read.cgi/math/1710632805/989
990: 132人目の素数さん [sage] 2024/06/06(木) 05:56:54.65 ID:uEAy5F+a >>987 >”固定”の数学定義を述べよ >「箱それぞれに,私が実数を入れる.・・・そして箱をみな閉じる. >今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよい・・」 >つまり、箱を閉じた後は、出題者は箱の数を変えることはできない >これは共通認識と思うが、 その通り そして、その出題だけで、回答者の列および箱の選択だけが自由である これが共通認識だが >君の論法ならば、箱が有限の場合にも 測度論は全く無用になる 然り >で、これで箱を閉じたら「測度論は全く無用になる」? 君の考える測度は全く無用になる >ならんぞ >箱に入れる数に応じた測度を使う なる 「箱に入れる数に応じた測度」ではなく 「回答者が勝手に想像する測度」を使ってるだけ 両者が同じだというのが君の勝手な妄想 >>選択公理によりその列と有限個の箱を除いて一致する代表が選べる >>必ず選べるのだから確率は1 >選択公理は、確率1を保証しない 保証する それが選択公理 >非正則分布からでも数の選択は可能だ >しかし、非正則分布では、確率の公理を満たすことはできない >(『非正則な分布は、よく見てみると確率の和が1ではありません。』) 箱の中身の分布も決定番号の分布も一切考える必要がない 忘れて良い 忘れなさい http://rio2016.5ch.net/test/read.cgi/math/1710632805/990
991: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2024/06/06(木) 10:24:51.23 ID:lHR0rM/d >>988 ご苦労様です。987です >>それ以上の意味を”固定”で定義しているのか? >試行毎に変化しない ・試行の定義は? 下記の試行 (確率論)(=Experiment (probability theory))通りでよいか? ・さて、”変化しない”の主語は何か? 何が変化しないのか? >>箱が有限の場合 >箱入り無数目では箱は無限個 ・同義反復では? いま論じているのは 箱入り無数目の手法が定理として成り立っているかどうかだが ・そこを飛ばして、「箱入り無数目は正しいから正しい」とう論法にしか聞こえないけど? ;p) >>選択公理は、確率1を保証しない >選択公理は選択関数の存在を保証する、よって決定番号がwell-definedであることが保証される ・論点ずらしだな ・いま問題にしていることは、選択公理は選択関数の存在のみしか保証しない。つまり、同値類の代表の存在は保証するが いまの問題は、同値類の代表を使った確率計算99/100に測度論的裏付けがあるかどうかだ ・選択公理は、測度論的裏付けとは全く無関係だ。その例がヴィタリ非可測集合の存在だ(下記) (参考) https://ja.wikipedia.org/wiki/%E8%A9%A6%E8%A1%8C_(%E7%A2%BA%E7%8E%87%E8%AB%96) 試行 (確率論) 試行(しこう、英: trial, experiment)とは、起こりうる結果がいくつかあり、そのどれか1つだけが偶然で起こる流れのことである[1]。試行の結果全体の集合は標本空間(全事象)と呼ばれる。 特に起こりうる結果が2つしかない試行はベルヌーイ試行と呼ばれる[2]。 試行の結果のいくつかからなる集合で、起こる割合が決まっていると考えられるものを事象という。 事象に対してそれの起こる割合を確率という。 1つの試行を繰り返すことにより、事象の確率を評価することができる(統計的確率)。 根元事象に確率変数(一般には確率要素)を割り当てることにより確率質量関数か確率密度関数が決まり、試行は確率分布として定量化できる。 https://en.wikipedia.org/wiki/Experiment_(probability_theory) Experiment (probability theory) In probability theory, an experiment or trial (see below) is any procedure that can be infinitely repeated and has a well-defined set of possible outcomes, known as the sample space.[1] An experiment is said to be random if it has more than one possible outcome, and deterministic if it has only one. A random experiment that has exactly two (mutually exclusive) possible outcomes is known as a Bernoulli trial.[2] https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88 ヴィタリ集合(ヴィタリしゅうごう、英: Vitali set)とはジュゼッペ・ヴィタリ(英語版)(Giuseppe Vitali (1905))によって作られたルベーグ非可測な実数集合の基本的な例である[1]。 http://rio2016.5ch.net/test/read.cgi/math/1710632805/991
992: 132人目の素数さん [sage] 2024/06/06(木) 10:44:44.43 ID:eEGtJgbO >>991 >>>”固定”の数学定義を述べよ >>試行毎に変化しない >試行の定義は? 試行 (確率論)(=Experiment (probability theory))通りでよいか? よい 「試行の結果全体の集合は標本空間(全事象)と呼ばれる。」と書かれている筈 したがって、標本空間(全事象)を出題100列からの任意の1列の選択とすれば 試行毎に出題が変わることはない >さて、”変化しない”の主語は何か? 何が変化しないのか? 「出題が」変化しない 変化するのは「回答者による列の選択が」 >いまの問題は、同値類の代表を使った確率計算99/100に測度論的裏付けがあるかどうかだ 出題が変化しないのなら、君のいう非可測性は完全に排除される >選択公理は、測度論的裏付けとは全く無関係だ。 そう、君のいう非可測性が完全に排除される以上、君のいうとおり全く無関係だ 君の異議は完全に却下された http://rio2016.5ch.net/test/read.cgi/math/1710632805/992
993: 132人目の素数さん [] 2024/06/06(木) 10:48:48.13 ID:C5bHO3hO >>991 >何が変化しないのか? 実数列 >「箱入り無数目は正しいから正しい」とう論法にしか聞こえないけど? 幻聴ですか? >同値類の代表の存在は保証する ならばいかなる実数列の決定番号も自然数であるから、2つの実数列の決定番号d1,d2は d1>d2, d1=d2, d1<d2 のいずれかである d1,d2のいずれかをランダムに選択した方をx、他方をyとすれば、P(x≧y)≧1/2 測度論があという言いがかりは通用しない。 http://rio2016.5ch.net/test/read.cgi/math/1710632805/993
994: 132人目の素数さん [] 2024/06/06(木) 12:05:43.49 ID:lHR0rM/d >>993 >>何が変化しないのか? >実数列 意味わからん 高校数学の確率からやり直しだね 下記の美しい物語 反復試行 ”例題1 1個のサイコロを4回ふるとき,1の目がちょうど2回出る確率を求めよ。” これで、1個のサイコロを4回ふるとき、出目は毎回変わってもいいだよ しらなかったのかな? ;p) >>同値類の代表の存在は保証する >ならばいかなる実数列の決定番号も自然数であるから、2つの実数列の決定番号d1,d2は d1>d2, d1=d2, d1<d2 のいずれかである >d1,d2のいずれかをランダムに選択した方をx、他方をyとすれば、P(x≧y)≧1/2 >測度論があという言いがかりは通用しない。 ここが、箱入り無数目で理解が一番難しいところだよ 時枝氏も、ここで落とし穴にはまり、ドボンになった (参考) https://manabitimes.jp/math/1039 高校数学の美しい物語 反復試行の確率の公式といろいろな例題 更新 2022/01/15 目次 反復試行の確率とは 反復試行の確率の公式の証明 練習問題 最大値を求める問題 反復試行の確率とは 反復試行とは「同じことを繰り返す」ことです。 例題1 1個のサイコロを4回ふるとき,1の目がちょうど2回出る確率を求めよ。 解答 反復試行の確率の公式で n=4,k=2,p= 6/1 の場合なので,求める確率は 4C2*(1/6)^2*(5/6)^2 である。ここで, 4C2=6 を使って計算すると, 6×1/36×25/36=25/216 ※二項係数 nCk http://rio2016.5ch.net/test/read.cgi/math/1710632805/994
995: 132人目の素数さん [] 2024/06/06(木) 12:22:38.64 ID:C5bHO3hO >>994 >例題1 箱入り無数目は例題1ではないから却下 >ここが、箱入り無数目で理解が一番難しいところだよ 何も難しくない 100個中99個だから確率99/100 小学生でも分かる >時枝氏も、ここで落とし穴にはまり、ドボンになった 箱の中身が確率変数という間違った落とし穴から抜け出せないのが君 http://rio2016.5ch.net/test/read.cgi/math/1710632805/995
996: 132人目の素数さん [sage] 2024/06/06(木) 12:34:15.26 ID:jg4PO/cu >>994 >意味わからん 敗北を認めるとは潔いね >高校数学の確率からやり直しだね 大変だね がんばってね >美しい物語 反復試行 >”例題1 >1個のサイコロを4回ふるとき,1の目がちょうど2回出る確率を求めよ。” >これで、1個のサイコロを4回ふるとき、出目は毎回変わってもいいんだよ うん、その問題はね でも、箱入り無数目でサイコロを振るのは回答者だけ 出題者はサイコロ振らない つまり出題は試行ではない 日本語分かる? >>測度論があという言いがかりは通用しない。 >ここが、箱入り無数目で理解が一番難しいところだよ >時枝氏も、ここで落とし穴にはまり、ドボンになった 落とし穴にドボンとハマったのは君 時枝氏は前半ではハマってない 後半ではハマったみたいだけど (つまり時枝氏は出題者が出題を変えない版の結果を、 出題者が出題を変えられる版の結果に流用できる という落とし穴にドボンとハマった、という意味) http://rio2016.5ch.net/test/read.cgi/math/1710632805/996
997: 132人目の素数さん [sage] 2024/06/06(木) 18:01:15.58 ID:aHnDgh3W 肥溜の中で喘ぐウマシカ野郎 http://rio2016.5ch.net/test/read.cgi/math/1710632805/997
998: 132人目の素数さん [sage] 2024/06/06(木) 20:50:55.45 ID:aHnDgh3W 答えは選択公理を使えば選べる http://rio2016.5ch.net/test/read.cgi/math/1710632805/998
999: 132人目の素数さん [sage] 2024/06/06(木) 22:22:02.95 ID:aHnDgh3W 馬鹿は馬鹿である 証明終 http://rio2016.5ch.net/test/read.cgi/math/1710632805/999
1000: 132人目の素数さん [] 2024/06/06(木) 22:34:37.19 ID:Nx6qibah >>994 (引用開始) >>同値類の代表の存在は保証する >ならばいかなる実数列の決定番号も自然数であるから、2つの実数列の決定番号d1,d2は d1>d2, d1=d2, d1<d2 のいずれかである >d1,d2のいずれかをランダムに選択した方をx、他方をyとすれば、P(x≧y)≧1/2 >測度論があという言いがかりは通用しない。 ここが、箱入り無数目で理解が一番難しいところだよ 時枝氏も、ここで落とし穴にはまり、ドボンになった (引用終り) 1)詳しく説明しよう(君達には難しいかもしれないが・・) (非正則分布(>>987&>>7)と、∞/∞が不定形(下記)になることが関係している) 2)まず、決定番号dは、箱が可算無限あるのでdに上限はなく無限大(∞)まで考える必要がある このような場合、決定番号dは非正則分布になる(詳しくは>>7ご参照) 3)説明の都合でd1,d2を x,yと書き換えて、x,y座標上で考えよう x,y座標上で 式x=yは原点を通る角度45°の直線で いま、0<x≦n,0<y≦n として(nは十分大きな自然数) 正方形nxnの内部の格子点(x,y)の個数はnxn=n^2個 これは一辺nの正方形の面積でもある x≧y は、直線x=yより上の三角形部分(これはnxn正方形の対角線より上の部分)で、面積は(1/2(n^2))/(n^2)=1/2 x≦y も同様で、従ってP(x≧y)=1/2、P(x≦y)=1/2となる (nが十分大きければ、x=y上の点は無視できる) 4)ところで、上記3)は あくまで、nが有限の場合であった しかしn=∞の場合 (1/2(n^2))/(n^2)→(1/2(∞^2))/(∞^2)の不定形になる(下記ご参照) よって『P(x≧y)=1/2、P(x≦y)=1/2』は言えない! ここが落とし穴です! (参考) //wiis.info/math/real-number/definition-of-real-number/extended-real-number-system/ WIIS 拡大実数系と不定形 R に属するすべての実数と正負の無限大+∞,−∞からなる集合を拡大実数系と呼びます。 無限大どうしの商である、 +∞/+∞、+∞/-∞、-∞/+∞、-∞/-∞ などはいずれも定義不可能であるものと定めます。これらは不定形です。 //ja.wikipedia.org/wiki/%E6%8B%A1%E5%A4%A7%E5%AE%9F%E6%95%B0 拡大実数 所謂不定形の式(英語版) ∞ − ∞, 0 × (±∞), ±∞⁄±∞ などはやはり意味を成さない(英語版)とするのが普通である。 http://rio2016.5ch.net/test/read.cgi/math/1710632805/1000
1001: 1001 [] ID:Thread このスレッドは1000を超えました。 新しいスレッドを立ててください。 life time: 81日 13時間 47分 53秒 http://rio2016.5ch.net/test/read.cgi/math/1710632805/1001
1002: 1002 [] ID:Thread 5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。 運営にご協力お願いいたします。 ─────────────────── 《UPLIFT会員の主な特典》 ★ 5ちゃんねる専用ブラウザからの広告除去 ★ 5ちゃんねるの過去ログを取得 ★ 書き込み規制の緩和 ─────────────────── 会員登録には個人情報は一切必要ありません。 4 USD/mon. から匿名でご購入いただけます。 ▼ UPLIFT会員登録はこちら ▼ https://uplift.5ch.net/ ▼ UPLIFTログインはこちら ▼ https://uplift.5ch.net/login http://rio2016.5ch.net/test/read.cgi/math/1710632805/1002
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.121s*