探検


スレタイ箱入り無数目を語る部屋32(あほ二人の”アナグマの姿焼き"Part6w)

■ このスレッドは過去ログ倉庫に格納されています
1132人目の素数さん
垢版 |
2026/08/13(木) 10:56:04.02ID:4E98wVFX
前スレが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などは下付添え字

つづく
751132人目の素数さん
垢版 |
2026/09/01(火) 12:18:23.28ID:/uXvt/N4
宜しかれない うざい 消えろ
752132人目の素数さん
垢版 |
2026/09/01(火) 12:30:45.11ID:TZJ8+0PC
ここは5ch。
ルールにのっとって消してくれw
私の記憶力が良いのは大体分かっているだろ?
まあ、気まぐれに探すかもしんないから、忘れたころにでも対応してくれ。
2026/09/01(火) 12:47:17.50ID:R2L6oGh6
>>745
怪しいのは君のほうだよ
2026/09/01(火) 12:48:04.17ID:R2L6oGh6
>>746
永遠に黙ればいいのに
馬鹿ほど利口ぶりたがる
2026/09/01(火) 12:54:23.92ID:7bHQDxhk
>>732
>固定でも成立するように思わせるため
>対称性なる謎命題を仮定している。

対称性=積分順序の交換可能性、のことなら
いい性質の関数なら満たすので
それほど責められるべきものでもない
残念ながら、決定番号関数はいい性質の関数でなかったが
2026/09/01(火) 12:57:56.41ID:7bHQDxhk
>>746
>過去ログを辿るのはしんどいからね。
>>748
>って言って、辿ったりするかもしれない
>>750
>過去ログ辿るかもしんないよ

精神患ってるんですね

お薬 飲みましょうね
757132人目の素数さん
垢版 |
2026/09/01(火) 12:58:37.28ID:TZJ8+0PC
>>754
利口ぶりたいんじゃなくて、意見の不一致があるのなら正したくなるじゃない。
今回はさすがに過去ログを見たくはないが、仲間同士でも話し合いはきちんとした方が良いと思うよ。
仲間なのか知らないがw
758132人目の素数さん
垢版 |
2026/09/01(火) 13:00:37.17ID:TZJ8+0PC
>756
俺は5次交代群に関する勘違いをきちんと指摘したし、青焼きの人の存在も証明した。
これ以上の実績を求められてもねぇw
759132人目の素数さん
垢版 |
2026/09/01(火) 13:07:12.52ID:tCMFXNyD
>>757
>意見の不一致があるのなら正したくなるじゃない。

意見の不一致がないのにあると妄想するのは病気

お薬 のみましょうね
760132人目の素数さん
垢版 |
2026/09/01(火) 13:08:04.06ID:tCMFXNyD
>>758
●違いクン もう黙ろうか
761132人目の素数さん
垢版 |
2026/09/01(火) 13:08:44.86ID:/uXvt/N4
>>755
>残念ながら、決定番号関数はいい性質の関数でなかったが
じゃダメじゃんw
762132人目の素数さん
垢版 |
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:tCMFXNyD
>>765
論文が書けずに博士課程を満期退学した人でしょう

アーメン
769132人目の素数さん
垢版 |
2026/09/01(火) 13:16:17.09ID:rIwfBJ/E
>>767
もし可測なら、対称性が示せるので、確率は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
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/E
>>775
何をイラついてるのかね 

精神患ってる?

お薬 のみましょうね
778132人目の素数さん
垢版 |
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/Dn
>>780 
「対称性からn(1)<n(2)の確率は1/2」は証明できる 
証明できないのは、対称性
785132人目の素数さん
垢版 |
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を用いる.
788132人目の素数さん
垢版 |
2026/09/01(火) 15:18:25.70ID:/uXvt/N4
重川と箱入りは何の関係も無い
まーたストローマン論法かよ 好きだねえ君
789132人目の素数さん
垢版 |
2026/09/01(火) 15:26:05.47ID:f6Tl6/Dn
>>787
>>無限個の確率変数? そんなものを考えるのは🐎🦌
>重川を百回音読してね
>>788
>重川と箱入りは何の関係も無い

788が正しい
787の💩コテハンは全くの誤り
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の 有限個の違いを無視する同値関係 とは
数学的に同じ■
792132人目の素数さん
垢版 |
2026/09/01(火) 15:58:03.83ID:/uXvt/N4
>>790
>論理のすり替え
具体的に
またレス乞食かい?
793132人目の素数さん
垢版 |
2026/09/01(火) 16:07:09.17ID:QPJAfW8d
>>695
>(有限個の項の違いを無視するという「札付きの定理」の同値関係は)
>箱入り無数目におけるしっぽ同値でもある
>だが、逆は不成立。
>つまり、箱入り無数目の同値類の中をさらに細分類したものが
>札付き(の定理)の同値になる

>>705
>>なに言ってんだ?
>>(尻尾同値は)有限個の項の違いを無視するという同値関係は同じだろ。

>>791
>うん そこ私の勘違いだった
>箱入り無数目の しっぽ同値と
>札付きの定理の 有限個の違いを無視する同値関係 とは
>数学的には同じ

こんな自明なことも即座に分からん奴は数学無理だから諦めろ
794132人目の素数さん
垢版 |
2026/09/01(火) 16:08:52.07ID:QPJAfW8d
>>790 論理が分からんのは中卒の貴様(嘲)
795132人目の素数さん
垢版 |
2026/09/01(火) 16:09:10.90ID:/uXvt/N4
>>791
レベルひくっ
796現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2026/09/01(火) 16:14:41.65ID:i4jVyJ3Z
>>791 つづき
さて、>>576に書いたが
箱入り無数目では
箱に入れる数を
「勝手な集合Sの元の無限列S^N」可とある

いま>>576に書いたが
S=Z/6Z={0,1,2,3,4,5} (剰余環)を考える

{0,1,2,3,4,5}
 ↓↑
{1,2,3,4,5,6} (サイコロの目)
の対応付けで 札付のサイコロの目を
剰余環 Z/6Z に置き換える

そうすると >>20 の 都築暢夫 広島大で
可算無限列を 環R係数の 形式的冪級数とみて
しっぽ同値の 二つの 形式的冪級数の差から
多項式を作ることができる
つまり しっぽ同値を
形式的冪級数環 ”The ring of formal power series”https://en.wikipedia.org/wiki/Formal_power_series
と多項式環 ”Polynomial ring”https://en.wikipedia.org/wiki/Polynomial_ring
の関係に 落とせる

多項式環は、下記 都築暢夫の通り
”任意の自然数より大きい次元の部分空間を持つから無限次元である”

実数Rを係数とする 箱入り無数目の場合が、まさにこれ。
実数R→ 剰余環 Z/6Z(札付)の場合も ほぼ同様
実n次元R^nの空間が、整数格子の6^n の空間になるが
結局 n→∞ では
しっぽ同値の確率を考えることはできない!■

(参考)>>21より再録
www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/04-21.pdf
代数学I 都築暢夫 広島大
F を体とする
P3
例3.2.多項式環F[x]. F[x]nは1,x,··· ,xnを基底に持つn+1次元線形空間である
F線形空間F[x]は任意の自然数より大きい次元の部分空間を持つから無限次元である
証明. 1,x,··· ,xnがF[x]nの基底になること: 1,x,··· ,xnがF[x]nを生成することは明らか
a0,··· ,an∈Fに対してa0+a1x+···+anxn=0とするとき、a0=a1=···an=0となることをnに関する帰納法で証明する
n=0のときは明らか。n−1まで成り立つとする。x=0とすると、a0=0である
(a1+ a2x+···+anxn−1)x=0より、a1+a2x+···+anxn−1=0である
帰納法の仮定から、a1=···an=0となる。よって、1,x,··· ,xnは一次独立である
したがって、1,x,··· ,xnはF[x]nの基底になる■
797132人目の素数さん
垢版 |
2026/09/01(火) 16:42:47.59ID:i4jVyJ3Z
>>796 つづき

さて、しっぽ同値を使う 札付 確率1/2の補足

1)札付きの定理 >>4 より https://imgur.com/1E6b4P9
”次にサイコロの目の並び{1,2,3,4,5,6}^Nに
有限個の違いを無視する同値関係を入れる”
”1列目が一致し始めるのがn1個目とする *)”
2)つまり、n1個目以降の無限個のcup内のサイコロの目が一致している状態を言う
 一つの cup内のサイコロの目が一致する確率1/6 だから
 無限個のcup内のサイコロの目が一致する確率は(1/6)^N=0
