分からない問題はここに書いてね458

分からない問題はここ ..

816:１３２人目の素数さん
20/03/21 11:08:54 XWnhFsyt.net
>>768の続き
ここで、ある読者が以下のような発言を行った

ｽﾚﾘﾝｸ(math板:550番)
（要旨）
「当たる確率は0だ
　無限列の同値関係は認める
　同値類の代表元の存在も認める
　しかし決定番号dの存在は認めない！
　決定番号が存在しなければゲームは成立しない」

上記の発言は正しい？

定義（再掲）
・２つの無限列s1,s2∈R^Nが、ある項から先の項が全て一致するとき「同値」
・無限列s∈R^Nの「決定番号」dとは、無限列の同値類の代表元の
　一致箇所の先頭となる項の箇所の番号

上記同値類の代表元は、同値類のどの要素とも同値
したがって、決定番号は自然数とならざるを得ない筈だが？

817:１３２人目の素数さん
20/03/21 11:53:03 16xJBQCR.net
>>768
同値でないと決定番号存在しないから
問題になってないけど？

818:１３２人目の素数さん
20/03/21 12:54:04.74 QnAFE/J1.net
【（2）を訂正】
a,bは互いに素な自然数とする。
（1）a+biを極形式の形で表せ。iは虚数単位である。
（2）任意の素数pに対して、(a+bi)^pは実数でないことを示せ。

819:１３２人目の素数さん
20/03/21 13:10:00.65 DXrxFH74.net
自作？
高校数学は高校数学スレに書けよ

820:１３２人目の素数さん
20/03/21 13:27:14 9lYHLfbE.net
数学掲示板群 URLﾘﾝｸ(x0000.net)
(アルファ・ラボ|学術掲示板群)

821:１３２人目の素数さん
20/03/21 13:30:37 bagTkMOY.net
(1+i)^4

822:１３２人目の素数さん
20/03/21 13:34:27 Ysr8avom.net
>>769
>同値類の代表元の存在も認める
なぜ？

823:１３２人目の素数さん
20/03/21 14:11:35 bagTkMOY.net
>>768
なにそれ？数学の問題になってないやん？
ゴテゴテ長い文章が続いてるけど結局回答者は最初に一つ数字を選んだだけで
あと選んだ元のどうこうとか�

824:A新しい情報もらってるけどそのあと選び直しも何もできないなら意味ないし。そもそも元の100列の実数列の分布も与えてないのに確率もへったくれもないでしょ？

825:１３２人目の素数さん
20/03/21 14:12:08 XWnhFsyt.net
>>770
＞同値でないと決定番号存在しない

いかなる無限列もある同値類の要素ですから
当然、自分の所属する同値類の代表元と同値です

その場合、同値関係の定義として、代表元との一致箇所が存在します
それが無限列の決定番号ということです　
したがっていかなる無限列にも存在します

＞…から、問題になってないけど？

>>768の問題は「回答者が勝つ確率は？」です

826:１３２人目の素数さん
20/03/21 14:14:35 XWnhFsyt.net
>>775
>>同値類の代表元の存在も認める
>なぜ？
選択公理によって各同値類から代表元が選出できる
というのが元記事の説明です

827:１３２人目の素数さん
20/03/21 14:20:37 XWnhFsyt.net
>>776
＞結局回答者は最初に一つ数字を選んだだけで

ええ

＞そのあと選び直しも何もできない

一旦決めたら選びなおしはできませんね

＞なら意味ない

とはいえません　同じゲームを他の人にやってもらうことは可能です
人によって選ぶ列は異なりますから

＞そもそも元の100列の実数列の分布も与えてないのに確率もへったくれもない

実はどの人にやってもらう場合にも、元の100列は変えません
100列の実数列はどんなものを持ってきてもかまいません
この場合、分布は「回答者がどの列を選ぶか」だけで、
それは全くのランダム（一様分布）です

これだけで答えが求まります

828:１３２人目の素数さん
20/03/21 14:32:42 bagTkMOY.net
>>779
正直いみわからん。
確率と言ってるくせに速度空間は

全くのランダム

としか出てないし。
これだけで答えがもとまりますっていうなら答え知ってるんでしょ？
何がわからんの？

829:１３２人目の素数さん
20/03/21 14:40:02.23 XWnhFsyt.net
>>780
測度空間は２＾｛１，２，・・・，１００｝ですね
 >>768の記事にはもちろん答えは書いてあります
実際に尋ねたい問いは >>769のほうですが、
もとの問題を知らないと理解できないので
 >>768の問いもあわせて書かせていただきました
