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

前スレが1000近く又は1000超えになったので、新スレを立てる

https://rio2016.5ch.net/test/read.cgi/math/1708680610/
前スレ スレタイ 箱入り無数目を語る部屋16

(参考)時枝記事
https://imgur.com/a/8bqlb08
数学セミナー201511月号「箱入り無数目」
https://rio2016.5ch.net/test/read.cgi/math/1620904362/401-406
純粋・応用数学（含むガロア理論）8 より
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

２．続けて時枝はいう
　私たちのやろうとすることは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などは下付添え字

つづく

証明の定義の言い出しっぺはおまえだろ？
言い出しっぺが書けやクズ

>>943と>>949は宿題な
忘れずやれよ

>>949
それなんか関係ある？
具体的にやってみりゃわかんじゃん

>>952
教科書に載ってるものをコピペする必要性がどこにあるの？

>>954
結局理由をひとつも言えないのね？
だけど証明になってると思ってるのね？
ダメだこりゃ

>>956
理由もなにもほとんど証明の定義だろ

聞いていいか？
箱入り無数目は∃y.∀x.P(x,t)とは書けない
一方、xを全公開してなくても∀x.∃y.P(x,y)であることが証明されている
それはおまえの持論に反してるんだろ？
てことは上記証明が間違ってるはずなんだろ？
どこが間違ってるの？

>>958宿題な
忘れずやれよ

>>958
＞箱入り無数目は∃y.∀x.P(x,t)とは書けない
書ける

＞一方、xを全公開してなくても∀x.∃y.P(x,y)であることが証明されている
後者はPが具体的に書かれていないと証明されているのか不明。そもそも証明にはxが公開されているとかいう要素は関係ない

時枝証明とおまえの持論は相容れない
おまえの持論の正しさを証明するには時枝証明の間違い箇所を具体的に指摘する必要がある
がんばれよｗ

>>961
記事の証明に間違いなんてねーぞ
そこは全員の共通認識だろ
今さら何言ってんの？

>>960
>書ける
じゃyを書いてみて

>そもそも証明にはxが公開されているとかいう要素は関係ない
0260１３２人目の素数さん
2024/03/07(木) 16:55:42.19ID:C3Ro7iPT
>>259
∀が先頭についてるんだから相手側に全公開してるだろ

>>962
>記事の証明に間違いなんてねーぞ
え？？？
じゃおまえは箱入り無数目成立派なの？
じゃ何に対し文句垂れてんの？

>>963
yは1でいいよ

＞>そもそも証明にはxが公開されているとかいう要素は関係ない
＞0260１３２人目の素数さん
＞2024/03/07(木) 16:55:42.19ID:C3Ro7iPT
＞>>259
＞∀が先頭についてるんだから相手側に全公開してるだろ
これの何が関係あるの？

>>964
お前らが適当に∀と∃を並べて曖昧なろんりを書いたり、確率変数を使った定式化を否定してるのに文句言ってんだよ

曖昧な論理式

>>965
>yは1でいいよ
ダメだこいつｗ　yがどんな空間に属すかすら分かってないｗ

>これの何が関係あるの？
そもそもおまえは何に対して文句垂れてんの？

>>966
確率変数を使った定式化を否定してる訳ねーだろｗ　何をどう勘違いしたらそうなるんだ？ｗ
100列のいずれを選択するかが確率変数だと言ってんだよｗ　馬鹿かおまえは

>>967
あいまいな論理式の前に
確率変数だから∀の位置がどうたらこうたらっておまえの持論の方がよっぽどデタラメだぞｗ

>>968
お前が∃y∀xの形で書けっていったんだろ、∃y∈{1}.∀x∈{1}.でいいじゃん残りは勝手に埋めるから

もう一回聞くけどおまえは箱入り無数目記事は正しい、つまり、任意の出題列に対して回答者が確率99/100以上で勝てる戦略が存在すると思ってるのね？

>>969
箱の中身も確率変数にしてもいいだろって言ってんだよ

>>971
>∃y∈{1}.∀x∈{1}.でいいじゃん
それ箱入り無数目じゃないからダメ

>>973
いいとは？

>>972
その確率をどういう情報をもとに計算したかによるから定式化によって答が変わるって言ってるの

>>974
なんで？
∃y∈{1}.∀x∈{1}.の後ろにお前が思う
正しい論理式をxとyの名前だけ変えて書けばいいじゃん

いいとはどういう意味のいいなの？
そういう問題を考えてもいいなのか箱入り無数目をそう定式化してもいいなのか
後者なら完全に間違い

>>975
箱の中身を確率変数にする定式化だってあるだろ

>>978
だから、そういう他の定式化を否定してるところに文句言ってんだよ

>>976
大間違い
問題に曖昧さが無いから答えは唯一
定式化によって答えが変わるなら定式化の仕方が間違ってるだけ

何が完全に間違いだよ
記事の定式化の拡張になってるのに間違いになる要素なんてあるわけないだろ

>>979
箱入り無数目にはそんな定式化は無い
問題自体が変わる

>>982
>記事の定式化の拡張になってるのに間違いになる要素なんてあるわけないだろ
が

>>980
それはおまえが箱入り無数目を理解していないだけのこと

>>981
問題文では確率なんて定めてないのに、なんでそう言い切れるの？

∃(x+1)とか書くやつに理解してないとか言われてもね
あと1⇒2

箱入り無数目の前にまずおまえは「見えないもの＝確率変数」と言ったよな？
それ間違いな

壷の中でサイコロを振って１の目が出た
客は１に賭ける
客が勝つ確率は？

壷の中でサイコロを振って１の目が出た
客はランダムに賭ける
客が勝つ確率は？

客は１に賭けた
壷の中でサイコロを振る
客が勝つ確率は？

この問題に正答できるなら「見えないもの＝確率変数」が間違いであることも分かるだろう

>>986
箱入り無数目では箱の中身を確率変数とする定式化は間違いだって言ってるの

>>988
何言ってんのかわからん
何を知ってるときの確率なのか正確に書いて

>>989
∃(x+1)の人の意見としてそれはもう承ったから何度も言わなくていいよ

>>986
（選択公理を除けば）問題文に曖昧さが無いから
回答者が勝率99/100以上で勝つ戦略があるか？という問いにはあるという答えしかない
記事の戦略で勝つ確率は？という問いには1-1/n以上という答えしかない
そういうことを言ってるんだよ
で、それには箱の中身を確率変数とする定式化はダメだと言ってるんだよ

>>990
客は壷の中でサイコロを振ったとかこれから振るとかしか知らんよ　壷の中身は知らんよ　当然ｗ

>>991
そういう大口は>>988に正答してからたたこうな

>>992
中身を確率変数にしても記事と同じ結果になる確率空間は存在するだろ
ちゃんと拡張になってんだよ

>>993
だから計算したい確率は知らない人から見た確率なのかって言ってんだよ

>>995
存在するなら書けやクズ
書きもせずに存在するする詐欺かおまえはｗ

>>994
お前確率論の本読み切れてないじゃん
正解かどうか以前に自分がどういう問題を出してるかすら分かってないだろ

>>996
当たり前だろｗ

>>997
そんなん箱の中身がデルタ分布になってる場合に決まってるだろ
いい加減頭使えよ

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 11日 20時間 3分 10秒

5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。


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

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

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

▼ UPLIFTログインはこちら ▼
https://uplift.5ch.net/login