3)n2についても同様
 つまり n1<n2 だの なんだかんだの議論は 全て 確率0の事象の話であり
 「一致する確率は1/2以上」と言ったところで 所詮 (1/2)x0=0■
4)なお、>>4 「この問題の方法は成り立たない
 n1,n2は確率変数になっていないから」https://imgur.com/wHI3DZv
 は、この事情を一言で表している
 さすが 吉田大学よ(^^

追記
・n1,n2 の対称性は、>>796 都築暢夫 広島大の議論で
 実数R→ 剰余環 Z/6Z(札付)に置き換えると
 どちらも同じ多項式環F[x]の無限次元空間であることから分かる
・だから 札付の 吉田大学の主張は n1,n2 の対称性は認めるが
 その対称性を使った1/2が 上記の通りナンセンスだという主張だね(^^
798現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2026/09/01(火) 16:49:56.28ID:i4jVyJ3Z
>>797 つづき

1)>>790 で ”箱入り無数目の しっぽ同値>>1と
札付>>4の 有限個の違いを無視する同値関係 とは
数学的には同じ”
 を、証明した
2)つまり、札付>>4は 箱入り無数目>>1 のミニモデルであって
 箱入り無数目に 包含されている
3)札付の不成立を示した >>797
 ゆえに 箱入り無数目論の反例が示された■