答えを書くのは簡単ですが、
>>768の問についても
しばし、お考えください
(ヒント）
回答者が選んだ数列の決定番号をｄとしたとき
回答者が勝つのは、ｄとDがいかなる関係になっているときか？

830:１３２人目の素数さん
20/03/21 14:41:23.97 XWnhFsyt.net
>>781
誤　 >>768の記事
正　 >>768の記事中の「出展」

831:１３２人目の素数さん
20/03/21 14:53:33.48 QnAFE/J1.net
>>774
4は素数ではない

832:１３２人目の素数さん
20/03/21 14:54:44.59 bagTkMOY.net
>>781
2^100
て同様に確からしい2択が100個？
100個の無限数列じゃないの？
一個の長さ100のれつ？
入ってる数字は0か1？
数学の問題として成立するための情報が足りてなさすぎる。
答えは
p(選んだ列の決定番号<d)×1
+p(選んだ列の決定番号>d)×0
+p(選んだ列の決定番号=d)
×p(選んだ列の決定番号のd番目=選んだ列の属する類の代表元のd番目|選んだ列の決定番号=d)
と分解するにしても列の選ばれ方の分布がわからないと答え出るハズがない。

833:１３２人目の素数さん
20/03/21 15:01:25.31 16xJBQCR.net
>>777
>いかなる無限列もある同値類の要素ですから
>当然、自分の所属する同値類の代表元と同値です
つまり
代表元が選ばれていてそれについての決定番号ということ？
それはつまり
総ての数列から自然数への写像が1つ与えられているってことね？
選んだ数列がなんで有るか分からないんだから
回答者が勝つも勝たないも無いでしょ？
確率空間が与えられてないことになるから
やっぱり問題とは言えないと思う

834:１３２人目の素数さん
20/03/21 15:01:37.48 bagTkMOY.net
>>784
あ、訂正。>>784の後半はダメだ。
(選んだ列の決定番号<d)という事象が可測とは限らないや。
数列の分布が分からなければ値がいくらか以前に可測かどうかもわからんのか。

835:１３２人目の素数さん
20/03/21 15:04:47.66 bagTkMOY.net
分布以前に"実数列の全体"なんて当然無限集合だからどんな集合が可測になるのかきらまず与えないと問題にならないよ。
原題ではどうなってるの？

836:１３２人目の素数さん
20/03/21 15:07:43.06 16xJBQCR.net
>>781
>測度空間は２＾｛１，２，・・・，１００｝ですね
違うんじゃ無い�

837:ｩな選択肢は100個そのどれかを一様に選ぶそれはいいけどその100個のどれが勝つ物か負ける物か予め決まっていてもそれは知らされていないんだから確率分布には成らない情報が足りないんじゃ無い？

838:１３２人目の素数さん
20/03/21 15:09:30.88 bagTkMOY.net
>>783
じゃ
[Q(tan(π/2p):Q]≧[Q(cos(2π/p)]=φ(p/2)
素数をnにするなよ。
センスないなぁ。

839:１３２人目の素数さん
20/03/21 15:09:54.18 XWnhFsyt.net
>>784
2^100は、100個の有限集合のべき集合
＞100個の無限数列じゃないの？
無限数列自体は固定してます
つまり、分布を考える必要はありません

840:１３２人目の素数さん
20/03/21 15:11:12.35 Ysr8avom.net
>>778
はい。
選択公理の仮定がどこにも書かれてなかったので糺しました。

841:１３２人目の素数さん
20/03/21 15:13:22.47 XWnhFsyt.net
>>785
＞選んだ数列がなんで有るか分からないんだから
＞回答者が勝つも勝たないも無いでしょ？
実は選んだ100列がいかなるものであっても
回答者が選んだ場合負ける「はずれの列」の個数がほぼ決まっています
したがって、100列からどの1列を選ぶ確率も1/100なら
回答者が勝つ確率もほぼ決まります

842:１３２人目の素数さん
20/03/21 15:16:28.39 XWnhFsyt.net
>>788
＞100個のどれが勝つ物か負ける物か
＞予め決まっていてもそれは知らされていないんだから
＞確率分布には成らない
 >>792にも書きましたが、実は負ける列の個数は
決まっていますので確率は決まります
ついでにいえば、知る知らない、は
確率分布かどうかとは無関係ですね

843:１３２人目の素数さん
20/03/21 15:18:12.21 Ysr8avom.net
>>788
>その100個のどれが勝つ物か負ける物か
>予め決まっていてもそれは知らされていないんだから
>確率分布には成らない
>情報が足りないんじゃ無い？
「回答者は列の番号を１つだけ選ぶ」でランダムに選べば一様分布になる。
つまり
負ける列はたかだか1列だから、100列のいずれかをランダムに選んだ時、負ける列をひく確率は1/100以下。

844:１３２人目の素数さん
20/03/21 15:19:23.12 XWnhFsyt.net
>>786-787
100列の数列は固定します　したがって分布を考える必要はありません
数列空間上での関数の可測性も、実は考える必要がありません

845:１３２人目の素数さん
20/03/21 15:35:10.85 XWnhFsyt.net
>>794
＞負ける列はたかだか1列だから
気付きましたね
そうなんです　100列を選んだ場合
１．決定番号が最大値となる列が1列だけ存在する→１列だけ「負ける列」
２．決定番号が最大値となる列が2列以上存在する→「負ける列」なし
となります
（１の場合決定番号が最大値の列を選ぶとｄ＞D、
　２の場合どの列を選んでも　ｄ＜＝D）
１の場合、回答者が勝つ確率は99/100
２の場合、回答者が勝つ確率は１
ですね

846:１３２人目の素数さん
20/03/21 15:53:38.60 bagTkMOY.net
>>796
アホかいな？
問題になってるのは >>784でいうなら選んだ列の決定番号がちょうどd、つまり残り99列の決定番号がたまたま選んだ烈の決定番号と一致する場合には問題文からはどっちのかちになるか確定しないでしよ？
つまり回答者が勝ちになる箱が99箱なのか100箱なのかわからないでしょうが？

847:１３２人目の素数さん
20/03/21 16:02:32.90 XWnhFsyt.net
>>797
＞選んだ列の決定番号がちょうどd、
＞つまり残り99列の決定番号がたまたま選んだ烈の決定番号と
＞一致する場合には・・・
>>796で書いた通り、負ける列がないので
どの列を選んでも回答者が勝ちます
＞回答者が勝ちになる箱が99箱なのか100箱なのかわからない
99の場合もあれば100の場合もある　ということで4649

848:１３２人目の素数さん
20/03/21 16:06:42.83 XWnhFsyt.net
>>784の式ですが
p(選んだ列の決定番号<=D)×1
+p(選んだ列の決定番号>D)×0
でよいですね

849:１３２人目の素数さん
20/03/21 16:09:10.44 XWnhFsyt.net
>>799だとDが一定みたいに見えるな
以下のように書くのがいいか
p(選んだ列の決定番号<=他の99列の決定番号の最大値)×1
+p(選んだ列の決定番号>他の99列の決定番号の最大値)×0

850:１３２人目の素数さん
20/03/21 16:44:32.72 v/DfOPB0.net
お帰り下さい
現代数学の系譜　カントル　超限集合論2
ｽﾚﾘﾝｸ(math板)

851:１３２人目の素数さん
20/03/21 16:46:38.30 bagTkMOY.net
>>798
でしょう？
だったら >>768の問題は
袋の中に99個の当たりくじと1個の当たりくじかハズレくじのどつちか計100個が入ってます。当たりをひく確率は？
と同じになるやん？
答え出るわけない。

852:１３２人目の素数さん
20/03/21 16:53:38.26 Ysr8avom.net
>>802
P(勝ち)≧99/100じゃだめなん？

853:１３２人目の素数さん
20/03/21 16:54:49.48 XWnhFsyt.net
>>801
>>769についてコメントお願いします
 >>802
２つの場合があることを述べた上で
それぞれの確率を答えればいいですね
 >>803
場合分けしていただいたほうがいいですね

854:１３２人目の素数さん
20/03/21 16:57:47.76 zU5Gkz6B.net
回答者が選んだ列が次の条件を満たす確率を求めよ：（ほにゃらら）
みたいな出題ならまだわかるけどなあ

855:１３２人目の素数さん
20/03/21 17:06:57.33 XWnhFsyt.net
>>805
根本的には
「１００本の線があるあみだくじで外れが１つの場合
　あたる確率を求めよ」
というのと同じだと思いますが如何ですか？
上記の問題で
「あみだくじ全体の空間における個々のあみだくじが選ばれる確率」
なんて考えないでしょう？

856:１３２人目の素数さん
20/03/21 18:20:27.59 zU5Gkz6B.net
本質的に同じにしてももう少しシンプルに書こうって話よ
全体空間の中で個々のあみだくじが選ばれる確率だって、
本当は考えねばならないことを省略してるだけの話なんだから

857:１３２人目の素数さん
20/03/21 18:28:35.33 16xJBQCR.net
>>793
予め決まっているんでしょ？
ならそんなお膳立てせずに
１～１００にΣpi=1の確率分布を考える
でよくない？

858:１３２人目の素数さん
20/03/21 18:30:36.61 bagTkMOY.net
どう考えても当たりくじが99個になるとき、100個になるときがシンプルな言い回しありそうにないけど。
答えなんなん？

859:１３２人目の素数さん
20/03/21 18:32:21.73 16xJBQCR.net
>>806
>「１００本の線があるあみだくじで外れが１つの場合
>　あたる確率を求めよ」
>というのと同じだと思いますが如何ですか？
じゃあ
p1===p100=1/100ということね？
そんで？

860:１３２人目の素数さん
20/03/21 18:34:06.24 +uNrPRa+.net
kを1≦k≦nの自然数とする。
n次多項式f(x)に対して、g(x)={(1+x)^k}g(x)を考える。
g(x)が整数係数多項式ならば、f(x)も整数係数多項式であることを証明せよ。

861:１３２人目の素数さん
20/03/21 18:49:21.96 16xJBQCR.net
>>768
もう一度確認してみると
まずこの問題文ではダメ
無限数列総てについて同値類を設定し代表元を決めておく（代表限を決められるのは選択公理より）
100個の無限数列のそれぞれについて同値類の代表元との違いのある最後の項番号が決められる（決定番号の定義）
100個の無限数列のうち１つを無作為に選び
残った99個の決定番号の最大値よりも選んだ決定番号が小さければ勝ち
大きければ勝ち負け決まらない？（半々）
これって数列関係なくて
100個の中で最大を選ぶかどうかってことじゃない？
予め最大の数値は決められているから
それを無作為に選ぶかどうかの1/100ってことか
ここまでは結局数列関係ないじゃん？

862:１３２人目の素数さん
20/03/21 18:52:29.68 XWnhFsyt.net
>>807
＞本当は考えねばならないことを省略してるだけ
それは問題に対する根本的な誤解があるね

863:１３２人目の素数さん
20/03/21 18:55:10.38 16xJBQCR.net
>>769
>「当たる確率は0だ
>　無限列の同値関係は認める
>　同値類の代表元の存在も認める
>　しかし決定番号dの存在は認めない！
>　決定番号が存在しなければゲームは成立しない」
決定番号は定義できると思うよ
けれど最初の問題文では
何に対する決定番号であるかを説明していないから
その点をハッキリさせないと上記のように言う人（自分もそう思った >>770）が居てもおかしくないのでは？
いずれにせよ
なんだか回りくどいこと言って煙に巻くだけの問題だと思った

864:１３２人目の素数さん
20/03/21 18:58:44.21 XWnhFsyt.net
>>812
＞まずこの問題文ではダメ
あなたの修正もイイかダメかといわれれば・・・ダメですね
ダメその１
＞残った99個の決定番号の最大値よりも選んだ決定番号が小さければ勝ち
「（最大値）より小さい」ではなく「（最大値）以下」ですね
ダメその２
＞大きければ勝ち負け決まらない？
大きければ負け、でいいですよ
（幸運にも一致する場合はあるが、そこは確率０とすることができるから）
上記のダメ出しをさせていただいた上で
＞これって数列関係なくて
＞100個の中で最大を選ぶかどうかってことじゃない？
ええ、その通りですよ
＞予め最大の数値は決められているから
＞それを無作為に選ぶかどうかの1/100ってことか
ええ、その通りですよ
＞ここまでは結局数列関係ないじゃん？
ええ、その通りですよ
まさか数列が最も重要だと思ってたんですか？

865:１３２人目の素数さん
20/03/21 19:04:04.15 XWnhFsyt.net
>>814
＞決定番号は定義できると思うよ
そうでしょう
できないという人は、同値類を誤解してるんでしょう
＞けれど最初の問題文では
＞何に対する決定番号であるかを説明していない
説明していないのではなく、
説明を理解できていないのでしょう
理解できるまで読む必要がありますよ
＞その点をハッキリさせないと
＞上記のように言う人が居てもおかしくないのでは？
「決定番号が有限でない」という主張は
決定番号の説明が理解できないというのとは
根本的に異なる、と思いますよ

866:１３２人目の素数さん
20/03/21 19:07:00.65 XWnhFsyt.net
>>814
＞なんだか回りくどいこと言って煙に巻くだけ
数学書の定義の記述はだいたいそういうものですけどね
位相の定義なんてその最たるものですね
なんで、こんな定義してるのか一回読んだだけでは分からない
そこで我慢できずに近道を探そうとする人は数学には向きませんね
なんか別のことをやったほうがいいとおもいますよ

867:１３２人目の素数さん
20/03/21 19:08:05.83 16xJBQCR.net
>>812
>大きければ勝ち負け決まらない？（半々）
決定番号より前だけど1つ前なら代表元と異なっていることは確定だから負け
1つ以上前なら代表元と異なるかどうかは1/10かな？
1つ前であるかどうかは分からないんだからやっぱり確率は言えないのでは？
1つ前かどうかってある番号を決めておいて自然数全体の中でその数値の1つ前かどうかだから決定番号の自然数全体における分布が与えられないと何も言えないような

868:１３２人目の素数さん
20/03/21 19:08:55.38 16xJBQCR.net
>>815
もういいや
正確な問題にしてから出直してきてね

869:１３２人目の素数さん
20/03/21 19:09:47.60 16xJBQCR.net
>>816
>＞けれど最初の問題文では
>＞何に対する決定番号であるかを説明していない
>
>説明していないのではなく、
>説明を理解できていないのでしょう
>理解できるまで読む必要がありますよ
忖度せよっていう問題ね
酷すぎｗ

870:１３２人目の素数さん
20/03/21 19:18:55 Ysr8avom.net
1.
箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?

871:１３２人目の素数さん
20/03/21 19:19:23 Ysr8avom.net
２．
　私たちのやろうとすることは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などは下付添え字

872:１３２人目の素数さん
20/03/21 19:20:29 Ysr8avom.net
３．
問題に戻り，閉じた箱を100列に並べる.
箱の中身は私たちに知らされていないが，とにかく第l列の箱たち，第2列の箱たち第100 列の箱たちは100本の実数列S^1,S^2，・・・，S^lOOを成す(肩に乗せたのは指数ではなく添字).
これらの列はおのおの決定番号をもつ.
さて， 1～100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
　第1列～第(k-1) 列，第(k+1)列～第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにしておく.
開けた箱に入った実数を見て，代表の袋をさぐり， S^1～S^(k-l),S^(k+l)～S100の決定番号のうちの最大値Dを書き下す.
　いよいよ第k列の(D+1) 番目から先の箱だけを開ける：S^k(D+l)， S^k(D+2)，S^k(D+3)，・・・.いま
　D >= d(S^k)
を仮定しよう.この仮定が正しい確率は99/100，そして仮定が正しいばあい，上の注意によってS^k(d)が決められるのであった.
おさらいすると，仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s~k) が取り出せるので
列r のD番目の実数r(D)を見て，「第k列のD番目の箱に入った実数はS^k(D)＝r(D)と賭ければ，めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
(補足)
S^k(D+l)， S^k(D+2)，S^k(D+3)，・・・：ここで^kは上付き添え字、(D+l)などは下付添え字

873:１３２人目の素数さん
20/03/21 19:21:11 XWnhFsyt.net
>>819-820
重要であることを強調し
そうでないことは強調しない

忖度とは無関係

当然のことですけどね

874:１３２人目の素数さん
20/03/21 19:22:41 Ysr8avom.net
4.
「R^N/～の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/～の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」

「逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき，と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎，と数学者は信じがちだ.
だが，測度論的解釈がカノニカル，という証拠はないのだし，そもそも形式すなわち基礎，というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」

875:１３２人目の素数さん
20/03/21 19:22:57 Ysr8avom.net
5.
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
しかし，素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる，といってもよい.」

”ばかばかしい，当てられる筈があるものか，と感じられるだろう.
何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ.
ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある.
この問題はPeter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”

以上

876:１３２人目の素数さん
20/03/21 19:30:59 XWnhFsyt.net
>>768の文章を書いたのは、元の記事のままでは
掲示板では長すぎると思ったのが第一だが、
無限個の確率変数とか可測性とかいう脇道を
可能な限り削ったほうがいいと思ったこともある

877:１３２人目の素数さん
20/03/21 20:27:13.34 pXCkMYHU.net
nを自然数とする。
袋の中にn個の青球と2個の白球がある。以下の試行を繰り返し行う。
【試行】
1)袋の中から無作為に同時に2個の球を取り出し、
「ともに白球の場合、『勝ち』とする」
「白球1つと青球1つの場合、『負け』とする」
「ともに青球の場合、『あいこ』とさる」
2)『勝ち』または『負け』の場合、試行を終了する。『あいこ』の場合、もう1回試行を行う。
この試行が終了するまでに行った試行の回数の期待値E(n)をnで表し、また試行が『勝ち』で終了する条件付き確率をnで表せ。

