X
トップページ⇒数学
1002コメント624KB

スレタイ 箱入り無数目を語る部屋18

レス数が1000を超えています。これ以上書き込みはできません。
0867１３２人目の素数さん
垢版 |
2024/05/12(日) 11:33:13.41ID:8tY+5PJt
ここは詐欺師の来る所ではありません　消えて下さい
0868１３２人目の素数さん
垢版 |
2024/05/12(日) 12:02:11.49ID:q1BY6fYe
>>867
消えなければいけないのはあなたの方かもしれない
0869１３２人目の素数さん
垢版 |
2024/05/12(日) 12:31:15.58ID:8tY+5PJt
ID:q1BY6fYe
日本語分かりませんか？　詐欺師は消えて下さい
0870１３２人目の素数さん
垢版 |
2024/05/12(日) 13:03:45.48ID:q1BY6fYe
詐欺師ではないので消えません
0871１３２人目の素数さん
垢版 |
2024/05/12(日) 13:37:35.73ID:8tY+5PJt
自分を詐欺師と言う詐欺師はいませんよ？
0873１３２人目の素数さん
垢版 |
2024/05/13(月) 23:47:55.44ID:YJmu02Uw
>>847 >>850-851
やや
これは これは、弥勒菩薩さま
お元気そうでなによりです。
フォローありがとうございます！

>>868 >>870
こちらは、御大か
フォローありがとうございます！！
0874１３２人目の素数さん
垢版 |
2024/06/02(日) 13:07:42.38ID:GpRur8oL
>>873
どこが分からないか言ってごらん
どこが分からないかが分からない？では救い様が無いので諦めて下さい
0877１３２人目の素数さん
垢版 |
2024/06/02(日) 15:06:03.65ID:GpRur8oL
証明は記事に書いてある
どこが分からないか言ってごらん
0879１３２人目の素数さん
垢版 |
2024/06/02(日) 17:30:25.10ID:6nVrEE7n
定理は、まずいくつかの条件を列挙し、次にその下で成り立つ結論を述べるという形をしている。
例えば、次は代数学の基本定理の述べ方の1つである。

前提条件：f(X) は複素数係数のn次方程式である。
結論：f(X) は複素数の根を持つ
0880１３２人目の素数さん
垢版 |
2024/06/02(日) 17:32:33.02ID:6nVrEE7n
証明
ある命題が正しいことを主張するための一連の演繹のこと。証明の各段階においては、前提（公理、定理等の認められた事実）や仮定から推論規則によって新たな命題を導くという形態をとる。ある証明の中で導入された仮定は、証明の別の部分で証明されるか、その証明の中で否定されなければならない（背理法）。
0881１３２人目の素数さん
垢版 |
2024/06/02(日) 17:45:18.61ID:Ndp36gj+
>>879
>代数学の基本定理
>前提条件：f(X) は複素数係数のn次方程式である。
>結論：f(X) は複素数の根を持つ

証明の述べ方は？

証明（いい加減な概要）
f(X)をn次複素関数とすると、適当な正の実数Rをとれば
原点を中心とする半径Rの円周上でf(X)の偏角の回転数がnとなる
これを逆にRを縮小していくと、回転数nのまま原点まで潰せるとすると矛盾する
したがって必ずどこかで回転数がジャンプする場所があり
その場合円周上のどこかにf(X)=0となる点がある
0884自在天王　Mahesvara
垢版 |
2024/06/02(日) 19:16:35.38ID:Ndp36gj+
こんなのはどうだい？

ja.wikipedia.org/wiki/%E8%87%AA%E5%9C%A8%E5%A4%A9%E7%8E%8B
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
自在天王（じざいてんのう）は、将棋の駒の一つ。
本将棋にはなく、摩訶大大将棋・泰将棋に存在する。

駒の動き
極めて特殊な動きであり、次のいずれかのマスへならば盤上のどこでも行ってよい。
駒をいくらでも飛び越えても構わない。
★敵の駒も味方の駒もいないマス。
★敵の駒がいて、他の敵の駒が効いていないマス。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
0885Asgard archaea
垢版 |
2024/06/02(日) 19:27:10.93ID:Ndp36gj+
>>883
これもいいな

アスガルド古細菌
ja.wikipedia.org/wiki/%E3%82%A2%E3%82%B9%E3%82%AC%E3%83%AB%E3%83%89%E5%8F%A4%E7%B4%B0%E8%8F%8C
0886１３２人目の素数さん
垢版 |
2024/06/02(日) 19:31:38.44ID:Ndp36gj+
世の中にはこんな奴もいる

極限環境微生物
ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E7%92%B0%E5%A2%83%E5%BE%AE%E7%94%9F%E7%89%A9

ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
極限環境微生物（きょくげんかんきょうびせいぶつ）は、
極限環境条件でのみ増殖できる微生物の総称。
なお、ここで定義される極限環境とは、ヒトあるいは人間のよく知る
一般的な動植物、微生物の生育環境から逸脱するものを指す。
ヒトが極限環境と定義しても、極限環境微生物にとってはむしろ
ヒトの成育環境が「極限環境」である可能性もある。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
0887１３２人目の素数さん
垢版 |
2024/06/02(日) 19:58:40.39ID:NNVsCPYL
スレ主です
（>>848より再録）
2024/05/07(火)
＜繰り返す＞

・箱が一つ、サイコロの出目の数字を入れる。これを、確率変数Xとして扱う
・箱が二つ、サイコロの出目の数字を入れる。これを、確率変数X1,X2として扱う
・箱がn個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xnとして扱う
・箱が可算個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xn・・として扱う

大学学部確率論の範囲だろう。ちゃんと勉強して単位を取った者なら分かる
iid(独立同分布)として扱える。どの箱の的中確率も1/6
ちゃんと勉強して単位を取った者なら分かる

このスタートラインに立てない
数学科オチコボレさんを相手にしても、しかたないｗ ；ｐ）
0888１３２人目の素数さん
垢版 |
2024/06/02(日) 20:21:17.31ID:GpRur8oL
定理も証明も記事に書かれてるよ
どこが分からないのか言ってごらん
0889１３２人目の素数さん
垢版 |
2024/06/02(日) 20:34:14.24ID:Ndp36gj+
>大学学部…の範囲だろう。ちゃんと勉強して単位を取った者なら分かる

線形代数における正則行列
群論における正規部分群
等など

ことごとく地雷を踏んだ人が何をいっても無駄

マセマの本から勉強しなおしましょう
0890１３２人目の素数さん
垢版 |
2024/06/02(日) 20:40:38.91ID:Ndp36gj+
>>887
>箱が可算個、サイコロの出目の数字を入れる。
>これを、確率変数X1,X2,・・,Xn・・として扱う

