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

**１３２人目の素数さん** · 2020/02/10(月) 00:06:16.90

さあ、今日も１日がんばろう★☆

前スレ
分からない問題はここに書いてね457
https://rio2016.5ch.net/test/read.cgi/math/1577457155/

(使用済です: 478)

**１３２人目の素数さん** · 2020/03/19(木) 19:55:31.68

>>744
その公理を加えてできる公理系ではそういう論理式の存在が証明できるというだけでしょ
そういう論理式の存在が、つけ加える前の公理系（単なるZFCとか）と独立な場合もちゃんと考慮しようよ

**１３２人目の素数さん** · 2020/03/19(木) 22:04:33.79

Ｌ個ある数値について
各項目を四捨五入して合計した値と
合計値を四捨五入して合計した値が
一致しない確率は

1-( (6/(π×Ｌ))^(1/2) )

で求まるそうなんです。

問題１　この式の導き方を教えて下さい。
なぜ円周率が・・・？

問題２　
毎年、ある会合にかかった費用を、A,B,C,D,Eの５人で支払うことになってます。
費用は毎年変わるのですが、
５人の支払い比率は、a%、b%、c%、d%、e%　（a>b>c>d>e>0）
で毎年一定です。
（例えば32.3%、24.1%、21.6%、16.8%、5.2%）
１円未満は四捨五入しますが、一致しなかった時はAで差額（±１円）を調整します。
つまり、AのN年間の調整額の合計の期待値は約０円です（おそらく）。

２０年経ったとき、Aの調整額の合計が＋１０円になる確率はいくらですか？

N年経ったとき、Aの調整額の合計がM円になる確率はいくらですか？

**１３２人目の素数さん** · 2020/03/20(金) 00:28:49.59

>>745
ある特定の論理式
だから実際にそういうものを具体的に作るってことじゃないの？

**１３２人目の素数さん** · 2020/03/20(金) 00:29:17.58

>>746
L→∞で正規分布が出てくる関係かな？
確率密度関数に1/√(2π)というのがあったような

**１３２人目の素数さん** · 2020/03/20(金) 00:30:07.33

>>745
>その公理を加えてできる公理系ではそういう論理式の存在が証明できるというだけでしょ
それはZFCでできるでしょ
具体的では無いが

**１３２人目の素数さん** · 2020/03/20(金) 01:23:50.19

1枚の硬貨をn回投げ、表が出た時は1、裏が出た時は0を割り当てることで得られる数の列をx1,x2,…xnとする。同じ試行により、新たに得られる数の列をy1,y2…ynとする時、
x1y1+x2y2……xnynが偶数になる確率をPnと置くと、2項定理により、
2Pn=(3/4+1/4)^n+(3/4-1/4)^nとなる。
と解答に書いてあるのですが、2Pn=(3/4+1/4)^n+(3/4-1/4)^nがどこから出てきたのかわからないです。
よろしくお願いします。

**１３２人目の素数さん** · 2020/03/20(金) 01:41:42.67

f:R-{0}->R に対し, lim[x->0](f(x)+f(2x))=a (有限確定値)のとき, lim[x->0]f(x)=a/2

これって正しい？

**１３２人目の素数さん** · 2020/03/20(金) 03:36:31.67

f(x) = a/2 + sin{π･log(x)/log(2)}
f(x) = a/2 + cos{π･log(x)/log(2)}

**１３２人目の素数さん** · 2020/03/20(金) 03:36:59.33

>>751
f(x) = 1 　x∈(1/2,1]
f(x) = 0 　x∈(1/2^2,1/2]
f(x) = 1 　x∈(1/2^3,1/2^2]
.. . .
f(x) = 1 x∈(1/2^{2k+1}, 1/2^{2k} ]
f(x) = 0 x∈(1/2^{2k+2}, 1/2^{2k+1}]
(マイナス側も同様に定義)

lim[x->0](f(x)+f(2x))=1 (有限確定)
lim[x->0] f(x) (不確定)

**１３２人目の素数さん** · 2020/03/20(金) 03:52:29.56

>>750
x1y1+x2y2……xnynが偶数(=2m) になるパターンは
(x,y)=(1,1)のペアが 2m個、他のペア(n-2m 個)は (0,0)(0,1)(1,0) のどれかの組み合わせ