878:１３２人目の素数さん
20/03/21 20:51:21.68 bagTkMOY.net
1)4/3
2)1/3

879:１３２人目の素数さん
20/03/21 21:05:54.33 SAWpKmQr.net
why?
＞円の中心を定規のみで作図することは出来ない
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)

880:１３２人目の素数さん
20/03/21 21:29:56 zU5Gkz6B.net
>>813
根本的にはソレと同じだって>>806に書いてあると思うんだけど

881:１３２人目の素数さん
20/03/21 21:45:25 16xJBQCR.net
>>827
出直しも出来ないのな
全くダメ

882:１３２人目の素数さん
20/03/21 21:46:37 16xJBQCR.net
>>824
>重要であることを強調し
>そうでないことは強調しない
君全く理解できていないか
理解できていて目を背けているかだね
全くダメ

883:１３２人目の素数さん
20/03/21 22:02:15 Ysr8avom.net
>>832
アンタの望みの゛正確な問題゛は>>821以降にあげといたよ
ぶつぶつ言ってないで解いてみたら？

884:１３２人目の素数さん
20/03/21 22:42:37 16xJBQCR.net
>>834
頑張ってね～

885:１３２人目の素数さん
20/03/22 00:59:46 uFxFeocq.net
例えば1,2,3,...という数列が属する同値類の代表元は何になるの？