今の独立性の定義だと、任意の有限個が独立、というところまでしか言えない
つまり、無限個の確率変数の情報を知って、そこから未知の確率変数が求まらない
とまではいえない
0894１３２人目の素数さん
垢版 |
2024/06/02(日) 21:44:53.24ID:vzoQxVqD
>>890
X, X1,...,Xn,...が独立のときに、Xとσ(X1,...,Xn,...)は独立とは限らないって主張であってる？どういう反例があるの？
0895１３２人目の素数さん
垢版 |
2024/06/02(日) 23:23:18.92ID:GpRur8oL
>>893
どこが分からないかが分からないんじゃ教えようが無い
諦めて下さい
0897１３２人目の素数さん
垢版 |
2024/06/03(月) 04:31:55.24ID:/P8yRme6
>>894
σとかいう以前に、箱入り無数目の場合
もし箱を有限個しか開けないのなら
同値類が特定できず、したがって情報が得られない

だから、独立性とは矛盾しないんじゃないか？知らんけど
0898１３２人目の素数さん
垢版 |
2024/06/03(月) 05:20:01.32ID:YtjOBcU0
>>896
記事に書かれてるのに分からないと？
0900１３２人目の素数さん
垢版 |
2024/06/03(月) 05:37:07.94ID:/P8yRme6
>>899
確率変数の独立性の定義は、変数が無限個の場合も
任意有限個同士が有限、ってなってるやろ
無限個のときは書いてないんや　知らんかった？
0901１３２人目の素数さん
垢版 |
2024/06/03(月) 05:40:35.34ID:ZUw+qZPD
>>900
それは定義やろ
X, X1,...,Xn,...が独立のときに、Xとσ(X1,...,Xn,...)は独立だと思うんだけど何か反例があるの？
0902１３２人目の素数さん
垢版 |
2024/06/03(月) 06:20:27.37ID:/P8yRme6
>>901
箱入り無数目が成立しても定義と矛盾せえへんやろ　違う？
>X, X1,...,Xn,...が独立のときに

X1,...,Xn,...　は有限？無限？
定義に従うなら、有限個にしかならへんやろ　違う？
0903１３２人目の素数さん
垢版 |
2024/06/03(月) 06:26:20.96ID:/P8yRme6
>>901
あんた、正確に書かなあかんこと書かんから書き直すわ

　X1,...,Xn,...を無限個の確率変数とする
　Xと X1,...,Xn,...の任意有限個の確率変数が独立のときに、
　Xとσ(X1,...,Xn,...)は独立
　だと思うんだけど何か反例があるの？

これに対してのわいの返答

　思うだけなら誰でもできるわ　なんか証明あんの？
0904１３２人目の素数さん
垢版 |
2024/06/03(月) 06:29:14.03ID:/P8yRme6
>>903の前半部が定理で
箱入り無数目はそれと矛盾するからありえん
という主張ならわかるけど
定理でもなんでもなくて
箱入り無数目が反例だとしたら
>>901の主張、背理法で否定されるんちゃう？　知らんけど
0905１３２人目の素数さん
垢版 |
2024/06/03(月) 06:31:53.14ID:/P8yRme6
で、箱入り無数目がσナントカにあたるなら
>>901の発言は意味あるけど
全然関係ないなら無意味やん

そこんとこ　どうなん？　901書かはった ID:ZUw+qZPD はん
0907１３２人目の素数さん
垢版 |
2024/06/03(月) 09:23:20.12ID:YtjOBcU0
>>906
記事に定理が書かれてることが分からないと？
0910１３２人目の素数さん
垢版 |
2024/06/03(月) 14:42:34.69ID:bVC2pEwy
>>909
弥勒菩薩様、アホな基礎論ババアをお救いください！
>>903
・まず、(下記)コンパクト性定理の言い方"任意の有限部分集合がxx" この言い方は慣用句として覚えるべし
・コンパクト性定理は、筑波大 坪井にあるとおりで"４色定理と無限地図"や"順序集合"(無限集合への拡張)に応用を持つ
・コンパクト性定理の応用の一つとして、確率変数独立の定義に当てはめれば、これぞまさに 確率変数が無限集合の場合の定義
(そもそも"任意の有限部分集合がxx"という言い回しが、有限集合に留まらないことはピンとこないと)

(参考)
//ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E6%80%A7%E5%AE%9A%E7%90%86
コンパクト性定理とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。
ある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理

//www.math.tsukuba.ac.jp/~tsuboi/
Akito 坪井 筑波大
//www.math.tsukuba.ac.jp/~tsuboi/
ロジックの部屋
//www.math.tsukuba.ac.jp/~tsuboi/und/14logic3.pdf
数理論理学II
2.2 コンパクト性定理
2.5 応用例
2.5.1 ４色定理と無限地図
2.5.2 順序集合
2.2 コンパクト性定理
Lは引き続き言語とする．またTはL-閉論理式の集合を表す．
完全性定理の系として次の定理が得られる：
定理53 (コンパクト性定理). Tを閉論理式の集合とする．このとき次は同値である：
1.Tはモデルを持つ
2.Tの任意の有限部分集合T0はモデルを持つ．
証明. 1→ 2は自明である．
2→ 1の対偶を示す．Tがモデルを持たないとする．
このとき，完全性定理により，Tから（論理の形式的体系を用いて）矛盾が証明できる．
証明の長さは有限なので，証明に使われるの論理式は有限個しかない．その使われる部分をT0⊂Tとすれば，T0から矛盾が出る．
よってT0はモデルを持ち得ない．

2.5.1 ４色定理と無限地図
平面内に書かれた有限個の国を持つ地図は，４色を用いて隣国が同じ色にならないように塗り分けられる
実はこの４色定理は無限個の国を持つ地図でも成立する．このことはコンパクト性定理を使うと簡単に分かる．
(略)
Tがモデルを持つことを示せば十分である．コンパクト性定理により，Tの各有限部分がモデルを持つことを示せばよい．
しかし，それは有限地図(有限グラフ) に対する４色定理から明らかである．

2.5.2 順序集合
定理70. (A,<)を順序集合とする．このとき，<を拡大したA上の全順序<*が存在する．
注意 71. 上の2項関係<*で，
条件(i)<⊂<*，(ii) (A,<*)は全順序集合，を満たすものが存在するという意味である．
定理70の証明.
(中略)
各有限部分は，ステップ１によりモデルを持つ．したがって，コンパクト性によりT全体がモデルMを持つ．a∈AとCa^Mを同一視すれば，集合としてA⊂Mである．このとき<*の解釈（のへの制限）が求める全順序になっている．
0911１３２人目の素数さん
垢版 |
2024/06/03(月) 15:40:28.52ID:YtjOBcU0
>>908
ああやはり分からないんですね？
0912１３２人目の素数さん
垢版 |
2024/06/03(月) 15:51:20.93ID:ZUw+qZPD
>>902

> >X, X1,...,Xn,...が独立のときに
>
> X1,...,Xn,...　は有限？無限？
> 定義に従うなら、有限個にしかならへんやろ　違う？
無限個だろ見ればわかるじゃん
なんの定義から有限にしかならないの？意味不明なんだけど