Pn = Σ[0≦2m≦n] C{n,2m} 3^(n-2m) /(2^n * 2^n)
　= Σ[0≦k≦n] C{n,k} 3^(n-k) (1 + (-1)^k)/2 /4^n
二項定理より
2 Pn = (3+1)^n /4^n + (3-1)^n /4^n
　= (3/4 + 1/4)^n + (3/4 - 1/4)^n

**１３２人目の素数さん** · 2020/03/20(金) 04:35:00.55

>>753
　f(x) = [ 1 + sin(π･log(x)/log(2)) ]
でござるか。
それにしても 27.66秒で整数化されたとは、驚きでござる。

**１３２人目の素数さん** · 2020/03/20(金) 07:30:26.64

>>749
『整列可能性』と『整列順序を定義する論理式の存在』は違わない？そもそも
>しかし、ZFC や、一般連続体仮説を加えた体系 ZFC+GCH においては、R 上の整列順序を定義する論理式は存在しない[1]。
とあるけど何を根拠に？

**１３２人目の素数さん** · 2020/03/20(金) 07:51:30.64

>>746
L個の実数を一様分布で抽出して２～５０でシミュレーションしてみた。
https://i.imgur.com/ppslW60.png

Lが大きくなると1-( (6/(π×Ｌ))^(1/2) )に一致するようです。
数理は賢者にお任せ。

rm(list=ls())

f45 <- function(a) { # 四捨五入
x=a-floor(a)　# floor(a):aを超えない整数ガウス記号[x]と同じ,x:小数部分をxに入れる
floor(a)+ (x>=0.5) # xが0.5以上なら１をそうでないなら０を加える
}
f45(1.5) ; f45(2.5)
round(1.5) ; round(2.5)

sim <- function(n=3,k=1e4){
sub <- function(n){
x=runif(n) # 一様分布乱数(実数)ｎ個の配列 roundならrunif(n,0,2)
y=numeric(n) # y：四捨五入での整数を入れる配列
for(i in 1:n) y[i]=f45(x[i]) # ｘの各実数を四捨五入してyに入れる
f45(sum(x))!=sum(y) # xの総和の四捨五入数とyの総和が異なればTRUEを返す
}
r=mean(replicate(k,sub(n))) # k個のシミュレーションでのTRUEの頻度を返す
p=1-( sqrt(6/(pi*n)) ) # 理論値？
return(c(r,p))
}
L=2:50
plot(L,sapply(L,function(x) 1-( sqrt(6/(pi*x)))),bty='l',type='l')
re=t(sapply(L,function(x) sim(x)))
plot(re,bty='l',pch=19,asp=1,xlab='実験値',ylab='理論値',type='l')
abline(a=0,b=1,lty=3)

**１３２人目の素数さん** · 2020/03/20(金) 08:09:31.37

>>746
それちょっと前に面白い問題スレにでてたやつじゃないの？
答え違ってなかったっけ？

**１３２人目の素数さん** · 2020/03/20(金) 09:46:50.78

>>746
ランダム整数: x[i] {なんらかの範囲の一様分布}
ランダム偏差: α[i] ∈ [-0.5,0.5) {一様分布}
A = Σ[i=1,L] round(x[i]+α[i]) = Σ[i=1,L] x[i]
B = round( Σ[i=1,L](x[i]+α[i]) ) = A + round(Σ[i=1,L]α[i])
A=B　⇔　-0.5 < α[1]+α[2]+...+α[L] < 0.5

s := α[1]+α[2]+...+α[L]
中心極限定理より Lが大の時、
確率分布: f(s) ≒ 1/√(2πσσ) * exp(- s^2/(2σσ) )
標準偏差: σ ≒ (√L)* σ1, ( σ1 := √{ ∫[α=-0.5,+0.5] α^2 dα } = 1/√12 )

1-P = ∫[s=-0.5,+0.5] f(s) ds ≒ 1/√(2πσσ) = √(6/(πL))

**１３２人目の素数さん** · 2020/03/20(金) 09:53:19.40

訂正
> ランダム整数: x[i] {なんらかの範囲の一様分布}
こちらはランダムである必要はなかった

**１３２人目の素数さん** · 2020/03/20(金) 11:02:16.64

>>752-753
ありがとうございます
つぎはぎ関数で反例ができて、連続なら正しいようなダメなような？と思っていたのですが
全然ダメですね

