24/02/14 23:51:57.90 IokDU4Hd.net
>>328-329
>自然数各ｎについて、決定番号ｎの列は有限個
>同値類全体は集合は有限個の可算和なんだから
>非可算になるわけがないだろ
・>>321より
”有限小数の集合は可算です
↓
ところが、時枝「箱入り無数目」の箱には
任意実数r∈Rが入るので、非可算です”
と書いたのに、読めてないね、お主はｗｗｗ
・いま、簡単に有限で箱3つに 任意実数r∈Rを入れる
r1,r2,r3 としよう
しっぽは、r3だ
だから、数列r1,r2,r3=π(円周率) と 数列r1,r2,r3=e (自然対数の底)と
この二つの数列は、しっぽ同値ではない
つまり、r3には任意の異なる実数が入り、同値類の集合の濃度はRと同じで、非可算だ
・一方、r1,r2,r3=π(円周率) について
しっぽ r3=π(円周率)を固定すると
r1,r2 には任意の実数r∈Rが入るので ２次元ユークリッド空間と見ることが出来る
即ち、R^2で集合の濃度は非可算
なんだかな
これ、中高一貫の高校生でも分かる話だよ
どっかの数学科修士卒だって？ 大丈夫か？
362:１３２人目の素数さん
24/02/15 05:51:54.61 /+tDeogO.net
>>331
>有限小数の集合は可算です
> ↓
>ところが、時枝「箱入り無数目」の箱には任意実数r∈Rが入るので、非可算です
箱の中身の候補全体が有限集合Sの場合に限定しているので、
限定外の場合を持ち出しても無意味な
>と書いたのに、読めてないね、お主は
他人の文章の前提を削除した上で
否定した場合のこと書くのは無意味な
君、人としての倫理、ないだろ
363:１３２人目の素数さん
24/02/15 05:58:06.46 /+tDeogO.net
>>331
>いま、簡単に有限で箱3つに 任意実数r∈Rを入れる
>r1,r2,r3 としよう
長さ３の列って書こうな 日本語、書ける？
>しっぽは、r3だ
>だから、数列r1,r2,r3=π(円周率) と 数列r1,r2,r3=e (自然対数の底)と
>この二つの数列は、しっぽ同値ではない
別に箱の中身をRとしなくても{0,1}でも{1,2,3,4,5,6,}でも同じだろ 頭、大丈夫？
>つまり、r3には任意の異なる実数が入り、同値類の集合の濃度はRと同じで、非可算だ
それ「(１つの)同値類の集合の濃度」ではなく「類別の数」な
日本語 間違ってるぞ
さて、質問
列を可算長とする、
その場合の類別の集合はどれか
１．R
２．R^N
３．それ以外（具体的に記せ）
さっさと書けよゴルァ
364:１３２人目の素数さん
24/02/15 09:27:52.02 Ex0uJ/ss.net
0∈Sとする
有限列S^nの場合
S^n＝S^n/～×[O] (Oはすべての項が0の列、[O]はOの同値類）
S^n/～＝S [O]＝S^(n-1)
無限列S^Nの場合
S^N＝S^N/～×[O]
Q1. S^N/～はいかなる集合？
Q2．[O]はいかなる集合？
365:１３２人目の素数さん
24/02/15 10:17:11.69 /VWIjnQ+.net
論より証拠
論理より倫理
366:１３２人目の素数さん
24/02/15 10:21:00.72 sj8qH7fu.net
>>335 君でもいいよ >>334に答えてごらん
367:１３２人目の素数さん
24/02/15 10:57:12.43 h9PoCcmd.net
記号の意味がよく分からん。
率直に言って、何を言ってるのか分からない>>334
368:１３２人目の素数さん
24/02/15 11:12:39.42 7BrFpf3H.net
>>337
記号以前にそもそも尻尾同値が分かってないんじゃね？
>>181－183まず読め で、わからなかったら
「どこ」が「どう」分からんか質問してな
それが数学 あんた数学やったことないの？
369:１３２人目の素数さん
24/02/15 11:13:10.16 7BrFpf3H.net
>>337
記号以前にそもそも尻尾同値が分かってないんじゃね？
>>181-183まず読め で、わからなかったら
「どこ」が「どう」分からんか質問してな
それが数学 あんた数学やったことないの？
370:１３２人目の素数さん
24/02/15 11:26:26.58 FS2Ghl2l.net
基礎論パーは、手抜きでしばらく他人にお任せしますｗ
弥勒菩薩さまのご指導で、数学素人ですが ”定理、証明”の形にしてみます
まず、(参考)時枝記事>>212より
URLﾘﾝｸ(imgur.com)
数学セミナー201511月号「箱入り無数目」
（なお下記では、記号や定義は上記の時枝記事に従う。また>>4-8ご参照）
定理Ａ：一つの箱の的中確率をp<1とし、可算無限個の箱はiid(独立同分布)とする
このとき、決定番号nとなる確率は0
証明：決定番号nとは、可算無限長の２つの数列（問題の数列と、問題の数列に対するしっぽ同値類の代表数列）
で、n以降 n,n+1,n+2,・・・ の可算無限の箱の数が一致する場合であった
一つの箱の的中確率がp<1なので、n個の数の一致確率p^nであり、可算無限 n→∞ p^n→0となる
定理Ｂ：一つの箱の的中確率をp<1とし、可算無限個の箱はiid(独立同分布)とする
「箱入り無数目」の決定番号n1,n2,・・たちの大小比較で導く、確率99/100ないし1-εは
条件付き確率であり、定理Ａの帰結「決定番号nとなる確率は0」より
最終的には、(99/100)・0＝0 ないし(1-ε)・0＝0 となる
証明：ほとんど自明だが
定理Ａより、決定番号nとなる確率は0であるから
確率0の条件下で得られた 確率99/100ないし1-εは
結局 (99/100)・0＝0 ないし(1-ε)・0＝0 となる
QED
以上
371:１３２人目の素数さん
24/02/15 11:26:49.66 YlN93sc3.net
>>335
屁理屈より証明
372:１３２人目の素数さん
24/02/15 11:28:25.26 h9PoCcmd.net
尻尾同値は分かってる。
数列において、途中からすべて一致するとき同値と言うわけでしょ。
しかし、この定義がしっくりくるのは無限列の場合で
有限列の場合は、いかにもナンセンスなことを考えてる感じがする。
たとえば、無限列の場合は
「高々有限個を除いて一致する」としても同値な定義になるが
有限列ではそうではない。
>>334で分からないのは、S^n/～×[O]とか。
×[O]って何？
373:１３２人目の素数さん
24/02/15 11:37:23.43 ZM+h7GAz.net
>>342
> ×[O]って何？
×は直積 [O]は、列Oが属する同値類の列全体の集合 かと
374:１３２人目の素数さん
24/02/15 11:41:31.76 ZM+h7GAz.net
>>340
>定理Ａ：一つの箱の的中確率をp<1とし、可算無限個の箱はiid(独立同分布)とする
> このとき、決定番号nとなる確率は0
>証明：決定番号nとは、可算無限長の２つの数列（問題の数列と、問題の数列に対するしっぽ同値類の代表数列）
> で、n以降 n,n+1,n+2,・・・ の可算無限の箱の数が一致する場合であった
> 一つの箱の的中確率がp<1なので、n個の数の一致確率p^nであり、可算無限 n→∞ p^n→0となる
これ定理Aとして書かれた命題の証明になってないね
「可算無限長の２つの数列が、尻尾同値となる確率が0」って証明しただけかと
375:１３２人目の素数さん
24/02/15 11:44:17.22 ZM+h7GAz.net
>定理Ｂ：一つの箱の的中確率をp<1とし、可算無限個の箱はiid(独立同分布)とする
> 「箱入り無数目」の決定番号n1,n2,・・たちの大小比較で導く、確率99/100ないし1-εは
> 条件付き確率であり、定理Ａの帰結「決定番号nとなる確率は0」より
> 最終的には、(99/100)・0＝0 ないし(1-ε)・0＝0 となる
定理Aは誤りで、実際には「決定番号の定義から、決定番号が自然数となる確率１」なので
確率99/100ないし1-εは条件付き確率ではなく、確率0にはなりようがない
頭、大丈夫？
376:弥勒菩薩
24/02/15 11:52:06.05 YlN93sc3.net
>>340
俺はそんなことはいっていない
・値が二値で等確率の場合、コルモゴロフの0-1法則で勝つ戦略は確率0
・値がRの場合も同じように勝つ戦略は確率0か非可測になるあろうと予測
377:１３２人目の素数さん
24/02/15 11:53:31.69 YlN93sc3.net
基礎論ババアは同値類もわからない（爆笑）
378:１３２人目の素数さん
24/02/15 12:09:02.32 h9PoCcmd.net
>>343
OK.
379:１３２人目の素数さん
24/02/15 12:11:27.74 S8hOqy8C.net
>>346
>・値が二値で等確率の場合、コルモゴロフの0-1法則で勝つ戦略は確率0
「末尾事象」だという証明は？
380:１３２人目の素数さん
24/02/15 12:25:47.16 CQ4P3J8/.net
弥勒は壊滅的に頭悪いね
未だ全然分かってないじゃん
381:１３２人目の素数さん
24/02/15 12:27:19.21 YlN93sc3.net
>>349
過去スレに書いてある、そのうち書くかもしれない
382:１３２人目の素数さん
24/02/15 12:34:37.86 CQ4P3J8/.net
出たw
「過去スレに書いてある」←嘘w
「そのうち書くかもしれない」←絶対書かないw
383:１３２人目の素数さん
24/02/15 13:23:18.26 hMkchTfP.net
ｽﾚﾘﾝｸ(math板:572番)
> 0572弥勒菩薩
> 2023/10/21(土) 05:11:02.94ID:ljgKc6Do
>☆時枝記事のまとめ（訂正版）
>X=R^Nの尻尾同値類の族を{C(α)、α∈A}とする。
>選択公理から代表元{r(α、α∈A)}を決める。
>t∈Xの決定番号d(r(α)、t）は
>t∈C(α)のとき有限、
>それ以外の時は決まらない（∞）。
まったくの素人🐎🦌発言
{C(α)、α∈A}のAが不明
α∈Xの尻尾同値類をC(α)とする、ならわかるが
そうでないなら全く意味不明
それとも{C(α)・・・}で同値類を要素とする集合を表してるのか
384: その場合、 「選択公理から代表元{r(α、α∈A)}を決める。」が意味不明 各C(α)から、代表元r∈C(α)をとるなら分かるが なんで同値類を要素とする集合から”代表元”とるんだ？🐎🦌 で、極めつけはこれ 「t∈Xの決定番号d(r(α)、t）は t∈C(α)のとき有限、 それ以外の時は決まらない（∞）」 まず、d(t)でいいだろ なんでtが属さない同値類の代表元と比較するんだ？🐎🦌 こんなトンチンカンな勘違いで 「tとrが尻尾同値かどうかは末尾事象！ tとrが同値でなければ決定番号∞」 とかいってるんなら、高卒レベルの失笑発言
385:１３２人目の素数さん
24/02/15 13:29:28.64 L/kCMxsK.net
ｽﾚﾘﾝｸ(math板:584番)
> 0584弥勒菩薩
> 2023/10/21(土) 09:48:25.71ID:ljgKc6Do
> 572追加
>tとsは同値である<->d(t,s)が有限な値に決まる
>tとsは同値ではない<->d(t,s)が決まらない
最後の行が🐎🦌
>sを当てるとすると、その同値類C(α)は箱をすべて開けないと決まらない。
これ大嘘
どこでもいいからある箱を選び、そこから先（番号が大きくなる方向）の箱をすべて開ければいい
したがって、開けない箱を有限個残すことが可能
>これ(全部開ける)はルール違反でレッドカード。
実に初歩レベルの誤解
>よって、決定番号d(r(α),s)は決まらない（何度も指摘済み）。
何度指摘しても誤り
そもそもsの同値類の代表元r(s)が決まればいい
それは選択関数によって求められる
386:１３２人目の素数さん
24/02/15 13:34:49.47 L/kCMxsK.net
全部開けなくても、代表元が求まることは「箱入り無数目」に書いてある
ついでにいうと、D<dでも求まる
（ただ、この場合は開けなかった箱の中身に関する情報は得られないが）
>>182
何らかの事情によりdが知らされていなくても，
あるD>=d についてsD+1， sD+2，sD+3，・・・が知らされたとするならば，
それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう
387:１３２人目の素数さん
24/02/15 15:05:20.58 FS2Ghl2l.net
>>346
>・値が二値で等確率の場合、コルモゴロフの0-1法則で勝つ戦略は確率0
>・値がRの場合も同じように勝つ戦略は確率0か非可測になるあろうと予測
弥勒菩薩様、>>340のスレ主です
ご指導ありがとうございます
”コルモゴロフの0-1法則”は、寡聞にして知りませんでしたが
”確率 0”の事象があるということ、大変よく分かりました
なお、”値がRの場合”は 値が二値で等確率の場合よりも圧倒的に難しくなり
したがって、確率は当然下がりますから、二値の確率0より大きくはなりませんね（つまり0ですね）
”非可測”がどうかですね
(参考)再録>>25より
下記のコルモゴロフの0-1法則の確率0の場合と同様と思われる
（前スレの弥勒菩薩さまの説 ご参照）
URLﾘﾝｸ(ja.wikipedia.org)
コルモゴロフの0-1法則（英: Kolmogorov's zero–one law）は、アンドレイ・コルモゴロフにちなんで名づけられた定理である。
この定理は、末尾事象（tail event）と呼ばれる特別な事象は、ほとんど確実に起きるか、あるいはほとんど確実に起きないかのどちらかであることを主張している。
つまり、このような事象が起きる確率は0か1かのどちらかであるということである。
末尾事象は、確率変数の無限列を用いて定義される。
X_{1},X_{2},X_{3},・・・
を独立な確率変数の無限列とする[注釈 1]。
略
388:１３２人目の素数さん
24/02/15 15:31:50.93 L/kCMxsK.net
>>356
ID:FS2Ghl2 も ID:YlN93sc3 も同値類の代表元の（選択公理による）選出と決定番号が分かってない
二人が「確率０の末尾事象」といってるのは、「結局2つの無限列が尻尾同値となること」でしかない
いかなる無限列も、当然どこかの同値類に類別される そしてその中には必ず一つの代表が存在する
無限列に対して自身が属する同値類の代表と比較すれば
必ず自然数ｎで表される
389:一致箇所の先頭が存在する（同値なんだから当たり前） それが決定番号である この初歩が二人とも分かってない だから決定番号をトンデモ定義して 「確率１で∞」とかトンデモ発言するわけである
390:１３２人目の素数さん
24/02/15 17:16:03.02 Yql9K+Mt.net
>>269
>>270
これっていつ論理式で書いてくれるんかね？
例えば、無限にあるだと∀と∃とか、ただひとつしかないだと∀と=みたいにイディオムが決まってるんだけど、箱を開けてないってのはどうやるんかね？
391:１３２人目の素数さん
24/02/15 17:45:32.22 FS2Ghl2l.net
>>358
>>>269
>>>270
>これっていつ論理式で書いてくれるんかね？
>例えば、無限にあるだと∀と∃とか、ただひとつしかないだと∀と=みたいにイディオムが決まってるんだけど、箱を開けてないってのはどうやるんかね？
>>340でスレ主です
ありがとうございます。
そこ、面白い指摘ですね、重要論点かも
論理式では、書けないのでスマンけど、私の解釈は
「問題の無限数列のしっぽの部分 D番目から先 D,D+1,D+2,・・の箱を開けて
属する同値類を知ったときに、属する同値類の代表列rを知って、決定番号dを知る
そのとき、『D>=d』となる保証が無い。というか、『D<d』つまり 一致のしっぽ部分はとっくのとうに終了しています
だから、数当てなど、夢のまた夢です」
となっているってことでは？
類似の趣旨が>>340です
(参考)
270１３２人目の素数さん
2024/02/12(月) 20:39:29.09ID:vqdMPIUf
>>269
論理式で書けるのそれ？
269１３２人目の素数さん
2024/02/12(月) 20:22:35.28ID:aIPiDkR2
>>268
「定理２」の文中の”上の注意”は、以下の文章
「何らかの事情によりdが知らされていなくても，
あるD>=d についてsD+1， sD+2，sD+3，・・・が知らされたとするならば，
それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.」
392:１３２人目の素数さん
24/02/15 17:52:56.46 YlN93sc3.net
これは証明できていない
「何らかの事情によりdが知らされていなくても，
あるD>=d についてsD+1， sD+2，sD+3，・・・が知らされたとするならば，
それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.」
393:１３２人目の素数さん
24/02/15 18:15:23.06 /+tDeogO.net
>>358-359
xの第n+1項以降の元が分かれば、
第1項から第n項まで0とし第n+1項以降がxと同じであるような列yを構成できる
∀x∈R^N,n∈N,∃y∈R^N,∀i∈N( ((i<=n)⇒y[i]=0)∧((i>n)⇒y[i]=x[i]) )
もちろん、xとyは同値である
したがって列xの同値類の代表をr(x)と表すと、r(y)=r(x)である
そして列xの決定番号をd(x)と表すとき
n>=d(x)であるなら、x[n]=r(x)[n]である
100個の列に関する決定番号をd(x1)~d(x100)
自列以外の99列の決定番号最大値をD(x1)~D(x100)
と表す
このとき D(xi)＜d(xi)となるiはたかだか１つである
394:１３２人目の素数さん
24/02/15 18:18:59.64 /+tDeogO.net
「箱入り無数目」の予想を行うに当たって
選んだ列の決定番号を知る必要はない
（というか当たる場合には決定番号は事前にわからない）
395:１３２人目の素数さん
24/02/15 18:22:56.07 /+tDeogO.net
>>360
>>361で証明した
つまり列xの同値類の代表列を得るのに列xまるごと知る必要はなく
列xのn＋1番目以降の項の情報から構成できる列yを使えば良い
まさかここでつまづいてるとは思わなんだ
396:１３２人目の素数さん
24/02/15 18:33:34.14 Yql9K+Mt.net
>>361
∀xを先頭に書いたら箱を開けてないって意味にならないって言ってるんだが
あと一部じゃなくてステートメント全体を論理式で書かないと意味ないでしょ
そう書いたときに∀xがどれだけ内側に入ったかでしか、箱を開けたかどうか定式化できないじゃん
もしくは箱を確率変数にして確率論を使うか
397:１３２人目の素数さん
24/02/15 20:19:03.74 YlN93sc3.net
>>364
ガロア理論と基礎論婆と議論しても無駄なことに気付いたかな
398:１３２人目の素数さん
24/02/15 20:48:37.86 snArf76e.net
>>364-365
弥勒菩薩さま、ID:Yql9K+Mtさん
>>340でスレ主でガロア理論です
フォローありがとうございます
>∀xを先頭に書いたら箱を開けてないって意味にならないって言ってるんだが
>あと一部じゃなくてステートメント全体を論理式で書かないと意味ないでしょ
>そう書いたときに∀xがどれだけ内側に入ったかでしか、箱を開けたかどうか定式化できないじゃん
>もしくは箱を確率変数にして確率論を使うか
なるほど
そういうコメントですか
なるほど なるほど
基礎論パー�
399:ﾆ、そのお連れさんが どう答えるか楽しみです
400:１３２人目の素数さん
24/02/15 20:56:39.35 /+tDeogO.net
>>365
>>360が証明できてないとかいう素人が何をいっても恥ずかしいだけ
正真正銘の馬鹿なのか？
401:１３２人目の素数さん
24/02/15 21:08:21.66 /+tDeogO.net
>>364 >>366 論理も分からん馬鹿素人が何いってんだか
列x1,…,x100は定数
自然数d(x1),…,d(x100)も定数
x1,…,x100から1列xkを選ぶとする
xkの中のDk=max(d(x1),…,d(xk-1),d(xk+1),…,d(x100))番目の箱を選ぶ
Dkの定義の中にd(xk)は入ってない したがってxkがわかる必要はない
xkのDk+1番目以降＆1番目~Dk番目まで0、の無限列ykから
その同値類の代表r(yk)が求まる
r(yk)=r(xk)だが、xkの1番目からDk番目までは使わない
したがって、r(xk)を得るのにxkの1番目からDk番目までがわかる必要はない
で、Dk>=dkなら、xk[Dk]=r(xk)[Dk]
ここで、自然数d1~d100について、
dk＞Dk(＝max(d(x1),…,d(xk-1),d(xk+1),…,d(x100)) )となるkはたかだか1つ
したがってそのようなDkを選ばない確率は1-1/100＝99/100
402:１３２人目の素数さん
24/02/15 21:31:07.93 Yql9K+Mt.net
>>368
論理がわかるんなら、まず証明したいことを論理式で書けるようになってよ
そこがスタート地点でしょ
403:１３２人目の素数さん
24/02/15 21:51:55.09 Yql9K+Mt.net
例えばさ、箱の中に正の整数が入ってます。あなたはそれを見ずに何か正の整数を宣言します。あなたの答が箱の中の数以下なら勝利です。必勝法はありますか？
という問題なら、∃x.∀y. x≦y が成立するから必勝ですって誰でも答えられるでしょ
これを、∀y. ∃x. x≦yが成立するから必勝ですって言ったらおかしいでしょ
後者の命題は正の整数の代わりに整数にしても成り立つけど、明らかに整数では必勝法はない。
だから、箱の中を見てないと主張するには∀をなるべく内側に入れた命題を証明しないとだめなんじゃよ
404:１３２人目の素数さん
24/02/15 23:09:30.50 snArf76e.net
>>369-370
ご苦労さまです
スレ主です
余談ですが、基礎論バーこと おサル＝サイコパス(>>9)が
数学板に来たのは、2016年中頃だった記憶がありますが
そのときに、論理式 ∃x.∀y. が書けると、ブイブイと自慢して
そして 自分は数学科修士卒だと自慢していました
（面倒なので過去ログ発掘はしませんが）
"論理式 ∃x.∀y. が書ける"という自慢も
化けの皮が、ほとんど はがれてますねｗ
405:１３２人目の素数さん
24/02/15 23:14:43.44 YlN93sc3.net
>>371
基礎論婆は数学科でてないだろ。文系だろ、専門は国語ｗ
406:１３２人目の素数さん
24/02/15 23:51:41.54 snArf76e.net
>>368
>ここで、自然数d1~d100について、
>dk＞Dk(＝max(d(x1),…,d(xk-1),d(xk+1),…,d(x100)) )となるkはたかだか1つ
>したがってそのようなDkを選ばない確率は1-1/100＝99/100
こちらは 素人っぽく 反例構成をばｗ ；ｐ）
(参考)時枝記事>>212より再録
URLﾘﾝｸ(imgur.com)
数学セミナー201511月号「箱入り無数目」
記号や定義は上記の時枝記事に従う。また>>4-8ご参照
いま、箱が5個のミニモデルから
実数列の集合 R^5を考える.
s = (s1，s2，s3 ，s4 ，s5)
しっぽ同値類は
s'=(s'1， s'2， s'3，s'4，s5) と書ける（5番目が同じ数）
s5が固定されているので、4次元ユークリッド空間を成すと考えられる
このとき、決定番号は（1以上）5以下だ
いま、決定番号が4以下の場合を考えると、
s''=(s''1， s''2， s''3，s4 ，s5) と書ける（4と5番目が同じ数）
3次元ユークリッド空間を成すと考えられる
つまり、しっぽ同値類全体は4次元ユークリッド空間を成し 決定番号は5以下（1以上）
一方、決定番号が4以下の場合は、3次元ユークリッド空間だ
だから、4次元ユークリッド空間中の3次元ユークリッド空間の体積0
4次元ユークリッド空間中の元を一つ選べば当然4次元の点であり、3次元に縮退する確率0
従って、決定番号は5の確率が1で、4以下の確率は0
さて、箱がn+1個として、n+1次元ユークリッド空間で
同値類では 決定番号n+1以下が、n次元ユークリッド空間を成し
決定番号n以下が、n-1次元ユークリッド空間�
407:ﾉなる なので、n次元ユークリッド空間中の元を一つ選べば当然n次元の点であり、n-1次元に縮退する確率0 従って、決定番号はn+1の確率が1で、n以下の確率は0 いま、n→∞ を考えると 無限次元ユークリッド空間 R^Nを考えることになり 上記のように、有限の決定番号の確率は0です これが、「箱入り無数目」の反例になります つまり、有限の決定番号を使って、確率99/100を導いても 有限の決定番号の確率は0なので、結局確率は0です！
408:１３２人目の素数さん
24/02/16 01:42:57.06 zAIUlMx6.net
>>373
あなたの発言
>決定番号の集合(Kとする)は、自然数Nと同様に可算無限集合であり、N＝Kである！ｗｗｗ
によると、いかなる実数列の決定番号も自然数です。
このことは同じくあなたの発言
>有限の決定番号の確率は0
と矛盾します
409:１３２人目の素数さん
24/02/16 04:31:13.84 jc9PxMHs.net
>>371
彼に示したい定理のステートメントを要求したら、>>264 が出てきたのにはほんとびっくりしたね
410:１３２人目の素数さん
24/02/16 05:59:53.86 vC1OiGnJ.net
>>370
>必勝法はありますか？
そもそも「必ず勝つ方法」とはいってないよ
勝率1－εで、ε＞0っていってるじゃん
理解してる？
>∃x.∀y. x≦y が成立するから必勝ですって誰でも答えられるでしょ
>これを、∀y. ∃x. x≦yが成立するから必勝ですって言ったらおかしいでしょ
「定理A
任意のｎ個の自然数n(1)~n(n)に対して
自分以外のn-1個の自然数の最大値をN(1)~N(n)と表す
n(i)＞N(i)となる自然数N(i)はたかだか一個」
これは認める？
もし認めるなら、
ｎ個の列の決定番号d(1)~d(n)に対して
自分以外のn-1個の決定番号の最大値をD(1)~D(n)と表すとき
任意の i∈{1,…,100}に対して、
d(i)＞D(i)となる i はたかだか一個で、
それ以外ではd(i)<=D(i)
そして、d(i)<=D(i)なら
列XiのD(i)+1番目以降の情報から得られた
列Xiの同値類代表r(Xi)に対して
以下の等式が成り立つ
Xi[D(i)]＝r(Xi)[D(i)]
したがって100列からランダムに1列選んだ場合
100列中99列では
Xi[D(i)]＝r(Xi)[D(i)]
となるから成功するので、成功確率は少なくとも99/100
箱の中身を見てるというなら、どこで見てるか指摘できないとダメ
高卒素人 ID:Yql9K+Mt君 の負けだよ
411:１３２人目の素数さん
24/02/16 06:08:44.97 vC1OiGnJ.net
>>373
>いま、n→∞ を考えると
>無限次元ユークリッド空間 R^Nを考えることになり
>上記のように、有限の決定番号の確率は0です
なんど繰り返しても、証明が間違ってるから無意味
君が示したのは
「無限列R^Nの中で、
412:例えば全部の項が0の無限列と尻尾同値な無限列全体の集合∪(n∈N)R^nの測度は0」 で？ それって 「無限列の決定番号は確率１で∞」 ってことにならないよ 君、もしかして、任意の無限列は尻尾同値だと思ってる？ まあ、さすがに違う！というだろうけど、 じゃあ、無限列でも有限列同様に 「最後の項だけが一致する尻尾同値列」 が存在すると思ってる？ 然り！と答えるとして、じゃあその最後の項って何番目 ∞番目 ∞って自然数？ もしそうだとして∞＜∞＋１となる∞＋１は存在しない？自然数じゃない？ それってペアノの公理に反するよね？ どうすんの？ だからさあ、有限列で成り立つことを、ｎ→∞とかいう「呪文」で 「無限列でも成り立つ」と絶叫するのは間違いなんだって いいかげん分かれよ 中卒素人 ID:snArf76e
413:１３２人目の素数さん
24/02/16 06:25:58.89 vC1OiGnJ.net
>>375
>>264の要は以下の２つの定理
定理A
任意のｎ個の自然数n(1)~n(n)に対して
自分以外のn-1個の自然数の最大値をN(1)~N(n)と表す
n(i)＞N(i)となる自然数N(i)はたかだか一個
定理B
任意の無限列xに対し
第1項から第n項まで0とし第n+1項以降がxと同じとなる
xと同値な列yが存在する
∀x∈R^N,n∈N,∃y∈R^N,∀i∈N( ((i<=n)⇒y[i]=0)∧((i>n)⇒y[i]=x[i]) )
したがって列xの同値類の代表をr(x)と表すと、r(y)=r(x)である
そして列xの決定番号をd(x)と表すとき
n>=d(x)であるなら、x[n]=r(x)[n]である
414:１３２人目の素数さん
24/02/16 06:26:58.37 vC1OiGnJ.net
>>375
>>264の要は以下の２つの定理
定理A
任意のｎ個の自然数n(1)~n(n)に対して
自分以外のn-1個の自然数の最大値をN(1)~N(n)と表す
n(i)＞N(i)となる自然数N(i)はたかだか一個
定理B
任意の無限列xに対し
第1項から第n項まで0とし第n+1項以降がxと同じとなる
xと同値な列yが存在する
∀x∈R^N,n∈N,∃y∈R^N,∀i∈N( ((i<=n)⇒y[i]=0)∧((i>n)⇒y[i]=x[i]) )
したがって列xの同値類の代表をr(x)と表すと、r(y)=r(x)である
そして列xの決定番号をd(x)と表すとき
n>=d(x)であるなら、x[n]=r(x)[n]である
415:１３２人目の素数さん
24/02/16 06:29:41.81 vC1OiGnJ.net
>>375
>>264の要は以下の２つの定理
定理A
任意のｎ個の自然数n(1)~n(n)に対して
自分以外のn-1個の自然数の最大値をN(1)~N(n)と表す
N(i)<n(i)となる自然数N(i)はたかだか一個
定理B
任意の無限列xに対し
第1項から第n項まで0とし第n+1項以降がxと同じとなる
xと同値な列yが存在する
∀x∈R^N,n∈N,∃y∈R^N,∀i∈N( ((i<=n)⇒y[i]=0)∧((i>n)⇒y[i]=x[i]) )
したがって列xの同値類の代表をr(x)と表すと、r(y)=r(x)である
そして列xの決定番号をd(x)と表すとき
n>=d(x)であるなら、x[n]=r(x)[n]である
416:１３２人目の素数さん
24/02/16 06:52:48.03 ZAvRf1nZ.net
ガロア理論と基礎論婆は割れ鍋に綴蓋
417:１３２人目の素数さん
24/02/16 07:28:14.84 TG+mPEy6.net
>>381
これは、弥勒菩薩さまか
亡者 基礎論パーをお救い下さい！
アーメン！
418:１３２人目の素数さん
24/02/16 07:50:21.79 vC1OiGnJ.net
>>381-382
ガロア失格と無禄の中卒高卒素人コンビ
そして私は大卒素人ｗ
419:１３２人目の素数さん
24/02/16 08:03:42.57
420: ID:TG+mPEy6.net
421:１３２人目の素数さん
24/02/16 08:09:40.27 vC1OiGnJ.net
>>384
>時枝さんは、確率99/100と言った後で
>勝率1－εでも勝てるという
>だから、99/100 ＜ 1－ε という趣旨ですね
>勝率1－εは、確率99％以上を意味する
1000列にすれば、999/1000以上にできる
n列の場合、確率1-1/n以上
任意のε>0に対して、1/n<εとなる自然数nが存在する
そういう意味 理解してなかったのかい？ 中卒素人君
422:１３２人目の素数さん
24/02/16 08:11:43.79 vC1OiGnJ.net
>>「定理A
>> 任意のｎ個の自然数n(1)~n(n)に対して
>・宝くじの当選番号は、自然数n
>・自然数の宝くじを全部買えば、宝くじ当たる
>これぞ、宝くじ必勝法
馬鹿丸出しｗ
自然数論の初歩である定理Aすら全く理解できんとは さすが中卒！
423:１３２人目の素数さん
24/02/16 11:10:32.73 SR9FGHcv.net
>>373 補足
１）反例構成は、反例を思いつけば、証明より簡単です
この反例構成は、時枝「箱入り無数目」の同値類の決定番号が、自然数Nとは異なる構造と分布を持つということを利用している
すなわち、決定番号は単純な自然数Nとは異なります
２）例えば、箱に0,1,2・・,9まで10通りの一桁の数を入れるとする
箱５つ列の集合 10^5を考える.
s = (s1，s2，s3 ，s4 ，s5)
全部で10^5通り
いま、決定番号5を考えると、s5はある数に固定されるから、10^4通り
決定番号4を考えると、s4 ，s5はある数に固定されるから、10^3通り
というふうに、決定番号が１違うと一桁違う
３）さて、箱n+1個の列の集合 10^(n+1)を考える.
s = (s1，s2，s3 ，s4 ，s5・・・,sn-1,sn,sn+1)
いま、決定番号5と決定番号6とを比較して、「6の方が大きいよ」と言ったとする
ところが、決定番号10と決定番号11と 上記の比較とは5桁違う、つまり10万倍ちがう話
さらに、決定番号100と決定番号101との比較の話とは90桁違う、つまり10^90倍ちがう話です
４）そして、箱に0,1,2・・,9まで10通りの一桁の数を入れてさえ、けた違いの話になるのです
>>373の反例構成は、決定番号が一つ違うと、次元が一つ違う話の例として示した
５）それを、しら～と 普通の自然数Ｎに話をすり替えているのが、時枝「箱入り無数目」で
”そこ、コマカシでしょ”というのが、>>373の反例構成です
なお、反例構成は一つで十分です。時枝「箱入り無数目」不成立です
424:１３２人目の素数さん
24/02/16 11:37:24.64 lVLdy8DY.net
前にいた数学科卒のメンバーは、記事前半の成立は
「自明」だと言ってたよ。レベルが落ちたね。
425:１３２人目の素数さん
24/02/16 11:38:17.23 ZAvRf1nZ.net
>>388
吐くように嘘をつく
426:１３２人目の素数さん
24/02/16 11:44:02.26 lVLdy8DY.net
>>381-382
セタにおだてられても嬉しくないミロク
（とはいえセタ以外に誉めるひとなし）と
味方設定しておだて上げ、敵にぶつけている手前
最後まで鉄砲玉として使ってやろうという
セタとの醜いやり取りｗ
427:１３２人目の素数さん
24/02/16 12:21:34.65 SR9FGHcv.net
>>388
>前にいた数学科卒のメンバーは、記事前半の成立は
>「自明」だと言ってたよ。レベルが落ちたね。
１）証明がない。「前にいた数学科卒のメンバー」？ その人の卒業証書を晒してくれるかな？ｗ
２）”「自明」だ”とか 笑えるよ。日本で大学確率論の教員レベルで、時枝「箱入り無数目」を支持する人皆無です！ｗ
３）レベルが落ちたのではなく、レベル上がっている
428:１３２人目の素数さん
24/02/16 12:27:56.57 PXdZ8CU3.net
>>387
反例という言葉の意味が分かってないようなので勉強しましょう
429:１３２人目の素数さん
24/02/16 12:34:48.74 PXdZ8CU3.net
>>388
>前にいた数学科卒のメンバーは、記事前半の成立は
>「自明」だと言ってたよ。
大学の教養過程を履修済みの人には自明だと思います。
分からない人は高卒以下でしょうね
430:１３２人目の素数さん
24/02/16 12:40:12.80 ZAvRf1nZ.net
自明、文章に書いてある通り、分からなければ国語のやり直し、と繰り返す基礎論婆、
431:素人丸出し
432:１３２人目の素数さん
24/02/16 12:49:11.43 PXdZ8CU3.net
>自明、文章に書いてある通り、分からなければ国語のやり直し
そうですね。
数学的には教養課程レベルの簡単な内容ですので国語としての読み間違いが無ければ簡単に理解できるはずです。
433:１３２人目の素数さん
24/02/16 12:52:08.43 PXdZ8CU3.net
反例の意味すら分かってない方も居られるようですが、そのような方は背伸びせず、高校数学から勉強し直すべきかと思います。
434:１３２人目の素数さん
24/02/16 13:32:18.06 SR9FGHcv.net
>>393
>>前にいた数学科卒のメンバーは、記事前半の成立は
>>「自明」だと言ってたよ。
>大学の教養過程を履修済みの人には自明だと思います。
>分からない人は高卒以下でしょうね
話は逆で
大学での”測度論による確率論”は
大学の教養課程で、集合や測度、それにルベーグ積分を習った後で
履修することが多い
大学の教養課程を習った程度で
同値類や商集合を習って舞い上がっていて
確率論はまだ
という中途半端が一番騙されやすいらしいね
(参考)
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
確率論基礎 重川一郎 平成26年8月11日
435:１３２人目の素数さん
24/02/16 14:22:54.91 ZAvRf1nZ.net
記事の後半も自明なんだろｗｗｗ
436:１３２人目の素数さん
24/02/16 15:54:19.45 ZSRS28gb.net
>>397
個人的には同値類、商集合には等高線の幾何学イメージを持ってるので
定義域じゃなく値域での等高線の内部面積を横からスライスして足し上げるルベーグ積分、測度の視覚的イメージと矛盾しない。
商集合って字面は文字通り無差別曲線。
437:１３２人目の素数さん
24/02/16 16:08:16.08 vC1OiGnJ.net
>>388
>記事前半の成立は「自明」
具体的には以下の２つの定理の成立
特に肝心の確率の計算は、定理Aのみに基づく
定理A
任意のｎ個の自然数n(1)~n(n)に対して
自分以外のn-1個の自然数の最大値をN(1)~N(n)と表す
N(i)<n(i)となる自然数N(i)はたかだか一個
定理B
任意の無限列xに対し
第1項から第n項まで0とし第n+1項以降がxと同じとなる
xと同値な列yが存在する
∀x∈R^N,n∈N,∃y∈R^N,∀i∈N( ((i<=n)⇒y[i]=0)∧((i>n)⇒y[i]=x[i]) )
したがって列xの同値類の代表をr(x)と表すと、r(y)=r(x)である
そして列xの決定番号をd(x)と表すとき
n>=d(x)であるなら、x[n]=r(x)[n]である
438:１３２人目の素数さん
24/02/16 16:19:31.11 vC1OiGnJ.net
>>387
>時枝「箱入り無数目」の同値類の決定番号が、
>自然数Nとは異なる構造と分布を持つ
もしかして、
「R^Nの決定番号で、Nに属さないものがある」
とかトンデモなこと言ってる？
そんなことあるわけないじゃん
R^Nって関数N→Rのことだよ
決定番号がNに属さなかったら
「決定番号が定義域の外にあるものがある」
っていってるのと同じじゃん
🐎🦌じゃんAHOじゃんタワケじゃん○違いじゃん
>反例構成は、反例を思いつけば、証明より簡単です
無限列ｘで、自身が属する同値類の代表r(x)との
一致箇所の先頭がどの自然数でもないものがあるって？
それ、そもそも無限列xと自身が属する同値類の代表r(x)が
同値じゃないってことじゃん 矛盾じゃん
アタマ大丈夫？
439:１３２人目の素数さん
24/02/16 16:28:40.64 PXdZ8CU3.net
ほらね
>>397みたいな高卒以下の人には無理でしょ？
そういう人は背伸びせずに高校数学から勉強し直すべきと言ってるのに頑固だね
440:１３２人目の素数さん
24/02/16 16:35:36.99 vC1OiGnJ.net
定理C
100列をx_1,…,x_100∈R^N
その決定番号をd(x_1),…,d(x_100)∈N
xiについて自列以外の99列の決定番号の最大値
max(d(x_1),…,d(x_i-1),d(x_i+1),…,d(x_100))
をD_iと表す
(以上のものは全て前提条件として与えられた定数)
このとき、定理Aにより
d(x_i)＞D_i となるiはたかだか一つであり
i≠jとなるjでは、d(x_j)＜＝D_jであるから、
定理Bによりxjの(D_j)+1番目以降の情報から得られたyjから
r(x_j)＝r(y_j)となるx_j(そしてy_j)の同値類の代表が得られ
x_j[D_j]＝r(x_j)[D_j] となる
441:１３２人目の素数さん
24/02/16 16:44:55.14 PXdZ8CU3.net
高卒の人は決定番号の分布から離れられない様子だけど無意味だよ。勝つ戦略は一切使ってないから。勝つ戦略を否定したいならまずどんな戦略かを理解しないとダメだよ。そのためには同値類と選択公理の知識が必要なので、まずは教養課程の数学まで履修しよう。
442:１３２人目の素数さん
24/02/16 16:45:13.49 vC1OiGnJ.net
>>402
ID:SR9FGHcv 君の最高到達地点
・三角関数の加法定理
・ド＝モアブルの定理
・オイラーの公式
・オイラーの等式
一方、以下は未踏である
・?1/z dz=2πi
・留数定理
・�
443:ﾎ角の公式 ・指数層系列 要するに、 高校３年レベルくらいのことは分かるが 大学２年レベルのことは全く分からん だからマセマの本で勉強しろと言ってるだろ
444:１３２人目の素数さん
24/02/16 16:48:08.52 ZAvRf1nZ.net
自演始めたｗ
445:１３２人目の素数さん
24/02/16 16:48:12.50 vC1OiGnJ.net
>>405
誤 偏角の公式
正 偏角の原理
446:１３２人目の素数さん
24/02/16 17:04:47.54 ZAvRf1nZ.net
ブルーバックスで数学勉強したのかｗ
447:１３２人目の素数さん
24/02/16 17:07:06.77 vC1OiGnJ.net
>>408 自白？
448:１３２人目の素数さん
24/02/16 17:17:27.06 jc9PxMHs.net
>>380
だから任意の無限列xを一番最初に量化したらすべてが台無しだって言ってんだよ
そこがゲームの攻略を∀と∃で定式化するときのキモだろ
449:１３２人目の素数さん
24/02/16 17:29:49.10 vC1OiGnJ.net
>>410 馬鹿反応
ここは関数の定義
これを台無しというのは数学を全く知らぬ馬鹿
＞∀と∃で定式化
論理をいっちょかみしただけでイキる高卒素人の馬鹿発言
450:１３２人目の素数さん
24/02/16 17:31:26.13 vC1OiGnJ.net
>>403
ほれ、定理Cで∀はなくなったぞ
高卒素人の貴様の完全敗北
451:１３２人目の素数さん
24/02/16 17:32:10.76 jc9PxMHs.net
>>411
あとね、部分的に使う定理のステートメントじゃなくてね、主定理のステートメントを書かないとだめだよ
452:１３２人目の素数さん
24/02/16 17:33:21.73 jc9PxMHs.net
>>412
まずステートメントと証明にはっきりわけて
453:１３２人目の素数さん
24/02/16 17:36:04.53 jc9PxMHs.net
>>412
それからね、自由変数を使うのは外に∀があるのと同じだからね
記号論理学で学んでるはずだよね
454:１３２人目の素数さん
24/02/16 17:39:56.98 vC1OiGnJ.net
>>413－415 定理Cが示された後では高卒素人の貴様の完全な負け 残念だったな
455:１３２人目の素数さん
24/02/16 17:43:11.14 vC1OiGnJ.net
>>414
＞ステートメントと証明にはっきりわけて
>>403の中から「定理Aにより」「定理Bにより」を除けばステートメント
そんなことも読み取れんか？ 高卒素人は
456:１３２人目の素数さん
24/02/16 17:44:53.82 vC1OiGnJ.net
定理C
100列をx_1,…,x_100∈R^N
その決定番号をd(x_1),…,d(x_100)∈N
xiについて自列以外の99列の決定番号の最大値
max(d(x_1),…,d(x_i-1),d(x_i+1),…,d(x_100))
をD_iと表す
(以上のものは全て前提条件として与えられた定数)
このとき、d(x_i)＞D_i となるiはたかだか一つであり
i≠jとなるjでは、d(x_j)＜＝D_jであるから、
xjの(D_j)+1番目以降の情報から得られたyjから
r(x_j)＝r(y_j)となるx_j(そしてy_j)の同値類の代表が得られ
x_j[D_j]＝r(x_j)[D_j]
457:１３２人目の素数さん
24/02/16 17:49:46.76 vC1OiGnJ.net
そもそも∀ｘ＝自由変数が、すべて確率変数だという
ID:jc9PxMHs の発言が嘘であり馬鹿
いつどこでだれがそんな嘘ついた？いうてみ？高卒素人
458:１３２人目の素数さん
24/02/16 17:51:19.69 vC1OiGnJ.net
高卒素人の馬鹿が確率論の本に全く書いてない嘘を平然というのがみっともない
459:１３２人目の素数さん
24/02/16 17:52:13.31 jc9PxMHs.net
>>417
君、定理のステートメントってどの部分か知ってる？
460:１３２人目の素数さん
24/02/16 17:53:47.22 vC1OiGnJ.net
>>421
君、自由変数＝確率変数、という嘘、どの確率論の本で見たん？ いうてみ？
461:１３２人目の素数さん
24/02/16 17:54:39.14 vC1OiGnJ.net
∀と∃とか論理いっちょかみの馬鹿発言するトンデモに数学は無理
462:１３２人目の素数さん
24/02/16 17:59:13.75 jc9PxMHs.net
>>422
自由変数=確率変数ってなに？
463:１３２人目の素数さん
24/02/16 18:07:55.38 SR9FGHcv.net
>>418
横レス失礼
・時枝記事（下記）を、単に自分の記号を使って単純に書き直しただけでは？
(参考)時枝記事>>212より再録
URLﾘﾝｸ(imgur.com)
数学セミナー201511月号「箱入り無数目」
・数学的には、ナンセンスのきわみだと思うよｗ
464:１３２人目の素数さん
24/02/16 18:11:01.30 SR9FGHcv.net
>>424
>>>422
>自由変数=確率変数ってなに？
横レス失礼
思わずくすりと 笑ってしまった
いやはや、”自由変数=確率変数”とは楽しいお方だ
まさに基礎論パーｗ
465:１３２人目の素数さん
24/02/16 18:16:29.67 vC1OiGnJ.net
>>424
>自由変数=確率変数ってなに？
ID:jc9PxMHs がそう言い出したんだが？ ∀xと書いたらｘは確率変数だとｗ
>>426
>”自由変数=確率変数”とは楽しいお方だ
聞いたか、ID:jc9PxMHs 君、楽しいお方だってさ
基礎論パー、論理パーは、ID:jc9PxMHs 君のことだったかｗ
466:１３２人目の素数さん
24/02/16 18:18:35.88 vC1OiGnJ.net
中卒素人 ID:SR9FGHcv と
高卒素人 ID:jc9PxMHs が
死ぬまで理解できない定理↓
定理A
任意のｎ個の自然数n(1)~n(n)に対して
自分以外のn-1個の自然数の最大値をN(1)~N(n)と表す
n(i)＞N(i)となる自然数N(i)はたかだか一個
467:１３２人目の素数さん
24/02/16 18:19:22.12 jc9PxMHs.net
>>427
わいがそんなことどこで言ったんだ？
468:１３２人目の素数さん
24/02/16 18:23:05.88 vC1OiGnJ.net
>>428 の定理Aから確率が計算できる、と言うためには
無限列x1,…,x100が定数（つまりいちいち変更しない）で無くてはならない
それはx1,…,x100�
469:ﾉ∀がつかないとか、自由変数でないとか 具体的に全部の項を書き切るとかいう意味ではない
470:１３２人目の素数さん
24/02/16 18:24:33.35 jc9PxMHs.net
>>430
定数と自由変数は基本同じだぞ
471:１３２人目の素数さん
24/02/16 18:29:05.91 vC1OiGnJ.net
>>429
239 241 244 ID:vqdMPIUf
358 364 370 ID:Yql9K+Mt
410 415 ID:jc9PxMHs
そもそも、どういうつもりで∀ｘガーといったんだ？
真っ先に∀ｘと書いたらそれだけでｘが確率変数だと
貴様がわけもわからず脊髄反射したんだろ この高卒素人がｗ
472:１３２人目の素数さん
24/02/16 18:31:18.93 jc9PxMHs.net
>>432
どこでそんなこと言ったの？
言ってる意味がわからん
473:１３２人目の素数さん
24/02/16 18:32:37.25 vC1OiGnJ.net
>>431
>定数と自由変数は基本同じだぞ
>>415
>自由変数を使うのは外に∀があるのと同じだからね
どっちだよｗ 矛盾してるだろｗ
474:１３２人目の素数さん
24/02/16 18:32:51.88 jc9PxMHs.net
>>432
∀xを内側に入れないと駄目な理由は
>>370 に分かりやすく書いたでしょ
475:１３２人目の素数さん
24/02/16 18:33:49.32 jc9PxMHs.net
>>434
どっちも同じだろ何いってんだお前は
476:１３２人目の素数さん
24/02/16 18:36:11.06 vC1OiGnJ.net
>>432
370は、貴様が確率変数＝変数と脊髄反射した結果の馬鹿発言だろ さすが高卒素人
477:１３２人目の素数さん
24/02/16 18:36:51.51 jc9PxMHs.net
>>437
それどこを読めば書いてあるの？
478:１３２人目の素数さん
24/02/16 18:37:45.48 vC1OiGnJ.net
>>436 お前の中では∀ｘ＝∃ｘなんか さすが高卒素人！ 論理パー
479:１３２人目の素数さん
24/02/16 18:38:59.43 jc9PxMHs.net
>>439
誰がどこでそんなこと言ったの？
480:１３２人目の素数さん
24/02/16 18:44:30.06 vC1OiGnJ.net
>>440
>>415 >自由変数を使うのは外に∀があるのと同じだからね
>>431 >定数と自由変数は基本同じだぞ
>>436 >どっちも同じだろ
481:１３２人目の素数さん
24/02/16 18:45:12.76 jc9PxMHs.net
今は自由変数の話をしてるんだよ
自由変数ってのは定数みたいなもので、外側に∀をつけて束縛したのとだいたい同じだよ
∀x. P(x)を証明するにはP(x)を証明すればいいって基本だよね…
482:１３２人目の素数さん
24/02/16 18:46:01.52 jc9PxMHs.net
>>441
∃xはどこから？？？
あと自由変数の話をしてるんですけど…
483:１３２人目の素数さん
24/02/16 19:12:54.42 PXdZ8CU3.net
弥勒とかいう馬鹿は文句ばっか垂れて自分では何もやらんな。自分で定理と証明を書いてみろ。お前の脳は何のためにあるんだ？
484:１３２人目の素数さん
24/02/16 19:14:07.49 PXdZ8CU3.net
まあ馬鹿だからどうせ書けんだろうけど
485:１３２人目の素数さん
24/02/16 19:49:34.16 vC1OiGnJ.net
>>442
>∀x. P(x)を証明するにはP(x)を証明すればいいって基本だよね…
それ「定数みたいなもの」じゃないじゃん 高卒素人論理パー
486:１３２人目の素数さん
24/02/16 19:51:04.51 vC1OiGnJ.net
ミロクとかいう高卒素人は、結局 定理Aが理解できない
定理A
任意のｎ個の自然数n(1)~n(n)に対して
自分以外のn-1個の自然数の最大値をN(1)~N(n)と表す
N(i)<n(i)となる自然数N(i)はたかだか一個
487:１３２人目の素数さん
24/02/16 19:52:18.15 vC1OiGnJ.net
もっとも 中卒馬鹿は そもそも決定番号が必ず自然数の値をとることすら理解できんが
488:１３２人目の素数さん
24/02/16 19:55:25.63 PXdZ8CU3.net
定理Aが理解できないんじゃ箱入り無数目は無理
弥勒って頭悪いね
489:１３２人目の素数さん
24/02/16 19:59:17.06 jc9PxMHs.net
>>446
どう定数じゃないの？
君の言う定数の定義はなんなの？
こっちは自由変数のことを定数って呼んでんだよ
円周率とかπだって自由変数じゃん
490:１３２人目の素数さん
24/02/16 20:01:13.01 PXdZ8CU3.net
>>448
それを理解するには最低限同値類と選択公理の知識が必要。大学数学を学んだこと無いど素人が分不相応なスレに迷い込んだのだろう
491:１３２人目の素数さん
24/02/16 20:12:00.34 vC1OiGnJ.net
>>450
＞こっちは自由変数のことを定数って呼んでんだよ
＞円周率とかπだって自由変数じゃん
論理パーの三歳児的言い訳
492:１３２人目の素数さん
24/02/16 20:13:42.12 ZAvRf1nZ.net
>>444
証明するのは基礎論婆だ、俺は証明不成立といってるだけだｗ
493:１３２人目の素数さん
24/02/16 20:16:37.81 vC1OiGnJ.net
>>453
＞俺は証明不成立といってるだけだ
定理Aが？
定理A
任意のｎ個の自然数n(1)~n(n)に対して
自分以外のn-1個の自然数の最大値をN(1)~N(n)と表す
N(i)<n(i)となる自然数N(i)はたかだか一個
494:１３２人目の素数さん
24/02/16 20:17:18.73 ZAvRf1nZ.net
>>444
俺の主張は過去ログに書いてあるよ
495:１３２人目の素数さん
24/02/16 20:20:25.63 vC1OiGnJ.net
>>455
自分の主張も怖くて書けない高卒素人
496:１３２人目の素数さん
24/02/16 20:24:17.69 vC1OiGnJ.net
＞tとsは同値ではない<->d(t,s)が決まらない
この一行だけで、弥勒とかいう奴が
決定番号すら理解できない
正真正銘の白痴であることがわかる
497:１３２人目の素数さん
24/02/16 20:26:04.52 vC1OiGnJ.net
決定番号に引数は2つ
498:要らない 一つでいい なぜなら無限列xからその同値類の代表を求める選択関数があるから ああ、こいつ、選択公理が理解できない白痴なのか！ そりゃ大学入れないわけだ！
499:１３２人目の素数さん
24/02/16 20:29:58.07 vC1OiGnJ.net
無限列xから、その尻尾同値類の代表への関数rがあれば
無限列xから、決定番号への関数dは
2つの無限列x,yの尻尾一致箇所の先頭を求める関数diff(x,y)を使って
diff(x,r(x))と表せる
このときdiff(x,r(x))は必ず自然数の値をとる
なぜならxとr(x)は尻尾同値だから
500:１３２人目の素数さん
24/02/16 20:34:40.65 vC1OiGnJ.net
中卒素人１や高卒素人モーロクが、決定番号関数d(x)=diff(x,r(x))を理解できないのは
そもそもxからその尻尾同値類の代表をとる関数r(x)が理解できないから
r(x)は選択公理によって存在が示される関数だから
具体的な手続きが与えられてるわけじゃない
中学高校で「ボクちゃん数学の天才」と自惚れきってるド田舎秀才は
関数は具体的な手続きが決まっているものと勝手に思い込んでいる
だから選択公理で存在が示されてるだけの関数が理解できず
なんか誤魔化そうとして結局おかしな勘違いをしてしまう
精神が不自由な（つまり○っている）証拠
501:１３２人目の素数さん
24/02/16 20:41:02.00 jc9PxMHs.net
>>452
こいつは確率論の標準的な話だけでなく、記号論理学もわかんないのかよ
一体何ならわかるんだ？
502:１３２人目の素数さん
24/02/16 20:48:41.10 vC1OiGnJ.net
>>461 こいつ＝ID:jc9PxMHs なんだ大学に入れない高卒素人の自虐か
503:弥勒菩薩
24/02/16 20:52:46.11 ZAvRf1nZ.net
572 ：弥勒菩薩[sage]：2023/10/21(土) 05:11:02.94 ID:ljgKc6Do
☆時枝記事のまとめ（訂正版）
X=R^Nの尻尾同値類の族を{C(α)、α∈A}とする。
選択公理から代表元{r(α)、α∈A)}を決める。
t∈Xの決定番号d(r(α)、t）はt∈C(α)のとき有限、それ以外の時は決まらない（∞）。
tとsは同値である<->d(t,s)が有限な値に決まる
tとsは同値ではない<->d(t,s)が決まらない
sを当てるとすると、その同値類C(α)は箱をすべて開けないと決まらない。これはルール違反でレッドカード。
よって、決定番号d(r(α),s)は決まらない（何度も指摘済み）。
504:１３２人目の素数さん
24/02/16 20:54:15.33 jc9PxMHs.net
>>462
素人はお前だろ
505:１３２人目の素数さん
24/02/16 20:55:22.32 jc9PxMHs.net
定理のステートメントが分からないってのは素人以下だわ
素人に失礼なこと言った
506:１３２人目の素数さん
24/02/16 21:02:52.68 TG+mPEy6.net
>>427
サイコパスのおサルさん、ご苦労さまです >>426で スレ主です
>>自由変数=確率変数ってなに？
>ID:jc9PxMHs がそう言い出したんだが？ ∀xと書いたらｘは確率変数だとｗ
いやいや、そうじゃないだろ？ｗ
>>422 より あなた
君、自由変数＝確率変数、という嘘、どの確率論の本で見たん？ いうてみ？
>>424 より ID:jc9PxMHs氏
自由変数=確率変数ってなに？
だったよね？
最初に言ったのは、あなたで
『君、自由変数＝確率変数、という嘘、どの確率論の本で見たん？ いうてみ？』
でしょ？ｗ
何を誤魔化そうとしているの？ｗｗｗ
507:１３２人目の素数さん
24/02/16 21:09:55.20 TG+mPEy6.net
>>461
>こいつは確率論の標準的な話だけでなく、記号論理学もわかんないのかよ
>一体何ならわかるんだ？
ご苦労さまです >>426で スレ主です
・確かに、彼は確率論はあんまり分かってないみたい
彼の口から確率論の話が出た ためしがない
・記号論理学がわからんのか？
彼は、基礎論を自慢していたけどねｗ
まあ
口だけは、達者ですが
508:１３２人目の素数さん
24/02/16 21:10:15.61 jc9PxMHs.net
>>466
わいもそこ突然出てきてほんとびっくりした
509:１３２人目の素数さん
24/02/16 21:24:00.82 vC1OiGnJ.net
>>463
>{C(α)、α∈A}
Aってなんだよ？ 白痴か？
>tとsは同値ではない<->d(t,s)が決まらない
まだそれが馬鹿発言だと気づかんのか？ 白痴か？
>sを当てるとすると、その同値類C(α)は箱をすべて開けないと決まらない。
大嘘 よくもまあこ�
510:ﾈ嘘がいえたもんだ 白痴か？
511:１３２人目の素数さん
24/02/16 21:25:45.54 vC1OiGnJ.net
論理が分からん ID:jc9PxMHs
線形代数と微分積分が分からん ID:TG+mPEy6
二大阿呆が愛し合ってるぞｗ
512:弥勒菩薩
24/02/16 21:28:26.37 ZAvRf1nZ.net
>>469
同値類に添え字を付けただけ
513:１３２人目の素数さん
24/02/16 21:29:33.50 zAIUlMx6.net
>>463
君どうしてそんなに頭悪いの？
514:弥勒菩薩
24/02/16 21:30:16.06 ZAvRf1nZ.net
>>472
分からないといったらｗ
515:１３２人目の素数さん
24/02/16 21:32:18.60 zAIUlMx6.net
自分の頭の悪いさに気づいてない
真性やね
516:１３２人目の素数さん
24/02/16 21:38:32.19 zAIUlMx6.net
>>463
>t∈Xの決定番号d(r(α)、t）はt∈C(α)のとき有限、それ以外の時は決まらない（∞）
こういう馬鹿丸出しな事書く前に決定番号の定義を確認しなさい
定義を確認する癖つけないとどっかの中卒馬鹿と同じだぞ
517:１３２人目の素数さん
24/02/16 21:45:43.18 zAIUlMx6.net
バカは定義の確認を怠り勝手に妄想を膨らます
中卒や菩薩がまさにそれ
518:弥勒菩薩
24/02/16 22:05:09.36 ZAvRf1nZ.net
選択公理を使ってるところを無視しようとする基礎論ババア（）
519:弥勒菩薩
24/02/16 22:11:35.71 ZAvRf1nZ.net
542 ：１３２人目の素数さん[sage]：2023/10/20(金) 20:15:40.89 ID:zWvqpqry
tと各値に1を加えたuを考えると決定番号d=∞
520:弥勒菩薩
24/02/16 22:18:00.86 ZAvRf1nZ.net
562 ：弥勒菩薩[sage]：2023/10/20(金) 22:48:14.76 ID:zWvqpqry
代表元の選択関数は代表元に対して決まる。決定関数はここの元に対して決まる。
この違い分かるかな。
521:１３２人目の素数さん
24/02/16 22:20:02.31 zAIUlMx6.net
これだけ言っても定義を確認しない
これを馬鹿と言わず何といえばよいのか？
522:弥勒菩薩
24/02/16 22:31:44.55 ZAvRf1nZ.net
Dと書いてあるから有限、定義と思う国語婆、馬鹿過ぎ
523:１３２人目の素数さん
24/02/16 22:38:48.25 zAIUlMx6.net
何言ってんだ？この馬鹿
524:弥勒菩薩
24/02/16 23:06:03.20 ZAvRf1nZ.net
成立派には基礎論ババアとウマシカ絵文字がいたんだっけｗ
525:１３２人目の素数さん
24/02/16 23:08:48.43 zAIUlMx6.net
だから不成立だと言うなら>>300に答えてみなよ
まあその前に決定番号の定義の理解が先だがな
おバカ菩薩さん
526:弥勒菩薩
24/02/16 23:10:58.69 ZAvRf1nZ.net
どうして話をそらすのｗ
527:弥勒菩薩
24/02/16 23:14:47.80 ZAvRf1nZ.net
猫に小判、豚に真珠
528:弥勒菩薩
24/02/16 23:17:37.15 ZAvRf1nZ.net
詭弁を主張する
誰かの主張・意見に対し、間違っている点を指摘するというのは普通のことでしょう。しかし、何が間違っているのかを捉え切らないまま「その意見は詭弁だ」とだけ主張する人が時折みられます。
しかしそれは、裏を返せば「私は相手の間違いを見つけられませんでしたが、何らかの反論をしたい」と主張しているのと同じことなのです。相手の間違っている点を言語化し、指摘をするのであれば詭弁ではありませんが、“詭弁であることだけをただ主張する”行為は、そのものが「詭弁」です。
529:１３２人目の素数さん
24/02/16 23:58:38.67 zAIUlMx6.net
話を逸らす？
直球ど真ん中なんだがｗ
530:１３２人目の素数さん
24/02/17 06:31:11.22 aO4UPJAp.net
１．尻尾同値の定義
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，
ある番号から先のしっぽが一致する（∃n0：n >= n0 → sn＝ s'n）とき
同値s ～ s'と定義しよう(いわばコーシーのべったり版).
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
s~t (def)⇔ ∀s,t∈R^N.∃m∈N.∀n∈N.(n>=m ⇒ sn=tn) (1)
２．代表の定義
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
～は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
任意の実数列s に対し，袋をごそごそさぐって
そいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
531:ーーー ∀s∈R^N.∃r∈R^N.s~r (2a) ∀s,t∈R^N.( (s~t)⇒(r(s)=r(t)) ) (2b) ３．決定番号の定義 ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す. ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 尻尾同値の定義(1)と、代表の定義(2a)より、 任意の無限列sに対して、自然数の決定番号dが存在する ∀s∈R^N.∃r∈R^N.d∈N.∀n∈N.(n>=d ⇒ sn=rn) (3)
532:１３２人目の素数さん
24/02/17 06:36:34.30 aO4UPJAp.net
「箱入り無数目」の「注意」
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
つまり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 ごっそり)が決められることに注意しよう.
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
実は上記の文章はミスリード 正しくは以下
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
任意の自然数Dについて(D<dであろうとD>=d(s)であろうと）
sD+1，sD+2,・・・を知れば
それだけのsの類の代表r=r(s) は決められ、取り出せる.
そして、d(s)をdと略記し、D>=dであれば、
sd=rd,sd+1=rd+1,…,sD=rDとなることに注意しよう.
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
∀s∈R^N,D∈N.∃t∈R^n.∀n∈N((n<=D ⇒ tn=0)＆(n>D ⇒ tn=sn)) (4)
(1)と(4)より
s~t(s) (5)
(2b)と(5)より
s~t(s)⇒r(s)=r(t(s)) (6)
n>=dと(3)より
∀s∈R^N.∃r∈R^N,d∈N.∀D∈N. D>=d ⇒ ∀n∈N. D>=n>=d ⇒ sn=rn (7)
533:１３２人目の素数さん
24/02/17 08:43:37.25 ZkaCY50W.net
ご苦労さまです
スレ主です
１）>>373より 箱が5個のミニモデルを使う
実数列の集合 R^5を考える.
s = (s1，s2，s3 ，s4 ，s5)
しっぽ同値類は
s'=(s'1， s'2， s'3，s'4，s5) と書ける（5番目が同じ数）
２）決定番号は1～5の整数をとる
いま時枝記事にならって、D+1＝3から先の箱を開ける
s3 ，s4 ，s5 が分かる。同値類はs5で決まる
代表列r＝(r1，r2，r3 ，r4 ，s5)と書ける
ここで、r1，r2，r3 ，r4 は任意でR^4を形成する
３）いま、二つのことが起きる
i)列 rとsの一致は、終わっている。例えば決定番号d>3
この場合は、時枝氏の手法は使えない
ii)列 rとsの一致は、終わっていない。つまり決定番号d<=3
この場合は、時枝氏の手法は使える可能性が残っている
つまり、代表列r＝(r1，r2，s3 ，s4 ，s5)となっている
まだ、r2は不明（箱を開けていないから）
４）未開のr2において、r2＝s2となる確率は0（∵二つの任意実数の一致確率0）
結局、上記ii)の場合も、時枝氏の手法でも的中確率は0
これを、可算無限列 s = (s1，s2，s3 ，s4 ，s5・・・) R^Nで考える
なんらかの手段で、あるDを決めて D+1から先の箱を開ける
いま、二つのことが起きる
i)列 rとsの一致は、終わっている。例えば決定番号d>D
この場合は、時枝氏の手法は使えない
ii)列 rとsの一致は、終わっていない。つまり決定番号d<=D
この場合は、時枝氏の手法は使える可能性が残っている
つまり、代表列r＝(r1，r2，・・,rD,sD+1,sD+2,・・)となっている
しかし、上記のとおり 未開のrDにおいて、rD＝sDとなる確率は0（∵二つの任意実数の一致確率0）
結局、上記ii)の場合も、時枝氏の手法でも的中確率は0
>>373の反例構成は役に立つでしょ ；ｐ）
(参考)時枝記事>>212より再録
URLﾘﾝｸ(imgur.com)
数学セミナー201511月号「箱入り無数目」
534:１３２人目の素数さん
24/02/17 09:09:06.29 aO4UPJAp.net
>>491
> 箱が5個のミニモデルを使う
箱が無限個のモデルは全く使えませんか？
－－－－－－－－－－－－－
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，…)
－－－－－－－－－－－－－
このとき、しっぽ同値類はどう書けるか、全くわかりませんか？
－－－－－－－－－－－－－
決定番号は自然数n∈Nをとる
－－－－－－－－－－－－－
これ、全くわかりませんか？
－－－－－－－－－－－－－－－－－－－－－－－
いま時枝記事にならって、D+1から先の箱を開ける
sD+1 ，sD+2 ，・・・ が分かる。
－－－－－－－－－－－－－－－－－－－－－－－
このとき、同値類が決まることが、全くわかりませんか？
代表列rがどう書けるか、全くわかりませんか？
－－－－－－－－－－－－－－－－－－－－－－－－－－
いま、二つのことが起きる
i)列 rとsの一致は、終わっている。例えば決定番号d>D+1
この場合は、時枝氏の手法は使えない
ii)列 rとsの一致は、終わっていない。つまり決定番号d<=D+1
この場合は、時枝氏の手法は使える可能性が残っている
つまり、代表列r＝(r1,…,rD,sD+1,…)となっている
まだ、sDは不明（箱を開けていないから）
－－－－－－－－－－－－－－－－－－－－－－－－－－－－
で、このとき、あなたはこう云っている
－－－－－－－－－－－－－－－－－－－－－－－－－－－－
未開のsDにおいて、sD＝rDとなる(つまりd<=Dとなる)確率は0
（∵二つの任意実数の一致確率0）
結局、上記ii)の場合も、時枝氏の手法でも的中確率は0
－－－－－－－－－－－－－－－－－－－－－－－－－－－－
しかし、これは「箱入り無数目」のD決定法に触れていない
もしかして、あなたは「箱入り無数目」のD決定法が全くわかりませんか？
535:１３２人目の素数さん
24/02/17 09:14:39.88 aO4UPJAp.net
>>491
>なんらかの手段で、あるDを決めて D+1から先の箱を開ける
「なんらかの手段」ではありませんが
「n個の無限列のう
536:ち、選んだ列以外のn-1個の列の決定番号の最大値Dを求め」D+1から先の箱を開ける そしてこのとき、以下の定理Aが成り立ちます 定理A 任意のｎ個の自然数d(1)~d(n)に対して 自分以外のn-1個の自然数の最大値をD(1)~D(n)と表す このときD(i)<d(i)となる自然数N(i)はたかだか一個 もしかして、定理Aが全く理解できませんか？
537:１３２人目の素数さん
24/02/17 09:22:06.74 ZkaCY50W.net
>>470
>論理が分からん ID:jc9PxMHs
・ID:jc9PxMHs氏が言っていることは
大学レベルの確率論を知っていれば>>491の通り
時枝「箱入り無数目」がおかしいことはすぐわかる
・だから、時枝「箱入り無数目」を論理式にすれば
おかしいことはすぐわかるだろうということでしょう
なお
弥勒菩薩様が言っているのは>>491の”コルモゴロフの0-1法則”
”i)列 rとsの一致は、終わっている。例えば決定番号d>D”の確率1
”ii)列 rとsの一致は、終わっていない。つまり決定番号d<=D”の確率0
ってことでしょうね
(参考)再録>>25より
下記のコルモゴロフの0-1法則の確率0の場合と同様と思われる
（前スレの弥勒菩薩さまの説 ご参照）
URLﾘﾝｸ(ja.wikipedia.org)
コルモゴロフの0-1法則（英: Kolmogorov's zero–one law）は、アンドレイ・コルモゴロフにちなんで名づけられた定理である。
この定理は、末尾事象（tail event）と呼ばれる特別な事象は、ほとんど確実に起きるか、あるいはほとんど確実に起きないかのどちらかであることを主張している。
つまり、このような事象が起きる確率は0か1かのどちらかであるということである。
末尾事象は、確率変数の無限列を用いて定義される。
X_{1},X_{2},X_{3},・・・
を独立な確率変数の無限列とする[注釈 1]。
538:１３２人目の素数さん
24/02/17 10:01:06.85 ZkaCY50W.net
>>492
>決定番号は自然数n∈Nをとる
あんたのダメなところ
１）”決定番号 自然数n∈N”
これしか使っていないよね
２）ところが、>>491で示したように 決定番号dの背後には、無限次元の空間R^Nがある
（それは、時枝記事 （>>212より再録 URLﾘﾝｸ(imgur.com) ）
にも書いてあるけどね）
３）そこから説き起こさないと、上滑りってこと
時枝さんも あなたもね
539:弥勒菩薩
24/02/17 10:44:33.27 txiDgIPr.net
>>489
最初からそれを書けよ、10年かけてようやくわかったかｗ
540:１３２人目の素数さん
24/02/17 10:45:07.73 aO4UPJAp.net
>>494
>大学レベルの確率論
といってるのは
・箱の中身が確率変数
・分布が一様分布
という思い込みでしたか
>”コルモゴロフの0-1法則”
>”i)列 rとsの一致は、終わっている。例えば決定番号d>D”の確率1
>”ii)列 rとsの一致は、終わっていない。つまり決定番号d<=D”の確率0
以前と言ってることが変わりましたね
確か「無限個の箱の一致確率0」といってませんでしたか？
で、その場合、何の確率が１ですか？
列rとsが同値出ない確率ですか？
もしかして列sとその同値類の代表rが同値でないといってますか？
なぜ、sの同値類に属するrが、sと同値でないと断言するんですか？
それ、矛盾だって全然分かりませんか？
541:弥勒菩薩
24/02/17 10:48:04.26 txiDgIPr.net
>>489
同値類の元s、s'の決定番号はd(s)、d(s')は比較できるの？
542:弥勒菩薩
24/02/17 10:50:57.31 txiDgIPr.net
>>489
訂正
R^Nの元s、s'の決定番号はd(s)、d(s')は比較できるの？
543:１３２人目の素数さん
24/02/17 10:52:12.89 aO4UPJAp.net
>>495
>>決定番号は自然数n∈Nをとる
>あんたのダメなところ
>”決定番号 自然数n∈N”
>これしか使っていないよね
もしかして、自然数に属さない決定番号がある、と思ってます？
なぜ？R^Nの全ての項はNで番号づけされてますが、全然分かりませんか
>ところが、決定番号dの背後には、無限次元の空間R^Nがある
>（それは、時枝記事にも書いてあるけどね）
>そこから説き起こさないと、上滑りってこと
>時枝さんも あなたもね
あなたは、列siの決定番号diとsi以外の99列の決定番号の最大値Diの関係について
まったく説き起こしてないですね それじゃ上滑りして間違いますね
弥勒さんもね 出てくるのが5億7600万年ほど早かったですね
544:１３２人目の素数さん
24/02/17 10:54:58.41 aO4UPJAp.net
>>496 弥勒さん 自分では述語論理式に表せなかったん
545:ですね 5億7600万年早かったですね >>499 d(s)もd(s')も自然数ですから、大小が比較できますね 自然数に全順序があるって全然分かりませんでしたか？
546:１３２人目の素数さん
24/02/17 11:01:03.65 aO4UPJAp.net
無限列sとその同値類の代表r(s)を比較したとき
相違する項はたかだか有限個で
残りの無限個の項では一致します
つまり、ほとんどすべての項でsとr(s)は一致します
ま、箱入り無数目の方法では
ほとんど全ての箱を開けてますけどね
開けてない有限個の箱のうち
代表と一致する箱があるかどうかが問題
箱入り無数目の方法では
選び得る100個の箱si[Di] (i=1~100) のうち
たかだか1個の箱を除く少なくとも99個の箱で
中身が代表の対応する項r(si)[Di]と一致する
ただそれだけのことなんですがね
全く理解できませんか？ １さんと弥勒さん
547:１３２人目の素数さん
24/02/17 12:04:20.33 SvPAI9ot.net
>>495
「任意の実数列の決定番号は自然数」
おまえはこの事実を認めるか？
認めるなら、>>300に答えよ
認めないなら理由を述べよ
バカが屁理屈捏ねても無意味 上記にだけ答えよ
548:１３２人目の素数さん
24/02/17 12:05:46.26 SvPAI9ot.net
中卒も弥勒も決定番号の定義から理解してない
そりゃ箱入り無数目が分かる訳が無い
549:弥勒菩薩
24/02/17 12:08:46.01 txiDgIPr.net
>>489
答え
比較可能だけど意味がない
1.同じ同値類の場合
代表元rとある番号以降一致するから時枝の論理は成立。
しかしsの箱を全部開かないとそれの同値類は分からないので反則
2.別の同値類の場合
d(s)とd(s')が分かってもsとs'がある番号から先が一致することはない。
時枝の論理は破綻
550:１３２人目の素数さん
24/02/17 12:16:17.89 SvPAI9ot.net
>>496
おまえは未だに分かってないｗ
551:１３２人目の素数さん
24/02/17 12:18:15.32 SvPAI9ot.net
>>498
相変わらず何もわかってなくて草
552:１３２人目の素数さん
24/02/17 12:19:11.17 SvPAI9ot.net
>>499
おまえ頭悪いから諦めさなさい
553:１３２人目の素数さん
24/02/17 12:25:55.59 aO4UPJAp.net
>>499
>R^Nの元s、s'の決定番号d(s)、d(s')は比較できるの？
>>505
>比較可能だけど意味がない
>1.同じ同値類の場合
>代表元rとある番号以降一致するから時枝の論理は成立。
Q1 rはsとs'、どっちの代表？
sの同値類の代表をr
s'の同値類の代表をr’
とすれば
sはrと、s'はr'と、
それぞれある番号d(s),d(s')以降一致する
>しかしsの箱を全部開かないとそれの同値類は分からないので反則
全くの嘘であり誤り
sの同値類を知るのに、sの箱を全部開く必要はない
任意に自然数nをとり、sn,sn+1,…を開けば、同値類はわかる
1番目からn-1番目は全部0でも他の適当な実数でも突っ込んどけば
その数列とsは同じ尻尾をもつから尻尾同値
>2.別の同値類の場合
>d(s)とd(s')が分かってもsとs'がある番号から先が一致することはない。
もちろんその通りだが、そもそもそんな一致は必要ない
sはrと、s'はr'と一致すればいい
>時枝の論理は破綻
破綻したのは弥勒さんの主張 特に
「sの箱を全部開かないとそれの同値類は分からないので反則」
sの箱を有限個残して開いても道理類が分かるので反則なし
554:１３２人目の素数さん
24/02/17 12:26:48.29 aO4UPJAp.net
>>509
誤 sの箱を有限個残して開いても道理類が分かるので反則なし
正 sの箱を有限個残して開いても同値類が分かるので反則なし
555:１３２人目の素数さん
24/02/17 12:29:17.09 SvPAI9ot.net
>>505
>しかしsの箱を全部開かないとそれの同値類は分からないので反則
はい、馬鹿丸出し
0,0,0,・・・ と 1,0,0,・・・ は仮に初項が分かっていなくても同値であることが分かる。
「ある項から先がすべて一致」という同値関係なんだからそのような「ある項」が存在していれば同値であることが分かる。
すべての項が分かっている必要は無い。
弥勒は阿呆。
556:１３２人目の素数さん
24/02/17 12:31:27.68 SvPAI9ot.net
こんな簡単なところで躓いているようじゃ箱入り無数目は無理だよ
諦めなさい 頭の悪い人には無理だから
557:阿弥陀如来
24/02/17 12:40:29.05 SvPAI9ot.net
>>505
>2.別の同値類の場合
>d(s)とd(s')が分かってもsとs'がある番号から先が一致することはない。
>時枝の論理は破綻
記事のどこで、異なる同値類の元s1,s2がs1～s2であることを前提としている？
日本語読めませんか？阿呆ですか？
558:阿弥陀如来
24/02/17 12:43:19.05 SvPAI9ot.net
弥勒ってほんと何も分かってないね
何が論理式だよ 何が量化だよ 何が自由変数だよ
ぜんぜんそれ以前じゃん
559:阿弥陀如来
24/02/17 13:54:03.61 SvPAI9ot.net
論理式知ってる俺様すげええええええええええ
↑
バカ菩薩
560:１３２人目の素数さん
24/02/17 15:32:41.23 ZkaCY50W.net
>>497
>>”コルモゴロフの0-1法則”
>>”i)列 rとsの一致は、終わっている。例えば決定番号d>D”の確率1
>>”ii)列 rとsの一致は、終わっていない。つまり決定番号d<=D”の確率0
>以前と言ってることが変わりましたね
>
561:確か「無限個の箱の一致確率0」といってませんでしたか？ 変わってないよ ・そもそも、「ii)列 rとsの一致は、終わっていない。つまり決定番号d<=D”の確率0」 が、「無限個の箱の一致確率0」相当だ ・「i)列 rとsの一致は、終わっている」は、上記の補集合なので 確率1
562:弥勒菩薩
24/02/17 15:50:06.30 txiDgIPr.net
弱い犬ほどよく吠えるｗ
563:１３２人目の素数さん
24/02/17 15:56:56.40 SvPAI9ot.net
>>494
>”i)列 rとsの一致は、終わっている。例えば決定番号d>D”の確率1
>”ii)列 rとsの一致は、終わっていない。つまり決定番号d<=D”の確率0
標本空間はR^Nではないからそんなことはどうでもよい
出題者が出題列sを選んだ瞬間に100列も100列の決定番号も定まる 確率もへったくれも無い
中卒くんはどうしても理解できないねえ
564:阿弥陀如来
24/02/17 15:58:57.57 SvPAI9ot.net
>>517
自戒かね？
565:１３２人目の素数さん
24/02/17 16:05:56.99 ZkaCY50W.net
>>505
>答え
>比較可能だけど意味がない
弥勒菩薩さま、同意です
決定番号は自然数n∈Nをとる>>495
下記 非正則分布 ”一様分布の範囲を無限に広げた分布”同様です
”非正則分布は確率分布ではない！？”
だから、本来 決定番号 自然数n∈N による確率計算は無意味です
例えば、自然数n∈Nの半分は奇数で、半分は偶数
よって、自然数N中から一つ自然数nを選んだとき、奇数の確率1/2 偶数の確率1/2
だが、この論法は確率論の裏付けができない（∵自然数n∈Nは非正則分布だから）
具体的には
・”自然数N中から一つ自然数nを選ぶ”ときのランダム性が保証できない
（∵そもそも「ランダム性」の数学的定義なし。奇数も可算無限でNと同じ濃度で、測度論では扱えない）
・大数の法則の裏付けができない。大数の法則は有限の試行でしかない。自然数Nのような非正則分布は扱えない
・数値実験も、そのままでは無理（∵ コンピュータは有限の数しか扱えない）
だから、”自然数N中から一つ自然数nを選んだとき、奇数の確率1/2 偶数の確率1/2”は無意味で
同様の議論が、時枝さんの「箱入り無数目」の決定番号を使った確率計算で
非正則分布を使っているのでアウトです
(参考)>>10より再録します
URLﾘﾝｸ(ai-trend.jp)
AVILEN Inc. 2020
2020/04/14
非正則事前分布とは？〜完全なる無情報事前分布〜
ライター：古澤嘉啓
目次
1 非正則な分布とは？一様分布との比較
2 非正則分布は確率分布ではない！？
3 非正則事前分布は完全なる無情報事前分布
4 まとめ
つまり、非正則な分布とは、一様分布の範囲を無限に広げた分布のことです。
566:１３２人目の素数さん
24/02/17 16:18:58.57 SvPAI9ot.net
>>520
>決定番号は自然数n∈Nをとる
あれ？そうなの？
じゃあ>>300に答えないと なにシカとしてんの？
567:１３２人目の素数さん
24/02/17 16:21:39.13 SvPAI9ot.net
>>520
>時枝さんの「箱入り無数目」の決定番号を使った確率計算で
>非正則分布を使っているのでアウトです
嘘はダメ
勝つ戦略は非正則分布を使ってません
なんで嘘つくの？ 頭オカシイの？
568:１３２人目の素数さん
24/02/17 16:25:09.12 SvPAI9ot.net
>>520
>つまり、非正則な分布とは、一様分布の範囲を無限に広げた分布のことです。
下記引用から分かる通り勝つ戦略の標本空間は有限集合 よってまったく的外れ
あなた頭悪いですねえ
「さて， 1～100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ. s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.」
569:１３２人目の素数さん
24/02/17 16:28:08.83 SvPAI9ot.net
中卒くんとバカ菩薩はほんと頭悪いね
箱入り無数目なんて大学教養レベルの簡単な記事なのにね
570:１３２人目の素数さん
24/02/17 16:32:13.04 SvPAI9ot.net
不成立派が決して答えない問い>>300
確率1/2で的中できない決定番号の組d1,d2が存在するはずなんですよね？ なぜ答えないんでしょうねえ
571:大卒素人
24/02/17 16:40:23.40 aO4UPJAp.net
>>516
>>以前と言ってることが変わりましたね
>>確か「無限個の箱の一致確率0」といってませんでしたか？
>変わってないよ そもそも
>「ii)列 rとsの一致は、終わっていない。つまり決定番号d<=D”の確率0」
> が、「無限個の箱の一致確率0」相当だ
>「i)列 rとsの一致は、終わっている」は、上記の補集合なので 確率1
箱入り無数目では「R^N内の決定番号の分布」は全く考えてないので無意味ですがね
xi (i=1~100) 100列
における
d(xi) 各列の決定番号
Di=max(d(x1),…,d(xi-1),d(xi+1),…,d(x100)) xi以外の他の99列の決定番号の最大値
の大小関係を見ないと、箱入り無数目は�
572:ぬまで理解できませんよ 1) Di<di 100列中たかだか1列 2) Di>=di それ以外の少なくとも99列 したがって、選んだ1列 xi が 1)のたかだか1列ではなく 2)の少なくとも99列に該当すれば xi[Di]=r(xi)[Di] となり、予測的中できる xiの同値類の代表r(xi)を知るのに xi[(Di)+1]以降を開ければよく xi[Di]を開けなくていい 分かりませんか 中卒素人 ID:ZkaCY50W さん
573:大卒素人
24/02/17 16:44:15.97 aO4UPJAp.net
>>517 >弱い犬ほどよく吠える
>>519 >自戒かね？
さすが阿弥陀如来様
弥勒菩薩より断然上位ですね
仏の位
１ 如来
２ 菩薩
３ 明王
４ 天
・・・
574:大卒素人
24/02/17 16:46:00.51 aO4UPJAp.net
>>520
箱入り無数目では「R^N内の決定番号の分布」は全く考えてないので無意味ですがね
xi (i=1~100) 100列
における
d(xi) 各列の決定番号
Di=max(d(x1),…,d(xi-1),d(xi+1),…,d(x100)) xi以外の他の99列の決定番号の最大値
の大小関係を見ないと、箱入り無数目は死ぬまで理解できませんよ
Ⅰ Di<di 100列中たかだか1列
Ⅱ Di>=di それ以外の少なくとも99列
したがって、選んだ1列 xi が
Ⅰのたかだか1列ではなく
Ⅱの少なくとも99列に該当すれば
xi[Di]=r(xi)[Di]
となり、予測的中できる
xiの同値類の代表r(xi)を知るのに
xi[(Di)+1]以降を開ければよく
xi[Di]を開けなくていい
まだ、分かりませんか？ 中卒素人 ID:ZkaCY50W さん
575:１３２人目の素数さん
24/02/17 16:48:53.91 aO4UPJAp.net
箱入り無数目では「R^N内の決定番号の分布」は全く考えてないので無意味ですがね
xi (i=1~100) 100列
における 各列の決定番号d(xi)と
xi以外の他の99列の決定番号の最大値Di
d(xi)
Di=max(d(x1),…,d(xi-1),d(xi+1),…,d(x100))
の大小関係を見ないと、
箱入り無数目は死ぬまで理解できませんよ
Di<di 100列中たかだか1列
Di>=di それ以外の少なくとも99列
したがって、選んだ1列 xi が
前者のたかだか1列ではなく
後者の少なくとも99列に該当すれば
xi[Di]=r(xi)[Di]
となり、予測的中できる
xiの同値類の代表r(xi)を知るのに
xi[(Di)+1]以降を開ければよく
xi[Di]を開けなくていい
まだ、分かりませんか？ 中卒素人 ID:ZkaCY50W さん
576:大卒素人
24/02/17 16:49:35.66 aO4UPJAp.net
箱入り無数目では「R^N内の決定番号の分布」は全く考えてないので無意味ですがね
xi (i=1~100) 100列
における 各列の決定番号d(xi)と
xi以外の他の99列の決定番号の最大値Di
d(xi)
Di=max(d(x1),…,d(xi-1),d(xi+1),…,d(x100))
の大小関係を見ないと、
箱入り無数目は死ぬまで理解できませんよ
577:大卒素人
24/02/17 16:50:05.29 aO4UPJAp.net
Di<di 100列中たかだか1列
Di>=di それ以外の少なくとも99列
したがって、選んだ1列 xi が
前者のたかだか1列ではなく
後者の少なくとも99列に該当すれば
xi[Di]=r(xi)[Di]
となり、予測的中できる
xiの同値類の代表r(xi)を知るのに
xi[(Di)+1]以降を開ければよく
xi[Di]を開けなくていい
578:大卒素人
24/02/17 16:50:29.43 aO4UPJAp.net
Di<di 100列中たかだか1列
Di>=di それ以外の少なくとも99列
579:大卒素人
24/02/17 16:50:48.59 aO4UPJAp.net
したがって、選んだ1列 xi が
前者のたかだか1列ではなく
後者の少なくとも99列に該当すれば
xi[Di]=r(xi)[Di]
となり、予測的中できる
580:大卒素人
24/02/17 16:51:09.91 aO4UPJAp.net
xiの同値類の代表r(xi)を知るのに
xi[(Di)+1]以降を開ければよく
xi[Di]を開けなくていい
581:大卒素人
24/02/17 16:52:22.03 aO4UPJAp.net
箱入り無数目では「R^N内の決定番号の分布」は全く考えてないので無意味ですがね
xi (i=1~100) 100列
における 各列の決定番号d(xi)と
xi以外の他の99列の決定番号の最大値Di
d(xi)
Di=max(d(x1),…,d(xi-1),d(xi+1),…,d(x100))
の大小関係を見ないと、
箱入り無数目は死ぬまで理解できませんよ
Di<di となるのは100列中たかだか1列
Di>=di となるのはそれ以外の少なくとも99列
したがって、選んだ1列 xi が
前者のたかだか1列ではなく
後者の少なくとも99列に該当すれば
xi[Di]=r(xi)[Di]
となり、予測的中できる
xiの同値類の代表r(xi)を知るのに
xi[(Di)+1]以降を開ければよく
xi[Di]を開けなくていい
まだ、分かりませんか？ 中卒素人 ID:ZkaCY50W さん
582:１３２人目の素数さん
24/02/17 16:58:24.77 SvPAI9ot.net
>>491
>ii)列 rとsの一致は、終わっていない。つまり決定番号d<=D
> この場合は、時枝氏の手法は使える可能性が残っている
> つまり、代表列r＝(r1，r2，・・,rD,sD+1,sD+2,・・)となっている
> しかし、上記のとおり 未開のrDにおいて、rD＝sDとなる確率は0（∵二つの任意実数の一致確率0）
あなたしっぽ同値を理解してる？
「sの決定番号がd」とは、n≧d ⇒ sn=rn だよ
いま d<=D との仮定なんだから、sD=rD じゃん
中卒くんは初歩の初歩から分かってないね
583:大卒素人
24/02/17 17:00:58.84 aO4UPJAp.net
>>523
>「さて， 1～100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ.
>s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.」
xi (i=1~100) 100列
における 各列の決定番号d(xi)と
xi以外の他の99列の決定番号の最大値Di
d(xi)
Di=max(d(x1),…,d(xi-1),d(xi+1),…,d(x100))
の大小関係
Di<di となるのは100列中たかだか1列
Di>=di となるのはそれ以外の少なくとも99列
定理Aの適用ですね
584:大卒素人
24/02/17 17:05:41.56 aO4UPJAp.net
>>536
＞中卒くんは初歩の初歩から分かってないね
定理Aは、実は自然数でなくとも全順序集合なら成立します
定理A（一般形）
任意のｎ個の全順序集合の要素o(1)~o(n)に対して
自分以外のn-1個の全順序集合の要素の最大値をO(1)~O(n)と表す
o(i)＞O(i)となる全順序集合の要素o(i)はたかだか一個
585:１３２人目の素数さん
24/02/17 19:01:14.56 x021CXtp.net
>>408
ブルバも最近はマセマぐらい相当の或る程度教科書的な物理数学の本を文庫化新書化し始めてるね。
まあちくま学術文庫のMath&Scienceに入って来てるのよりかは初歩的な講談社サイエンティフィックから選んだ物理数学の参考書って感じか。
586:１３２人目の素数さん
24/02/17 21:07:25.56 ZkaCY50W.net
>>522
>>非正則分布を使っているのでアウトです
>勝つ戦略は非正則分布を使ってません
>>535
>箱入り無数目では「R^N内の決定番号の分布」は全く考えてないので無意味ですがね
スレ主です
・その「考えてない」とか
「使っていない」とか、数学ではその幼稚な弁明は無意味です
・例えば、下記の複素関数のコーシーの積分定理
「考えてない」、「使っていない」とか、数学ではその幼稚な弁明は無意味です
・下記の複素関数のコーシーの積分定理は
コーシーリーマンの関係式と微分可能性・正則関数の性質から
必然的に導かれる性質です
・同様に、「非正則分布」や「R^N内の決定番号の分布」は、決定番号の定義から
必然的に導かれる性質です
幼稚な弁明は無意味です
(参考)
URLﾘﾝｸ(manabitimes.jp)
高校数学の美しい物語
コーシーの積分定理と積分経路の変形 2023/04/05
コーシーの積分定理は，正則関数の積分についての美しい定理です。コーシーの積分定理とそこから導かれる積分経路の変形について解説します。
目次
・用語の説明
・コーシーの積分定理の証明
・コーシーの積分定理の応用～積分路の変形
正則関数とは，考えている領域内で（複素）微分可能な関数のことです。詳しくは，コーシーリーマンの関係式と微分可能性・正則関数 を確認してください。
単純閉曲線とは，「曲線の始点と終点が一致」して「始点と終点以外で自分と交わらない」ような曲線です。この記事では，区分的になめらかな曲線（なめらかな曲線の合併）を考えます。
次回予告
次回