以上
799132人目の素数さん
垢版 |
2026/09/01(火) 16:57:18.82ID:i4jVyJ3Z
>>798 補足の補足
>3)札付の不成立を示した >>797

まあ、もともと 札付のマンガの中で
きっちり 「1/2」は否定している >>4 より

https://imgur.com/wHI3DZv
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 5 P64 251220.jpg
・この問題の方法は成り立たない
・n1,n2は確率変数になっていないから
https://imgur.com/iR4UNuV
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 6 P66 251220.jpg
・”ランダムに選んだ自然数のどちらが大きいか”みたいな話に結局なっちゃう
・なるほどな 確かにそうだよな!
(引用終り)

しかし、所詮マンガだから ごたごたと仔細を書くのはヤボ
マンガのセリフに 短く 数学の本質を損なわずに うまく表現している
さすがは 吉田大学よ (^^
800132人目の素数さん
垢版 |
2026/09/01(火) 17:07:29.13ID:/uXvt/N4
>>796
>しっぽ同値の確率を考えることはできない!■
誰も考えてまへんがな
で?
801132人目の素数さん
垢版 |
2026/09/01(火) 17:10:28.05ID:/uXvt/N4
>>797
>さすが 吉田大学よ(^^
さすがも何も、対称性は嘘ってみんな言ってるんだけど? 頭だいじょうぶ?
802132人目の素数さん
垢版 |
2026/09/01(火) 17:15:40.52ID:/uXvt/N4
>>797
>札付の 吉田大学の主張は n1,n2 の対称性は認めるが
はい、大嘘乙
札付きは対称性を認めてません(途中の認めるかのような発言は何なんだよという突っ込みはあるにせよ)
803132人目の素数さん
垢版 |
2026/09/01(火) 17:18:21.33ID:/uXvt/N4
>>798
>証明した
証明になってません。証明とは何かから学びましょう。

>つまり、札付>>4は 箱入り無数目>>1 のミニモデルであって
はい、大嘘乙
そもそも基本設定がまったく異なります

>札付の不成立を示した >>797
>ゆえに 箱入り無数目論の反例が示された■
嘘証明乙
804132人目の素数さん
垢版 |
2026/09/01(火) 17:30:12.25ID:/uXvt/N4
>>799
>きっちり 「1/2」は否定している
否定の根拠は対称性が不成立であること。
箱入りは対称性なるものをいっさい仮定していない。よって札付き不成立は箱入り不成立の何の根拠にもなっていない。

>さすがは 吉田大学よ (^^
吉田大学とやらは対称性が不成立という当たり前のことしか言ってない。(しかも途中ではあたかも成立するかのような読者を混乱させるようなクソっぷり)
それのどこがさすがなの? 頭大丈夫?
805132人目の素数さん
垢版 |
2026/09/01(火) 17:35:35.44ID:/uXvt/N4
サルは相変わらず頭悪いねぇ
数学のすの字も分かってない
806132人目の素数さん
垢版 |
2026/09/01(火) 17:57:30.74ID:/uXvt/N4
サルは
>箱入り無数目の しっぽ同値→ 札付 有限個の違いを無視する同値
が命題と思ってるらしい。命題とは何かから勉強し直した方が良い。
2026/09/01(火) 18:07:52.16ID:3BFbFMGl
>>797
>一つ のcup内のサイコロの目が一致する確率が1/6 だから
>無限個のcup内のサイコロの目が一致する確率は(1/6)^N=0

R^Nの中でR^nは測度0だから
その可算和∪(n∈N)(R^n)も測度0
と言いたいらしい

このこと自体は正しいが・・・何の意味もない

∪(n∈N)(R^n)の測度を1としたときの
R^nの測度は0ではない

なぜならもしそうだとすると
その可算和∪(n∈N)(R^n)も測度0で
0=1となって矛盾するから(笑)

したがって
∪(n∈N)(R^n)の測度を1としたときの
R^nの測度は非可測である
(そもそも∪(n∈N)(R^n)に
全体が1となる測度が入るかどうか
という問題があるが)

そして、今言ったことも
箱入り無数目では全く無意味である(笑)

無意味なことを考え、しかも間違ってる
まったく救いようがないニホンザル(嘲)
808132人目の素数さん
垢版 |
2026/09/01(火) 18:10:01.29ID:3BFbFMGl
>>801
誤 対称性は嘘
正 「対称性が証明できる」は嘘

ただ、札付きの定理の確率が計算不能でも、
箱入り無数目には全く無関係
2026/09/01(火) 18:12:13.67ID:3BFbFMGl
>>804
>否定の根拠は対称性が不成立であること。

「不成立」ではなく「証明不能」が正しい

したがって否定でなく証明不能
2026/09/01(火) 18:20:15.36ID:3BFbFMGl
1以上の自然数を選ぶのに
1の確率が1/2
2の確率が1/4
…
nの確率が1/2^n
とすれば、
2つの自然数n1,n2を選んで
n1>n2となる確率、n1<n2となる確率
を計算した場合、両者は等しくなる

つまり性質のいい関数なら対称になる

無理矢理、残念な分布で考えるから狂う

大阪○○大学卒のニホンザル 貴様のことだぞ
2026/09/01(火) 18:21:59.54ID:nbW1YbSa
時枝の過ち
定義、仮定を疎かにしたこと、応用数学者にありがちなこと
812132人目の素数さん
垢版 |
2026/09/01(火) 18:27:24.83ID:3BFbFMGl
>>811
元の箱入り無数目の問題と
その説明は正しかった

しかし、その後の時枝正の解説が
(非可測&無限個の確率変数の独立性)
大阪○○大学卒のニホンザルと
全く同じレベルで💩だった

1.出題を確率変数だと思い込むチョンボ
2.しかも各箱がランダムでそれぞれ独立とするチョンボ
813132人目の素数さん
垢版 |
2026/09/01(火) 19:26:25.09ID:/uXvt/N4
>>811
>定義、仮定を疎かにした
具体的に
またレス乞食か?
814132人目の素数さん
垢版 |
2026/09/01(火) 19:48:13.63ID:cI6c1Gft
>>812
>しかし、その後の時枝正の解説が
>(非可測&無限個の確率変数の独立性)
>大阪○○大学卒のニホンザルと
>全く同じレベルで💩だった
私はそうは読みませんね
(彼の人と同じような)誤った考えに基づくとどういう思い込みになるかを書いているだけで
そのように考えてはいけないと言わんとしているのだと思いますね
815132人目の素数さん
垢版 |
2026/09/01(火) 19:48:42.55ID:cI6c1Gft
>>813
ですね
816132人目の素数さん
垢版 |
2026/09/01(火) 20:03:11.29ID:3BFbFMGl
>>814
君、大学教授は神様で、決して間違うことはない、と思ってるだろ?

残念ながら、そんなことはない

>誤った考えに基づくとどういう思い込みになるかを書いているだけ
>そのように考えてはいけないと言わんとしているのだ

卑屈だね 大学教授にパワハラでもされてんの?
817132人目の素数さん
垢版 |
2026/09/01(火) 20:11:35.22ID:3BFbFMGl
ここが💩だよ 時枝正の解説 1

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

「逆に非可測な集合をこさえるには選択公理が要る
(ソロヴェイ, 1970年)から,
この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし,選択公理や非可測集合を経由したからお手つき,
と片付けるのは,面白くないように思う.」

「現代数学の形式内では確率は測度論によって解釈されるゆえ,
測度論は確率の基礎, と数学者は信じがちだ.
だが,測度論的解釈がカノニカル, という証拠はないのだし,
そもそも形式すなわち基礎, というのも早計だろう.
確率は数学を越えて広がる生き物なのである
(数学に飼いならされた部分が最も御しやすいけれど).」

そもそもR^N上の測度なんて全く使ってないので
非可測云々とか💩な言いがかりだし
それに対して測度論的解釈がカノニカルとはいえないとか
これまた💩な弁解である(嘲)
818132人目の素数さん
垢版 |
2026/09/01(火) 20:17:34.05ID:3BFbFMGl
ここが💩だよ 時枝正の解説 2

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

そもそも、1つ1つの箱は確率変数ではないので
箱どうしの(確率変数としての)独立性とか💩な妄想だし
任意有限個独立だからといって無限個独立とは限らないとか
これまた💩な弁解である(嘲)
819132人目の素数さん
垢版 |
2026/09/01(火) 20:21:11.19ID:3BFbFMGl
出題が確率事象で、しかも各項が確率変数で、それぞれが独立とか
もう二重三重に間違った妄想をしまくっている 

それを馬鹿素人が「大学教授様のいうことは全て正しい」と鵜呑みにする

だからおかしなことになる 大学教授だからいうことは皆正しい、と思ったら死ぬ(笑)
2026/09/01(火) 20:24:37.83ID:nbW1YbSa
例え話なんかどうでもいいんだよw
821132人目の素数さん
垢版 |
2026/09/01(火) 20:25:27.50ID:3BFbFMGl
もし、時枝正が誤解した通りの嘘設定だったら、
そもそも記事に書かれた確率計算が嘘になる(笑)

記事に書かれた確率計算を正当化するには
箱の中身はどれ一つ確率変数たりえない

箱の中の確率分布を使った計算なんて
一つもしてないんだから(笑)

記事に書かれていることを正しく理解していたら
あんな💩解説書きようがない(笑)
822132人目の素数さん
垢版 |
2026/09/01(火) 20:29:14.49ID:3BFbFMGl
出題の100列も、同値類の代表も、それぞれの列の決定番号も、皆決まっていて動かない

だから、決定番号が単独最大の1列を選ばなければ、当たる

もうそれだけの小学生レベルの数学手品

非可測性とか無限個の確率変数とか全然出てこない(笑)
2026/09/01(火) 20:29:32.28ID:dBwpBTTP
俺の真骨頂の💩が…w
824132人目の素数さん
垢版 |
2026/09/01(火) 20:30:57.12ID:3BFbFMGl
もし、時枝正が箱入り無数目の手品を正しく理解した上で
非可測性とか無限個の確率変数とかいったのなら
それは読者をたぶらかす詐欺発言なので実に悪質
825132人目の素数さん
垢版 |
2026/09/01(火) 20:32:16.92ID:3BFbFMGl
💩な誤解発言なのか
💩な詐欺発言なのか

どっちにしても
💩であることに間違いない(笑)
826132人目の素数さん
垢版 |
2026/09/01(火) 20:36:48.17ID:3BFbFMGl
最大級に💩な時枝正擁護発言

「時枝正は手品のトリックを完全に理解している
しかし記事でトリックのタネあかしをするのは
手品を考えた人の商売を邪魔することになる
だから、あえて見当違いなボケ発言をすることで
トリックのタネを隠蔽したのである」

もっともらしいが、読者をたぶらかしてる点では💩である(笑)
2026/09/01(火) 20:39:26.87ID:nbW1YbSa
くだらん書き込みだなw
828132人目の素数さん
垢版 |
2026/09/01(火) 20:42:49.07ID:3BFbFMGl
>>827
ハハハハハ

今やあの記事の後半は壮大なフカしだと気付いてしまったので
真面目に受け取るのはまったくバカバカしい(笑)
829132人目の素数さん
垢版 |
2026/09/01(火) 21:08:25.18ID:/uXvt/N4
>>827
一番くだらんおまえが言うな
2026/09/01(火) 21:12:03.53ID:dBwpBTTP
腹が下ると💩が出る。
こういうのが本当に下らないということw
831132人目の素数さん
垢版 |
2026/09/01(火) 21:18:26.65ID:/uXvt/N4
前半は自明と言えば自明で数学セミナー記事としては物足りなさがある。また実質的に同じ話が世の中に既に存在していた。
後半はそういったことに対する思案の末の付け足しじゃないかな。
仮に時枝氏が誤解していたならあの完璧な前半は書けないと思う。
832132人目の素数さん
垢版 |
2026/09/01(火) 21:24:27.04ID:/uXvt/N4
>>820
例え話とは?
833132人目の素数さん
垢版 |
2026/09/01(火) 21:31:33.56ID:3BFbFMGl
>>831
前半については、聞いた通りに書けばいいだけかと
余計なことを何ひとつ書いてないのはそういうことかと

後半は余計なことしか書いてないが
あれが誤解でないとしたら手品を成立させるために
わざとボケまくったとしかいいようがない
そう思うとボケがクサすぎる💩
834132人目の素数さん
垢版 |
2026/09/01(火) 21:33:24.15ID:3BFbFMGl
教訓

数セミの記事は、著者が真面目に解説してる、と単純素朴に信じないほうがいい(笑)
835現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2026/09/01(火) 21:56:04.05ID:uhpajyge
>>723
>ちなみに以下の大学教授も成立派
> Stanford大学教授 時枝正
> Kusiel-Vorreuter大学教授 Sergiu Hart
> Baylor大学教授 Alexander Pruss

笑えるwww(^^
一本も正規の査読投稿論文がない
一つは 一般教養の数学セミナーで査読なし>>1(因みに 下記河東先生は中学生で読んでいた* 私は大学でだがw)
さらに Sergiu Hart氏は 自分のホームページに 数学でなく”Some nice puzzles”で掲載するのみ>>6
Alexander Pruss氏は mathoverflowの質問への回答 >>5

実際、一本の査読投稿論文もない
箱入り無数目を定理として 引用した論文さえない
つまりは、プロ確率論学者は 箱入り無数目を定理として認めていない!w(^^;

(余談)
* https://www.ms.u-tokyo.ac.jp/~yasuyuki/suri0810.pdf
河東泰之, 私はどうして数学者になったか,「数理科学」 Vol.46-10, pp.78-83, サイエンス社,2008.(『数学の道しるべ』,pp.170-179, サイエンス社,2011に再録)
”中学1年の夏から秋にかけて,「大学への数学」と「数学セミナー」を見つけて読むようになった.とても熱心にはしからはしまでよく読んだと思う.”

>>729
>一方不成立を公言する大学教授は皆無

猫またぎ
自明に不成立な与太話を プロ数学者が 批判してもしかたない
まして ほとんど 確率論素人の 大道芸人風*)の時枝氏が 一般大衆向けに書いた記事を 大上段に批判するとか それは大人げないわな(^^
プロ確率論の数学者は、猫またぎ で手を出さないのが真相だろう

*)日本では、数学大道芸人として ピーター フランクルさんが有名だった(下記)
(参考)
https://ja.wikipedia.org/wiki/%E3%83%94%E3%83%BC%E3%82%BF%E3%83%BC%E3%83%BB%E3%83%95%E3%83%A9%E3%83%B3%E3%82%AF%E3%83%AB
ピーター・フランクル(Péter Frankl, 1953年3月26日 - )は、ハンガリー出身の数学者・大道芸人・タレント。本名はフランクル・ペーテル (ハンガリー語: Frankl Péter [ˈfrɒŋklˌpe̝ːter])。日本名は富蘭 平太(ふらん へいた)。国籍はハンガリーとフランス。ユダヤ系ハンガリー人である。ハンガリー科学アカデミー国外会員。ホリプロ所属。
算数オリンピック委員会専務理事、国際数学オリンピック・日本チームコーチ、東京大学非常勤講師、フランス国立科学研究センター教授。日本ジャグリング協会名誉理事。元早稲田大学理工学部客員教授。
836132人目の素数さん
垢版 |
2026/09/01(火) 22:02:05.09ID:/uXvt/N4
査読論文でしか公言できないと言いたいの? 頭だいじょうぶ?
837132人目の素数さん
垢版 |
2026/09/01(火) 22:58:16.24ID:FhLIeOeH
On the Riemann Boundary Value Problem for Poly- and Meta-hyperanalytic Function Spaces over d-summable Curves
Yan Dai, Juan Bory-Reyes, Fuli He
838132人目の素数さん
垢版 |
2026/09/01(火) 23:14:17.99ID:kScyJX3Z
>>831
理解すれば自明ですが
なぜ自明に見えないか
つまりこの話が面白いのかを考えると
ああいう独立性についての誤解が元凶だと分析したのでしょう
839132人目の素数さん
垢版 |
2026/09/01(火) 23:18:06.65ID:kScyJX3Z
>>816
いやそうではなくてw
ああ書く理由は十分あると思うからですよ
なぜこの話が面白いのか
それは誤解を生みやすい構造になっているからで
彼の人もまんまとそこにはまり込んで10年な訳です
その誤解がどこから来るかを分析したのでしょう
まあ妥当な分析だと思いますね
いずれにせよ
この部分は「誤解」を解説しているわけなので
箱入り無数目の話自体とは切り離して読む必要があるでしょう
840132人目の素数さん
垢版 |
2026/09/01(火) 23:25:47.93ID:FhLIeOeH
A Note on the Converse Sendov Problem
Dragomir Grozev, Nikolai Nikolov
2026/09/01(火) 23:27:04.34ID:nbW1YbSa
ショーマンだからw
842132人目の素数さん
垢版 |
2026/09/02(水) 00:20:22.16ID:OUBcKQxi
誤解の解説ならそう書くでしょさすがに
2026/09/02(水) 04:08:48.76ID:plNlhMOK
お受験浸りの箱入り息子が阪大には多そう
現代抽象数学には無理数女
844132人目の素数さん
垢版 |
2026/09/02(水) 04:45:54.77ID:EGNSbaxB
>>842
「反省」と書いてますね
自分も「誤解」していたからこそ
「意外」に思ったのでしょうが
確かに「成立」しているので
「反省」と書いたのではないかな
2026/09/02(水) 06:45:44.26ID:/kmckTvA
>>839
>ああ書く理由は十分ある
ないよ 全部ミスリーディング

非可測は誤解とか、
無限個の確率変数は誤解とか、
はっきり書いてる?書いてないよね

じゃミスリーディング
著者自身が彼の人なんだよ
もしマジで書いてるなら🐎🦌丸出し
まあ全部冗談なんでしょう
手品のタネを隠すための
だから後半は意図的なミスリーディング
悪意1000%だな(笑)
2026/09/02(水) 06:47:52.10ID:pZq3t6O9
>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
時枝は引用してないから関係ない。それとも時枝記事は既知の事実を知らないことにしたのか、ひでー数学者だなw

>Stanford大学教授 時枝正
>「第k列のD番目の箱に入った実数はS^k(D)=r(D)と賭ければ,めでたく確率99/100で勝てる.確率1-εで勝てることも明らかであろう.」
>数学セミナー201511月号「箱入り無数目」
出題者は?解答者はどうするんだ?w
2026/09/02(水) 06:50:06.18ID:/kmckTvA
>>844
>「反省」と書いてますね

反省になってないけどね
反省すべきは、何が確率事象、確率変数か、取り違えたこと

箱に中身を入れる行為が
確率事象だと思い込んだこと

箱の中身が
確率変数だと思い込んだこと

これが反省すべきこと
はっきりそう書いてある?違うよね

むしろそう思わせるようにミスリードしてる
手品のタネを隠すためとはいえ
悪質極まりないよね(笑)
2026/09/02(水) 06:54:01.02ID:pZq3t6O9
>前半は自明と言えば自明で数学セミナー記事としては物足りなさがある。また実質的に同じ話が世の中に既に存在していた。
>後半はそういったことに対する思案の末の付け足しじゃないかな。
>仮に時枝氏が誤解していたならあの完璧な前半は書けないと思う。

論文でも補題が間違っていて修正不可能だったことはよくある。まして数学セミナーのたった2ページの記事なんか
俺が既に指摘したことだがwww
2026/09/02(水) 07:28:56.17ID:pZq3t6O9
解答者は答えと同じ同値類から回答を選ぶのか。ペテンだなw
850132人目の素数さん
垢版 |
2026/09/02(水) 07:36:24.31ID:OUBcKQxi
>>846
>ひでー数学者だな
人格攻撃しても不成立の根拠には1ミリもならないよ。

>出題者は?解答者はどうするんだ?w
意味不明。
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況