**１３２人目の素数さん** · 2020/03/20(金) 13:05:55.24

>>746
四捨五入前の支払いが5.5,4.5,3.5,2.5,1.5とするとAは-2円にならないかな？

**１３２人目の素数さん** · 2020/03/20(金) 15:02:55.42

>>754
回答ありがとうございます。
= Σ[0≦k≦n] C{n,k} 3^(n-k) (1 + (-1)^k)/2 /4^nの
(1 + (-1)^k)/2はどうやって出てきたのでしょうか？
すみません。よろしくお願いします。

**１３２人目の素数さん** · 2020/03/20(金) 15:29:24.36

kが奇数の時に 0 、偶数の時に 1 となるので
これで偶数項のみ取り出した和 (一つ上の式) と等価になります。

**１３２人目の素数さん** · 2020/03/21(土) 00:24:20.17

>>762
四捨五入前の支払額がそういう値になることは無いと思いますが・・・
きのせい？

**１３２人目の素数さん** · 2020/03/21(土) 06:43:15.16

a,bは互いに素な自然数とする。

（1）a+biを極形式の形で表せ。iは虚数単位である。

（2）任意の自然数nに対して、(a+bi)^nは実数でないことを示せ。

**１３２人目の素数さん** · 2020/03/21(土) 07:11:29.33

>>762
その数列をxとして
xをx/肺の比で配分すれば得られる。

**１３２人目の素数さん** · 2020/03/21(土) 11:08:01.27

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

さてゲームをはじめよう

出題者は無限列を100列用意する
ただし回答者には列の番号（１～100）だけ示す

回答者は列の番号を１つだけ選ぶ

出題者は残りの99列を回答者に示す

回答者は99列の決定番号の最大値Dを知る

出題者は、回答者が選んだ１列の、
D+1番目の項から先を回答者に示す

回答者はD+1番目の項から先の情報から
選んだ列の代表元を知る

まだ示されてない選んだ列のD番目の項が
代表元の項と一致すれば　回答者の勝ち
代表元の項と違っていれば出題者の勝ち

さて回答者が勝つ確率は？

（出展　数学セミナー2015年11月号　「箱入り無数目」）

**１３２人目の素数さん** · 2020/03/21(土) 11:08:54.91

>>768の続き
ここで、ある読者が以下のような発言を行った

https://rio2016.5ch.net/test/read.cgi/math/1576852086/550
（要旨）
「当たる確率は0だ
　無限列の同値関係は認める
　同値類の代表元の存在も認める
　しかし決定番号dの存在は認めない！
　決定番号が存在しなければゲームは成立しない」

上記の発言は正しい？

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

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

**１３２人目の素数さん** · 2020/03/21(土) 11:53:03.78

>>768
同値でないと決定番号存在しないから
問題になってないけど？

**１３２人目の素数さん** · 2020/03/21(土) 12:54:04.74

【（2）を訂正】
a,bは互いに素な自然数とする。

（1）a+biを極形式の形で表せ。iは虚数単位である。

（2）任意の素数pに対して、(a+bi)^pは実数でないことを示せ。

**１３２人目の素数さん** · 2020/03/21(土) 13:10:00.65

自作？
高校数学は高校数学スレに書けよ

**１３２人目の素数さん** · 2020/03/21(土) 13:27:14.82

数学掲示板群 ttp://x0000.net
(アルファ・ラボ|学術掲示板群)

**１３２人目の素数さん** · 2020/03/21(土) 13:30:37.68

(1+i)^4

**１３２人目の素数さん** · 2020/03/21(土) 13:34:27.32

>>769
>同値類の代表元の存在も認める
なぜ？

**１３２人目の素数さん** · 2020/03/21(土) 14:11:35.23

>>768
なにそれ？数学の問題になってないやん？
ゴテゴテ長い文章が続いてるけど結局回答者は最初に一つ数字を選んだだけで
あと選んだ元のどうこうとか、新しい情報もらってるけどそのあと選び直しも何もできないなら意味ないし。
そもそも元の100列の実数列の分布も与えてないのに確率もへったくれもないでしょ？

**１３２人目の素数さん** · 2020/03/21(土) 14:12:08.53

>>770
＞同値でないと決定番号存在しない

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

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

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

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

**１３２人目の素数さん** · 2020/03/21(土) 14:14:35.06