886:１３２人目の素数さん
20/03/22 01:34:19 BUSW/Nah.net
>>836
1.2,3,...でいいよ

887:１３２人目の素数さん
20/03/22 01:49:36 uFxFeocq.net
じゃあ1,2,3,...の決定番号は1ですね
同様に数列a_1,a_2,a_3,...が属する同値類の代表元はa_1,a_2,a_3,...だからこれも決定番号は1
つまり任意の実数列の決定番号は1ということですね
ありがとうございます

888:１３２人目の素数さん
20/03/22 02:22:03 BUSW/Nah.net
>>838
1,2,3,...の同値類の代表限を 1.2,3,...にするんなら
2,1,3,...の決定番号は3だよ

889:１３２人目の素数さん
20/03/22 02:25:32 BUSW/Nah.net
ああそうかちょっと誤解してた
決定番号以後は全部一致してると思ってたけど>>768
>定義
>・２つの無限列s1,s2∈R^Nが、ある項から先の項が全て一致するとき「同値」
>・無限列s∈R^Nの「決定番号」dとは、無限列の同値類の代表元の
>　一致箇所の先頭となる項の箇所の番号
だと
1,2,3,...を代表元にした場合
1,1,3,...の決定番号は1だな
定義自体不味いね
酷すぎ

890:１３２人目の素数さん
20/03/22 02:37:19 Vl0rQgEh.net
>>801の中の人々とは関わらない方