>>903
> あんた、正確に書かなあかんこと書かんから書き直すわ
>
> 　X1,...,Xn,...を無限個の確率変数とする
> 　Xと X1,...,Xn,...の任意有限個の確率変数が独立のときに、
> 　Xとσ(X1,...,Xn,...)は独立
> 　だと思うんだけど何か反例があるの？
>
> これに対してのわいの返答
>
> 　思うだけなら誰でもできるわ　なんか証明あんの？
教科書にそのまんまの定理が載ってたから書いてるんどけど
0913１３２人目の素数さん
垢版 |
2024/06/03(月) 15:58:07.15ID:ZUw+qZPD
あと、この主張が意味不明だからレスしてるんであって箱入り無数目とは特に関係ないぞ

> 890 １３２人目の素数さん sage 2024/06/02(日) 20:40:38.91 ID:Ndp36gj+
> >>887
> >箱が可算個、サイコロの出目の数字を入れる。
> >これを、確率変数X1,X2,・・,Xn・・として扱う
>
> 今の独立性の定義だと、任意の有限個が独立、というところまでしか言えない
> つまり、無限個の確率変数の情報を知って、そこから未知の確率変数が求まらない
> とまではいえない
0914１３２人目の素数さん
垢版 |
2024/06/03(月) 16:04:05.83ID:yu+wvOJ7
>>912
>教科書にそのまんまの定理が載ってたから書いてるんどけど
じゃその定理と証明書いてあげたら？
唐突にσとかいいだしても皆分からんからそこから定義してな
0915１３２人目の素数さん
垢版 |
2024/06/03(月) 16:20:36.14ID:ZUw+qZPD
>>914
ここ確率論のスレじゃないんか？
なんでわざわざ書かないといかんの？
言い出しっぺが反例を書けばいいじゃん
0917１３２人目の素数さん
垢版 |
2024/06/03(月) 17:04:26.57ID:4PsPqZpb
>>915
>ここ確率論のスレじゃないんか？
集合論のスレですね　箱入り無数目は集合論の定理ですから
0920１３２人目の素数さん
垢版 |
2024/06/03(月) 18:27:58.37ID:YtjOBcU0
>>916
定理が書かれていることがわからないのを認めたら、死ぬわけじゃないし
0921現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2024/06/03(月) 20:31:26.20ID:YlGjRpgC
>>920

時枝さんの記事>>1-2は、定理もどき
"めでたく確率99/100で勝てる
確率1-ε で勝てる"
には、反例がある(>>887の通り)

よって、定理にあらず
（反例のある命題には、証明はない！ｗｗ）
証明もどきはあるだろうが・・ｗｗｗ ；ｐ）
0922１３２人目の素数さん
垢版 |
2024/06/04(火) 00:20:34.26ID:fpbR6aQy
>>921
そもそも「箱入り無数目」では、箱の中身を確率変数として扱っていない
100列のそれぞれについて、外れの列が2列以上になることはない
したがって反例は存在し得ない
（反例が存在すればa<bかつb<aとなる自然数a,bが存在することになり矛盾）

よって現代数学の系譜 雑談 ◆yH25M02vWFhPの言いがかりは却下される
0923１３２人目の素数さん
垢版 |
2024/06/04(火) 05:40:48.10ID:3B+h5P1Y
確率変数のとり方を変えれば
結論も変わる
0925１３２人目の素数さん
垢版 |
2024/06/04(火) 06:23:49.01ID:fpbR6aQy
>>924
じゃ、君の言うことは却下されるね
0927１３２人目の素数さん
垢版 |
2024/06/04(火) 06:29:40.08ID:fpbR6aQy
>>926
君がね
0928１３２人目の素数さん
垢版 |
2024/06/04(火) 07:58:24.92ID:sGGR520H
>>921
>時枝さんの記事>>1-2は、定理もどき
>"めでたく確率99/100で勝てる
>確率1-ε で勝てる"
>には、反例がある
では、出題列を2列に並べ替えたときの決定番号d1,d2がどのような自然数の組なら勝率1/2に満たないか答えて下さい

>>916
まだ認められませんか？
0929１３２人目の素数さん
垢版 |
2024/06/04(火) 08:49:12.05ID:lFM4Pr0A
「箱入り無数目」が不成立だといいはる理由として
決定番号の分布が異常で、任意の自然数ｎについて
ｎ以下となる確率が０に近い筈というものがあったが
その場合、回答者が選ぶ箱の分布も
選ばなかった９９列の決定番号の最大値の分布
であるので同様のことが云えてしまうのだが、そこは考慮してるか？
それと全く考慮せず定数として考えてしまっているか？

もし定数として考えてるなら誤りだろう
0931現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2024/06/04(火) 10:44:01.32ID:eNnbImvR
>>922
(引用開始)
そもそも「箱入り無数目」では、箱の中身を確率変数として扱っていない
100列のそれぞれについて、外れの列が2列以上になることはない
したがって反例は存在し得ない
（反例が存在すればa<bかつb<aとなる自然数a,bが存在することになり矛盾）
よって現代数学の系譜 雑談 ◆yH25M02vWFhPの言いがかりは却下される
(引用終り)

小話その１
・中学生が、つるかめ算を連立方程式で解いた
・それを見ていた小学生「つるや かめは、ｘとかｙとかじゃない・・！」と叫んだ

＜解説＞
・数学では連立方程式のｘとかｙで、抽象化された数を扱っているのです
　そこが理解できない小学生だった
・翻って、「箱入り無数目」はどうか？
　「箱入り無数目」の可算無限個の箱に、ある人はサイコロの目を入れた
　別の人はコイントスで、０か１を入れた
　また、別の人は トランプでハートの１〜１３の札の数をランダムに入れた
　これら全てを抽象化して扱うのが、確率変数の概念です
・小学生には、難しいわなｗ
　確率変数の概念から、ズッコケている人がいますｗ
　うん？ 数学科出身？ 君は確率論の単位を落としたんだね！ｗｗ ；ｐ）
0932現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2024/06/04(火) 10:48:40.46ID:eNnbImvR
>>928 & >>922

１）確率変数の概念を勉強しましょう！ｗ
２）＜繰り返す＞>>887より
・箱が一つ、サイコロの出目の数字を入れる。これを、確率変数Xとして扱う
・箱が二つ、サイコロの出目の数字を入れる。これを、確率変数X1,X2として扱う
・箱がn個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xnとして扱う
・箱が可算個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xn・・として扱う

大学学部確率論の範囲だろう。ちゃんと勉強して単位を取った者なら分かる
iid(独立同分布)として扱える。どの箱の的中確率も1/6
ちゃんと勉強して単位を取った者なら分かる