>>775
>>同値類の代表元の存在も認める
>なぜ？
選択公理によって各同値類から代表元が選出できる
というのが元記事の説明です

**１３２人目の素数さん** · 2020/03/21(土) 14:20:37.09

>>776
＞結局回答者は最初に一つ数字を選んだだけで

ええ

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

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

＞なら意味ない

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

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

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

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

**１３２人目の素数さん** · 2020/03/21(土) 14:32:42.75

>>779
正直いみわからん。
確率と言ってるくせに速度空間は

全くのランダム

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

**１３２人目の素数さん** · 2020/03/21(土) 14:40:02.23

>>780
測度空間は２＾｛１，２，・・・，１００｝ですね

>>768の記事にはもちろん答えは書いてあります
実際に尋ねたい問いは>>769のほうですが、
もとの問題を知らないと理解できないので
>>768の問いもあわせて書かせていただきました

答えを書くのは簡単ですが、
>>768の問についても
しばし、お考えください

(ヒント）
回答者が選んだ数列の決定番号をｄとしたとき
回答者が勝つのは、ｄとDがいかなる関係になっているときか？

**１３２人目の素数さん** · 2020/03/21(土) 14:41:23.97

>>781
誤　>>768の記事
正　>>768の記事中の「出展」

**１３２人目の素数さん** · 2020/03/21(土) 14:53:33.48

>>774
4は素数ではない

**１３２人目の素数さん** · 2020/03/21(土) 14:54:44.59

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

**１３２人目の素数さん** · 2020/03/21(土) 15:01:25.31

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

**１３２人目の素数さん** · 2020/03/21(土) 15:01:37.48

>>784
あ、訂正。>>784の後半はダメだ。
(選んだ列の決定番号<d)という事象が可測とは限らないや。
数列の分布が分からなければ値がいくらか以前に可測かどうかもわからんのか。

**１３２人目の素数さん** · 2020/03/21(土) 15:04:47.66

分布以前に"実数列の全体"なんて当然無限集合だからどんな集合が可測になるのかきらまず与えないと問題にならないよ。
原題ではどうなってるの？

**１３２人目の素数さん** · 2020/03/21(土) 15:07:43.06

>>781
>測度空間は２＾｛１，２，・・・，１００｝ですね
違うんじゃ無いかな
選択肢は100個
そのどれかを一様に選ぶ
それはいいけど
その100個のどれが勝つ物か負ける物か
予め決まっていてもそれは知らされていないんだから
確率分布には成らない
情報が足りないんじゃ無い？

**１３２人目の素数さん** · 2020/03/21(土) 15:09:30.88

>>783
じゃ
[Q(tan(π/2p):Q]≧[Q(cos(2π/p)]=φ(p/2)
素数をnにするなよ。
センスないなぁ。

**１３２人目の素数さん** · 2020/03/21(土) 15:09:54.18

>>784
2^100は、100個の有限集合のべき集合

＞100個の無限数列じゃないの？

無限数列自体は固定してます
つまり、分布を考える必要はありません

**１３２人目の素数さん** · 2020/03/21(土) 15:11:12.35

>>778
はい。
選択公理の仮定がどこにも書かれてなかったので糺しました。

**１３２人目の素数さん** · 2020/03/21(土) 15:13:22.47

>>785
＞選んだ数列がなんで有るか分からないんだから
＞回答者が勝つも勝たないも無いでしょ？

実は選んだ100列がいかなるものであっても
回答者が選んだ場合負ける「はずれの列」の個数がほぼ決まっています
したがって、100列からどの1列を選ぶ確率も1/100なら
回答者が勝つ確率もほぼ決まります

**１３２人目の素数さん** · 2020/03/21(土) 15:16:28.39

>>788
＞100個のどれが勝つ物か負ける物か
＞予め決まっていてもそれは知らされていないんだから
＞確率分布には成らない

>>792にも書きましたが、実は負ける列の個数は
決まっていますので確率は決まります

ついでにいえば、知る知らない、は
確率分布かどうかとは無関係ですね

**１３２人目の素数さん** · 2020/03/21(土) 15:18:12.21

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

**１３２人目の素数さん** · 2020/03/21(土) 15:19:23.12

>>786-787
100列の数列は固定します　したがって分布を考える必要はありません
数列空間上での関数の可測性も、実は考える必要がありません

**１３２人目の素数さん** · 2020/03/21(土) 15:35:10.85

>>794
＞負ける列はたかだか1列だから

気付きましたね

そうなんです　100列を選んだ場合
１．決定番号が最大値となる列が1列だけ存在する→１列だけ「負ける列」
２．決定番号が最大値となる列が2列以上存在する→「負ける列」なし
となります
（１の場合決定番号が最大値の列を選ぶとｄ＞D、
　２の場合どの列を選んでも　ｄ＜＝D）

１の場合、回答者が勝つ確率は99/100
２の場合、回答者が勝つ確率は１
ですね

**１３２人目の素数さん** · 2020/03/21(土) 15:53:38.60

>>796
アホかいな？
問題になってるのは>>784でいうなら選んだ列の決定番号がちょうどd、つまり残り99列の決定番号がたまたま選んだ烈の決定番号と一致する場合には問題文からはどっちのかちになるか確定しないでしよ？
つまり回答者が勝ちになる箱が99箱なのか100箱なのかわからないでしょうが？

**１３２人目の素数さん** · 2020/03/21(土) 16:02:32.90

>>797
＞選んだ列の決定番号がちょうどd、
＞つまり残り99列の決定番号がたまたま選んだ烈の決定番号と
＞一致する場合には・・・

>>796で書いた通り、負ける列がないので
どの列を選んでも回答者が勝ちます

＞回答者が勝ちになる箱が99箱なのか100箱なのかわからない

99の場合もあれば100の場合もある　ということで4649

**１３２人目の素数さん** · 2020/03/21(土) 16:06:42.83

>>784の式ですが

p(選んだ列の決定番号<=D)×1
+p(選んだ列の決定番号>D)×0

でよいですね

**１３２人目の素数さん** · 2020/03/21(土) 16:09:10.44

>>799だとDが一定みたいに見えるな

以下のように書くのがいいか

p(選んだ列の決定番号<=他の99列の決定番号の最大値)×1
+p(選んだ列の決定番号>他の99列の決定番号の最大値)×0

**１３２人目の素数さん** · 2020/03/21(土) 16:44:32.72

お帰り下さい
現代数学の系譜　カントル　超限集合論2
https://rio2016.5ch.net/test/read.cgi/math/1576852086/

**１３２人目の素数さん** · 2020/03/21(土) 16:46:38.30

>>798
でしょう？
だったら>>768の問題は

袋の中に99個の当たりくじと1個の当たりくじかハズレくじのどつちか計100個が入ってます。当たりをひく確率は？

と同じになるやん？
答え出るわけない。

**１３２人目の素数さん** · 2020/03/21(土) 16:53:38.26

>>802
P(勝ち)≧99/100じゃだめなん？

**１３２人目の素数さん** · 2020/03/21(土) 16:54:49.48

>>801
>>769についてコメントお願いします

>>802
２つの場合があることを述べた上で
それぞれの確率を答えればいいですね

>>803
場合分けしていただいたほうがいいですね

**１３２人目の素数さん** · 2020/03/21(土) 16:57:47.76

回答者が選んだ列が次の条件を満たす確率を求めよ：（ほにゃらら）
みたいな出題ならまだわかるけどなあ

**１３２人目の素数さん** · 2020/03/21(土) 17:06:57.33

>>805
根本的には
「１００本の線があるあみだくじで外れが１つの場合
　あたる確率を求めよ」
というのと同じだと思いますが如何ですか？

上記の問題で
「あみだくじ全体の空間における個々のあみだくじが選ばれる確率」
なんて考えないでしょう？

**１３２人目の素数さん** · 2020/03/21(土) 18:20:27.59

本質的に同じにしてももう少しシンプルに書こうって話よ
全体空間の中で個々のあみだくじが選ばれる確率だって、
本当は考えねばならないことを省略してるだけの話なんだから

**１３２人目の素数さん** · 2020/03/21(土) 18:28:35.33

>>793
予め決まっているんでしょ？
ならそんなお膳立てせずに
１～１００にΣpi=1の確率分布を考える
でよくない？

**１３２人目の素数さん** · 2020/03/21(土) 18:30:36.61

どう考えても当たりくじが99個になるとき、100個になるときがシンプルな言い回しありそうにないけど。
答えなんなん？

**１３２人目の素数さん** · 2020/03/21(土) 18:32:21.73

>>806
>「１００本の線があるあみだくじで外れが１つの場合
>　あたる確率を求めよ」
>というのと同じだと思いますが如何ですか？
じゃあ
p1===p100=1/100ということね？
そんで？

**１３２人目の素数さん** · 2020/03/21(土) 18:34:06.24

kを1≦k≦nの自然数とする。
n次多項式f(x)に対して、g(x)={(1+x)^k}g(x)を考える。
g(x)が整数係数多項式ならば、f(x)も整数係数多項式であることを証明せよ。

**１３２人目の素数さん** · 2020/03/21(土) 18:49:21.96

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

**１３２人目の素数さん** · 2020/03/21(土) 18:52:29.68

>>807
＞本当は考えねばならないことを省略してるだけ

それは問題に対する根本的な誤解があるね

**１３２人目の素数さん** · 2020/03/21(土) 18:55:10.38

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

**１３２人目の素数さん** · 2020/03/21(土) 18:58:44.21

>>812
＞まずこの問題文ではダメ
あなたの修正もイイかダメかといわれれば・・・ダメですね

ダメその１
＞残った99個の決定番号の最大値よりも選んだ決定番号が小さければ勝ち

「（最大値）より小さい」ではなく「（最大値）以下」ですね

ダメその２
＞大きければ勝ち負け決まらない？

大きければ負け、でいいですよ
（幸運にも一致する場合はあるが、そこは確率０とすることができるから）

上記のダメ出しをさせていただいた上で

＞これって数列関係なくて
＞100個の中で最大を選ぶかどうかってことじゃない？

ええ、その通りですよ

＞予め最大の数値は決められているから
＞それを無作為に選ぶかどうかの1/100ってことか

ええ、その通りですよ

＞ここまでは結局数列関係ないじゃん？

ええ、その通りですよ

まさか数列が最も重要だと思ってたんですか？

**１３２人目の素数さん** · 2020/03/21(土) 19:04:04.15

>>814
＞決定番号は定義できると思うよ

そうでしょう
できないという人は、同値類を誤解してるんでしょう

＞けれど最初の問題文では
＞何に対する決定番号であるかを説明していない

説明していないのではなく、
説明を理解できていないのでしょう
理解できるまで読む必要がありますよ

＞その点をハッキリさせないと
＞上記のように言う人が居てもおかしくないのでは？

「決定番号が有限でない」という主張は
決定番号の説明が理解できないというのとは
根本的に異なる、と思いますよ

**１３２人目の素数さん** · 2020/03/21(土) 19:07:00.65

>>814
＞なんだか回りくどいこと言って煙に巻くだけ

数学書の定義の記述はだいたいそういうものですけどね
位相の定義なんてその最たるものですね
なんで、こんな定義してるのか一回読んだだけでは分からない
そこで我慢できずに近道を探そうとする人は数学には向きませんね
なんか別のことをやったほうがいいとおもいますよ

**１３２人目の素数さん** · 2020/03/21(土) 19:08:05.83

>>812
>大きければ勝ち負け決まらない？（半々）
決定番号より前だけど1つ前なら代表元と異なっていることは確定だから負け
1つ以上前なら代表元と異なるかどうかは1/10かな？
1つ前であるかどうかは分からないんだからやっぱり確率は言えないのでは？
1つ前かどうかってある番号を決めておいて自然数全体の中でその数値の1つ前かどうかだから決定番号の自然数全体における分布が与えられないと何も言えないような

**１３２人目の素数さん** · 2020/03/21(土) 19:08:55.38

>>815
もういいや
正確な問題にしてから出直してきてね

**１３２人目の素数さん** · 2020/03/21(土) 19:09:47.60

>>816
>＞けれど最初の問題文では
>＞何に対する決定番号であるかを説明していない
>
>説明していないのではなく、
>説明を理解できていないのでしょう
>理解できるまで読む必要がありますよ
忖度せよっていう問題ね
酷すぎｗ

**１３２人目の素数さん** · 2020/03/21(土) 19:18:55.68

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

**１３２人目の素数さん** · 2020/03/21(土) 19:19:23.31

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

**１３２人目の素数さん** · 2020/03/21(土) 19:20:29.15

３．
問題に戻り，閉じた箱を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)などは下付添え字

**１３２人目の素数さん** · 2020/03/21(土) 19:21:11.62

>>819-820
重要であることを強調し
そうでないことは強調しない

忖度とは無関係

当然のことですけどね

**１３２人目の素数さん** · 2020/03/21(土) 19:22:41.17

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

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

**１３２人目の素数さん** · 2020/03/21(土) 19:22:57.30

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

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

以上

**１３２人目の素数さん** · 2020/03/21(土) 19:30:59.41

>>768の文章を書いたのは、元の記事のままでは
掲示板では長すぎると思ったのが第一だが、
無限個の確率変数とか可測性とかいう脇道を
可能な限り削ったほうがいいと思ったこともある

**１３２人目の素数さん** · 2020/03/21(土) 20:27:13.34

nを自然数とする。
袋の中にn個の青球と2個の白球がある。以下の試行を繰り返し行う。

【試行】
1)袋の中から無作為に同時に2個の球を取り出し、
「ともに白球の場合、『勝ち』とする」
「白球1つと青球1つの場合、『負け』とする」
「ともに青球の場合、『あいこ』とさる」
2)『勝ち』または『負け』の場合、試行を終了する。『あいこ』の場合、もう1回試行を行う。