891:がいいかも。

892:１３２人目の素数さん
20/03/22 06:35:46 OFMTPL9H.net
>>841
主の人は明らかに頭がおかしい
ガロアスレが運営から削除されたのも当然

---
ｽﾚﾘﾝｸ(math板:581番)
１．世間的には決着済みです。その証拠に、このスレに参加する第三者なし
（多分、私が間違っているとなったら、こんなものではない）
２．”祭りは終わった”！ｗ私ガロアスレのスレ主の勝利
３．ここで十分、あほサルのバカさ加減を思い知らせてやりますよ、
　　このスレでねｗ（＾＾

893:１３２人目の素数さん
20/03/22 06:38:59.28 OFMTPL9H.net
>>840
＞決定番号以後は全部一致してると思ってたけど
読み方が粗雑じゃね？
「２つの無限列s1,s2∈R^Nが・・・一致するとき」
と書いてあるし

894:１３２人目の素数さん
20/03/22 07:50:24 liILqu/N.net
コロナの件で疑問に思ったのだけど

無作為に１０００人を抽出してPCR検査を行ったら１０人が陽性であった。
PCR検査の感度０．７、特異度０．９として有病率の期待値と９５％信頼区間は？

有病率の事前確率分布を一様分布と仮定して検査陽性後の有病率をベータ分布で出す。
その有病率と感度・特異度をから陽性的中率を計算。
その陽性的中率を使って有病率を逆算というアルゴリズムで計算したら