このスタートラインに立てない
数学科オチコボレさんを相手にしても、しかたないｗ ；ｐ）
0933１３２人目の素数さん
垢版 |
2024/06/04(火) 10:52:34.14ID:sGGR520H
>>932
日本語が分かりませんか？
私は
>出題列を2列に並べ替えたときの決定番号d1,d2がどのような自然数の組なら勝率1/2に満たないか答えて下さい
と言ったんですよ？
0934１３２人目の素数さん
垢版 |
2024/06/04(火) 10:54:17.81ID:sGGR520H
日本語が分からないなら日本語で書かれた箱入り無数目が分かるはずがないですね
まずは日本語を勉強しましょう
0935１３２人目の素数さん
垢版 |
2024/06/04(火) 10:56:09.48ID:lFM4Pr0A
>>932
>>929には何も言えないみたい

箱入り無数目の前半では確率変数はでてこないが、もし確率変数を持ち出して考えたとして
選んだ１列の決定番号の分布　と　選ばなかった９９列の決定番号の最大値の分布　の比較
となるので、それ抜きにした考察は無意味　ってことに遅まきながら気づいたみたい
0936１３２人目の素数さん
垢版 |
2024/06/04(火) 10:58:44.81ID:lFM4Pr0A
>>933　も
選んだ１列の決定番号の分布　と　選ばなかった１列の決定番号の分布　の比較
ってことですから、常に
選んだ１列の決定番号　＞　選ばなかった１列の決定番号
なんてことは、まあ、いえないよね
0938１３２人目の素数さん
垢版 |
2024/06/04(火) 12:08:49.54ID:sGGR520H
>>937
いつ言いました？レス番号教えてください
0941１３２人目の素数さん
垢版 |
2024/06/04(火) 13:07:06.77ID:sGGR520H
>>939
書いてもいいけど>>938に答えるのが先
0944１３２人目の素数さん
垢版 |
2024/06/04(火) 13:36:19.61ID:3opCpadh
論点のすり替え
本来の議論しなければならない問題やその答えを、全く別の問題の議論に持っていって、話をすり替えようとすることを指す。
例えば「殺人シーンは通ったのに未成年の喫煙シーンは編集部に改変された」という発言に対し、発言者は編集部が勝手に修正したことを論じているのに、「殺人シーンはよくて未成年の喫煙(飲酒)は駄目なのか」と論じてしまうのが論点のすり替えとされている。
論点のすり替えを連発して話を混乱させてしまう論法は「チューバッカ弁論」とも呼ばれる。これはアニメ『サウスパーク』作中の裁判にて、弁護士が裁判とは全く無関係なチューバッカの話を延々と語った末に勝訴してしまうというブラックジョークが由来とされている。
ちなみに相手の主張や助言に対し、発言者にもそれができていないことを指摘して、発言者を貶めること(「人格攻撃」「おまえだって論法」と呼ばれる)も論点のすり替えの一つに当たる。が、ネット上ではよく見られる(いわゆる『ブーメラン』、古い言葉では『オマエモナー』)のも実情。
たとえば「他人の物を盗むのはよくない」と言った人が窃盗犯だったとしても、だからといって「他人の物を盗むのはよくない」ということに変わりはない。「お前が言うな」と感じて説得力が無いように思うのも人情なのだが、理論上は「おまえだって」と指摘することに意味はないのである。
0945現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2024/06/04(火) 14:08:26.48ID:eNnbImvR
>>935
>箱入り無数目の前半では確率変数はでてこないが、もし確率変数を持ち出して考えたとして

つるかめ算に変数ｘ、ｙは出てこない
だからと言って、連立方程式の理論が つるかめ算に適用できないとはいえまい！

>選んだ１列の決定番号の分布　と　選ばなかった９９列の決定番号の最大値の分布　の比較

決定番号の分布が存在しないだろ？
いま簡単に箱３つで、サイコロの目の1〜6を入れたとする
問題の列と 代表列との一致で、代表列の箱の数を固定する
(最後の箱は、代表と同じなので、自由はのは2箱のみで、場合の数は6^2通り)
i)決定番号1は、全ての箱が代表列と一致するので１通り
ii)決定番号2は、2番目と3番目の箱が代表列と一致するので、自由度は最初の箱だけで6通りで、決定番号1を除くので5通り
iii)決定番号3は、3番目の箱のみが代表列と一致するので、自由度は最初の2箱だけで36通りで、決定番号1,2を除くので30通り

この例でわかることは
最後の箱が決定番号（いまの場合は決定番号3）の場合の数が圧倒的に多いってこと