この試行が終了するまでに行った試行の回数の期待値E(n)をnで表し、また試行が『勝ち』で終了する条件付き確率をnで表せ。

**１３２人目の素数さん** · 2020/03/21(土) 20:51:21.68

1)4/3
2)1/3

**１３２人目の素数さん** · 2020/03/21(土) 21:05:54.33

why?
＞円の中心を定規のみで作図することは出来ない
https://twitter.com/potetoichiro/status/1130475152938897408
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2020/03/21(土) 21:29:56.56

>>813
根本的にはソレと同じだって>>806に書いてあると思うんだけど

**１３２人目の素数さん** · 2020/03/21(土) 21:45:25.70

>>827
出直しも出来ないのな
全くダメ

**１３２人目の素数さん** · 2020/03/21(土) 21:46:37.72

>>824
>重要であることを強調し
>そうでないことは強調しない
君全く理解できていないか
理解できていて目を背けているかだね
全くダメ

**１３２人目の素数さん** · 2020/03/21(土) 22:02:15.94

>>832
アンタの望みの゛正確な問題゛は>>821以降にあげといたよ
ぶつぶつ言ってないで解いてみたら？

**１３２人目の素数さん** · 2020/03/21(土) 22:42:37.09

>>834
頑張ってね～

**１３２人目の素数さん** · 2020/03/22(日) 00:59:46.69