> sim()
mean mode lower upper
0.010969194 0.009870096 0.005034295 0.017532847

このアルゴリズムってあってる？

895:１３２人目の素数さん
20/03/22 08:34:49 BUSW/Nah.net
>>843
それは同値の定義
決定番号の定義にはない

896:１３２人目の素数さん
20/03/22 08:44:12 OFMTPL9H.net
>>845
頭使って考えてる？

・同値関係が定義できれば、同値類が存在する
・同値類からその代表元が選べる　（同値類が無限個の場合、選択公理が必要）
・どの無限列も必ずある同値類に属する
・どの無限列も属する同値類の代表元とは当然同値である
・同値関係の定義から、必ず列が一致する開始箇所が存在する
　→そこが無限列の決定番号

ほら、同値の定義で全部決まる

897:１３２人目の素数さん
20/03/22 08:55:42 OFMTPL9H.net
>>768の無限列の同値関係と決定番号が理解できた方への質問

>>769の「ある読者」曰く
ｽﾚﾘﾝｸ(math板:552番)
（要旨）
・長さｍの有限列の場合、決定番号は確率１でｍ
・だからｍ→∞の極限をとると、決定番号は確率１で∞

この考え方って正しい？

898:１３２人目の素数さん
20/03/22 09:06:18 3sKNFXLI.net
大きさnの箱があってそこに大きさa,b,cのものを隙間なく埋めるとして、その合計がs個になるa,b,cの組み合わせの求め方はどのようになるのでしょうか

899:１３２人目の素数さん
20/03/22 09:16:09 SSJI08wq.net
一般解なんて出せるものなのか？

900:１３２人目の素数さん
20/03/22 09:17:51.68 1BEnWcmA.net
この日本語で何かが他人に伝わるのだろうか？

901:１３２人目の素数さん
20/03/22 10:02:57 BUSW/Nah.net
>>846
>・同値関係の定義から、必ず列が一致する開始箇所が存在する
>　→そこが無限列の決定番号
一致するのは最初の項も一致していいのよ
そこから先ずっと一致しているその先頭という定義にしないとダメダメ
君こそ読めてないねｗ

902:１３２人目の素数さん
20/03/22 10:06:56 BUSW/Nah.net
>>768
>定義
>・２つの無限列s1,s2∈R^Nが、ある項から先の項が全て一致するとき「同値」
>・無限列s∈R^Nの「決定番号」dとは、無限列の同値類の代表元の
>　一致箇所の先頭となる項の箇所の番号
同値類の代表元「と」の「一致箇所」というのではダメだって
それだと初項が一致してしばらく一致しなくてあるところから先はずっと一致してるときの決定番号は1ということになるからね
定義を厳密にしなくてはいけないという意識を持たないのは数学的では無いね

903:１３２人目の素数さん
20/03/22 10:08:24 BUSW/Nah.net
>>847
ぷ
何を言わせたいか分かるから言わない

904:１３２人目の素数さん
20/03/22 11:43:08 OFMTPL9H.net
>>851
＞そこから先ずっと一致しているその先頭という定義にしないと
読み取れたならOK

>>852
＞定義を厳密にしなくてはいけない
読み取れたなら十分

>>853
＞何を言わせたいか分かる
なるほど・・・ID:BUSW/Nah氏
ｍ→∞の極限をとると、決定番号は確率１で∞
に全面賛同、と

905:１３２人目の素数さん
20/03/22 11:47:03 OFMTPL9H.net
ID:BUSW/Nah氏への問い

Q.長さn

906:以下の10進小数の9/10が長さn 　ある人曰く　「だからｎ→∞の極限で有限小数の9/10が長さ∞」　これホント？

907:１３２人目の素数さん
20/03/22 11:51:06 OFMTPL9H.net
某スレッドの自称大阪大工学部卒氏
敵（？）が東大理学部卒と思い込んで怒り狂う
ｽﾚﾘﾝｸ(math板:589番)-590

よい子のみんなはこんな大人になっちゃダメだよ

908:１３２人目の素数さん
20/03/22 12:03:59 exlHwI3N.net
級数Σ[n=1,2,...]1/(n^2+a)を計算することにより、(e^π-e^(-π))/(e^π+e^(-π))が無理数であることを証明せよ。

909:１３２人目の素数さん
20/03/22 13:26:37.77 BUSW/Nah.net
>>854
忖度させる問題文
しかもほとんど意味ないものを
あらためようとしないのはNG
マルでダメだな

910:１３２人目の素数さん
20/03/22 13:44:59 93zexsP3.net
>>764
返答遅くなってしまい、申し訳ございません。
回答ありがとうございます。

911:１３２人目の素数さん
20/03/22 13:55:41 uRLry4Gv.net
数学掲示板群 URLﾘﾝｸ(x0000.net)
(アルファ・ラボ|学術掲示板群)

912:１３２人目の素数さん
20/03/22 14:02:38 liILqu/N.net
>>844(自己レス)
誤謬に気がついたので撤回しますm(_ _)m

913:１３２人目の素数さん
20/03/22 14:04:27 OFMTPL9H.net
>>858
>>855に答えましょうね

914:１３２人目の素数さん
20/03/22 19:48:33 BUSW/Nah.net
>>862
>>853
君の思惑は既に破産してるって気が付かないみたい
ホントに下らない人間なのかな？