いま、上記で箱が有限n個の場合を考えよう
最後の箱が、代表と同じで固定されるから、場合の数は6^(n-1）通りで
決定番号が1〜n-1の場合の数は、6^(n-2)通り
決定番号が最後のn番目になるのは、6^(n-1）- 6^(n-2)

さて
１）n→∞ とすると 一番場合の数の多い 決定番号が最後のn番目が無限のかなたに消え去って、まっとうな分布を成さない！
２）さらに、比をとると (6^(n-1）- 6^(n-2))/6^(n-1）=1-1/6
　ここで、箱に任意の自然数を入れると、6→∞になり、1-1/6→1だ
（箱入り無数目設定では、箱に任意の実数可なので、6→連続無限（∞） になります）
　箱に任意の自然数にしろ、箱に任意の実数にしろ、入れる数が無限の場合はそもそも決定番号の分布は存在しないのです！ 分布を考えることができない！

大学数学の常套句で、”存在すれば一意・・”がある
”分布が存在すれば、かくかくしかじか”と論じても
上記のごとく、決定番号の分布は存在しないのだから、時枝さんの箱入り無数目論法は無意味です
0946１３２人目の素数さん
垢版 |
2024/06/04(火) 14:22:51.63ID:R7xb0oNk
>>945
>>選んだ１列の決定番号の分布　と　選ばなかった９９列の決定番号の最大値の分布　の比較
>決定番号の分布が存在しないだろ？

だから選択公理は間違ってる、と？
0947１３２人目の素数さん
垢版 |
2024/06/04(火) 14:24:21.52ID:R7xb0oNk
>>945
>n→∞ とすると 一番場合の数の多い 決定番号が最後のn番目が無限のかなたに消え去って、まっとうな分布を成さない！

その場合、否定されるのは「無限列にも最後の箱が存在する」という前提ではないかい？
0948１３２人目の素数さん
垢版 |
2024/06/04(火) 14:33:11.60ID:V7qtPIcH
>>945
>入れる数が無限の場合はそもそも決定番号の分布は存在しないのです！ 分布を考えることができない！

入れる数？　入れる箱だろ？

もし最後の箱が存在すればその箱の位置が確率１
でも存在しない場合はそうはいえない

無限であるだけでは不十分　最後の箱が存在するか否かで決まる

この場合無限列R^Nとしているから、最後の箱が存在しない

>決定番号の分布は存在しないのだから、時枝さんの箱入り無数目論法は無意味です

どう無意味？　実現不能？　それとも実現可能だが確率の算定が不能？
0949１３２人目の素数さん
垢版 |
2024/06/04(火) 14:37:01.74ID:Rf/D4ZTB
選択公理による選択関数の実現不能性が
非可測性から導かれるといいたいようだけど
その証明はあるかい？
0950１３２人目の素数さん
垢版 |
2024/06/04(火) 14:39:46.08ID:Rf/D4ZTB
ガロア理論（というか群論と方程式論）で負け
線形代数で負け
集合論（確率論ではない）で負け

もう ”現代数学の系譜 雑談 ◆yH25M02vWFhP” は数学は諦めたほうがいいんじゃない？
0951１３２人目の素数さん
垢版 |
2024/06/04(火) 17:42:48.72ID:sGGR520H
>>942
>>>938に答えるのが先
という日本語が読めませんか？
0953１３２人目の素数さん
垢版 |
2024/06/04(火) 18:20:25.97ID:sGGR520H
>>952
>0937
>定理を書けといってるんだ、日本語わからないの？
これは>>937より前に定理を書けと言ったってことですよね？
だからそのレス番号を聞いてるだけなんだけど？
なぜごまかすの？
0956１３２人目の素数さん
垢版 |
2024/06/04(火) 20:05:48.59ID:sGGR520H
だめだこりゃ
日本語が分からないんじゃ箱入り無数目が分かるわけがない　諦めましょう
0958１３２人目の素数さん
垢版 |
2024/06/04(火) 21:12:18.85ID:GxSzeiWS
>>948
>>入れる数が無限の場合はそもそも決定番号の分布は存在しないのです！ 分布を考えることができない！
>入れる数？　入れる箱だろ？

１）入れる数であっている。コイントスは0,1の二通り。サイコロは1〜6の6通り
　自然数Nや有理数Qの範囲ならば、可算無限
　連続濃度Rなら連続無限
　そして、箱入り無数目の条件は、「どんな実数を入れるかはまったく自由」>>1
　だから s1，s2，s3 ，・・・∈R >>1だ
　この場合は、決定番号の分布は存在しない
　>>945と同様 箱3つで考えよう
　出題がs1，s2，s3 、代表列がs'1， s'2， s'3
　しっぽ s3＝s'3 である（代表列の定義の通り）
　さて、s2＝s'2となる確率はP(s2＝s'2)＝0 (つまり、二つの実数s2とs'2が一致する確率0)
２）いま、箱入り無数目の列の長さLを、箱の数nを用いてL＝nと定義しよう
　箱入り無数目は、箱が可算無限個あるので列長さL＝∞だ
３）実数Rを考えると、上記のように、L＝nにおいて決定番号d＝nの確率1
　決定番号d＜nの確率0
　この状況で、n→∞とすれば確率1の箱は無限のかなたに飛んでいく
　有限dの部分では、確率0の部分が残る
　即ち、決定番号の分布は存在しない
（選択公理でゴマカシをしようとする人が居る。時枝氏もその一人だ。が、選択公理でゴマカすのは筋違い）
0960１３２人目の素数さん
垢版 |
2024/06/04(火) 23:27:11.41ID:fpbR6aQy
>>958
>>入れる数？　入れる箱だろ？
>入れる数であっている。
の後の説明は、明らかに入れる箱が無限の場合の説明

１、ついに狂う
0961１３２人目の素数さん
垢版 |
2024/06/05(水) 06:21:21.04ID:X29ZhDGs
>>958
>決定番号の分布は存在しない
存在しようがしまいが関係無い
記事の証明はそんなもの使ってないので

で、>>928の答えはまだですか？
0963現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2024/06/05(水) 07:18:10.56ID:18s1FmPg
>>960
分ってないね
再録（>>598より）
１）入れる数であっている。コイントスは0,1の二通り。サイコロは1〜6の6通り
　自然数Nや有理数Qの範囲ならば、可算無限
　連続濃度Rなら連続無限
　そして、箱入り無数目の条件は、「どんな実数を入れるかはまったく自由」>>1
　だから s1，s2，s3 ，・・・∈R >>1だ
　この場合は、決定番号の分布は存在しない
　>>945と同様 箱3つで考えよう
　出題がs1，s2，s3 、代表列がs'1， s'2， s'3
　しっぽ s3＝s'3 である（代表列の定義の通り）
　さて、s2＝s'2となる確率はP(s2＝s'2)＝0 (つまり、二つの実数s2とs'2が一致する確率0)
２）いま、箱入り無数目の列の長さLを、箱の数nを用いてL＝nと定義しよう
　箱入り無数目は、箱が可算無限個あるので列長さL＝∞だ
３）実数Rを考えると、上記のように、L＝nにおいて決定番号d＝nの確率1
　決定番号d＜nの確率0
(引用終り)

・ここまでで示していることは、列の長さLで 箱の数n有限の場合でも
　決定番号d=n の確率1、決定番号d＜nの確率0
・即ち、100列を作っても、時枝論法(>>2)の
「1〜100 のいずれかをランダムに選ぶ.
　例えばkが選ばれたとせよ.
　s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.」
　が不成立だってこと
　つまり、100列全部 di=n (i=1,2,・・,n)ってことだよ
　この状況だから、箱の数n有限の場合 時枝論法が不成立（時枝論法が成立する分布にあらず！）
・その上で、L＝∞のときは、全ての決定番号d有限場合の確率が 0であることを示したってこと
0964１３２人目の素数さん
垢版 |
2024/06/05(水) 08:10:44.24ID:X29ZhDGs
箱入り無数目定理

箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にnを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
あなたが確率99/100で勝つ戦略が存在する。
0965現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2024/06/05(水) 09:53:58.00ID:GTWVkqvF
>>964
現代確率論からの反例(>>932より再録)
＜繰り返す＞>>887より
・箱が一つ、サイコロの出目の数字を入れる。これを、確率変数Xとして扱う
・箱が二つ、サイコロの出目の数字を入れる。これを、確率変数X1,X2として扱う
・箱がn個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xnとして扱う
・箱が可算個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xn・・として扱う
大学学部確率論の範囲だろう。ちゃんと勉強して単位を取った者なら分かる
iid(独立同分布)として扱える。どの箱の的中確率も1/6
ちゃんと勉強して単位を取った者なら分かる
(引用終り)

１）上記どの箱も、的中確率1/6にしかならない
２）もし、上記のどれか ある箱のサイコロの出目を、その箱を開けずに
　箱の中のサイコロの出目をピタリと言い当てる数理があるならば、現代確率論の結論と矛盾する
３）サイコロの出目は、自然数１〜６∈R(実数)であるから、これが反例になる！
0966１３２人目の素数さん
垢版 |
2024/06/05(水) 10:52:35.52ID:X29ZhDGs
>>965
反例があるなら>>928に答えて下さいと言いました
日本語分かりませんか？
0967１３２人目の素数さん
垢版 |
2024/06/05(水) 11:07:55.65ID:GTWVkqvF
>>966
１）反例があることは、お認めになられたわけですね
　それは結構なことだ
２）さて、>>963＆>>958に示したように
「(箱の中の)実数Rを考えると、上記のように、L＝nにおいて決定番号d＝nの確率1
　決定番号d＜nの確率0
　この状況で、n→∞とすれば確率1の箱は無限のかなたに飛んでいく
　有限dの部分では、確率0の部分が残る
　即ち、決定番号の分布は存在しない」
　これを認めると
　長さ L＝∞の箱の列が２列あって、それぞれ決定番号d1,d2とすると
　d1,d2の存在確率0（d1,d2は存在するが、存在確率 1/∞＝0）
　よって、d1,d2の大小比較は 確率0の中の話
　P（d1≧d2) ≧1/2 となったとしても
　確率0の中の話だから、結局は0*(1/2)＝0
　つまりは、(箱の中の)実数Rを的中する確率は0が導かれる
　これは、現代確率論の通り！
0968１３２人目の素数さん
垢版 |
2024/06/05(水) 11:12:26.75ID:M1ul548b
選択公理を前提する
この場合、無限列の尻尾同値類の代表をとることができる
したがって、どんな100列をとっても、それぞれの尻尾同値類と相違する項は有限個しかなく、無限個の項で一致する

もし、サイコロの出目を入れたとして、どの箱を選んでも、当たる確率が1/6しかないなら
少なくとも選んだ箱の5/6は、尻尾同値類と相違する有限個の項にあたる箱であることになる

それはそれで現代確率論に反すると思うが
（無限列Ｒ＾Ｎの代わりに関数[0,1)→Ｒをとれば、[0,1)はＮと違って一様な確率測度が存在するので
　上記の不自然性を確率論で定式化でき、現代数学の系譜 雑談 ◆yH25M02vWFhPの主張との矛盾が示せる）
0969１３２人目の素数さん
垢版 |
2024/06/05(水) 11:14:45.62ID:M1ul548b
>>967
>d1,d2の存在確率0（d1,d2は存在するが、存在確率 1/∞＝0）
>よって、d1,d2の大小比較は 確率0の中の話

無限列R^Nなので、決定番号d1,d2∈Nは否定できない
よって、d1,d2の大小比較はつねに可能（もちろん確率１）
0970１３２人目の素数さん
垢版 |
2024/06/05(水) 11:14:54.89ID:X29ZhDGs
>>967
>反例があることは、お認めになられたわけですね
なんで不成立派って日本語が分からないアホばっかなんでしょうね
やれやれ
0973１３２人目の素数さん
垢版 |
2024/06/05(水) 14:06:52.24ID:X29ZhDGs
>>972
誤魔化す？何を？
0975１３２人目の素数さん
垢版 |
2024/06/05(水) 14:32:49.86ID:X29ZhDGs
だから言ってるじゃん
定理は記事に書かれてると
分からないなら諦めましょう
0976１３２人目の素数さん
垢版 |
2024/06/05(水) 15:16:57.69ID:GTWVkqvF
>>968
(引用開始)
選択公理を前提する
この場合、無限列の尻尾同値類の代表をとることができる
したがって、どんな100列をとっても、それぞれの尻尾同値類と相違する項は有限個しかなく、無限個の項で一致する
もし、サイコロの出目を入れたとして、どの箱を選んでも、当たる確率が1/6しかないなら
少なくとも選んだ箱の5/6は、尻尾同値類と相違する有限個の項にあたる箱であることになる
それはそれで現代確率論に反すると思うが
（無限列Ｒ＾Ｎの代わりに関数[0,1)→Ｒをとれば、[0,1)はＮと違って一様な確率測度が存在するので
　上記の不自然性を確率論で定式化でき、現代数学の系譜 雑談 ◆yH25M02vWFhPの主張との矛盾が示せる）
(引用終り)

　967です
１）まず、選択公理については、私も選択公理を排除するつもりはないが
　フルパワー選択公理は決して、集合の可測性を保証しないどころか、しばしば非可測集合を構成することが知られている（下記）
　よって、尻尾同値類を使う確率99/100が、きちんと測度論の裏付けのある事象かは要証明の事項だが、その測度論に基づく証明はまだない！
２）さらに、上記「無限個の項で一致する」と宣うが、項１つの一致確率をpとすると
　無限個の項で一致する事象の確率は p^∞＝0 であると自白していることになる
　それは、>>967で示した >>963＆>>958の反例の説明に一致する
以上

(参考)
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]。
不可算個のヴィタリ集合が存在し、それらの存在は選択公理の仮定の下で示される。
1970年にロバート・ソロヴェイ（英語版）は、到達不能基数の存在を仮定することにより、全ての実数の集合がルベーグ可測となるような（選択公理を除いた）ツェルメロ・フレンケル集合論のモデルを構築した[2]。
0977１３２人目の素数さん
垢版 |
2024/06/05(水) 15:55:42.82ID:X29ZhDGs
>>976
>尻尾同値類を使う確率99/100が、きちんと測度論の裏付けのある事象かは要証明
裏付けはある
100個中99個だから確率99/10
0978１３２人目の素数さん
垢版 |
2024/06/05(水) 16:57:27.26ID:X29ZhDGs
逆になんで100個中99個だから確率99/100に測度論の裏付けが無いと思うの？
0979１３２人目の素数さん
垢版 |
2024/06/05(水) 16:58:46.38ID:beqeI1U3
>>976
>フルパワー選択公理は決して、
>集合の可測性を保証しないどころか、
>しばしば非可測集合を構成することが知られている

関係ないな
有限集合が測度０となるように
箱の全体集合を構成すればいい
Nではダメだが[0,1)ならよい

>「無限個の項で一致する」と宣うが、項１つの一致確率をpとすると
>無限個の項で一致する事象の確率は p^∞＝0 であると自白していることになる
>それは、・・・の反例の説明に一致する

関係ないな
ランダムに箱の中身を予測した結果が
実際の箱の中身と尻尾同値である確率
など求める必要などないから

選択公理を否定しないかぎり列とその代表の「無限個の項での一致」を否定し得ない
選択関数によって有限個の箱を除いた全部の情報があれば代表が得られる
フルパワー選択公理をフルパワーで否定するかい？
0980１３２人目の素数さん
垢版 |
2024/06/05(水) 17:10:44.53ID:GTWVkqvF
>>977
>>尻尾同値類を使う確率99/100が、きちんと測度論の裏付けのある事象かは要証明
>裏付けはある
>100個中99個だから確率99/100

１）だから、選択公理で代表を選んで、確率99/100を導いた
　条件つき確率としての確率99/100は認める
　しかし”選択公理を使う”ところは、測度論の保証がない
２）つまり、フルパワー選択公理を使うところは、測度論的には非可測もあり可測もある
　さて”選択公理を使”って、条件つき確率としての確率99/100を導いた
　その前提条件が、無限列の尻尾同値類で、無限個の項で一致する代表を使っているのならば
　繰り返すが、１個の一致確率がpで 無限個の項で一致する代表を選ぶ確率はp^n＝0です
　確率0の事象を前提として、条件つき確率99/100であれば
　全体としては、0*99/100＝0ですよ！
0981１３２人目の素数さん
垢版 |
2024/06/05(水) 17:19:24.83ID:beqeI1U3
>>980
>条件つき確率としての確率99/100は認める
>条件つき確率としての確率99/100を導いた前提条件が、
>無限列の尻尾同値類で、無限個の項で一致する代表を使っているのならば

無限列R^Nの尻尾同値類の代表は、必ず無限個の項で一致するが
有限個、端的にいえば、１個しか一致しない代表を選ぶことは、絶対にできない

したがってその確率は０ではなく１である

出題列を固定するという意味での「条件つき確率」といってるのかとおもったが
そこは全然想定してなかったんだね　ちゃんと考えてる？
0982１３２人目の素数さん
垢版 |
2024/06/05(水) 17:28:29.72ID:X29ZhDGs
>>980
>条件つき確率としての確率99/100は認める
条件とは？
0983１３２人目の素数さん
垢版 |
2024/06/05(水) 17:29:36.82ID:X29ZhDGs
>>980
>条件つき確率としての確率99/100は認める
じゃあ逆に「100個中99個」にならない条件って例えば何？
0984１３２人目の素数さん
垢版 |
2024/06/05(水) 20:51:11.12ID:18s1FmPg
>>981-983
　980です

１）つまり、選択公理で代表を選んで決定番号を出し
　決定番号の大小比較を確率に使う根本のところが
　測度論としては、well-definedでないということだろう
２）つまり、いま簡単に可算無限列で2列としよう
　箱入り無数目>>1-2の通り
　選択公理で代表を選び決定番号d1,d2となったとしよう
　そして、例えばd1<d2だという
　この論法の根本のところが、測度論的裏付けが希薄で
　well-definedでない
　その一つの表れが
　>>980より再録するが
「無限列の尻尾同値類で、無限個の項で一致する代表を使っているのならば
　繰り返すが、１個の一致確率が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 とは，それぞれ「ちゃんと定義できている」，「定義があいまい・無効・無意味である」ことを意味します。専門数学をやっていくにあたっては必須の用語でしょう。この言葉について，具体例も交えながら，分かりやすく紹介しましょう。
0985１３２人目の素数さん
垢版 |
2024/06/05(水) 21:29:54.68ID:beqeI1U3
>>984
出題される１００列を固定した場合
君のいう測度論は全く無用になるけど

>繰り返すが、１個の一致確率がpで 無限個の項で一致する代表を選ぶ確率はp^n＝0です
繰り返すが、有限個の箱を除いた他の無限個の箱の中身がわかれば
選択公理によりその列と有限個の箱を除いて一致する代表が選べる
必ず選べるのだから確率は１

選択公理は確率論と相容れないのかい？　
そんな主張は君以外から聞いたことないが？
0986１３２人目の素数さん
垢版 |
2024/06/05(水) 23:12:42.57ID:X29ZhDGs
>>984
>選択公理で代表を選び決定番号d1,d2となったとしよう
>　そして、例えばd1<d2だという
>　この論法の根本のところが、測度論的裏付けが希薄で
>　well-definedでない
自然数の組d1,d2が定まった瞬間に、どんな過程により（例えば選択公理を用いて）定まったにせよ、d1>d2, d1=d2, d1<d2 のいずれかひとつだよ
それとも自然数は全順序じゃないと言いたいの？
0987１３２人目の素数さん
垢版 |
2024/06/06(木) 00:12:59.85ID:Nx6qibah
>>985-986
>出題される１００列を固定した場合
>君のいう測度論は全く無用になるけど

１）”固定”の数学定義を述べよ
２）なお、普通は>>1の通りで
　「箱それぞれに，私が実数を入れる.・・・そして箱をみな閉じる.
　今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよい・・」
　つまり、箱を閉じた後は、出題者は箱の数を変えることはできない
　これは共通認識と思うが、それ以上の意味を”固定”で定義しているのか？
３）君の論法ならば、箱が有限の場合にも 測度論は全く無用になる
　例えば箱が一つある
　サイコロの目1〜6を入れる
　あるいはコイントス 0,1
　あるいは、実数[0,1]区間の一様分布の数 r∈[0,1]
　で、これで箱を閉じたら「測度論は全く無用になる」？ ならんぞ
　箱に入れる数に応じた測度を使う
　実数[0,1]区間の一様分布の数 r∈[0,1] なら的中確率0です！

>選択公理によりその列と有限個の箱を除いて一致する代表が選べる
>必ず選べるのだから確率は１

１）選択公理は、確率１を保証しない
２）非正則分布（下記）からでも数の選択は可能だ
　しかし、非正則分布では、確率の公理を満たすことはできない
（『非正則な分布は、よく見てみると確率の和が1ではありません。』（下記））

(参考)>>7より再録
//ai-trend.jp/basic-study/bayes/improper_prior/
AVILEN Inc. 2020
2020/04/14
非正則事前分布とは？〜完全なる無情報事前分布〜
ライター：古澤嘉啓
目次
1 非正則な分布とは？一様分布との比較
2 非正則分布は確率分布ではない！？
3 非正則事前分布は完全なる無情報事前分布
4 まとめ
『非正則な分布は、よく見てみると確率の和が1ではありません。』
0988１３２人目の素数さん
垢版 |
2024/06/06(木) 05:15:55.28ID:C5bHO3hO
>>987
>それ以上の意味を”固定”で定義しているのか？
試行毎に変化しない

>箱が有限の場合
箱入り無数目では箱は無限個

>選択公理は、確率１を保証しない
選択公理は選択関数の存在を保証する、よって決定番号がwell-definedであることが保証される
0989１３２人目の素数さん
垢版 |
2024/06/06(木) 05:17:18.89ID:C5bHO3hO
なぜこれほど頭が悪いのか
0990１３２人目の素数さん
垢版 |
2024/06/06(木) 05:56:54.65ID:uEAy5F+a
>>987
>”固定”の数学定義を述べよ
>「箱それぞれに，私が実数を入れる.・・・そして箱をみな閉じる.
>今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよい・・」
>つまり、箱を閉じた後は、出題者は箱の数を変えることはできない
>これは共通認識と思うが、
その通り
そして、その出題だけで、回答者の列および箱の選択だけが自由である
これが共通認識だが

>君の論法ならば、箱が有限の場合にも 測度論は全く無用になる
然り

>で、これで箱を閉じたら「測度論は全く無用になる」？
君の考える測度は全く無用になる

>ならんぞ
>箱に入れる数に応じた測度を使う
なる
「箱に入れる数に応じた測度」ではなく
「回答者が勝手に想像する測度」を使ってるだけ
両者が同じだというのが君の勝手な妄想

>>選択公理によりその列と有限個の箱を除いて一致する代表が選べる
>>必ず選べるのだから確率は１
>選択公理は、確率１を保証しない
保証する　それが選択公理

>非正則分布からでも数の選択は可能だ
>しかし、非正則分布では、確率の公理を満たすことはできない
>（『非正則な分布は、よく見てみると確率の和が1ではありません。』）
箱の中身の分布も決定番号の分布も一切考える必要がない
忘れて良い　忘れなさい
0991現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2024/06/06(木) 10:24:51.23ID:lHR0rM/d
>>988
ご苦労様です。987です

>>それ以上の意味を”固定”で定義しているのか？
>試行毎に変化しない

・試行の定義は？ 下記の試行 (確率論)（＝Experiment (probability theory)）通りでよいか？
・さて、”変化しない”の主語は何か？ 何が変化しないのか？

>>箱が有限の場合
>箱入り無数目では箱は無限個

・同義反復では？　いま論じているのは 箱入り無数目の手法が定理として成り立っているかどうかだが
・そこを飛ばして、「箱入り無数目は正しいから正しい」とう論法にしか聞こえないけど？ ；ｐ）

>>選択公理は、確率１を保証しない
>選択公理は選択関数の存在を保証する、よって決定番号が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]。
0992１３２人目の素数さん
垢版 |
2024/06/06(木) 10:44:44.43ID:eEGtJgbO
>>991
>>>”固定”の数学定義を述べよ
>>試行毎に変化しない
>試行の定義は？ 試行 (確率論)（＝Experiment (probability theory)）通りでよいか？

よい
「試行の結果全体の集合は標本空間（全事象）と呼ばれる。」と書かれている筈
したがって、標本空間（全事象）を出題100列からの任意の1列の選択とすれば
試行毎に出題が変わることはない

>さて、”変化しない”の主語は何か？ 何が変化しないのか？
「出題が」変化しない　変化するのは「回答者による列の選択が」

>いまの問題は、同値類の代表を使った確率計算99/100に測度論的裏付けがあるかどうかだ
出題が変化しないのなら、君のいう非可測性は完全に排除される

>選択公理は、測度論的裏付けとは全く無関係だ。
そう、君のいう非可測性が完全に排除される以上、君のいうとおり全く無関係だ
君の異議は完全に却下された
0993１３２人目の素数さん
垢版 |
2024/06/06(木) 10:48:48.13ID:C5bHO3hO
>>991
>何が変化しないのか？
実数列

>「箱入り無数目は正しいから正しい」とう論法にしか聞こえないけど？
幻聴ですか？

>同値類の代表の存在は保証する
ならばいかなる実数列の決定番号も自然数であるから、２つの実数列の決定番号d1,d2は d1>d2, d1=d2, d1<d2 のいずれかである
d1,d2のいずれかをランダムに選択した方をx、他方をyとすれば、P(x≧y)≧1/2
測度論があという言いがかりは通用しない。
0994１３２人目の素数さん
垢版 |
2024/06/06(木) 12:05:43.49ID:lHR0rM/d
>>993
>>何が変化しないのか？
>実数列

意味わからん
高校数学の確率からやり直しだね
下記の美しい物語 反復試行
”例題1
1個のサイコロを4回ふるとき，1の目がちょうど2回出る確率を求めよ。”
これで、1個のサイコロを4回ふるとき、出目は毎回変わってもいいだよ
しらなかったのかな？ ；ｐ）

>>同値類の代表の存在は保証する
>ならばいかなる実数列の決定番号も自然数であるから、２つの実数列の決定番号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
0995１３２人目の素数さん
垢版 |
2024/06/06(木) 12:22:38.64ID:C5bHO3hO
>>994
>例題1
箱入り無数目は例題１ではないから却下

>ここが、箱入り無数目で理解が一番難しいところだよ
何も難しくない
100個中99個だから確率99/100　小学生でも分かる

>時枝氏も、ここで落とし穴にはまり、ドボンになった
箱の中身が確率変数という間違った落とし穴から抜け出せないのが君
0996１３２人目の素数さん
垢版 |
2024/06/06(木) 12:34:15.26ID:jg4PO/cu
>>994
>意味わからん
敗北を認めるとは潔いね
>高校数学の確率からやり直しだね
大変だね　がんばってね
>美しい物語 反復試行
>”例題1
>1個のサイコロを4回ふるとき，1の目がちょうど2回出る確率を求めよ。”
>これで、1個のサイコロを4回ふるとき、出目は毎回変わってもいいんだよ
うん、その問題はね
でも、箱入り無数目でサイコロを振るのは回答者だけ
出題者はサイコロ振らない　つまり出題は試行ではない
日本語分かる？

>>測度論があという言いがかりは通用しない。
>ここが、箱入り無数目で理解が一番難しいところだよ
>時枝氏も、ここで落とし穴にはまり、ドボンになった
落とし穴にドボンとハマったのは君
時枝氏は前半ではハマってない　後半ではハマったみたいだけど
（つまり時枝氏は出題者が出題を変えない版の結果を、
　出題者が出題を変えられる版の結果に流用できる
　という落とし穴にドボンとハマった、という意味）
1000１３２人目の素数さん
垢版 |
2024/06/06(木) 22:34:37.19ID:Nx6qibah
>>994
(引用開始)
>>同値類の代表の存在は保証する
>ならばいかなる実数列の決定番号も自然数であるから、２つの実数列の決定番号d1,d2は d1>d2, d1=d2, d1<d2 のいずれかである
>d1,d2のいずれかをランダムに選択した方をx、他方をyとすれば、P(x≧y)≧1/2
>測度論があという言いがかりは通用しない。
ここが、箱入り無数目で理解が一番難しいところだよ
時枝氏も、ここで落とし穴にはまり、ドボンになった
(引用終り)

１）詳しく説明しよう（君達には難しいかもしれないが・・）
（非正則分布(>>987&>>7)と、∞/∞が不定形（下記）になることが関係している）
２）まず、決定番号dは、箱が可算無限あるのでdに上限はなく無限大(∞)まで考える必要がある
　このような場合、決定番号dは非正則分布になる（詳しくは>>7ご参照）
３）説明の都合で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上の点は無視できる）
４）ところで、上記３）は あくまで、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 × (±∞), ±∞⁄±∞ などはやはり意味を成さない（英語版）とするのが普通である。
10011001
垢版 |
Over 1000Thread
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 81日 13時間 47分 53秒
10021002
垢版 |
Over 1000Thread
5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。


───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
4 USD/mon. から匿名でご購入いただけます。

▼ UPLIFT会員登録はこちら ▼
https://uplift.5ch.net/

▼ UPLIFTログインはこちら ▼
https://uplift.5ch.net/login
レス数が1000を超えています。これ以上書き込みはできません。
ニューススポーツなんでも実況