前スレが1000近く又は1000超えになったので、新スレを立てる
(”ヘンテコスレ”が別にあります https://rio2016.5ch.io/test/read.cgi/math/1711570726/ 箱入り無数目を語る部屋19 )
https://rio2016.5ch.io/test/read.cgi/math/1780699023/
前スレ スレタイ箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part4w)
(参考)時枝記事
https://imgur.com/uMqtRwr
時枝 箱入り無数目(数学セミナー201511月号の記事)の最初
https://imgur.com/YAdz2Mz
時枝 箱入り無数目(数学セミナー201511月号の記事)の最後
数学セミナー201511月号「箱入り無数目」
https://rio2016.5ch.io/test/read.cgi/math/1620904362/401-406 純粋・応用数学(含むガロア理論)8 より
1.時枝問題(数学セミナー201511月号の記事)の最初の設定はこうだった。
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由,例えばn番目の箱にe^nを入れてもよいし,すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
2.続けて時枝はいう
私たちのやろうとすることは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などは下付添え字
つづく
スレタイ箱入り無数目を語る部屋32(あほ二人の”アナグマの姿焼き"Part6w)
■ このスレッドは過去ログ倉庫に格納されています
1132人目の素数さん
2026/08/13(木) 10:56:04.02ID:4E98wVFX696132人目の素数さん
2026/08/31(月) 20:53:42.69ID:L97028+g (全く別の話だとようやく分かってきたか?)
697132人目の素数さん
2026/08/31(月) 20:54:24.89ID:L97028+g (本質は変えないと言っているからまだ誤解したままのようだな)
698132人目の素数さん
2026/08/31(月) 21:06:29.18ID:PFBqFI3X699132人目の素数さん
2026/08/31(月) 21:08:57.64ID:O218X3Mi >>683
(引用開始)
>いまの場合、
>大定理が ”コルモゴロフの0-1法則”で、
>”コルモゴロフの0-1法則”が良く分かっていれば、
>こいつを箱入り無数目に適用できるが
その認識がそもそも誤解
「無限列の決定番号がn」という事象は、
君の「無限列をランダムに選ぶ」という嘘前提の下でも
末尾事象にならない
残念でしたぁ(嘲)
(引用終り)
あほサルがw、 >>682においては
そういう”コルモゴロフの0-1法則”の適不適の論争を避ける意味でも
”コルモゴロフの0-1法則”という牛刀を使わずに、素朴に
無限個のサイコロの目のペアが一致する確率として
”可算無限のしっぽ項で 一致する確率は (1/6)^∞=0”>>682
を導いた
即ち、札付きのn1,n2や 箱入り無数目の決定番号dは
” (1/6)^∞=0” 確率0の世界でのお話にすぎない
確率0の世界で、確率1/2(札付き)とか 確率99/100(箱入り無数目)とか
言ったところで それは 確率0の世界でのお話であって 結局は 確率0■
サルども
詰んだなw(^^
弥勒菩薩さま
数学科オチコボレさんのおサルたちを お救い下さい!
(引用開始)
>いまの場合、
>大定理が ”コルモゴロフの0-1法則”で、
>”コルモゴロフの0-1法則”が良く分かっていれば、
>こいつを箱入り無数目に適用できるが
その認識がそもそも誤解
「無限列の決定番号がn」という事象は、
君の「無限列をランダムに選ぶ」という嘘前提の下でも
末尾事象にならない
残念でしたぁ(嘲)
(引用終り)
あほサルがw、 >>682においては
そういう”コルモゴロフの0-1法則”の適不適の論争を避ける意味でも
”コルモゴロフの0-1法則”という牛刀を使わずに、素朴に
無限個のサイコロの目のペアが一致する確率として
”可算無限のしっぽ項で 一致する確率は (1/6)^∞=0”>>682
を導いた
即ち、札付きのn1,n2や 箱入り無数目の決定番号dは
” (1/6)^∞=0” 確率0の世界でのお話にすぎない
確率0の世界で、確率1/2(札付き)とか 確率99/100(箱入り無数目)とか
言ったところで それは 確率0の世界でのお話であって 結局は 確率0■
サルども
詰んだなw(^^
弥勒菩薩さま
数学科オチコボレさんのおサルたちを お救い下さい!
700132人目の素数さん
2026/08/31(月) 21:15:57.66ID:YGybKRwN Metric-geometric Chow theorem
José Edson Sampaio
José Edson Sampaio
701132人目の素数さん
2026/08/31(月) 21:26:58.89ID:PFBqFI3X >集合Aの元aをa⊂Aとも書いていたが
が成立するのはAが推移的である場合だけ、一般には成立しない。
が成立するのはAが推移的である場合だけ、一般には成立しない。
702132人目の素数さん
2026/08/31(月) 21:36:36.60ID:eSyighG8 >>695
ニホンザル相変わらずトンチンカン
箱入り無数目
1.出題の”分布”について何も述べず
2.複数ある列から任意に一列を選ぶ
札付きの定理
1.無限個の箱について全部独立にサイコロを振って出た目の数字を入れる
2.かならず第一列を全部開け、第二列の中から一箱選ぶ
ここが肝心な設定の違い
つまり、
出題:箱入り無数目は固定、札付きの定理はランダム
列 :箱入り無数目はランダム選択、札付きの定理は第二列に固定
箱入り無数目と札付きの定理では、何が確率事象かが違うので、全く違う問題
これが読み取れないニホンザルは正真正銘の🐎🦌
ニホンザル相変わらずトンチンカン
箱入り無数目
1.出題の”分布”について何も述べず
2.複数ある列から任意に一列を選ぶ
札付きの定理
1.無限個の箱について全部独立にサイコロを振って出た目の数字を入れる
2.かならず第一列を全部開け、第二列の中から一箱選ぶ
ここが肝心な設定の違い
つまり、
出題:箱入り無数目は固定、札付きの定理はランダム
列 :箱入り無数目はランダム選択、札付きの定理は第二列に固定
箱入り無数目と札付きの定理では、何が確率事象かが違うので、全く違う問題
これが読み取れないニホンザルは正真正銘の🐎🦌
703132人目の素数さん
2026/08/31(月) 21:47:48.96ID:L97028+g 自然数nをAが選ぶ
選び方はAの自由
Aは2枚のカードにnとn+1を書いて箱に入れる
ここで
Bは箱の中からランダムにカードを1つ取り出す
Aは残った方を取る
偶数を引いた方が勝ち
さてA,Bの勝つ確率は?
選び方はAの自由
Aは2枚のカードにnとn+1を書いて箱に入れる
ここで
Bは箱の中からランダムにカードを1つ取り出す
Aは残った方を取る
偶数を引いた方が勝ち
さてA,Bの勝つ確率は?
704132人目の素数さん
2026/08/31(月) 21:48:27.02ID:eSyighG8 >>699
”コルモゴロフの0-1法則”とかいいだしたのはニホンザル2号
奴がいうのは「”無限列sが、ある同値類に属する”は、末尾事象」
これ自体は正しい
しかし、そもそもニホンザル1号が確率を求めたかった事象は
”無限列sが、ある同値類に属する”ではない(笑)
”無限列sの決定番号がn”
”無限列s1,s2の決定番号をd1,d2としたとき、d1>=d2”
である
そして上記2つの事象はいずれも末尾事象ではない(笑)
したがって”コルモゴロフの0-1法則”は全く無意味
>”コルモゴロフの0-1法則”の適不適の論争を避ける意味でも
>”コルモゴロフの0-1法則”という牛刀を使わずに、
>素朴に無限個のサイコロの目のペアが一致する確率として
>”可算無限のしっぽ項で 一致する確率は (1/6)^∞=0”を導いた
単純素朴に、ニホンザル1号はニホンザル2号と同じ間違いを犯している(笑)
ニホンザル1号が求めているのは
”ランダムに選んだ二つの無限列s1,s2が同じ尻尾同値類に属する確率”
しかしそんなもの求めても
”無限列s1,s2の決定番号をd1,d2としたとき、d1>=d2となる確率”
にはまったく結びつかない
そんな事も分からんニホンザル二匹は正真正銘の🐎🦌(嘲)
”コルモゴロフの0-1法則”とかいいだしたのはニホンザル2号
奴がいうのは「”無限列sが、ある同値類に属する”は、末尾事象」
これ自体は正しい
しかし、そもそもニホンザル1号が確率を求めたかった事象は
”無限列sが、ある同値類に属する”ではない(笑)
”無限列sの決定番号がn”
”無限列s1,s2の決定番号をd1,d2としたとき、d1>=d2”
である
そして上記2つの事象はいずれも末尾事象ではない(笑)
したがって”コルモゴロフの0-1法則”は全く無意味
>”コルモゴロフの0-1法則”の適不適の論争を避ける意味でも
>”コルモゴロフの0-1法則”という牛刀を使わずに、
>素朴に無限個のサイコロの目のペアが一致する確率として
>”可算無限のしっぽ項で 一致する確率は (1/6)^∞=0”を導いた
単純素朴に、ニホンザル1号はニホンザル2号と同じ間違いを犯している(笑)
ニホンザル1号が求めているのは
”ランダムに選んだ二つの無限列s1,s2が同じ尻尾同値類に属する確率”
しかしそんなもの求めても
”無限列s1,s2の決定番号をd1,d2としたとき、d1>=d2となる確率”
にはまったく結びつかない
そんな事も分からんニホンザル二匹は正真正銘の🐎🦌(嘲)
705132人目の素数さん
2026/08/31(月) 21:56:00.75ID:PFBqFI3X >>695
>2)つまり、札付きの同値類は 箱入り無数目の同値を
> 少しだけより細かく分類している
>3)つまり >>4の札つきより
>”それが属する同値類の代表元と
>1列目が一致し始めるのがn1個目とする
>2列目についてその代表元が一致し始めるのがn2番目とする”
> とあるよね
> この場合において n1個目以降が一致しているから
> それは 箱入り無数目におけるしっぽ同値でもある(2列目についても同様)
> だが、逆は不成立。つまり、箱入り無数目の同値類の中をさらに細分類したものが 札付きの同値になる
なに言ってんだ?この馬鹿。
空間がR^Nと{1,2,3,4,5,6}^Nで異なるが、有限個の項の違いを無視するという同値関係は同じだろ。
>一つの同値類の中では 可算無限長のしっぽを共有していて
はい、大間違いです。
共有のしっぽが存在するなら決定番号に上限が存在することになるが嘘。
>本質を変えずに きれいに数学的本質を表現している
>見事だと思うよ(^^
札付きは対称性なる未証明の命題を仮定してるからクソ。
そもそも数学のすの字もワカランど素人のおまえがなぜ評価するのか? 口閉じて小学校の国語から勉強しろ。
>2)つまり、札付きの同値類は 箱入り無数目の同値を
> 少しだけより細かく分類している
>3)つまり >>4の札つきより
>”それが属する同値類の代表元と
>1列目が一致し始めるのがn1個目とする
>2列目についてその代表元が一致し始めるのがn2番目とする”
> とあるよね
> この場合において n1個目以降が一致しているから
> それは 箱入り無数目におけるしっぽ同値でもある(2列目についても同様)
> だが、逆は不成立。つまり、箱入り無数目の同値類の中をさらに細分類したものが 札付きの同値になる
なに言ってんだ?この馬鹿。
空間がR^Nと{1,2,3,4,5,6}^Nで異なるが、有限個の項の違いを無視するという同値関係は同じだろ。
>一つの同値類の中では 可算無限長のしっぽを共有していて
はい、大間違いです。
共有のしっぽが存在するなら決定番号に上限が存在することになるが嘘。
>本質を変えずに きれいに数学的本質を表現している
>見事だと思うよ(^^
札付きは対称性なる未証明の命題を仮定してるからクソ。
そもそも数学のすの字もワカランど素人のおまえがなぜ評価するのか? 口閉じて小学校の国語から勉強しろ。
706132人目の素数さん
2026/08/31(月) 21:56:43.34ID:eSyighG8 >>699
>札付きのn1,n2や 箱入り無数目の決定番号dは
>” (1/6)^∞=0” 確率0の世界でのお話にすぎない
無限列sが自然数の決定番号を持つ確率は1である
なぜなら、反例が存在しないからである(笑)
反例が存在したら、sの尻尾同値類の代表rが
sと尻尾同値でないことになり矛盾する(笑)
>確率0の世界で、
>確率1/2(札付き)とか
>確率99/100(箱入り無数目)とか
>言ったところで それは
>確率0の世界でのお話であって 結局は
>確率0
決定番号が自然数となる確率は0でなく1である
決定番号が自然数となる確率が0だというなら
決定番号が自然数とならない無限列sが示せる筈である
試しに全ての項が0である列Oの同値類でOが代表だとして
Oに属しなおかつ決定番号が自然数とならない無限列sを
具体的に示していただきたい
まあ、できるわけないがね 絶対に(嘲)
これで死んだな ニホンザル
南無阿弥陀仏 成仏しろよ
>札付きのn1,n2や 箱入り無数目の決定番号dは
>” (1/6)^∞=0” 確率0の世界でのお話にすぎない
無限列sが自然数の決定番号を持つ確率は1である
なぜなら、反例が存在しないからである(笑)
反例が存在したら、sの尻尾同値類の代表rが
sと尻尾同値でないことになり矛盾する(笑)
>確率0の世界で、
>確率1/2(札付き)とか
>確率99/100(箱入り無数目)とか
>言ったところで それは
>確率0の世界でのお話であって 結局は
>確率0
決定番号が自然数となる確率は0でなく1である
決定番号が自然数となる確率が0だというなら
決定番号が自然数とならない無限列sが示せる筈である
試しに全ての項が0である列Oの同値類でOが代表だとして
Oに属しなおかつ決定番号が自然数とならない無限列sを
具体的に示していただきたい
まあ、できるわけないがね 絶対に(嘲)
これで死んだな ニホンザル
南無阿弥陀仏 成仏しろよ
707132人目の素数さん
2026/08/31(月) 22:01:11.39ID:eSyighG8 >>706
誤 Oに属し
正 Oの尻尾同値類に属し
まあ、最高次の項の次数が自然数でない多項式が存在するとか
トンデモな妄想を真顔で吹聴するニホンザルだからな
ありもしないことをあるとウソをつき続けるのがニホンザル
誤 Oに属し
正 Oの尻尾同値類に属し
まあ、最高次の項の次数が自然数でない多項式が存在するとか
トンデモな妄想を真顔で吹聴するニホンザルだからな
ありもしないことをあるとウソをつき続けるのがニホンザル
708132人目の素数さん
2026/08/31(月) 22:15:52.54ID:eSyighG8 出題者は100個の多項式を1つずつ箱に入れる
回答者は100個の箱の中から1つを選び、残り99箱を開ける
開けた箱の中の多項式の最高次数で最大のものをdとする
回答者が選んだ箱の次数が
dを超えなければ回答者の勝ち
dを超えたならば回答者の負け
回答者が勝つ確率は?
箱入り無数目はこのゲームと全く同じ
分からない奴は🐎🦌
回答者は100個の箱の中から1つを選び、残り99箱を開ける
開けた箱の中の多項式の最高次数で最大のものをdとする
回答者が選んだ箱の次数が
dを超えなければ回答者の勝ち
dを超えたならば回答者の負け
回答者が勝つ確率は?
箱入り無数目はこのゲームと全く同じ
分からない奴は🐎🦌
709132人目の素数さん
2026/08/31(月) 22:18:08.99ID:eSyighG8 無限個の確率変数? そんなものを考えるのは🐎🦌
710132人目の素数さん
2026/08/31(月) 22:21:49.36ID:eSyighG8 選択公理を使えば、
無限個の箱があっても、
たかだか有限個しか間違いがない
カンニングペーパーが得られる
それゆえ、100個の無限列を100個の多項式に置き換えられる。
(係数0の項はカンニングペーパーと一致する項)
単独最大次数の多項式さえ選ばなければ・・・勝てる!
無限個の箱があっても、
たかだか有限個しか間違いがない
カンニングペーパーが得られる
それゆえ、100個の無限列を100個の多項式に置き換えられる。
(係数0の項はカンニングペーパーと一致する項)
単独最大次数の多項式さえ選ばなければ・・・勝てる!
711132人目の素数さん
2026/08/31(月) 22:34:35.29ID:PFBqFI3X >>699
>無限個のサイコロの目のペアが一致する確率として
>”可算無限のしっぽ項で 一致する確率は (1/6)^∞=0”>>682
>を導いた
>即ち、札付きのn1,n2や 箱入り無数目の決定番号dは
>” (1/6)^∞=0” 確率0の世界でのお話にすぎない
>>42で示した通り決定番号関数 d:R^N→N が存在する。つまり任意の列は決定番号を持つ。
一方で箱入りの証明は P(d(s)=n) なる確率を使っていない。使っていないものを持ち出しても証明のギャップを示せるはずが無い。
根本からダメ。数学のすの字も分かってない。
>サルども
>詰んだなw(^^
だね
サルの君がね
>弥勒菩薩さま
>数学科オチコボレさんのおサルたちを お救い下さい!
池沼に頼っても無駄
>無限個のサイコロの目のペアが一致する確率として
>”可算無限のしっぽ項で 一致する確率は (1/6)^∞=0”>>682
>を導いた
>即ち、札付きのn1,n2や 箱入り無数目の決定番号dは
>” (1/6)^∞=0” 確率0の世界でのお話にすぎない
>>42で示した通り決定番号関数 d:R^N→N が存在する。つまり任意の列は決定番号を持つ。
一方で箱入りの証明は P(d(s)=n) なる確率を使っていない。使っていないものを持ち出しても証明のギャップを示せるはずが無い。
根本からダメ。数学のすの字も分かってない。
>サルども
>詰んだなw(^^
だね
サルの君がね
>弥勒菩薩さま
>数学科オチコボレさんのおサルたちを お救い下さい!
池沼に頼っても無駄
712132人目の素数さん
2026/09/01(火) 05:31:27.00ID:nbW1YbSa 成立派の意見がバラバラな件
713132人目の素数さん
2026/09/01(火) 07:01:40.43ID:3BFbFMGl714132人目の素数さん
2026/09/01(火) 07:16:25.98ID:xefQCwxc ID:nbW1YbSa はレス乞食
715132人目の素数さん
2026/09/01(火) 07:29:21.45ID:AfNGyG9n Reducing the domain of discrete multi-time determinantal point processes
Tom Claeys, Felix Gideonse
Comments: 39 pages, 9 figures
Subjects: Mathematical Physics (math-ph); Complex Variables (math.CV); Probability (math.PR)
Tom Claeys, Felix Gideonse
Comments: 39 pages, 9 figures
Subjects: Mathematical Physics (math-ph); Complex Variables (math.CV); Probability (math.PR)
716132人目の素数さん
2026/09/01(火) 07:46:21.38ID:uhpajyge >>700
はて、これは御大か
巡回ありがとうございます
(google検索)
Metric-geometric Chow theorem José Edson Sampaio
結果
https://ui.adsabs.harvard.edu/abs/2026arXiv260827810E/abstract
ADS
Metric-geometric Chow theorem
Edson Sampaio, José
Publication:
eprint arXiv:2608.27810
Pub Date: August 2026 arXiv: arXiv:2608.27810 Bibcode: Keywords:
Algebraic Geometry; Complex Variables
E-Print Comments: This paper appeared firstly on ResearchGate. 10 pages
https://arxiv.org/abs/2608.27810
Mathematics > Algebraic Geometry
[Submitted on 28 Aug 2026]
Metric-geometric Chow theorem
José Edson Sampaio
AI による概要
arXiv論文 arXiv:2608.27810 は、José Edson Sampaio 氏による数学論文「Metric-geometric Chow theorem」であり、古典的な Chow の定理を幾何学的および計量的に拡張した新たな成果を提示している。本論文では、\(\mathbb{C}^{n}\) 内の純 d 次元全複素解析集合が複素代数集合であることと、無限遠における接錐のハウスドルフ測度に関する特定の幾何学的条件が同値であることを証明している。より詳細な情報やPDFの閲覧については、arXiv をご参照ください
はて、これは御大か
巡回ありがとうございます
(google検索)
Metric-geometric Chow theorem José Edson Sampaio
結果
https://ui.adsabs.harvard.edu/abs/2026arXiv260827810E/abstract
ADS
Metric-geometric Chow theorem
Edson Sampaio, José
Publication:
eprint arXiv:2608.27810
Pub Date: August 2026 arXiv: arXiv:2608.27810 Bibcode: Keywords:
Algebraic Geometry; Complex Variables
E-Print Comments: This paper appeared firstly on ResearchGate. 10 pages
https://arxiv.org/abs/2608.27810
Mathematics > Algebraic Geometry
[Submitted on 28 Aug 2026]
Metric-geometric Chow theorem
José Edson Sampaio
AI による概要
arXiv論文 arXiv:2608.27810 は、José Edson Sampaio 氏による数学論文「Metric-geometric Chow theorem」であり、古典的な Chow の定理を幾何学的および計量的に拡張した新たな成果を提示している。本論文では、\(\mathbb{C}^{n}\) 内の純 d 次元全複素解析集合が複素代数集合であることと、無限遠における接錐のハウスドルフ測度に関する特定の幾何学的条件が同値であることを証明している。より詳細な情報やPDFの閲覧については、arXiv をご参照ください
717132人目の素数さん
2026/09/01(火) 07:54:26.82ID:uhpajyge >>715
これは、御大
巡回ありがとうございます(^^
(google検索)
Reducing the domain of discrete multi-time determinantal point processes Tom Claeys, Felix Gideonse
結果
https://arxiv.org/abs/2608.28131
Mathematical Physics
[Submitted on 28 Aug 2026]
Reducing the domain of discrete multi-time determinantal point processes
Tom Claeys, Felix Gideonse
We consider a class of discrete multi-time determinantal point processes whose correlation kernels admit a double-contour integral form, containing Schur processes as simple examples. We show that the form of the correlation kernel is preserved under conditioning of the point process to a restricted domain, however, with an integrand which becomes more complicated and which is characterized by a Riemann-Hilbert problem. We apply our general result to domino tilings of reduced Aztec diamonds and to lozenge tilings of hexagons with holes. Our results show a striking analogy with the Its-Izergin-Korepin-Slavnov method for integrable kernels.
これは、御大
巡回ありがとうございます(^^
(google検索)
Reducing the domain of discrete multi-time determinantal point processes Tom Claeys, Felix Gideonse
結果
https://arxiv.org/abs/2608.28131
Mathematical Physics
[Submitted on 28 Aug 2026]
Reducing the domain of discrete multi-time determinantal point processes
Tom Claeys, Felix Gideonse
We consider a class of discrete multi-time determinantal point processes whose correlation kernels admit a double-contour integral form, containing Schur processes as simple examples. We show that the form of the correlation kernel is preserved under conditioning of the point process to a restricted domain, however, with an integrand which becomes more complicated and which is characterized by a Riemann-Hilbert problem. We apply our general result to domino tilings of reduced Aztec diamonds and to lozenge tilings of hexagons with holes. Our results show a striking analogy with the Its-Izergin-Korepin-Slavnov method for integrable kernels.
718132人目の素数さん
2026/09/01(火) 08:47:05.52ID:/uXvt/N4719132人目の素数さん
2026/09/01(火) 08:48:50.61ID:/uXvt/N4 ストローマン論法しかできないサル、権威者への取り入りには余念が無い
720132人目の素数さん
2026/09/01(火) 09:19:26.75ID:IYUXiG3E >>719 オチコボレは理解の努力より権威にすがることを優先する
721132人目の素数さん
2026/09/01(火) 09:24:02.90ID:nbW1YbSa 成立派に追加
アナーキストの法螺吹き野郎
アナーキストの法螺吹き野郎
722132人目の素数さん
2026/09/01(火) 09:53:03.33ID:/uXvt/N4 成立派どんどん増えてて草
一方不成立派はサル二匹のみ
一方不成立派はサル二匹のみ
723132人目の素数さん
2026/09/01(火) 10:04:25.45ID:/uXvt/N4 ちなみに以下の大学教授も成立派
Stanford大学教授 時枝正
Kusiel-Vorreuter大学教授 Sergiu Hart
Baylor大学教授 Alexander Pruss
Stanford大学教授 時枝正
Kusiel-Vorreuter大学教授 Sergiu Hart
Baylor大学教授 Alexander Pruss
724132人目の素数さん
2026/09/01(火) 11:00:14.30ID:TZJ8+0PC >>712
マンガに関する見解は、相違があるように思う。
マンガに関する見解は、相違があるように思う。
725132人目の素数さん
2026/09/01(火) 11:05:23.15ID:nbW1YbSa >>723
吐くように嘘をつく
吐くように嘘をつく
726132人目の素数さん
2026/09/01(火) 11:06:04.03ID:/uXvt/N4 相違とは?
727132人目の素数さん
2026/09/01(火) 11:11:06.64ID:/uXvt/N4 >>725
Stanford大学教授 時枝正
「第k列のD番目の箱に入った実数はS^k(D)=r(D)と賭ければ,めでたく確率99/100で勝てる.確率1-εで勝てることも明らかであろう.」
数学セミナー201511月号「箱入り無数目」
Kusiel-Vorreuter大学教授 Sergiu Hart
「For every ε>0 Player 2 has a mixed strategy in game1 guaranteeing him a win with probability at least 1-ε.」
http://www.ma.huji.ac.il/hart/puzzle/choice.pdf?
Baylor大学教授 Alexander Pruss
「What we have then is this: For each fixed opponent strategy, if i is chosen uniformly independently of that strategy (where the "independently" here isn't in the probabilistic sense), we win with probability at least (n-1)/n. That's right.」
Alexander Pruss Dec 19, 2013 at 15:05
https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
>吐くように嘘をつく
だね、君が
Stanford大学教授 時枝正
「第k列のD番目の箱に入った実数はS^k(D)=r(D)と賭ければ,めでたく確率99/100で勝てる.確率1-εで勝てることも明らかであろう.」
数学セミナー201511月号「箱入り無数目」
Kusiel-Vorreuter大学教授 Sergiu Hart
「For every ε>0 Player 2 has a mixed strategy in game1 guaranteeing him a win with probability at least 1-ε.」
http://www.ma.huji.ac.il/hart/puzzle/choice.pdf?
Baylor大学教授 Alexander Pruss
「What we have then is this: For each fixed opponent strategy, if i is chosen uniformly independently of that strategy (where the "independently" here isn't in the probabilistic sense), we win with probability at least (n-1)/n. That's right.」
Alexander Pruss Dec 19, 2013 at 15:05
https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
>吐くように嘘をつく
だね、君が
728132人目の素数さん
2026/09/01(火) 11:14:17.83ID:TZJ8+0PC729132人目の素数さん
2026/09/01(火) 11:17:50.75ID:/uXvt/N4 一方不成立を公言する大学教授は皆無
そりゃそうだ、箱入りの証明にギャップなんて無いからな 決定番号の分布? それ、ギャップじゃなくストローマン論法な
そりゃそうだ、箱入りの証明にギャップなんて無いからな 決定番号の分布? それ、ギャップじゃなくストローマン論法な
730132人目の素数さん
2026/09/01(火) 11:21:08.79ID:/uXvt/N4 成立派と不成立派の相違って意味?
それならあるよ サルはR^Nと{1,2,3,4,5,6}^Nの違いを除いて箱入り=札付きと言ってる 日本語読めないだけだけどなw
それならあるよ サルはR^Nと{1,2,3,4,5,6}^Nの違いを除いて箱入り=札付きと言ってる 日本語読めないだけだけどなw
731132人目の素数さん
2026/09/01(火) 11:24:01.40ID:TZJ8+0PC >>730
成立派と不成立派は全然違うから、問題にはしていないよ。
成立派のマンガに対する理解で、設定に関する相違がありそうという話だよ。
読者に分かりやすいように、設定が変更されていたとかいないとか。
成立派と不成立派は全然違うから、問題にはしていないよ。
成立派のマンガに対する理解で、設定に関する相違がありそうという話だよ。
読者に分かりやすいように、設定が変更されていたとかいないとか。
732132人目の素数さん
2026/09/01(火) 11:32:54.48ID:/uXvt/N4 正しくは
札付きで言うところの
「確率1/6」は出題が確率事象という前提がある。
「事象n(1)<n(2)」は列選択が固定という前提がある。また固定でも成立するように思わせるため対称性なる謎命題を仮定している。
これらは箱入りと異なる設定。
札付きで言うところの
「確率1/6」は出題が確率事象という前提がある。
「事象n(1)<n(2)」は列選択が固定という前提がある。また固定でも成立するように思わせるため対称性なる謎命題を仮定している。
これらは箱入りと異なる設定。
733132人目の素数さん
2026/09/01(火) 11:34:41.71ID:/uXvt/N4734132人目の素数さん
2026/09/01(火) 11:48:19.46ID:RELly6Yv >>724
>マンガに関する見解は、相違があるように思う。
成立派の中では全く相違ないよ
>>728
>マンガで設定が変わっているって揉めてなかった?
成立派同士は全く揉めてないよ
>マンガが出て来たところで、様子が少し違っていたようだったけど。
不成立派が勝手に「我が意を得たり」と思い込んだだけ
>>731
>成立派のマンガに対する理解で、設定に関する相違がありそう
妄想だね 君、統失? 💊飲みなよ
>読者に分かりやすいように、設定が変更されていたとか
読者に分かりやすいように、ではなく、
非可測という結論を導くために、設定を変更している
数学科でのヴィタリ集合の非可測性の話を理解してる人なら誰でもわかること
分かんない奴はモグリ
>マンガに関する見解は、相違があるように思う。
成立派の中では全く相違ないよ
>>728
>マンガで設定が変わっているって揉めてなかった?
成立派同士は全く揉めてないよ
>マンガが出て来たところで、様子が少し違っていたようだったけど。
不成立派が勝手に「我が意を得たり」と思い込んだだけ
>>731
>成立派のマンガに対する理解で、設定に関する相違がありそう
妄想だね 君、統失? 💊飲みなよ
>読者に分かりやすいように、設定が変更されていたとか
読者に分かりやすいように、ではなく、
非可測という結論を導くために、設定を変更している
数学科でのヴィタリ集合の非可測性の話を理解してる人なら誰でもわかること
分かんない奴はモグリ
735132人目の素数さん
2026/09/01(火) 11:49:04.98ID:nbW1YbSa >>723
既に論破しただろ、壊れたレコードかw
既に論破しただろ、壊れたレコードかw
736132人目の素数さん
2026/09/01(火) 11:52:04.75ID:nbW1YbSa 成立派は、定理と証明、書けよ
昔から言ってるのに、書けないw
昔から言ってるのに、書けないw
737132人目の素数さん
2026/09/01(火) 11:52:27.64ID:RELly6Yv もともとの箱入り無数目では、
そもそも出題は確率事象じゃないから
非可測性なんて全然出てこない
ただ、著者の時枝正はそこをしっかり理解してなくて
不用意に非可測性の話をしてしまったのがよくなかったね
責められるべきはそこ
後半の非可測性と無限個の確率変数の独立性の話は
まったく見当違いなので不要
読んで真に受けると馬鹿になる
そもそも出題は確率事象じゃないから
非可測性なんて全然出てこない
ただ、著者の時枝正はそこをしっかり理解してなくて
不用意に非可測性の話をしてしまったのがよくなかったね
責められるべきはそこ
後半の非可測性と無限個の確率変数の独立性の話は
まったく見当違いなので不要
読んで真に受けると馬鹿になる
738132人目の素数さん
2026/09/01(火) 11:53:05.91ID:TZJ8+0PC >>734
別に意見が一致してるのなら良いけど。
別に意見が一致してるのなら良いけど。
740132人目の素数さん
2026/09/01(火) 11:54:49.62ID:RELly6Yv >>738 一致してます 残念だったね ●違いクン
741132人目の素数さん
2026/09/01(火) 11:59:07.28ID:/uXvt/N4742132人目の素数さん
2026/09/01(火) 12:00:53.89ID:/uXvt/N4 >>736
成立派ではなく記事を読めない頭の悪い子に産んだ君の親に文句言いな
成立派ではなく記事を読めない頭の悪い子に産んだ君の親に文句言いな
743132人目の素数さん
2026/09/01(火) 12:02:17.53ID:/uXvt/N4 >>738
じゃあ一致してないとか言うなよw
じゃあ一致してないとか言うなよw
744132人目の素数さん
2026/09/01(火) 12:10:54.58ID:/uXvt/N4 「対称性」が出ていた時点でクソ漫画と思って最後まで読んでなかったが、
最終的にこの対称性を自己否定して不成立って結論してんだなw アホ過ぎだろw
札付き不成立が箱入り不成立の根拠と言ってるサルと同レベルのアホw
最終的にこの対称性を自己否定して不成立って結論してんだなw アホ過ぎだろw
札付き不成立が箱入り不成立の根拠と言ってるサルと同レベルのアホw
745132人目の素数さん
2026/09/01(火) 12:11:28.13ID:TZJ8+0PC >>743
いやいや、なんか怪しかったからね。
いやいや、なんか怪しかったからね。
746132人目の素数さん
2026/09/01(火) 12:13:06.60ID:TZJ8+0PC 過去ログを辿るのはしんどいからね。
だったら有限加法族の勉強でもしていたい。
だったら有限加法族の勉強でもしていたい。
747132人目の素数さん
2026/09/01(火) 12:13:44.94ID:/uXvt/N4 いや対称性を否定してるからサルよりはまともかw まあクソ漫画であることに変わりはないがw
748132人目の素数さん
2026/09/01(火) 12:14:39.52ID:TZJ8+0PC って言って、辿ったりするかもしれないのが私の性格w
気まぐれ自由人なので宜しく。
気まぐれ自由人なので宜しく。
749132人目の素数さん
2026/09/01(火) 12:15:31.99ID:/uXvt/N4 >>746
じゃ口出さなきゃいいだけじゃね?
じゃ口出さなきゃいいだけじゃね?
750132人目の素数さん
2026/09/01(火) 12:17:48.35ID:TZJ8+0PC751132人目の素数さん
2026/09/01(火) 12:18:23.28ID:/uXvt/N4 宜しかれない うざい 消えろ
752132人目の素数さん
2026/09/01(火) 12:30:45.11ID:TZJ8+0PC ここは5ch。
ルールにのっとって消してくれw
私の記憶力が良いのは大体分かっているだろ?
まあ、気まぐれに探すかもしんないから、忘れたころにでも対応してくれ。
ルールにのっとって消してくれw
私の記憶力が良いのは大体分かっているだろ?
まあ、気まぐれに探すかもしんないから、忘れたころにでも対応してくれ。
753132人目の素数さん
2026/09/01(火) 12:47:17.50ID:R2L6oGh6 >>745
怪しいのは君のほうだよ
怪しいのは君のほうだよ
754132人目の素数さん
2026/09/01(火) 12:48:04.17ID:R2L6oGh6755132人目の素数さん
2026/09/01(火) 12:54:23.92ID:7bHQDxhk >>732
>固定でも成立するように思わせるため
>対称性なる謎命題を仮定している。
対称性=積分順序の交換可能性、のことなら
いい性質の関数なら満たすので
それほど責められるべきものでもない
残念ながら、決定番号関数はいい性質の関数でなかったが
>固定でも成立するように思わせるため
>対称性なる謎命題を仮定している。
対称性=積分順序の交換可能性、のことなら
いい性質の関数なら満たすので
それほど責められるべきものでもない
残念ながら、決定番号関数はいい性質の関数でなかったが
756132人目の素数さん
2026/09/01(火) 12:57:56.41ID:7bHQDxhk757132人目の素数さん
2026/09/01(火) 12:58:37.28ID:TZJ8+0PC >>754
利口ぶりたいんじゃなくて、意見の不一致があるのなら正したくなるじゃない。
今回はさすがに過去ログを見たくはないが、仲間同士でも話し合いはきちんとした方が良いと思うよ。
仲間なのか知らないがw
利口ぶりたいんじゃなくて、意見の不一致があるのなら正したくなるじゃない。
今回はさすがに過去ログを見たくはないが、仲間同士でも話し合いはきちんとした方が良いと思うよ。
仲間なのか知らないがw
758132人目の素数さん
2026/09/01(火) 13:00:37.17ID:TZJ8+0PC >756
俺は5次交代群に関する勘違いをきちんと指摘したし、青焼きの人の存在も証明した。
これ以上の実績を求められてもねぇw
俺は5次交代群に関する勘違いをきちんと指摘したし、青焼きの人の存在も証明した。
これ以上の実績を求められてもねぇw
759132人目の素数さん
2026/09/01(火) 13:07:12.52ID:tCMFXNyD760132人目の素数さん
2026/09/01(火) 13:08:04.06ID:tCMFXNyD >>758
●違いクン もう黙ろうか
●違いクン もう黙ろうか
761132人目の素数さん
2026/09/01(火) 13:08:44.86ID:/uXvt/N4762132人目の素数さん
2026/09/01(火) 13:10:28.38ID:/uXvt/N4 ワケワカランこと口走るのは糖質? ヤバい香りが漂ってるんだけど
763132人目の素数さん
2026/09/01(火) 13:11:19.04ID:tCMFXNyD 残念な性質の関数を持ち出して
普通なら成立するはずのことを
否定するのが、●違いっぽい
普通なら成立するはずのことを
否定するのが、●違いっぽい
764132人目の素数さん
2026/09/01(火) 13:12:58.61ID:tCMFXNyD >>762
フビニの定理の反例は、統失でヤバいってことですね
フビニの定理の反例は、統失でヤバいってことですね
765132人目の素数さん
2026/09/01(火) 13:13:00.72ID:/uXvt/N4 俺は〇〇したじゃんとか言われてもおまえ誰よ、おまえのことなんてトレースしてないんだがって感じなんだが
自意識過剰と妄想があるようで
自意識過剰と妄想があるようで
766132人目の素数さん
2026/09/01(火) 13:14:09.73ID:/uXvt/N4 持ち出すも何も「対称性からn(1)<n(2)」って書かれてるじゃん
君、頭だいじょうぶ?
君、頭だいじょうぶ?
767132人目の素数さん
2026/09/01(火) 13:14:39.25ID:/uXvt/N4 「対称性からn(1)<n(2)の確率は1/2」
768132人目の素数さん
2026/09/01(火) 13:14:59.66ID:tCMFXNyD769132人目の素数さん
2026/09/01(火) 13:16:17.09ID:rIwfBJ/E >>767
もし可測なら、対称性が示せるので、確率は1/2
もし可測なら、対称性が示せるので、確率は1/2
770132人目の素数さん
2026/09/01(火) 13:17:01.43ID:/uXvt/N4 なんで原本に書かれてることを引用すると「持ち出す」になっちゃうのか謎w
771132人目の素数さん
2026/09/01(火) 13:17:46.84ID:/uXvt/N4 その「もし」は無意味だろw
772132人目の素数さん
2026/09/01(火) 13:18:55.20ID:/uXvt/N4 事実に反する仮定は無意味ってワカラン?
仮定法じゃないんだからw
仮定法じゃないんだからw
773132人目の素数さん
2026/09/01(火) 13:20:36.61ID:rIwfBJ/E 君は積分の順序交換が不自然極まりない人為的な性質だと思うのかい?
774132人目の素数さん
2026/09/01(火) 13:21:38.60ID:rIwfBJ/E 私は積分の順序交換が成り立たないような関数のほうが不自然だと思うが
775132人目の素数さん
2026/09/01(火) 13:23:32.98ID:/uXvt/N4 「対称性からn(1)<n(2)の確率は1/2」じゃない話してどうしたいの?
数学に自然とか不自然とか人為的とか関係なくね? 成立するか否かだろ
数学に自然とか不自然とか人為的とか関係なくね? 成立するか否かだろ
776132人目の素数さん
2026/09/01(火) 13:23:42.03ID:rIwfBJ/E とはいえ、箱入り無数目では決定番号関数の可測性など必要ない、というのはその通り
777132人目の素数さん
2026/09/01(火) 13:24:37.75ID:rIwfBJ/E778132人目の素数さん
2026/09/01(火) 13:24:55.14ID:/uXvt/N4 自然とか不自然とか人為的とか、主観の問題でしかない。数学において主観はどうでもよろしい。
779132人目の素数さん
2026/09/01(火) 13:25:19.62ID:/uXvt/N4 なんで正論を言うとイラついてることにされてしまうのか謎w
780132人目の素数さん
2026/09/01(火) 13:27:46.73ID:/uXvt/N4 「対称性からn(1)<n(2)の確率は1/2」が未証明って話してんのに違う話持ち出す方が薬必要じゃね?
781132人目の素数さん
2026/09/01(火) 13:36:22.95ID:/uXvt/N4 強制法は人為的だから連続体仮説のZFCからの独立性証明は間違いだぁー
とでも言いたいのだろうか?
とでも言いたいのだろうか?
782132人目の素数さん
2026/09/01(火) 13:44:37.07ID:/uXvt/N4 そもそも世の中の公理系はすべて人為的なんだがな
あれはそう設定すると理論展開がうまくいくという経験則から決められてる、つまり究極的に人為的
あれはそう設定すると理論展開がうまくいくという経験則から決められてる、つまり究極的に人為的
783132人目の素数さん
2026/09/01(火) 13:57:00.94ID:/uXvt/N4 経験則で決められたものだから究極の理論なんて無い。
集合論は数学のあらゆる対象を集合に還元する究極的理論かと思いきや、後に圏論が登場したりする。
集合論は数学のあらゆる対象を集合に還元する究極的理論かと思いきや、後に圏論が登場したりする。
784132人目の素数さん
2026/09/01(火) 13:58:30.63ID:f6Tl6/Dn785132人目の素数さん
2026/09/01(火) 14:00:33.33ID:f6Tl6/Dn 正確にいえば、決定番号を使った関数の対称性が証明できない
786132人目の素数さん
2026/09/01(火) 14:07:55.43ID:/uXvt/N4 つまり経験不足が集合論=究極の理論という幻想を生み出していた訳だ
787現代数学の系譜 雑談 ◆yH25M02vWFhP
2026/09/01(火) 15:17:36.93ID:i4jVyJ3Z >>709
>無限個の確率変数? そんなものを考えるのは🐎🦌
下記重川を百回音読してね
”P47
第4章ランダム・ウォーク
定義1.1 時間 t∈Tをパラメーターとして持つ確率変数の族(Xt)を確率過程という.
Tとして[0,∞),Z+={0,1,2,・・・}などがよく使われる.
[0,∞)のとき連続時間
Z+のとき離散時間という.”
数学者が 公理的確率論を考える理由の一つがこれ
即ち、”確率変数の族(Xt) 確率過程
Tとして[0,∞),Z+={0,1,2,・・・}などがよく使われる.
[0,∞)のとき連続時間
Z+のとき離散時間という.”
連続無限、可算無限の
どちらもあり!w (^^
>>10より
https://www.math.kyoto-u.ac.jp/~ichiro/index_j.html
重川一郎
https://www.math.kyoto-u.ac.jp/~ichiro/lectures/2013bpr.pdf
2013年度前期 確率論基礎
P7
確率空間例サイコロ投げの場合
確率空間として次のものを準備すればよい.
Ω={1,2,・・・,6}^N∋ω={ω1,ω2,・・・}
ωnは1,2,・・・,6のいずれかで,n回目に出た目を表す.
確率はη1,η2,・・・ηnを与えて
P(ω1=η1,ω2=η2,・・・ωn=ηn)=(1/6)^n
と定めればよい.これが実際にσ-加法的に拡張できることは明らかではないが,Kolmogorovの拡張定理と呼ばれる定理により証明できる.
P47
第4章ランダム・ウォーク
定義1.1 時間 t∈Tをパラメーターとして持つ確率変数の族(Xt)を確率過程という.
Tとして[0,∞),Z+={0,1,2,・・・}などがよく使われる.
[0,∞)のとき連続時間
Z+のとき離散時間という.
以下ではZ+の場合のみを扱う.この場合はtの代わりにnを用いる.
>無限個の確率変数? そんなものを考えるのは🐎🦌
下記重川を百回音読してね
”P47
第4章ランダム・ウォーク
定義1.1 時間 t∈Tをパラメーターとして持つ確率変数の族(Xt)を確率過程という.
Tとして[0,∞),Z+={0,1,2,・・・}などがよく使われる.
[0,∞)のとき連続時間
Z+のとき離散時間という.”
数学者が 公理的確率論を考える理由の一つがこれ
即ち、”確率変数の族(Xt) 確率過程
Tとして[0,∞),Z+={0,1,2,・・・}などがよく使われる.
[0,∞)のとき連続時間
Z+のとき離散時間という.”
連続無限、可算無限の
どちらもあり!w (^^
>>10より
https://www.math.kyoto-u.ac.jp/~ichiro/index_j.html
重川一郎
https://www.math.kyoto-u.ac.jp/~ichiro/lectures/2013bpr.pdf
2013年度前期 確率論基礎
P7
確率空間例サイコロ投げの場合
確率空間として次のものを準備すればよい.
Ω={1,2,・・・,6}^N∋ω={ω1,ω2,・・・}
ωnは1,2,・・・,6のいずれかで,n回目に出た目を表す.
確率はη1,η2,・・・ηnを与えて
P(ω1=η1,ω2=η2,・・・ωn=ηn)=(1/6)^n
と定めればよい.これが実際にσ-加法的に拡張できることは明らかではないが,Kolmogorovの拡張定理と呼ばれる定理により証明できる.
P47
第4章ランダム・ウォーク
定義1.1 時間 t∈Tをパラメーターとして持つ確率変数の族(Xt)を確率過程という.
Tとして[0,∞),Z+={0,1,2,・・・}などがよく使われる.
[0,∞)のとき連続時間
Z+のとき離散時間という.
以下ではZ+の場合のみを扱う.この場合はtの代わりにnを用いる.
788132人目の素数さん
2026/09/01(火) 15:18:25.70ID:/uXvt/N4 重川と箱入りは何の関係も無い
まーたストローマン論法かよ 好きだねえ君
まーたストローマン論法かよ 好きだねえ君
789132人目の素数さん
2026/09/01(火) 15:26:05.47ID:f6Tl6/Dn790132人目の素数さん
2026/09/01(火) 15:42:15.09ID:nbW1YbSa 成立派ができるのは論理のすり替えと罵倒
791現代数学の系譜 雑談 ◆yH25M02vWFhP
2026/09/01(火) 15:46:37.37ID:i4jVyJ3Z >>705
(引用開始)
>3)つまり >>4の札つきより
>”それが属する同値類の代表元と
>1列目が一致し始めるのがn1個目とする
>2列目についてその代表元が一致し始めるのがn2番目とする”
> とあるよね
> この場合において n1個目以降が一致しているから
> それは 箱入り無数目におけるしっぽ同値でもある(2列目についても同様)
> だが、逆は不成立。つまり、箱入り無数目の同値類の中をさらに細分類したものが 札付きの同値になる
なに言ってんだ?この馬鹿。
空間がR^Nと{1,2,3,4,5,6}^Nで異なるが、有限個の項の違いを無視するという同値関係は同じだろ。
(引用終り)
うん そこ私の勘違いだった
箱入り無数目の しっぽ同値>>1と
札付>>4の 有限個の違いを無視する同値関係 とは
数学的には同じ
(札付では ダイスのcupの絵を使っているが 説明の都合上 箱で統一して説明する https://imgur.com/1E6b4P9)
(なお、箱入り無数目で 入れる数を1〜6に制限できることは明らかだが >>1の後半ページでも https://imgur.com/YAdz2Mz
「勝手な集合Sの元の無限列S^N」可とあることを注意しておく )
証明
1)箱入り無数目の しっぽ同値→ 札付 有限個の違いを無視する同値
ほぼ自明だが 可算無限列のしっぽ同値 とは 「ある番号n0から先のしっぽが一致する」>>1
という定義なので、違いは たかだか1〜n0-1 の有限のみ
2)札付 有限個の違いを無視する同値→ 箱入り無数目の しっぽ同値
>>4の「1列目のサイコロの目を確認し
それが属する同値類の代表元と
1列目が一致し始めるのがn1個目とする」
との記載の通り、違いは 先頭の たかだか1〜n1-1 の有限 部分であり
n1以降のしっぽが一致しているので
箱入り無数目の しっぽ同値の条件を満たす
上記1)2)より
箱入り無数目の しっぽ同値>>1と
札付>>4の 有限個の違いを無視する同値関係 とは
数学的に同じ■
(引用開始)
>3)つまり >>4の札つきより
>”それが属する同値類の代表元と
>1列目が一致し始めるのがn1個目とする
>2列目についてその代表元が一致し始めるのがn2番目とする”
> とあるよね
> この場合において n1個目以降が一致しているから
> それは 箱入り無数目におけるしっぽ同値でもある(2列目についても同様)
> だが、逆は不成立。つまり、箱入り無数目の同値類の中をさらに細分類したものが 札付きの同値になる
なに言ってんだ?この馬鹿。
空間がR^Nと{1,2,3,4,5,6}^Nで異なるが、有限個の項の違いを無視するという同値関係は同じだろ。
(引用終り)
うん そこ私の勘違いだった
箱入り無数目の しっぽ同値>>1と
札付>>4の 有限個の違いを無視する同値関係 とは
数学的には同じ
(札付では ダイスのcupの絵を使っているが 説明の都合上 箱で統一して説明する https://imgur.com/1E6b4P9)
(なお、箱入り無数目で 入れる数を1〜6に制限できることは明らかだが >>1の後半ページでも https://imgur.com/YAdz2Mz
「勝手な集合Sの元の無限列S^N」可とあることを注意しておく )
証明
1)箱入り無数目の しっぽ同値→ 札付 有限個の違いを無視する同値
ほぼ自明だが 可算無限列のしっぽ同値 とは 「ある番号n0から先のしっぽが一致する」>>1
という定義なので、違いは たかだか1〜n0-1 の有限のみ
2)札付 有限個の違いを無視する同値→ 箱入り無数目の しっぽ同値
>>4の「1列目のサイコロの目を確認し
それが属する同値類の代表元と
1列目が一致し始めるのがn1個目とする」
との記載の通り、違いは 先頭の たかだか1〜n1-1 の有限 部分であり
n1以降のしっぽが一致しているので
箱入り無数目の しっぽ同値の条件を満たす
上記1)2)より
箱入り無数目の しっぽ同値>>1と
札付>>4の 有限個の違いを無視する同値関係 とは
数学的に同じ■
792132人目の素数さん
2026/09/01(火) 15:58:03.83ID:/uXvt/N4793132人目の素数さん
2026/09/01(火) 16:07:09.17ID:QPJAfW8d794132人目の素数さん
2026/09/01(火) 16:08:52.07ID:QPJAfW8d >>790 論理が分からんのは中卒の貴様(嘲)
795132人目の素数さん
2026/09/01(火) 16:09:10.90ID:/uXvt/N4 >>791
レベルひくっ
レベルひくっ
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【沖縄】米兵を強盗殺人容疑で緊急逮捕 那覇市のホテルでの女性遺体発見で [ぐれ★]
- 【アジア大会】サッカー表彰式でトラブル 優勝の韓国の国旗掲揚されず 韓国の旗だけ下がったまま国歌 応援団ブーイング 選手は困惑★2 [冬月記者★]
- 米国産ジャガイモ解禁前倒し浮上 トランプ政権の圧力が背景 高市早苗首相に輸入解禁働きかけ [バイト歴50年★]
- 「経済力ないってみじめ」 セックスレスから一転、夫の誘い拒めぬ妻 [蚤の市★]
- サザンオールスターズ関口和之さんの会社に東京国税局が5億8000万円あまりの申告漏れを指摘 [少考さん★]
- 「女子枠で今年は華やかだね」と入学早々、大学幹部に言われてドン引き🏫東京科学大学の女子学生が心中を告白 [パンナ・コッタ★]
- トムクルーズ「死んだら遺産は全部孤児に寄付する。娘は散財しすぎで無理」 娘「毎週30万程度で!?」 [595118796]
- 【NHK速報】那覇の女性殺害事件、アメリカ海兵隊員を逮捕 強盗殺人の疑い [689155963]
- 【高市エクストリーム悲報】愛知アジア大会サッカー決勝、優勝した韓国の国旗掲揚がされず 国旗掲揚担当は自衛隊員 [165981677]
- さよなら三角またきて四角👋🏡
- 【マギレコ】VIPでマギアレコード&マギアエクセドラ【まどドラ】
- トルネコって面白い?