915:１３２人目の素数さん
20/03/22 20:16:50 fYa2zo9P.net
>>857
Σ[n=1,2,････] 1/(nn+a)
　= (1/2)Σ[n∈Z] 1/(nn+a) - 1/(2a)
　= π･coth(π√a)/(2√a) - 1/(2a),
　ランジュヴァン函数？

a=1 のとき
　Σ[n=1,2,････] 1/(nn+1) = (π/2)coth(π) - 1/2,

916:１３２人目の素数さん
20/03/22 20:29:34 7e4TwADQ.net
ノルム空間Xの線形部分空間Mの閉包がXの閉線形部分空間であるという証明で、収束するMの点列xnの極限がMの閉包に属するという話が出てきたのですが、理由教えてください

917:１３２人目の素数さん
20/03/22 20:33:46 7e4TwADQ.net
おかしいこと聞いてすみません、解決しました

918:１３２人目の素数さん
20/03/22 21:07:30.74 93zexsP3.net
n枚の硬貨を同時に投げて、表の出たものを取り去り、硬貨が残っていれば、もう1回だけそれらを同時に投げて表の出たものを取り去ることにする
この時、全部取り去る確率を求めよ。
解答では、1回目に表が出たものも投げるとして、(1-1/4)^nと答えを出しているのですが、普通に考えて解いた時と、全事象も異なると思うのですが、なぜこの解き方が可能なのでしょうか？

919:１３２人目の素数さん
20/03/22 21:27:03.19 SSJI08wq.net
>>867
全てのコインが2回投げるうちに1回でも表が出れば全て取り去ることになるから
全事象が異なっても構わない
2枚とか3枚とかで両方のやり方で全事象書き出してみれば分かるかも知れない

920:１３２人目の素数さん
20/03/22 21:54:57 P+0M8v8I.net
>>ｽﾚﾘﾝｸ(math板:999番)
×あんなデタラメなもの
〇完全に正しい数学上の未解決問題の証明論文

921:１３２人目の素数さん
20/03/22 22:13:02.85 93zexsP3.net
>>868 書き出してみたのですが、イマイチしっくりこないです…

922:１３２人目の素数さん
20/03/22 22:19:41.32 SSJI08wq.net
>>870
書き出したもの全てにそうなる確率を書き込んで見比べてみてはどうだろうか

923:１３２人目の素数さん
20/03/22 23:00:24.46 liILqu/N.net
>>871
n=10のときで総当たりで計算してみた
> rm(list=ls())
> n=10
> dec2nw <- function(num, N, digit = n){
+ r=num%%N
+ q=num%/%N
+ while(q > 0 | digit > 1){
+ r=append(q%%N,r)
+ q=q%/%N
+ digit=digit-1
+ }
+ return(r)
+ }
> d=t(sapply(0:(2^n-1),function(num) dec2nw(num,2,n))) # 10枚のコインの裏表の順列（０を取り除く表とする）
> head(d) ; tail(d)
[,1] [,2] [,3] [,4] [,5] [,6] [,7] [,8] [,9] [,10]
[1,] 0 0 0 0 0 0 0 0 0 0
[2,] 0 0 0 0 0 0 0 0 0 1
[3,] 0 0 0 0 0 0 0 0 1 0
[4,] 0 0 0 0 0 0 0 0 1 1
[5,] 0 0 0 0 0 0 0 1 0 0
[6,] 0 0 0 0 0 0 0 1 0 1
[,1] [,2] [,3] [,4] [,5] [,6] [,7] [,8] [,9] [,10]
[1019,] 1 1 1 1 1 1 1 0 1 0
[1020,] 1 1 1 1 1 1 1 0 1 1
[1021,] 1 1 1 1 1 1 1 1 0 0
[1022,] 1 1 1 1 1 1 1 1 0 1
[1023,] 1 1 1 1 1 1 1 1 1 0
[1024,] 1 1 1 1 1 1 1 1 1 1
> d1=apply(d,1,sum) #　各行ごとの合計＝裏がでた枚数
> sum((1/2)^d1)/2^n　 # 各行ごとに　(1/2) ^ 裏の枚数を計算して合算する　
[1] 0.056314
> (1-1/4)^n
[1] 0.056314
合致した。

924:１３２人目の素数さん
20/03/22 23:20:34.47 liILqu/N.net
n=20での100万回のシミュレーション
> # simulation
> sim <- function(n){
+ (flip1=sample(0:1,n,rep=T)) # 0:1から重複を許してn個選んだ配列をflip1とする
+ (flip2=sample(0:1,sum(flip1),rep=T))　# 0:1からflip1の総和個選んだ配列をflip2とする
+ sum(flip2)==0 # flip2の総和が０か否かを返す
+ }
> mean(replicate(1e7,sim(20))) # 100万回試行して全部取り去った割合を計算
[1] 0.0031899
> (1-1/4)^20
[1] 0.0031712
まあ、近似した。

925:１３２人目の素数さん
20/03/22 23:24:01.87 liILqu/N.net
>>867
1枚の硬貨が取り除かれない確率は、裏裏と続くときだから1/4
その余事象（1枚の硬貨が取り除かれる事象）の確率は3/4
どの硬貨の裏表がでるかは独立事象だから、(3/4)^nでいいんじゃないの？