例えば1,2,3,...という数列が属する同値類の代表元は何になるの？

**１３２人目の素数さん** · 2020/03/22(日) 01:34:19.90

>>836
1.2,3,...でいいよ

**１３２人目の素数さん** · 2020/03/22(日) 01:49:36.75

じゃあ1,2,3,...の決定番号は1ですね
同様に数列a_1,a_2,a_3,...が属する同値類の代表元はa_1,a_2,a_3,...だからこれも決定番号は1
つまり任意の実数列の決定番号は1ということですね
ありがとうございます

**１３２人目の素数さん** · 2020/03/22(日) 02:22:03.52

>>838
1,2,3,...の同値類の代表限を 1.2,3,...にするんなら
2,1,3,...の決定番号は3だよ

**１３２人目の素数さん** · 2020/03/22(日) 02:25:32.63

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

**１３２人目の素数さん** · 2020/03/22(日) 02:37:19.34

>>801の中の人々とは関わらない方がいいかも。

**１３２人目の素数さん** · 2020/03/22(日) 06:35:46.07

>>841
主の人は明らかに頭がおかしい
ガロアスレが運営から削除されたのも当然

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

**１３２人目の素数さん** · 2020/03/22(日) 06:38:59.28

>>840
＞決定番号以後は全部一致してると思ってたけど
読み方が粗雑じゃね？
「２つの無限列s1,s2∈R^Nが・・・一致するとき」
と書いてあるし

**１３２人目の素数さん** · 2020/03/22(日) 07:50:24.15

コロナの件で疑問に思ったのだけど

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

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

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

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

**１３２人目の素数さん** · 2020/03/22(日) 08:34:49.54

>>843
それは同値の定義
決定番号の定義にはない