926:１３２人目の素数さん
20/03/22 23:36:46.27 PkAuPrUG.net
無限級数
(1/1^2)+(1/2^3)+(1/3^4)+...
を求めよ。

927:１３２人目の素数さん
20/03/22 23:54:02 liILqu/N.net
>>828
シミュレーションプログラムの練習　数理解は賢者にお任せ

[,1] [,2] [,3] [,4] [,5] [,6] [,7] [,8] [,9] [,10] [,11]
En 1.0000 1.1991 1.4378 1.6744 1.9163 2.1544 2.3992 2.6329 2.9352 3.1542 3.4106
Pn 0.3405 0.1997 0.1483 0.1148 0.0917 0.0775 0.0700 0.0608 0.0516 0.0458 0.0416
[,12] [,13] [,14] [,15] [,16] [,17] [,18] [,19] [,20] [,21] [,22]
En 3.6105 3.8742 4.1257 4.3780 4.6665 4.7706 5.0866 5.4512 5.6246 5.8261 6.1474
Pn 0.0375 0.0381 0.0383 0.0308 0.0295 0.0296 0.0269 0.0223 0.0227 0.0221 0.0239
[,23] [,24] [,25] [,26] [,27] [,28] [,29] [,30]
En 6.5768 6.5863 6.8209 7.0221 7.3743 7.652 7.8525 8.1056
Pn 0.0217 0.0204 0.0189 0.0202 0.0183 0.017 0.0166 0.0161

fn <- function(n){
B=c(rep(1,n),0,0) # 1:青玉 0:白玉
flg=3 # drawを初期値
i=0 # 試行の回数カウンター
while(flg==3){ # drawなら繰り返す　1:win 2:lose 3:draw
i=i+1
flg=(1:3)[sum(sample(B,2))+1] # (1:3)[sum(c(0,0))+1] : win
}
c(i=i,flg=flg)
}
sim <- function(n){
k=1e4
re=t(replicate(k,fn(n)))
c(mean(re[,'i']),mean(re[,'flg']==1)) # 回数と勝率を返す
}
n=1:30
re=sapply(n,sim)
En=re[1,]
plot(n,En,bty='l',pch=19)
Pn=re[2,]
plot(n,Pn,bty='l',pch=19)
rownames(re)=c('En','Pn')
re

928:１３２人目の素数さん
20/03/23 00:22:10 LEqUK4fn.net
数列{a[k]}を
a[k]={nCk*(-1)^(k+1)}

929:/k とおく。必要であれば lim[n→∞]{(1+1/2+...+1/n)-ln(n)}=0.5772...を用いて以下の問いに答えよ。（1）lim[n→∞] {1/ln(n)}*Σ[k=1,...,n]a[k]=1 を示せ。（2）次の極限を調べよ。 lim[n→∞] {1/ln(n)}*Σ[k=1,...,n]❲Σ[j=1,...,k](a[j]/j)❳

930:１３２人目の素数さん
20/03/23 04:05:11 uvHIelYA.net
>>828
E(n) = (n+2)*(n+1)/(4*n+2)

> E(1:30)
[1] 1.0000 1.2000 1.4286 1.6667 1.9091 2.1538 2.4000 2.6471 2.8947 3.1429 3.3913
[12] 3.6400 3.8889 4.1379 4.3871 4.6364 4.8857 5.1351 5.3846 5.6341 5.8837 6.1333
[23] 6.3830 6.6327 6.8824 7.1321 7.3818 7.6316 7.8814 8.1311

>876のシミュレーションと近似している

pw=choose(2,2)/choose(n+2,2) # Pr[win]
pl=2*n/choose(n+2,2) # Pr[lose]
p=pw+pl
q=1-p # Pr[draw]
# 1*p + 2*q*p + 3*q^2*p + 4*q^3*p + i*q^(i-1)*p
# Σ[i=1,i=m] i*q^(i-1)*p
# p*Σi*q^(i-1)
# p*Σd(q^i)/dq
# p*d(Σq^i)/dq
# p*d((1-q^m)/(1-q))
# m→∞ q^m→0
# p*d/dq(1/(1 - q)) = p/(1 - q)^2 = 1/p

931:１３２人目の素数さん
20/03/23 05:09:19.45 uvHIelYA.net
>>828
2）　 1/(n+1)　かな？
シミュレーションかこっちのどちらかが間違いだな

932:１３２人目の素数さん
20/03/23 11:47:06 Q1ISEmaR.net
>>828
nが偶数の場合
P[win] = (n+2)/2 * 2!n!/ (n+2)! = 1/(n+1) {n+2個をシャッフルして偶境界に白白}
E[n; win] = ( 1 + 2 + ... + (n+2)/2 ) * 2!n!/ (n+2)! = ...
E[n; lose] = (1*2n + 2*2(n-2) + .... + n/2*2*2 ) * 2!n!/ (n+2)!　{n+2個をシャッフルして偶境界に黒白or白黒、その後方に白}
　= ...
nが奇数の場合も同様

(便利な公式)
1*N + 2*(N-1) + ... +(N-1)*2 + N*1
1*(N+1-1) + 2*(N+1-2) + ... +(N-1)*(N+1-(N-1)) + N*(N+1-N)
= (1+2+...+N)(N+1) - (1^2 + 2^2 + ... + N^2)
= N(N+1)(N+1)/2 - N(N+1)(2N+1)/6 = N(N+1)(N+2)/6

次ページ