19/08/02 18:52:33.60 ZHN8Qh/w.net
スレ47 ｽﾚﾘﾝｸ(math板:18番)-
18 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2017/11/30(木) 22:05:26.79 ID:IqNIthYM [18/76]
>>11 関連
35 ｽﾚﾘﾝｸ(math板:12-18番) 時枝問題（数学セミナー201511月号の記事）
（以下時枝記事をもう一度貼り直す。上記の時枝記事引用は、スキャナーで読み込んでOCR変換のとき誤変換が存在するので、誤記修正も含めて訂正版を再掲する。）
過去スレ20 再録 ｽﾚﾘﾝｸ(math板:2-7番)
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
つづく
51:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/02 18:53:32.20 ZHN8Qh/w.net
つづき
スレ47 ｽﾚﾘﾝｸ(math板:19番)-
19 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2017/11/30(木) 22:07:46.93 ID:IqNIthYM [19/76]
>>18 つづき
２．続けて時枝はいう
私たちのやろうとすることは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などは下付添え字
(引用終り)
以上
52:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/02 18:54:48.46 ZHN8Qh/w.net
>>43
>>45-46な（＾＾；
53:１３２人目の素数さん
19/08/02 19:14:03.77 TLyxS4YE.net
>>47
> >>45-46な（＾＾；
だから記事をちゃんと読めばスレ主自身の間違いも簡単にわかるでしょ
よかったですね
54:１３２人目の素数さん
19/08/02 19:14:35.95 HyWaF781.net
>>36
>数学においては、∞は記号であり、無限公理であり、1/∞＝0は定義であり
工学馬鹿がウソ数学を語るなよ
∞は無限公理？白痴か？
1/∞＝０は定義？白痴か？
55:１３２人目の素数さん
19/08/02 19:18:14.74 HyWaF781.net
>>42
無限公理が間違いだといいたいなら
無限公理から矛盾を導くしかない
言い訳せずにやってごらん
56:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/02 21:12:40.74 iEpfJmnQ.net
>>49 （＾＾；
＞∞は無限公理？白痴か？
ZFCから、無限公理を抜けば、無限集合が存在しないよ！
ということは、有限集合だけしないないんだぞ！ｗ（＾＾
”∞”をどこから導くというのか？ あ～んｗ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
無限公理
(抜粋)
無限公理（むげんこうり、英: axiom of infinity）とは公理的集合論におけるZF公理系を構成する公理の一つで、「無限集合の存在」を主張するものである。エルンスト・ツェルメロによって1908年に初めて提示された。
独立性
無限公理はZF公理系において独立した公理である。すなわちZF公理系の他の公理たちから導くことも反証することもできない。
(引用終り)
＞1/∞＝０は定義？白痴か？
”∞”は、もともと数じゃないんだろ？ うん？ｗ（＾＾
なので、下記の「拡大実数」にもあるように、算術演算をきちんと定義するのが、まっとうな数学者の態度だよｗ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
拡大実数
(抜粋)
数学における拡張実数（かくちょうじっすう、英: extended real number; 拡大実数）あるいはより精確にアフィン拡張実数 (affinely extended real number) は、通常の実数に正の無限大 +∞ と負の無限大 ?∞ の二つを加えた体系を言う。
新しく付け加えられた元（無限大、無限遠点）は（通常の）実数ではないが、文脈によってはこれらを含めた全ての拡張実数を指して便宜的に「実数」と呼ぶこともあり、その場合通常の実数は有限実数と呼んで区別する[1]。
算術演算
実数全体 R における四則演算は、以下の規約により部分的に R まで拡張することができる。
a/(±∞)＝0 （a∈R）
(引用終り)
57:１３２人目の素数さん
19/08/02 21:23:15.76 goMJLft3.net
>>13
>問答無用！ｗ（＾＾；
思考停止乙ｗ（＾＾；
58:１３２人目の素数さん
19/08/02 21:24:03.39 goMJLft3.net
>>13
>問答無用！ｗ（＾＾；
問答の能力の欠如！ｗ（＾＾；
59:１３２人目の素数さん
19/08/02 21:31:03.14 goMJLft3.net
>>1
これもテンプレに入れとけ（＾＾
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
バカ主は反例の意味が分かってない
バカ主は正規部分群すら理解していないのにガロア理論を語る
バカ主は大学一年4月にεN論法についていけず落ちこぼれた
バカ主は同値類も選択公理も分かってないのに時枝不成立と喚いている
バカ主は池沼である
バカ主は”共通のしっぽ”を本気で信じている
スレ主は答えられないと「問答無用」で逃げる
60:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/02 21:31:36.92 iEpfJmnQ.net
>>48
分ってないね
D∈N（自然数）で
決定番号Dが、N（自然数）中で一様分布
つまり、N（自然数）中で、1つずつ存在する
つまり、{１，２，３，・・・}と、各数１つずつとすると
ある有限の定数ｍ∈Nを選べば
P（ D <=m ）＝0
（∵ Nは無限集合 ）
どういうことかというと
時枝の可算無限長数列で、ある有限ｍまでのシッポの箱を開けると
その数列がどの同値類に属するかは、分るけど
決定番号は、ｍより大きい
つまり、ｒDはすでに、シッポの一致の範囲外でしょ
で、決定番号Dは、N（自然数）中で一様分布ではなく、本当はもっと裾の重い分布だからねー、これはどうしようもないでしょｗ（＾＾；
61:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/02 21:47:56.59 iEpfJmnQ.net
まあ、時枝は循環論法みたいなものでしょ
（100個中１個にすぎないとか言って）
確率99/100を前提として、
確率99/100を導いているｗ（＾＾；
それって、算数ですらない
62:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/02 21:59:32.93 iEpfJmnQ.net
（再掲）
スレ71 ｽﾚﾘﾝｸ(math板:996番)
996 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/07/06(土) 07:08:38.70 ID:VIlX14tJ [3/3]
時枝は、反例構成>>27-29で、とっくに終わっている
反例構成>>27-29では、時枝の手法を抽象化して、
”有限の数Dを決める方法は、時枝記事の通りでもいいし、別の方法でもいい。
選択公理を使っても使わなくてもいい。
但し、数学的に正当化できる手段でなくてはならない（例：こっそり箱を覗くなどはダメです）”
としてある
だから、プレーヤー1とプレーヤー2とか、同値類うんぬんとか、無関係
なんでもいいから、可算無限長の数列が構成できて、ある有限の数Dを決める方法があって、Ｄ番目の箱だけを未開封にして、他の箱を開けて、他の箱の数の情報から、Ｄ番目の箱の数を確率1-εで的中させる手法があれば
そういう手法の存在は、現代数学の関数の定義に反するのです
そういう手法は、ジュセリーノの地震予知的中率90%以上（>>877ご参照）と同じ類いのお話なのです
的中率90%以上と主張するが、その実当たらない
(引用終り)
63:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/02 22:02:12.28 iEpfJmnQ.net
スレ71 ｽﾚﾘﾝｸ(math板:29番)
29 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/06/22(土) 22:23:18.91 ID:cA6sFXL+ [29/35]
（追加）
スレ67 ｽﾚﾘﾝｸ(math板:520番)
時枝記事の解法を抽象化した版を、引用しておきます
＜時枝記事の解法抽象化版＞
１）可算無限数列ｓ
（s = (s1，s2，s3 ，・・・) で、数s1たちが箱に入っているとする
（数学的には余計だが、時枝とのつなぎのために））
２）ある番号から先のしっぽが一致する同値類を考える
３）ある有限の数Dを何らかの方法で決める（ここを抽象化している（＾＾ ）
４）(D+1) 番目から先の箱だけを開ける（数学的には、「情報を得る」ないし単に「知る」としても意味同じ）
５）同値類の代表の数列のD番目の数と、問題の数列のD番目の数が一致する確率1-ε （ここに、εはいくらでも小さくできる）
となる
有限の数Dを決める方法は、時枝記事の通りでもいいし、別の方法でもいい。
選択公理を使っても使わなくてもいい。
但し、数学的に正当化できる手段でなくてはならない（例：こっそり箱を覗くなどはダメです）
（反例の存在）
もし、上記の＜時枝記事の解法抽象化版＞（ここに時枝記事も含まれる）が正しいとすると
これに対する反例は、一般数学の中にいくらでも存在する（可算無限数列が取れさえすれば良いのだから（＾＾ ）
例えば、関数値の数列の数当て（>>193&>>197）
また、形式的冪級数の係数の数当て（>>256-257）
なお、時枝記事の原文は下記
（参考）
時枝記事アスキー版 スレ47 ｽﾚﾘﾝｸ(math板:18番)-25
なお、これによって、スレ68で「時枝は不成立」という結論で、決着しました ＼（＾＾）／
64:１３２人目の素数さん
19/08/02 22:06:15.49 TLyxS4YE.net
>>55
an, bn, cnの3列があったらそのうちの2列が的中する
たとえばanが的中しない列とすればその場合はスレ主が書いていることは
成り立つが時枝記事とも矛盾していないわけ
的中確率は2/3だから
> ｒDはすでに、シッポの一致の範囲外
この数列を選ぶ確率は3列ならば1/3
anで的中しない理由 = 「範囲外」の理由は
Db < Da かつ Dc < Da が成立しているからであって
(Da, Db, Dcはそれぞれ数列an, bn, cnの決定番号)
そうするとbnやcnではr(Da)を使うことになるから
Db < Da かつ Dc < Daより「シッポの一致の範囲内」にしかならないでしょ
スレ主が書いている確率は
「確率1でシッポの一致の範囲外」の「」内の確率1
的中確率は3列の場合は
「確率1でシッポの一致の範囲外」の数列を選ぶ確率は1/3
「確率1でシッポの一致の範囲内」の数列を選ぶ確率は2/3
>>56
> 確率99/100を前提として、
上に書いたことからそんな前提はしていないことは明らか
65:１３２人目の素数さん
19/08/02 22:22:34.12 goMJLft3.net
>>55
相変わらずバカレス乙
分布がどうとか時枝解法とはなんの関係も無い
なぜなら「100個の決定番号のうち単独最大はたかだか一個」という否定しようのない事実がある限り時枝解法は成立するので
バカにはそれが分からないだけの話
66:１３２人目の素数さん
19/08/02 22:27:53.30 goMJLft3.net
>>58
相変わらずバカレス乙
>これに対する反例は、一般数学の中にいくらでも存在する（可算無限数列が取れさえすれば良いのだから（＾＾ ）
存在しません（＾＾
>例えば、関数値の数列の数当て（>>193&>>197）
反例と言いたいならまずは「数当てができてはならない」と謳っている関数の定義を示すことだ（＾＾
>また、形式的冪級数の係数の数当て（>>256-257）
上に同じ（＾＾
67:１３２人目の素数さん
19/08/02 22:29:01.06 goMJLft3.net
反例の意味が分かってないバカ主ｗ
68:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/03 06:45:53.73 ja6T8EuE.net
>>55 訂正
ある有限の定数ｍ∈Nを選べば
↓
任意の有限の定数ｍ∈Nを選べば
だな
よって、全文再掲は下記
分ってないね
D∈N（自然数）で
決定番号Dが、N（自然数）中で一様分布
つまり、N（自然数）中で、1つずつ存在する
つまり、{１，２，３，・・・}と、各数１つずつとすると
任意の有限の定数ｍ∈Nを選べば
P（ D <=m ）＝0
（∵ Nは無限集合 ）
どういうことかというと
時枝の可算無限長数列で、任意の有限ｍまでのシッポの箱を開けると
その数列がどの同値類に属するかは、分るけど
決定番号は、ｍより大きい
つまり、ｒDはすでに、シッポの一致の範囲外でしょ
で、決定番号Dは、N（自然数）中で一様分布ではなく、本当はもっと裾の重い分布だからねー、これはどうしようもないでしょｗ（＾＾；
以上
69:１３２人目の素数さん
19/08/03 06:55:15.21 +9xU4Qzq.net
>>56
＞（100個中１個にすぎないとか言って）
「とか言って」で馬鹿っぷり全開ｗ
「互いに他の決定番号より大きい2列」があるなら示してみろよ
出来ない時点で貴様の負けなんだよ
70:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/03 06:56:26.54 ja6T8EuE.net
スレ73 ｽﾚﾘﾝｸ(math板:811番)-
(抜粋)
”それの証明ってあるかな
100個中99個だから99/100としか言ってるようにしか見えないけど．”（by 確率論の専門家さん(2016/07/03)）（＾＾
過去、確率論の専門家さん（ ID:f9oaWn8A）が来訪して、Pruss氏の指摘（2013）とほぼ同じことを指摘している（下記）
スレ20 ｽﾚﾘﾝｸ(math板:519-番)
519 １３２人目の素数さん 投稿日2016/07/03(日)ID:f9oaWn8A
>>518
X=(X_1,X_2,…)をR値の独立な確率変数とする．
時枝さんのやっていることは
無限列x=(x_1,x_2,…)から定められた方法によって一つの実数f(x)を求める．
無限列x=(x_1,x_2,…）から定められた方法によって一つの自然数g(x)を求める．
P(f(X)=X_{g(X)})=99/100
ということだが，それの証明ってあるかな？
100個中99個だから99/100としか言ってるようにしか見えないけど．
522 １３２人目の素数さん 投稿日2016/07/03(日)ID:f9oaWn8A
面倒だから二列で考えると
Y=(X_1,X_3,X_5,…）とZ=(X_
71:2,X_4,X_6,…)独立同分布 実数列x=(x_1,x_2,…)から最大番号を与える関数をh(x)とすると P(h(Y)>h(Z))=1/2であれば嬉しい． hが可測関数ならばこの主張は正しいが，hが可測かどうか分からないのでこの部分が非自明 528 １３２人目の素数さん 投稿日2016/07/03(日)ID:f9oaWn8A おれが問題視してるのはの可測性 正確にかくために確率空間(Ω,F,P)を設定しよう Y,Zはそれぞれ(Ω,F)から(R^N,B(R^N))の可測関数である． もしhが(R^N,B(R^N))から(N,2^N)への可測関数ならば h(Y),h(Z)はそれぞれ可測関数となって{ω|h(Y(ω))>h(Z(ω)}∈FとなりP({ω|h(Y(ω))>h(Z(ω)})=1/2となるけど hが(R^N,B(R^N))から(N,2^N)への可測関数とは正直思えない 532 返信１３２人目の素数さん 投稿日2016/07/03(日)ID:f9oaWn8A >>530 >2個の自然数から1個を選ぶとき、それが唯一の最大元でない確率は1/2以上だ 残念だけどこれが非自明． hに可測性が保証されないので，d_Xとd_Yの可測性が保証されない そのためd_Xとd_Yがそもそも分布を持たない可能性すらあるのでP(d_X≧d_Y)≧1/2とはいえないだろう (引用終り)
72:１３２人目の素数さん
19/08/03 06:58:25.01 +9xU4Qzq.net
>>63
＞決定番号は、ｍより大きい
＞つまり、ｒDはすでに、シッポの一致の範囲外でしょ
ウソつきだな おまえ
１００列が１００列 全部そうなるか？
ならないだろ？
他の列より大きい決定番号を持つ列はたかだか１つしかない
２つ以上存在するとしたら矛盾する
この瞬間貴様はトンデモとして永遠に嘲笑されるピエロになったんだｗ
73:１３２人目の素数さん
19/08/03 06:59:35.79 +9xU4Qzq.net
>>65
測度論は必要ない
測度論を持ち出しても
「互いに他の決定番号より大きい2列」
は存在しえない
つまり貴様の完全な敗北
死ね トンデモｗ
74:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/03 07:02:13.93 ja6T8EuE.net
>>65
＞Pruss氏の指摘（2013）とほぼ同じことを指摘している（下記）
スレ73 ｽﾚﾘﾝｸ(math板:479番)-
(引用開始)
479 返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/07/23(火) 07:22:12.96 ID:Iq5QMAZ/ [11/16]
>>474 補足
あと、下記が参考になる
（なぜ、mathoverflow>>465 の手法が成立たないのか？ ”CONGLOMERABILITY”が成立ってないというのが、数学DR Alexander Pruss氏の指摘（2013）で、それを2018年の著書で詳しく解説している）
スレ65 ｽﾚﾘﾝｸ(math板:750番)-754
URLﾘﾝｸ(books.google.co.jp)
Infinity, Causation, and Paradox 著者: Alexander R. Pruss Oxford University Press, 2018
P75
(抜粋)
2.5.3 COUNTABLE ADDITITVITY AND CONGLOMERABILITY
(引用終り)
（mathoverflowの”conglomerability”関連箇所）
URLﾘﾝｸ(mathoverflow.net)
Probabilities in a riddle involving
75: axiom of choice Dec 9 '13 (抜粋) （Alexander Pruss氏） ＜12＞ (抜粋) The probabilistic reasoning depends on a conglomerability assumption・・ But we have no reason to think the event of guessing correctly is measurable with respect to the probability measure induced by the random choice of sequence and index i, and we have no reason to think that the conglomerability assumption is appropriate. A quick way to see that the conglomerability assumption is going to be dubious is to consider the analogy of the Brown-Freiling argument against the Continuum Hypothesis (see here for a discussion). http://www.mdpi.com/2073-8994/3/3/636
76:１３２人目の素数さん
19/08/03 07:05:38.91 +9xU4Qzq.net
{0,1}^NはS^1と同一視できる
S^1の通常の測度において
{0,1}^Nの尻尾の同値類の代表元の集合SR
は非可測集合だが、実はそれだけでなく
もっと困った性質を有するｗ
実はバナッハ・タルスキの逆説のように
１つの円からいくつもの円を作り出せてしまう
上記のSRを有理数分だけ回転させた全体はS^1と一致するが、
有理数の集合を２つの無限集合に分けて
それぞれから有理数全体への写像をつくれば
１つの円を２つにできる
（有理数どうしの対応から有理数分の回転が作れる）
77:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/03 07:05:53.83 ja6T8EuE.net
>>68 参考追加
スレ73 ｽﾚﾘﾝｸ(math板:474番)-
(引用開始)
474 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/07/23(火) 06:56:06.41 ID:Iq5QMAZ/ [8/16]
>>465 補足
＞「定義1.1. 時間t ∈ T をパラメーターとして持つ確率変数の族（Xt）を確率過程という．」
重川のテキスト中に、時間t ∈ T パラメーターとして、1,2,3,・・・という離散パラメータと、連続パラメータとがあると書いてある
1,2,3,・・・という離散パラメータが、時枝に相当するんだよ
蛇足だが
＞ 数学DR Alexander Pruss氏
（参考）”publishing several papers in Proceedings of the American Mathematical Society and other mathematical journals,[4]”な（＾＾
URLﾘﾝｸ(en.wikipedia.org)
Alexander Pruss
Alexander Robert Pruss (born January 5, 1973) is a Canadian mathematician, philosopher, Professor of Philosophy and the Co-Director of Graduate Studies in Philosophy at Baylor University in Waco, Texas.
Biography
Pruss graduated from the University of Western Ontario in 1991 with a Bachelor of Science degree in Mathematics and Physics.
After earning a Ph.D. in Mathematics at the University of British Columbia in 1996 and publishing several papers in Proceedings of the American Mathematical Society and other mathematical journals,[4] he began graduate work in philosophy at the University of Pittsburgh.
78:１３２人目の素数さん
19/08/03 07:08:08.64 +9xU4Qzq.net
>>69の話はワプナーの「バナッハ＝タルスキの逆説」に書いてある
つまり、非可測に固執する限り、スレ主の主張も正当化できないｗ
79:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/03 07:09:48.75 ja6T8EuE.net
>>70 参考追加
スレ73 ｽﾚﾘﾝｸ(math板:465番)-
465 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/07/23(火) 06:28:04.79 ID:Iq5QMAZ/ [4/16]
(参考)
・時枝記事後半
スレ47 ｽﾚﾘﾝｸ(math板:22番)-
「独立な確率変数の無限族 X1，X2，X3，…」
「n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切
80:もらえないのだから.」 （時枝記事全体は、スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/18- ） ・IIDと確率変数の無限族の補足説明 スレ72 https://rio2016.5ch.net/test/read.cgi/math/1562292879/313- https://ja.wikipedia.org/wiki/%E7%8B%AC%E7%AB%8B%E5%90%8C%E5%88%86%E5%B8%83 独立同分布（IID) https://www.math.kyoto-u.ac.jp/~ichiro/lectures/2013bpr.pdf 2013年度前期 確率論基礎 講義ノート 重川一郎 京都大学大学院理学研究科数学教室 P47 「定義1.1. 時間t ∈ T をパラメーターとして持つ確率変数の族（Xt）を確率過程という．」 ・”XDは確率1－ε（例えば99/100など）で、実数値rDを取るという。これは矛盾である”は、 下記、mathoverflowに同じ （スレ72 https://rio2016.5ch.net/test/read.cgi/math/1562292879/487 ） 数学DR Alexander Pruss氏の指摘（下記） https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice (抜粋) Consider a single sequence of infinitely many independent fair coin flips. ・・then guess π. (Yes, I realize that π not∈{0,1}.) Intuitively this seems a really dumb strategy.
81:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/03 07:12:11.80 ja6T8EuE.net
>>71
＞つまり、非可測に固執する限り、スレ主の主張も正当化できないｗ
ありがとう、”スレ主の主張も”！と書いてくれてｗ
自分の主張も正統化できないんだねｗ（＾＾
QED
82:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/03 07:24:12.29 ja6T8EuE.net
>>69
”しったか”乙 ｗ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
実数直線
(抜粋)
目次
1 線型連続体
2 距離構造
3 位相的な性質
4 線型構造
5 測度空間としての性質
位相的な性質
URLﾘﾝｸ(ja.wikipedia.org)
（実数直線にただひとつの無限遠点を加えてコンパクト化できる。）
実数直線上には標準的に二つの互いに同値な方法で位相を入れることができる。一つは、実数直線が全順序集合であることを用いて順序位相を入れる方法。もう一つは先に述べた距離からくる内在的な距離位相を入れる方法である。位相空間としては、実数直線は開区間 (0, 1) に同相である。
実数直線は明らかに一次元の位相多様体である。同相の違いを除いて、境界のない一次元多様体は二種類しかなく、実数直線 R1 のほかは円周 S1 である。
実数直線には標準的な微分構造も入るから、可微分多様体にすることができる（位相空間としての構造の上に乗る微分構造は微分同相の違いを除いて一つしかない）。
実数直線は局所コンパクトかつパラコンパクトであり、また第二可算かつ正規空間である。また弧状連結であり、従って連結である一方で、任意の一点を取り除くだけで不連結にすることができる。
局所コンパクト空間としての実数直線はいくつかの方法でコンパクト化することができる。R の一点コンパクト化は円周（実射影直線）であり、付け加えられた点は符号なしの無限大と考えることができる。別な方法で、実数直線に二つの端点を付け加えて得られる端コンパクト化は拡張実数直線 [-∞, +∞] と呼ばれる。他にも、実数直線に無限個の点を付け加えるストーン-チェックコンパクト化などがある。
文脈によっては実数全体の成す集合上に標準と異なる位相（例えば下極限位相やザリスキー位相）を入れるほうが有効であることもある。R に対するザリスキー位相は有限補位相と同じになる。
測度空間としての性質
実数直線にはルベーグ測度という標準的な測度を入れることができる。
実数直線上のルベーグ測度は局所コンパクト群上のハール測度のもっとも簡単な例のひとつである。
83:１３２人目の素数さん
19/08/03 09:20:59.43 G4F/LvMb.net
>>56
>100個中１個にすぎないとか言って
じゃあおまえは「100個の決定番号のうち単独最大はたかだか1個」が間違いだと言いたいわけね？
おまえに数学は無理だから数学板から去れ
84:１３２人目の素数さん
19/08/03 09:29:39.29 +9xU4Qzq.net
>>75
知ったか詐欺師のスレ主は死ね
85:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/03 09:38:53.09 ja6T8EuE.net
>>75-76 (>>65より) ”それの証明ってあるかな 100個中99個だから99/100としか言ってるようにしか見えないけど．”（by 確率論の専門家さん(2016/07/03)）（＾＾ ”> 2個の自然数から1個を選ぶとき、それが唯一の最大元でない確率は1/2以上だ 残念だけどこれが非自明． hに可測性が保証されないので，d_Xとd_Yの可測性が保証されない そのためd_Xとd_Yがそもそも分布を持たない可能性すらあるのでP(d_X≧d_Y)≧1/2とはいえないだろう”
87:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/03 09:41:52.10 ja6T8EuE.net
（>>68より）
Pruss氏の指摘（2013）とほぼ同じことを指摘している（下記）
（なぜ、mathoverflow>>465 の手法が成立たないのか？ ”CONGLOMERABILITY”が成立ってないというのが、数学DR Alexander Pruss氏の指摘（2013）で、それを2018年の著書で詳しく解説している）
スレ65 ｽﾚﾘﾝｸ(math板:750番)-754
URLﾘﾝｸ(books.google.co.jp)
Infinity, Causation, and Paradox 著者: Alexander R. Pruss Oxford University Press, 2018
P75
(抜粋)
2.5.3 COUNTABLE ADDITITVITY AND CONGLOMERABILITY
(引用終り)
（mathoverflowの”conglomerability”関連箇所）
URLﾘﾝｸ(mathoverflow.net)
Probabilities in a riddle involving axiom of choice Dec 9 '13
(抜粋)
（Alexander Pruss氏）
＜12＞
(抜粋)
The probabilistic reasoning depends on a conglomerability assumption・・
But we have no reason to think the event of guessing correctly is measurable with respect to the probability measure induced by the random choice of sequence and index i, and we have no reason to think that the conglomerability assumption is appropriate.
A quick way to see that the conglomerability assumption is going to be dubious is to consider the analogy of the Brown-Freiling argument against the Continuum Hypothesis (see here for a discussion).
URLﾘﾝｸ(www.mdpi.com)
88:１３２人目の素数さん
19/08/03 09:54:50.17 +9xU4Qzq.net
>>74
こいつ、理解できずに悔しがってる
バカだねーｗｗｗｗｗｗｗ
89:１３２人目の素数さん
19/08/03 09:55:41.51 +9xU4Qzq.net
{0,1}^NはS^1と同一視できる
S^1の通常の測度において
{0,1}^Nの尻尾の同値類の代表元の集合SR
は非可測集合だが、実はそれだけでなく
もっと困った性質を有するｗ
実はバナッハ・タルスキの逆説のように
１つの円からいくつもの円を作り出せてしまう
上記のSRを有理数分だけ回転させた全体はS^1と一致するが、
有理数の集合を２つの無限集合に分けて
それぞれから有理数全体への写像をつくれば
１つの円を２つにできる
（有理数どうしの対応から有理数分の回転が作れる）
（ワプナー「バナッハ＝タルスキの逆説」参照）
90:１３２人目の素数さん
19/08/03 09:56:42.53 +9xU4Qzq.net
＞それの証明ってあるかな
それ＝スレ主の証明
もちろんない
つまりスレ主は「確率論の専門家」に爆殺されたｗ
91:１３２人目の素数さん
19/08/03 09:58:50.14 +9xU4Qzq.net
「IIDにより、変数の交換可能」は積分計算なしに示される
したがって、確率論の（似非）専門家の指摘は
IIDを理解できない馬鹿の戯言として却下ｗ
92:１３２人目の素数さん
19/08/03 10:03:01.01 G4F/LvMb.net
>>73
いや
時枝解法は可測性となんら関係無いのでおまえの主張だけが間違っている
h:R^N→N を数列の決定番号を与える関数とする。時枝記事で指摘されている通り h は非可測である。
与えられた数列 s を時枝記事の方法で2列 s1,s2 に分けたとする。話を簡単にするために h(s1)≠h(s2) とする。
ここで h が非可測なので P(h(s1)>h(s2))=1/2 は言えない。
一方 h(s1)∈N,h(s2)∈N であるから、h(s1),h(s2) のいずれかをランダムに選んだ方を d1、他方を d2 と置けば P(d1>d2)=1/2 が言える。
このように確率論の専門家の指摘は完全に的外れ。彼は時枝解法を誤解している。
そんなことも分からすに彼の尻馬に乗って喜んでるのがバカ主。バカ丸出し（＾＾；
93:１３２人目の素数さん
19/08/03 10:15:32.30 G4F/LvMb.net
>>77
>”> 2個の自然数から1個を選ぶとき、それが唯一の最大元でない確率は1/2以上だ
>残念だけどこれが非自明．
選び方がランダムなら自明だろｗ バカかｗ
>hに可測性が保証されないので，d_Xとd_Yの可測性が保証されない
>そのためd_Xとd_Yがそもそも分布を持たない可能性すらあるのでP(d_X≧d_Y)≧1/2とはいえないだろう”
確率論の専門家を妄信してんじゃねーよバカ 奴の誤解は明らか（>>83）
94:哀れな素人
19/08/03 10:20:18.91 kTqMdQmp.net
今日は土曜日なので朝早くからスレ主とサル石の死闘全開（笑
>>50
お前もアホだな（笑
無限は存在しないから、無限公理は成立しない（笑
それで十分だ（笑
ある命題の真偽を証明するには
いろんな方法があるのであって、
何も背理法だけに頼る必要はないのである（笑
火星人は存在しないことは、直接、
火星探検などをして証明すればよいのであって、
火星人が存在すると仮定すれば矛盾が生じる、
などということを示すことによって証明する必要はない（笑
分るか？（笑
95:１３２人目の素数さん
19/08/03 10:27:36.91 G4F/LvMb.net
>無限は存在しないから
証明してみ？
96:哀れな素人
19/08/03 10:47:05.43 kTqMdQmp.net
>>86
これまで何度も書いているではないか（笑
ほとんど僕の本に書いているのと
同じようなことを書いているのに、お前らは分っていない（笑
97:哀れな素人
19/08/03 10:57:33.40 kTqMdQmp.net
ところで僕は今、千京という男の数学動画を見ていたのだが、
この前、この男の連絡先を調べていたら、
千京夕夏という女が数学ブログを開いていることが分った。
もしかして千京と千京夕夏は夫婦か？
まあ、どうでもいいが（笑
というわけで、しばらくここから離れる（笑
まあ、サル石とスレ主、思う存分死闘してくれ（笑
98:１３２人目の素数さん
19/08/03 15:55:21.14 +9xU4Qzq.net
>>85 >>88
言い訳、そして、遁走
京大卒といっても所詮国文科
哀れな素人は所詮その程度のチンピラだったか
99:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/03 16:41:41.34 ja6T8EuE.net
>>85
哀れな素人さん、どうも。スレ主です。
>今日は土曜日なので朝早くからスレ主とサル石の死闘全開（笑
いや、「死闘」でも「私闘」でもない
�
100:ｱのスレは、キチガイサイコパス（別名ピエロ >>1)が、徘徊して他のスレに迷惑をかけない檻の役もしていますｗｗ（＾＾； (>>2より) （このスレの常連カキコさん説明） 1) 粘着の一人は、キチガイサイコパス（別名ピエロ >>1) まあ、皆さんには、サイバー空間でのサイコパスの反応とそれへの対応例（反面教師かもしらんが）を見て貰えたらと思う （このスレは暫く、キチガイサイコパスの隔離スレとして機能させますｗ（＾＾； ） （なお、彼は複数ID（4まで確認済み）を使うやつ（＾＾ ） （スレ69 https://rio2016.5ch.net/test/read.cgi/math/1560510589/551 ID4つ ） なお、火病を発症すると狂気の連投をする （スレ70 https://rio2016.5ch.net/test/read.cgi/math/1560684578/46 ） 殺人願望旺盛（＾＾ スレ69 https://rio2016.5ch.net/test/read.cgi/math/1560510589/69-74 人を“丸焼き”にして食するという人食趣味あり スレ69 https://rio2016.5ch.net/test/read.cgi/math/1560510589/77 (引用終り)
101:１３２人目の素数さん
19/08/03 16:54:53.33 +9xU4Qzq.net
>>90
一番のサイコパスは、わけもわからず
数学用語をちりばめただけの
ポストモダン的文章を書き散らかす
お前だよ、お前ｗ
102:１３２人目の素数さん
19/08/03 17:18:24.50 1Ab/M2mS.net
おっちゃんです。
真ん丸のオッパイを想像していたら、とても面白いことに気付いた。
π、|x|≠π なる任意の実数の超越数x、任意の0とは異なる代数的数yは、代数的数全体からなる体上一次独立なんだってね。
まあ、それはともかく、超越数の応用の話は聞いたことないけど、超越数の応用って何かあるのかね。
103:１３２人目の素数さん
19/08/03 17:30:07.09 1Ab/M2mS.net
いや
>π、|x|≠π なる任意の実数の超越数x、任意の0とは異なる代数的数yは、代数的数全体からなる体上一次独立
は違うな。x＝1-π だと成り立たなくなる。取り敢えず、
>π、e、任意の0とは異なる代数的数yは、代数的数全体からなる体上一次独立
だ。これならいえる。
104:１３２人目の素数さん
19/08/03 17:53:39.63 TYU0sHEs.net
このスレで脳みそ腐ってる安定の3人組は
スレ主、おっちゃん、哀れな素人だねっ
105:１３２人目の素数さん
19/08/03 17:58:00.72 1Ab/M2mS.net
>>94
鏡映を使うと幾何的に示せる。
106:１３２人目の素数さん
19/08/03 18:23:34.66 1Ab/M2mS.net
それじゃ、おっちゃんもう寝る。
107:１３２人目の素数さん
19/08/03 18:38:24.46 TYU0sHEs.net
なんで>>92-93が脳みそ腐ってるかと言うと
まず、そんなことが数学的に面白いと思う発想が腐ってる
一次独立よりも代数的に独立の方が強いが
互いに代数的に独立な超越数は無限に存在する。
特にπとかeとかを挙げても数学的構造としてあまり意味がない。
さらに、π,e,1がQの代数閉包上で一次独立かどうかは未解決だ。
それは、それよりも遥かに弱い命題である
「π+eは超越数である」が未解決であることから分かる。
そんな未解決問題を平気で「成立する」と勘違いで
言ってしまうのは脳みそが腐ってる証拠。
108:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/03 19:50:34.94 ja6T8EuE.net
>>80
＞（ワプナー「バナッハ＝タルスキの逆説」参照）
ご苦労ｗ（＾＾；
参考文献 レナード・M・ワプナー『バナッハ＝タルスキの逆説 豆と太陽は同じ大きさ？』佐藤かおり・佐藤宏樹訳、青土社、2009年12月
URLﾘﾝｸ(ja.wikipedia.org)
バナッハ＝タルスキーのパラドックス
(抜粋)
バナッハ＝タルスキーのパラドックス (Banach-Tarski paradox) は、球を3次元空間内で、有限個の部分に分割し、それらを回転・平行移動操作のみを使ってうまく組み替えることで、元の球
109:と同じ半径の球を2つ作ることができるという定理（ただし、各断片は通常の意味で体積を定義できない）。この操作を行うために球を最低5つに分割する必要がある。 バナッハ＝タルスキーの証明では、ハウスドルフのパラドックスが援用され、その後、多くの人により証明の最適化、様々な空間への拡張が行われた。 結果が直観に反することから、定理であるが「パラドックス」と呼ばれる。 参考文献 レナード・M・ワプナー『バナッハ＝タルスキの逆説 豆と太陽は同じ大きさ？』佐藤かおり・佐藤宏樹訳、青土社、2009年12月。ISBN 978-4-7917-6515-7。
110:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/03 19:56:12.46 ja6T8EuE.net
>>81
＞＞それの証明ってあるかな
＞それ＝スレ主の証明
（>>65 より）
519 １３２人目の素数さん 投稿日2016/07/03(日)ID:f9oaWn8A
(抜粋)
X=(X_1,X_2,…)をR値の独立な確率変数とする．
時枝さんのやっていることは
無限列x=(x_1,x_2,…)から定められた方法によって一つの実数f(x)を求める．
無限列x=(x_1,x_2,…）から定められた方法によって一つの自然数g(x)を求める．
P(f(X)=X_{g(X)})=99/100
ということだが，それの証明ってあるかな？
100個中99個だから99/100としか言ってるようにしか見えないけど．
(引用終り)
「時枝さんのやっていることは」と書いているだろｗ
国語も落第点かｗ（＾＾；
小学１年からやり直しｗ
111:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/03 20:01:17.71 ja6T8EuE.net
>>92
＞真ん丸のオッパイを想像していたら、とても面白いことに気付いた。
おっちゃん、どうも、スレ主です。
おっちゃん、今日は暑いな
”真ん丸のオッパイを想像していたら”か
おっちゃんが、そんな面白い人とは、初めて知ったわｗ（＾＾；
112:１３２人目の素数さん
19/08/03 20:23:48.41 G4F/LvMb.net
>>99
>100個中99個だから99/100としか言ってるようにしか見えないけど．
だから言ってるじゃん。時枝解法の確率計算は『算数』だと。
重要なのは「勝率をその算数に落とし込める数学的仕組み」の方なのに、バカは算数部分だけ見て「正しいはずがない」とか「証明が不十分」とか思ってしまう。
理解力の欠如としか言い様が無い。
113:１３２人目の素数さん
19/08/03 20:41:31.18 G4F/LvMb.net
ある二つの自然数 n, m は、それがどんな手段で決められたとしても（非可測集合を経由しようがしまいが）、必ず
n>m、 n=m、 n<m
のいずれかが成立している。
当然 p(n≧m)≧1/2 は言えない。
しかし n, m のいずれかをランダムに選んだものを a、他方を b と置けば、
p(a≧b)≧1/2 が言える。←時枝解法の確率はこっちね
確率論の専門家は、p(n≧m)≧1/2 は言えないから時枝解法は不成立と言ったが、まったく的外れ。
そんな彼の尻馬に乗っかってるのがバカ主。
114:１３２人目の素数さん
19/08/03 20:45:30.77 G4F/LvMb.net
と、これ以上ないくらい分かり易く解説してやってもバカ主の耳に念仏なんだよな～
バカ主はバカだが、聞く耳持たないと言う点で抜きん出たバカだｗ
115:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/03 21:52:28.45 ja6T8EuE.net
>>98
バナッハ・タルスキーな
千京＝>>88 哀れな素人さんご紹介の人か（＾＾；
URLﾘﾝｸ(www.youtube.com)
バナッハ・タルスキーの定理 証明のためのガイダンス 何を証明するのか。
千京
2018/12/25 に公開
ツイッター始めました。
URLﾘﾝｸ(twitter.com)
＜バナッハータルスキの定理 証明シリーズ＞
１．群作用
URLﾘﾝｸ(youtu.be)
「新版バナッハータルスキのパラドックス」
（砂田利一著 岩波書店）
の付録ページに書かれた証明を
できるだけ丁寧に説明していきます。
２．G－分割合同 前編 定義
URLﾘﾝｸ(www.youtube.com)
G－分割合同 後編 「補題２、補題３」
URLﾘﾝｸ(youtu.be)
３．「バナッハ・シュレーダー・ベルンシュタイン
の定理」の証明
URLﾘﾝｸ(youtu.be)
４．G－逆説的集合、G逆説的群
URLﾘﾝｸ(youtu.be)
５．メインの定理の証明
Gー逆説的群⇒G－逆説的集合
（仮定 GがXに自由に作用する）
前篇
URLﾘﾝｸ(youtu.be)
中編
URLﾘﾝｸ(youtu.be)
後編
URLﾘﾝｸ(youtu.be)
６．回転群と自由群
�
116:V．球面のSO(3)ー逆説性 前編 https://youtu.be/0Orchqsu-VI 中編 https://youtu.be/eYajpGCQviI 後編 https://youtu.be/8wMLwTyHFCo 球体の逆説性 https://youtu.be/qTjXHv8QjGE ８．証明の完成 https://youtu.be/vYSDtCsiYNg ＜「バナッハータルスキの定理」の証明に向けて＞ 「バナッハ-タルスキのパラドックス」新版 岩波書店 本紹介 https://www.youtube.com/watch?v=bdQ9p... 「自由群」は「可測な群」にあらず バナッハータルスキの定理 証明に向けての準備編 その１ https://www.youtube.com/watch?v=sxGXx... 「自由群」は「可測な群」にあらず その２ バナッハータルスキの定理 証明に向けての準備編 https://www.youtube.com/watch?v=V7xnO... (deleted an unsolicited ad)
117:１３２人目の素数さん
19/08/03 21:56:26.00 G4F/LvMb.net
バカ主くん、>>102に反論したまえ
おっと中傷は反論とは言わないので念のため（＾＾；
おまえ反論できないとすぐ人格攻撃に走る悪癖があるからなあ～（＾＾；
118:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/03 22:03:49.98 ja6T8EuE.net
>>88
>この前、この男の連絡先を調べていたら、
>千京夕夏という女が数学ブログを開いていることが分った。
"私は男なのだが、女みたいな名前で紛らわしいとよく言われる"
とありますな（＾＾
（参考）
URLﾘﾝｸ(plaza.rakuten.co.jp)
本を読めば『道は開ける』 - 楽天ブログ
「千京夕夏」名前の由来
(抜粋)
「姓名判断でハンドルネームをつける」
[ カテゴリ未分類 ]
「千京夕夏」というのは、私のこの楽天日記のハンドルネーム
（楽天日記の場合ペンネーム？）である。どういう理由でつけたかというと、ずばり
姓名判断的によい画数の名前
ということでつけたのだ。
以前にも書いたが、「千京夕夏」という名前はは某カルチャーセンターの
ミステリー講座で提出した作品のペンネームとして作成したのだが
（作品を作るよりもこんなことに夢中になっていた）
姓名判断において、最高の吉数のみで構成されるように作った名前が
「千京夕夏」
なのである。
私は男なのだが、女みたいな名前で紛らわしいとよく言われるが
いい格数をみたすように考えていたら、この組み合わせしか
見つけられなかったのだ。
119:１３２人目の素数さん
19/08/03 22:05:55.03 G4F/LvMb.net
バカ主、反論できず関係無い話で現実逃避ｗ
120:１３２人目の素数さん
19/08/03 22:08:36.66 G4F/LvMb.net
バカ主がどこに反論するのか楽しみｗ
>必ず
>n>m、 n=m、 n<m
>のいずれかが成立している。
か？
>n, m のいずれかをランダムに選んだものを a、他方を b と置けば、
>p(a≧b)≧1/2 が言える。
か？
まあ自然数も確率も分かってないバカ主ならどっちもあり得るｗ
121:１３２人目の素数さん
19/08/03 22:09:39.65 G4F/LvMb.net
お～い バカ主～ 息してるか～？
122:１３２人目の素数さん
19/08/03 22:11:39.23 G4F/LvMb.net
バカ主の心の声
「俺はバカ主なんて名前じゃない。だからこれは俺へのレスじゃない。無視無視」
いや、バカ主とはお前のことだよｗ お・ま・えｗ
123:１３２人目の素数さん
19/08/03 22:14:20.35 G4F/LvMb.net
バカ主チェックメイトだね
時枝解法には可測性の微塵も関係無いことが完璧に示されてしまった
さあどうする？ 3年間尻馬に乗り続けてきたバカ主くん っぷ
124:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/03 22:21:43.65 ja6T8EuE.net
”その数学者は、「おれの証明のどこにギャップがあるのか？ それを具体的に示せ！！ お前は同値類が分ってない！」と吠えたとさｗ”
「反例が、1つ示された」以上、”証明のどこにギャップがあるのか”の問答をする必要性は、必ずしもない！！ｗ
（>>17より）
再録
スレ73 ｽﾚﾘﾝｸ(math板:944番)
944 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2019/08/01(木) 07:50:24.83 ID:3WolrY+P [3/7]
＜小話その１＞
・ある数学者が、証明を発表した
・反例が、1つ示された
・その数学者は、「おれの証明のどこにギャップがあるのか？ それを具体的に示せ！！ お前は同値類が分ってない！」と吠えたとさｗ
お後が、よろしいようで（＾＾；
（参考）
URLﾘﾝｸ(www.geisya.or.jp)
大きな区分
高校数学(←Top)
>> 高校数学Ⅰ・Ａ
>> 集合と条件
(抜粋)
== 反 例 ==
《解説》
「全部が～である」という判断が正しいのは，本当に「全部が～である」ときだけで，１つでもそうでない例が見つかればこの命題は間違いであることになります．
■ このように，ｐ→ｑという命題が間違っていることを示すには，ｐであってｑでない例を１つ示せばよいことになります．
URLﾘﾝｸ(www.geisya.or.jp)
反例１つで成立しないことの証明になります．
(引用終り)
125:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/03 22:24:10.51 ja6T8EuE.net
「反例が、1つ示された」以上、「証明が正しい」とする問答もまた不要だ！！ｗｗ（＾＾
126:１３２人目の素数さん
19/08/03 22:35:04.64 G4F/LvMb.net
>>113
おまえはまず反例の意味を勉強しろｗ
次に「数当てできてはならない」と謳っている関数の定義を示せｗ
おまえコピペ得意なのにどうしてこんな時だけコピペせんの？ っぷ
はい、チェックメイト（＾＾
127:１３２人目の素数さん
19/08/03 22:35:57.96 G4F/LvMb.net
おまえの言う通り反例は一つでいい
だが一つもない っぷ
128:１３２人目の素数さん
19/08/03 22:40:01.69 G4F/LvMb.net
数当てできない実数列など存在しない
なぜなら時枝証明は実数列に何の条件も求めていないからだ
関数の定義? バカじゃねーの？ｗ
129:１３２人目の素数さん
19/08/03 22:48:29.93 G4F/LvMb.net
数当てができると関数の定義に反する
どんなバカが言ったんだ？これ っぷ
130:１３２人目の素数さん
19/08/03 23:10:55.16 G4F/LvMb.net
バカ主さん 今夜も惨敗（＾＾
間違いを認めない限り際限なく惨敗し続けますよ？（＾＾
131:１３２人目の素数さん
19/08/04 02:59:30.03 V1/Lm9oy.net
おっちゃんです。
>>97
>一次独立よりも代数的に独立の方が強いが
>互いに代数的に独立な超越数は無限に存在する。
>特にπとかeとかを挙げても数学的構造としてあまり意味がない。
幾何的構造には興味がないのか。
平面 R^2 上の原点 (0,0) を中心とする半径1の円周 S^1 はx軸に対称で、
S^1 上の点 (-1,0) の標準的な偏角は π(か0) (mod 2π)、
S^1 上の点 (0,1) の標準的な偏角は 0(かπ) (mod 2π)
で、偏角を決めるときは S^1 上の円周の長さ 2π が出て来て、πが使われているから、
幾何的に見るとπは特殊な超越数で意味がある。解析的にもπは意味がある。
オイラーの公式を見るとeも解析的、幾何的に意味がある。
132:１３２人目の素数さん
19/08/04 03:02:35.97 V1/Lm9oy.net
勿論、平面 R^2 上の原点 (0,0) を中心とする半径1の円周 S^1 は原点対称だけど。
133:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 06:33:29.36 wYXDzdNx.net
(>>13より再録)
スレ73 ｽﾚﾘﾝｸ(math板:861番)
問答無用！
（>>851より）
下記の通り「時枝の手法では、あるD∈Nがあって、XDは確率1－ε（例えば99/100など）で、実数値rDを取るという」だから
「Dが一定」である必要なし！
(>>829より）
１）独立同分布(IID)を仮定しよう。具体的に、コイントスで、{0,1}を入れた（>>812）
可算無限個の確率変数の族X1,X2,・・・（時枝記事後半にある通り）
で任意のi∈Nで、Xiは確率1/2で、0か1かの値を取る
２）ところが、時枝の手法では、あるD∈Nがあって、XDは確率1－ε（例えば99/100など）で、実数値rDを取るという
これは矛盾である（>>812）
３）独立同分布(IID)を仮定した瞬間、これで終りでしょｗ（＾＾
これには、全部裏付けがあるよ(下記)
>>465 >>474 >>479
（過去なんども繰り返し述べてきた通りだが、確率過程論の知識がないと、時枝不成立がなかなか理解できないのだろう）
>必ずXD=rD
(>>831より)
時枝の設定は、次の通り
スレ20 ｽﾚﾘﾝｸ(math板:18番)-
(抜粋)
過去スレ20 再録 ｽﾚﾘﾝｸ(math板:2-7番)
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が�
134:ﾀ数を入れる. どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい. ・・・・ 列r のD番目の実数r(D)を見て， 「第k列のD番目の箱に入った実数はs^k(D)＝rD」と賭ければ，めでたく確率99/100で勝てる. 確率1-ε で勝てることも明らかであろう. (引用終り) ここで、実数値rDは、（-∞，+∞）の範囲をカバー出来ていなければ、的中確率99/100など得られない だが、コイントスのIID ２値{0,1}のみとは、真っ向矛盾している コイントスのIID ２値{0,1}のみを仮定すれば、実数値rDで的中確率99/100など得られるはずがない！ 「必ずXD=rD」というが、例えばrD=e^π 又はrD=πなどの実数値（上記時枝記事記載の通り）では、コイントスの２値{0,1}は的中できるはずがない！！（＾＾ QED
135:１３２人目の素数さん
19/08/04 06:58:46.17 vzKIsCWL.net
>>121
> rD=e^π 又はrD=πなどの実数値（上記時枝記事記載の通り）では
> 箱にe^πを入れてもよいし，すべての箱にπを入れてもよい
> コイントスの２値{0,1}は的中できるはずがない
コイントスではそもそも箱にe^πやπを入れていないじゃないか
だからrD=e^πやrD=πになることはない
箱に入れていない数字で結論をでっち上げてまでして
あなたは一体何がしたいの
136:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 07:02:48.64 wYXDzdNx.net
>>121
ここで、
コイントスで、{0,1}
↓
サイコロで、{1,2,3,4,5,6}
としよう
１）独立同分布(IID)を仮定しよう。具体的に、サイコロで、{1,2,3,4,5,6}を入れた
可算無限個の確率変数の族X1,X2,・・・（時枝記事後半にある通り）
で任意のi∈Nで、Xiは確率1/6で、1から6の整数値を取る
２）ところが、時枝の手法では、あるD∈Nがあって、XDは確率1－ε（例えば99/100など）で、実数値rDを取るという
これは、
i)予測値の差：整数値に対し、実数値rD、
ii)確率の差：確率1/6に対し、確率1－ε（例えば99/100など）
の2つの点で矛盾である。
３）独立同分布(IID)を仮定した瞬間、これで終りでしょ
（「IIDにより、変数の交換可能」などという主張はアサッテの話で、ご無用に願いたい）
なお、上記のサイコロは、別のもっと的中確率の低い事象に置き換えることができる
そのとき、ii)の確率1－εとの差の矛盾も大きくなる
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
確率論
(抜粋)
目次
1 歴史
1.1 古典的確率論
1.2 公理的確率論
2 基礎概念の概略
3 基礎概念の数学的定義
3.1 確率空間
3.2 確率変数
3.3 確率空間の例
3.3.1 コイントス
4 期待値、分散
5 独立性
確率変数
Ω 上で定義された実数値関数で、F可測であるものを確率変数と呼ぶ。
確率変数は、例えば「サイコロの目」のように、根元事象に値を割り当てていることを定式化したものである。
この定式化により、事象が起こることは、確率変数が（各確率に応じて）ランダムに値をとることと言い換えられる。
F可測であるというのは、確率変数値を取る Ω の部分集合が必ず事象である（すなわち必ず確率をもつ）という意味である。
137:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 07:47:15.93 wYXDzdNx.net
>>123
＞F可測であるというのは、確率変数値を取る Ω の部分集合が必ず事象である（すなわち必ず確率をもつ）という意味である。
下記の重川のテキストでは、P8で、F可測を”F/Ｓ 可測写像”と表現しているね。F可測の方が、用語としてはすっきりしているかも
あと、P10などで、(置換積分)を扱っているが、全ては”可測”ありきだ。
”可測”を前提としないならば、”可測”の定義からやり直して、確率論を全部書き換えるべし
それが、（>>65より）”それの証明ってあるかな
100個中99個だから99/100としか言ってるようにしか見えないけど．”（by 確率論の専門家さん(2016/07/03)）
の意味。従来の確率論の大前提”可測”を捨てるなら、数学では確率論を１冊書き直すくらいの証明が必要だよ
それが、”それの証明ってあるかな”の意味。小学生にはわからんだろうが、小手先で誤魔化そうとしてもダメダメｗ（＾＾
（>>72より）
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
2013年度前期 確率論基礎 講義ノート 重川一郎 京都大学大学院理学研究科数学教室
(抜粋)
P8
2. 確率変数
定義2.1 (Ω、F、P) を確率空間，（S,Ｓ） を可測空間とする．ΩからS へのF/Ｓ 可測写像
Ｘ：Ω→S を確率変数と呼ぶ．
ここにXがF/Ｓ可測写像であるとは，任意のB∈Ｓに対
し，X^-1(B)＝{ω；X(ω)∈B}∈F が成り立つことをいう．
なお,P10
命題2.7 (置換積分) X を（S,Ｓ）に値をとる確率変数とする．またf を（S,Ｓ）上の実数値
可測関数とする．実確率変数f(X) が確率P に関し可積分のとき，f(X) はS上P^Xに関
し可積分で，次の公式が成り立つ：
略
右辺は確率測度P^Xによる積分である．
(引用終り)
138:哀れな素人
19/08/04 07:49:10.45 YHlwXkGl.net
>>89
何でお前のようなアホに対して、
言い訳したり遁走する必要があるのか（笑
無限が存在しない理由は何度も説明しているのであって、
何度説明しても理解できない、
お前のようなアホを相手にする必要はない（笑
どうせお前はサル石だろうが、
サル石ではないにしても、お前には数学は無理（笑
139:哀れな素人
19/08/04 07:55:47.93 YHlwXkGl.net
>>102
p(n≧m)の確率もp(a≧b)の確率も同じだアホ（笑
p(n≧m)の確率は、自然数をｋと置くなら、
(1-1/k)/2＋1/k＝1/2＋1/2kであって
p(n≧m)＞1/2 である（笑
p(n≧m)≧1/2 ではない（笑
お前のアホさが露呈している（笑
前スレ>>688参照（笑
140:哀れな素人
19/08/04 07:57:35.60 YHlwXkGl.net
お前がどんなに勝ち誇ろうが、時枝戦略は
前スレの>>377-379>>683によって成立しない（笑
つまり、スレ主の時枝不成立の理由が間違っているとしても、
時枝戦略は不成立だから、お前の負けだ（笑
そんなに時枝成立に自信があるなら、
時枝問題専用スレを立てればいいのに、なぜ立てない（笑
怖いのか（笑
141:哀れな素人
19/08/04 08:00:09.60 YHlwXkGl.net
このスレでサル石が大きな顔をしていられるのは、
このスレの参加者が少数だからだ（笑
そいつらが、揃いも揃ってアホで、
サル石のアホさを指摘できない（笑
だからサル石が勘違いして大きな顔をする（笑
ヤフー掲示板でもまったく同様で、
サル石が大きな顔をしていられたのは、
スレの参加者がサル石と市川氏だけだったからだ（笑
スレの参加者が多くなれば、
サル石のアホさが満天下に晒される（笑
もちろんスレ主のアホさも晒されるわけで、
それを怖れて、この二人は時枝問題専用スレを立てない（笑
142:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 08:02:37.39 wYXDzdNx.net
>>119
>一次独立よりも代数的に独立の方が強いが
おっちゃん、どうも、スレ主です。
ご参考（＾＾
URLﾘﾝｸ(ch.nicovideo.jp)
【no】物理と数学の海に溺れるブログ【plan】
【ガロア理論】その4
2017-10-19 17:28
(抜粋)
線形代数だけの学習だとなんだか無味乾燥だったかもしれませんが、実は体の理論とも密接な関係があって、線形代数が活き活きと応用される好例になっています（線形代数を使って従来のガロア理論を見通し良くまとめ上げたのはアルティンだそうです）。
(引用終り)
URLﾘﾝｸ(www.ritsumei.ac.jp)
Ringe- und Koepertheorie II Inhalte: Galoistheorie Vorlesungsskript <- neu gearbeitet am 20. September 2011
URLﾘﾝｸ(www.ritsumei.ac.jp)
環・体論 II ? GALOIS 理論 高山 幸秀 September 2011
(抜粋)
P5
1.2. 拡大次数. 拡大体 L/K について、K と L を比較する際、もっとも素朴な疑問
のひとつは「L は K の何倍の大きさか？」であろう。それを測る尺度が拡大次数で
あり、それは拡大体が線形空間になっているという性質を使って定義される。
命題 8. 拡大体 L/K が与えられた時、L は K-線形空間である。
(引用終り)
143:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 08:06:56.90 wYXDzdNx.net
>>128
哀れな素人さん、どうも。スレ主です。
千京夕夏は、男らしいね？>>106ご参照
＞それを怖れて、この二人は時枝問題専用スレを立てない（笑
私は、これで十分
ガロアすれは、雑談スレですからｗ（＾＾
（>>1より）
このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな～（＾＾
(引用終り)
144:１３２人目の素数さん
19/08/04 09:08:38.13 vzKIsCWL.net
>>123
そんな設定は別に関係ないよ
たとえばサイコロを可算無限回振って
ある数列の集合があってその集合の元の「どれかをうまく」選んだら
それぞれの項がサイコロの出目と一致する確率は
ある集合が
(1) {1, 2, 3, 4, 5, 6}^Nの場合 (サイコロの出目と完全に一致する数列が存在)
それぞれの項が一致する確率を数列にすると
1, 1, 1, ... , 1, ...
(2) {1, 2, 3, 4, 5, 6}^Nの(時枝記事の)同値類における完全代表系
それぞれの項が一致する確率を数列にすると
1/6, 1/6, ... , 1/6, 1, 1, ... , 1, ...
(3) R^Nの場合 (サイコロの出目と完全に一致する数列が存在)
それぞれの項が一致する確率を数列にすると
1, 1, 1, ... , 1, ...
(4) R^Nの(時枝記事の)同値類における完全代表系
それぞれの項が一致する確率を数列にすると
0, 0, ... , 0, 1, 1, ... , 1, ...
> 確率の差：確率1/6に対し、確率1－ε（例えば99/100など）
確率1－εは上の(2)や(4)において「確率0(or 確率1/6), 確率1から確率1を選ぶ」確率
だからサイコロの確率1/6と比較するのは無意味
145:１３２人目の素数さん
19/08/04 09:22:34.22 P7bSsHJN.net
>>125
証明なしに「無限公理は偽だ」と言い張っても無意味
146:哀れな素人
19/08/04 09:30:38.91 YHlwXkGl.net
>>132
だから何度も証明しているだろが（笑
お前はこのスレを読んでいるのか？（笑
読んでいないなら過去スレの僕の投稿を読んでみればいい（笑
何度も何度も、これでもか、これでもか、
というくらい説明している（笑
147:哀れな素人
19/08/04 09:34:39.82 YHlwXkGl.net
今、千京のいろいろな動画を見ていた。
語っていることはほとんど全部間違いなのだが、
そのことに気付いていない（笑
それと音声が小さいので聴き取りにくい。
音量を最大にしても聴こえにくい（嘆
ところで前スレがまだ空いているので、早く消化するように。
148:１３２人目の素数さん
19/08/04 09:36:04.03 P7bSsHJN.net
>>123
>全ては”可測”ありきだ。
その場合、時枝記事の主張もスレ主の主張も無意味になる
なぜならスレ主の主張は測度論に基づいてないから
スレ主、自爆だなｗ
149:１３２人目の素数さん
19/08/04 09:39:29.14 P7bSsHJN.net
>>133
哀れな素人は無限公理が偽であることを一度も証明できていない
・有限集合に一つ要素を追加したものは有限集合
・有限集合の有限和は有限集合
・有限集合の部分集合の全体からなる集合は有限集合
上記をいくら主張しても無限集合が存在しないことの証明にはならない
150:１３２人目の素数さん
19/08/04 09:41:24.79 P7bSsHJN.net
スレの参加者が多くなれば、
スレ主のアホさが満天下に晒される
スレ主は実数論も理解できないのに
４次元異種ユークリッド空間とか
いいたがる見栄坊のピエロｗ
151:哀れな素人
19/08/04 09:45:51.32 YHlwXkGl.net
>>136
そんなことを書いているようでは、
お前は僕が何を言っているか、ちっとも理解していない（笑
>>137
実数論も理解できていないのはお前も同じ（笑
152:１３２人目の素数さん
19/08/04 09:53:49.46 P7bSsHJN.net
>>138
お前は自分が何を根拠に主張してるのか、ちっとも理解していない(￣ー￣)
153:１３２人目の素数さん
19/08/04 09:57:05.97 P7bSsHJN.net
>>127
＞時枝問題専用スレを立てればいいのに
では代わりに立ててくれ
タイトルは「時枝問題専用スレ」でいい
1で書くことは以下の通り
ーーー
「箱入り無数目」 時枝正
（数学セミナー201511月号の記事）
箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?
ばかばかしい，当てられる筈があるものか，と感じられるだろう.
何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ.
ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある.
154:哀れな素人
19/08/04 09:57:50.07 YHlwXkGl.net
>>139
根拠はこれでもか、これでもか、
というほど何度も何度も説明している（笑
お前がアホだから理解できないだけ（笑
何でお前は、お前らは、そんなにアホなのか（笑
155:１３２人目の素数さん
19/08/04 09:59:24.90 P7bSsHJN.net
>>141
どれ一つとして根拠になっていない
お前が「説明」といってるものは
証明でもなんでもなく、
ただ自分の思い込みを語ってるだけ
そんなものに同意する理由がない
156:１３２人目の素数さん
19/08/04 10:02:21.41 YHlwXkGl.net
>>140
自分で立てればいいではないか（笑
自分の名で責任を持ってスレを立てよ（笑
>>142
だからそんなことを書いているようだから、
お前はアホなのである（笑
157:１３２人目の素数さん
19/08/04 10:20:19.33 IpsMAkm1.net
>>121
×問答無用！
〇問答不能！
158:１３２人目の素数さん
19/08/04 10:24:47.59 IpsMAkm1.net
>>121
>１）独立同分布(IID)を仮定しよう。具体的に、コイントスで、{0,1}を入れた（>>812）
> 可算無限個の確率変数の族X1,X2,・・・（時枝記事後半にある通り）
> で任意のi∈Nで、Xiは確率1/2で、0か1かの値を取る
>２）ところが、時枝の手法では、あるD∈Nがあって、XDは確率1－ε（例えば99/100など）で、実数値rDを取るという
> これは矛盾である（>>812）
それ、あなたの誤解です。まったく矛盾してません（＾＾
1)と2)は確率変数が違うんです（＾＾；
2)の確率変数、あなた書けますか？ 書けもしないのに矛盾とな？（＾＾；
159:１３２人目の素数さん
19/08/04 10:28:30.52 IpsMAkm1.net
>>122
全くその通り
バカ主にはインチキ癖がある
↑
>>1 これテンプレに入れとけ（＾＾
160:１３２人目の素数さん
19/08/04 10:45:55.11 IpsMAkm1.net
>>124
＞F可測であるというのは、確率変数値を取る Ω の部分集合が必ず事象である（すなわち必ず確率をもつ）という意味である。
＞下記の重川のテキストでは、P8で、F可測を”F/Ｓ 可測写像”と表現しているね。F可測の方が、用語としてはすっきりしているかも
＞あと、P10などで、(置換積分)を扱っているが、全ては”可測”ありきだ。
＞”可測”を前提としないならば、”可測”の定義からやり直して、確率論を全部書き換えるべし
時枝解法の確率変数も書けないのになにアホなこと言ってんだか（＾＾；
まずは自分で時枝解法の確率変数を書いてみなさい（＾＾；
そうすればそんなアホなこと言えなくなるから（＾＾
＞それが、（>>65より）”それの証明ってあるかな
＞100個中99個だから99/100としか言ってるようにしか見えないけど．”（by 確率論の専門家さん(2016/07/03)）
それが証明になっていないと言うのは確率論の専門家の誤解（＾＾；
彼が何をどう誤解してるかは>>102で解説済みなのにバカ主の耳に念仏なだけのこと（＾＾；
＞の意味。従来の確率論の大前提”可測”を捨てるなら、数学では確率論を１冊書き直すくらいの証明が必要だよ
捨ててません（＾＾
勝手に捨てたことにしないで下さい（＾＾；
＞それが、”それの証明ってあるかな”の意味。小学生にはわからんだろうが、小手先で誤魔化そうとしてもダメダメｗ（＾＾
小手先のごまかしはおまえ（＾＾；
時枝解法の確率変数も書けない、確率論の専門家の誤解も分からないおまえ（＾＾；
コイントスの話なんて完全に子供騙し（＾＾；
バカ丸出し（＾＾；
161:１３２人目の素数さん
19/08/04 10:48:14.35 IpsMAkm1.net
>>126
キミみたいな高校数学すらちんぷんかんぷんなど素人は相手にしてません、悪しからず（＾＾
162:哀れな素人
19/08/04 11:09:37.12 YHlwXkGl.net
>>148
高校数学すらちんぷんかんぷんなど素人
とはお前のことだ（笑
何でお前はそんなにアホなのか（笑
163:１３２人目の素数さん
19/08/04 11:11:28.53 IpsMAkm1.net
>>129
>線形代数だけの学習だとなんだか無味乾燥だったかもしれませんが、実は体の理論とも密接な関係があって、
こういうアホなことを平気で書くバカがいるんですね。
線型代数とはあらゆる線型性を満たす対象（線型な対象）に当てはまる理論であって、数学の中に線型な対象がどれほど多くしかもメジャーな対象が含まれていることか。
>線形代数が活き活きと応用される好例になっています（線形代数を使って従来のガロア理論を見通し良くまとめ上げたのはアルティンだそうです）。
これもアホ。
体の理論、ガロア理論には線型代数のほんの一部しか使われていない。体の拡大次数の定義に線型空間の次元が使われてるとかその程度。
こういうアホ発言見るとこのブログ主、数学わかってるの？って思ってしまう
164:１３２人目の素数さん
19/08/04 11:26:57.12 IpsMAkm1.net
>>143
立てればいいと言ったのはおまえ
おまえが責任もってやれよ
おまえそのくらいしか役に立たないんだから
165:１３２人目の素数さん
19/08/04 11:27:50.79 P7bSsHJN.net
>>143
5chの都合でスレ立てできない
166:哀れな素人
19/08/04 11:31:14.95 YHlwXkGl.net
↑見ろ、いつもこうやって逃げる（笑
自分に責任を持とうとしない（笑
自信がないからスレ立てもできない（笑
役立たずの無能バカがエラソーに（笑
社会に出たこともない臆病者がエラソーに（笑
167:１３２人目の素数さん
19/08/04 11:35:21.06 IpsMAkm1.net
>自分に責任を持とうとしない（笑
それは言い出しっぺのくせに何もしないおまえｗ
168:１３２人目の素数さん
19/08/04 11:36:51.70 YHlwXkGl.net
>アホなことを平気で書くバカがいるんですね。
>数学わかってるの？って思ってしまう
全部このサル石というアホ自身ことなのに、
それが分っていない（笑
なにしろケーキを食べ尽くすことはできない、
ということすら理解できない馬鹿だからどうしようもない（笑
169:１３２人目の素数さん
19/08/04 11:37:34.49 IpsMAkm1.net
ボケ老人のおまえでも世の中にほんの僅かだか役に立てる仕事見つけてもらったんだから喜んでやらしてもらえよｗ
170:１３２人目の素数さん
19/08/04 11:39:06.60 IpsMAkm1.net
ケーキに食いついてもトンデモ本という釣り針が入ってるだけでしょ？ｗ
171:哀れな素人
19/08/04 11:40:15.93 YHlwXkGl.net
>>154
見ろ、こうして延々と逃げ続ける（笑
一体何をそんなに怖れているのか（笑
そんなに自信があるなら正々堂々と立てればいいのに、
こいつは絶対に立てようとしない（笑
そんなに自信がないのか（笑
172:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 12:09:25.52 wYXDzdNx.net
>>134
哀れな素人さん、どうも。スレ主です。
＞ところで前スレがまだ空いているので、早く消化するように。
あれは、サイコパスが埋めることになっていますｗ（＾＾
サイコパスがサボっているので、私がさきほど3つほど埋めてきました
173:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 12:12:41.46 wYXDzdNx.net
>>135
＞>全ては”可測”ありきだ。
＞その場合、時枝記事の主張もスレ主の主張も無意味になる
いいんじゃねｗ（＾＾
確率に関する主張について、お互い全部無意味になる
しかし、関数論の反例は、確率に無関係論（つまりは”可測”に無関係）ゆえ
反例は有効だよｗ（＾＾
174:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 12:21:46.08 wYXDzdNx.net
136
＞哀れな素人は無限公理が偽であることを一度も証明できていない
こらこら
幼稚園児が、「無限公理が偽であることを一度も証明できていない」とか、デデキントかお前は！ｗ（＾＾
（参考）
URLﾘﾝｸ(abrahamcow.hatena)ｂlog.com/entry/2014/10/03/111455
廿TT
2014-10-03
デデキントによる無限集合の存在証明のあやまり
(抜粋)
デデキントによる無限集合の存在証明
さて問題になるのは、このような無限集合 S というのが存在するのか、ということである。
さっきは自然数を例を出したけれど、自然数はまだ定義されてないのでつかっちゃだめだ。
そこでデデキントはおもしろいことを述べる。
私の思考の世界、すなわち私の思考の対象となり得るあらゆる事物の全体 S は無限である。
（p.81）
こんな風だ。
s を集合 S の要素とする。写像 を「 s が私の思考の対象であり得ると考えること」とする。
こうすると、
花、犬、太陽、…
花は私の思考の対象であり得る、犬は私の思考の対象であり得る、太陽は私の思考の対象であり得る、…
という具合にいくらでも一対一対応を作れる。
これによって「私の思考の世界、すなわち私の思考の対象となり得るあらゆる事物の全体 S は無限である」ことが示された。
ふつうに反駁されている。
「私の思考の対象となり得るあらゆる事物の全体 S」という集合は、あらゆる集合の集まりを含む。
あらゆる集合の集まりは、「クラス」と呼ばれ、これは集合とは考えない。
なので、デデキントの議論は今日では証明として認められない。
ラッセルのパラドックス
なぜ「あらゆる集合の集まり」は、「クラス」と呼ばれて集合と区別されるのか。
それを理解するために「ラッセルのパラドックス」を紹介する。
(引用終り)
175:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 12:23:38.82 wYXDzdNx.net
>>161 タイポ訂正
136
＞哀れな素人は無限公理が偽であることを一度も証明できていない
↓
>>136
＞哀れな素人は無限公理が偽であることを一度も証明できていない
176:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 12:38:34.19 wYXDzdNx.net
>>129 追加
ハメル基底（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)(%E7%B7%9A%E5%9E%8B%E4%BB%A3%E6%95%B0%E5%AD%A6)
基底 (線型代数学)
(抜粋)
関連概念
解析学
無限次元の実または複素線型空間に関する文脈では、本項でいう意味での基底を表すのに、しばしばハメル基底や代数基底という用語が用いられる。（ハメル基底は R の Q-基底を意味することも
177:ある。）これは、付加的な構造を備えた無限次元線型空間における別の種類の「基底」の概念との区別のためである。 そのような基底の概念で極めて重要なものとしては、ヒルベルト空間上の正規直交基底やノルム線型空間上のシャウダー基底およびマルクシェヴィチ基底が挙げられる。 これらの基底概念に共通する特徴は、全体空間を生成するのに基底ベクトルの無限線型結合までを許すことである。 これにはもちろん、無限和が意味を持つような空間（位相線型空間）を考えることが必要である。 位相線型空間は非常に広範なベクトル空間のクラスであり、例えばヒルベルト空間やバナッハ空間あるいはフレシェ空間といったものを含む。 無限次元空間に対してこれら異種の基底が優先されるのは、バナッハ空間においてはハメル基底は「大きすぎる」という事実によるものである。 即ち、X が完備な無限次元ノルム空間（つまりバナッハ空間）のとき、X の任意のハメル基底が非可算となることがベールの範疇定理から従う。先の主張における完備性の仮定は無限次元の仮定同様に重要である。 実際、有限次元空間は定義により有限な基底を持つし、また完備でない無限次元ノルム空間で可算なハメル基底を持つものが存在する。・・を考えると、その標準基底は可算ハメル基底になる。 例 フーリエ級数論において 略 を満たすという意味で当該函数系の「無限線型結合」として表される。しかし殆どの自乗可積分函数はこれら基底函数の有限線型結合としては表すことができず、したがってこの「基底」はハメル基底には「ならない」。 この空間の任意のハメル基底は、この可算無限にすぎない「基底」よりもはるかに大きいのである（ハメル基底は連続の濃度をもつ）。 この種の空間のハメル基底は典型的に有用でなく、一方でこれらの空間の正規直交基底はフーリエ解析において本質的である。 (引用終り)
178:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 12:42:19.62 wYXDzdNx.net
>>160 タイポ訂正
しかし、関数論の反例は、確率に無関係論（つまりは”可測”に無関係）ゆえ
↓
しかし、関数論の反例は、確率に無関係（つまりは”可測”に無関係）ゆえ
分ると思うが（＾＾；
179:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 13:31:58.29 wYXDzdNx.net
>>161 補足
＞哀れな素人は無限公理が偽であることを一度も証明できていない
（参考）
URLﾘﾝｸ(blog.goo.ne.jp)
知識は永遠の輝き
ゲーデルの定理-2.1- モデルと公理系
2015-10-20 数学基礎論／論理学
前回からの続き
さてモデルというものを漠然と「公理系に対応する現実」などと言っていては厳密な論証ができません。数学基礎論では、集合論の枠組みの中で抽象的にモデルを定義します。
ざっくりと言えば、ある集合(Ｍとする)があり集合の元の間に種々の関係があり、この集合の中で元から元への関数があるものとします。
そして、論理体系や公理系を表現している言語(記号の集合、Ｌとする)と今考えた集合との間に次のような対応を取ります
URLﾘﾝｸ(blog.goo.ne.jp)
ゲーデルの定理-2.2- モデルの真偽 2015-10-24
つづく
180:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 13:32:18.46 wYXDzdNx.net
>>165
つづき
URLﾘﾝｸ(blog.goo.ne.jp)
ゲーデルの定理-2.3- 自然数の公理系 2015-11-02
さらにゲーデルの不完全性定理によれば、公理系Ｐ１ｂに∀ｘ(Ｒ1(ｘ))や￢∀ｘ(Ｒ1(ｘ))を付け加えた公理系も、まだ統語論的に不完全です。ゆえに∀ｘ(Ｒ2(ｘ))も￢∀ｘ(Ｒ2(ｘ))も証明できないような論理式∀ｘ(Ｒ2(ｘ))が存在します。
というわけで、公理系Ｐ１ｂからは証明できない無限個の論理式が存在し、それらの論理式はすべて自然数の集合で何らかの命題に対応しています。
そしてそれらの命題の真偽がどちらであるかにより無数のモデルが存在することになります。
そしてこれら無数のモデルの全てで成立する関係だけが真であるようなモデルを作る集合を仮にペアノ自然数とでも名付ければ、完全性定理により公理系Ｐ１ｂはペアノ自然数においては意味論的に完全です。
そもそもペアノの公理系とは人間が素朴に自然数の集合と考えていたものをきちんと定義しようとしたものです。
しかし実はその自然数の実体は唯一のものではなかったのです。
それはペアノの公理系で完全に表現できるペアノ自然数を共通部分としながらも、そこに各々異なる真理が付け加わった無数のモデルの集合体だったのです。
そしてこれら無数のモデルのうちで、我々が素朴に言葉にする自然数がどれに当てはまるのかは有限の手続きでは決定できません。
これら無数の異なる真理は、人間の観測が届かない無限の彼方にあるのです。「真であるにもかかわらず証明できない」のではなくて、「有限の手続きでは真偽を決定できない命題は証明できない」と言うべきなのです。
といえば、何か当たり前の真理に聞こえるようになりますね。
そう、今にして思えばゲーデルの不完全性定理とは何も不思議な定理ではなく、「無限集合についての命題で有限の手続きでは確認不可能な命題には、有限の証明列が存在しないものがある。」という、ごく自然に見えることをキチンと証明したところに意義があったのだと言うべきでしょう。
次回はさらに具体的証明に踏み込みます。
(引用終り)
以上
181:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 14:49:25.65 wYXDzdNx.net
>>123 補足
独立同分布(IID)を仮定すると、
時枝記事の「XDの値がＸＤ以外から、XDの値を的中させる確率1－ε」
とは、”独立”の観点からも、矛盾だなｗｗ（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)(%E7%A2%BA%E7%8E%87%E8%AB%96)
独立 (確率論)
(抜粋)
独立（どくりつ、英: independent）とは、確率論において、2つの事象が成立する確率がそれぞれの確率の積で表されることを言う。
2つの事象が独立といった場合は、片方の事象が起きたことが分かっても、もう片方の事象の起きる確率が変化しないことを意味する。
2つの確率変数が独立といった場合は、片方の変数の値が分かっても、もう片方の変数の確率分布が変化しないことを意味する[1]。
定義
事象の独立
これは事象 A と B が独立であるとは、事象 B の起こることが事象 A の起こる確率に一切の影響を与えないことを意味する。
上の定義は P(B) = 0 のときにも対応しているので、通常は上の定義を用いる。事象が独立でないことを従属という[4]。
独立性の検定
「カイ二乗検定」および「分割表」も参照
独立性を判断するには、独立性を仮定した上で対象の振る舞いを調べ、独立性を仮定したことによる矛盾が引き出せるかどうかを確認する必要がある。
独立性（あるいは従属性）を判別する手段として分割表を用いた独立性の検定がある。
独立性の検定に用いられる手法には例えばカイ二乗検定などがある。独立性の検定によって2つの事象の間の従属性を判断することができる
182:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 15:17:40.35 wYXDzdNx.net
>>160
＞しかし、関数論の反例は、確率に無関係論（つまりは”可測”に無関係）ゆえ
＞反例は有効だよｗ（＾＾
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
平成20年度(第30回)数学入門公開講座テキスト(京都大学数理解析研究所，平成20年8月4日～8月7日開催)
関数の歴史
岡本 久
京都大学数理解析研究所
このファイルは公開講座の原稿から文献を抜き取ったものです.
詳しいことは
岡本久・長岡亮介 著
関数とは何か
（近代科学者 2014年刊）
で説明してあります．
昨今の大学では, 最も重要な知識だけをできるだけ短時間に教育することが最優先されていること
が多く, 数学の発展過程において天才数学者たちがいかに右往左往したか, ということにふれている余裕
がなくなっている. 本稿の目的は, 数学と言えどもそ�
183:ﾌ発展には多くの挫折が伴っていることを例示す ることにある. 同時に, 数学上の発見というものをどう評価するか, という問題が非常に難しいことを指 摘したいと思う. 1 Euler?関数を解析学の主役にした男 「Newton の運動方程式」の発見者が Euler だというのはなんとも意表外であるが, 事実 は事実として認められなくてはならない. ?山本義隆 [?], (177 ページ). 1.1 関数とその表現 2 関数 Descartes や Fermat が解析幾何学を発見したとき, 曲線と関数の概念が芽生えていた言うことは可 能であろうか. 私にはそうは思えない. 概念が漠然と把握されていたということと数学的な対象として 枠組みが理解されていたということは別ものである. 17 世紀にはまだ関数はあまりにぼんやりした対象 であった. 関数という言葉を最初に使ったのは Leibniz である. しかし, 岩波書店の数学辞典第３版によると, 関数という言葉は Leibniz が 1670 年代から用い始めたが, 最初のころは現在の意味とはずいぶん違うも のを意味していた. つづく
184:１３２人目の素数さん
19/08/04 15:17:45.08 IpsMAkm1.net
>>160
>いいんじゃねｗ（＾＾
>確率に関する主張について、お互い全部無意味になる
だめです（＾＾
あんたとことんバカですね（＾＾
時枝解法の確率変数を書いてみなさいおバカさん、それができないのに無意味になるもクソも無い、まずはそこからだおバカさん（＾＾
>しかし、関数論の反例は、確率に無関係論（つまりは”可測”に無関係）ゆえ
>反例は有効だよｗ（＾＾
無効です（＾＾
あんたとことんバカですね（＾＾
「数当てができてはならない」などと謳っている関数の定義を示しなさいおバカさん、それができないのに反例もクソも無い、まずはそこからだおバカさん（＾＾
結論
バカ主は時枝解法の確率変数も書けないくせに確率が無意味だと主張←バカ丸出し（＾＾
バカ主は「数当てができてはならない」と謳っている関数の定義も示せないくせに反例だと主張←バカ丸出し（＾＾
185:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 15:18:04.42 wYXDzdNx.net
>>168
つづき
3 Euler による関数の定義
Euler は具体的な表示式だけを関数と呼んでいるようにも思えるが, 必ずしもそうとは言
いきれない. その後で彼は, 陰関数についても言及しているからである. いずれにせよ彼の真意はやや不
鮮明であるが, 現在の我々が知っている定義よりもかなり狭いものであるようだ.
9 連続だが至る所微分不可能な連続関数とその周辺の話題
10 Weierstrassの微分不可能関数
12 付録：関数の定義の変遷
Bochner 「関数」という観念は, 数学や科学に対して最高級の重要性をもつ数学的対象である. この
観念を記述するには「対応」という言葉を使うのと「関係」という言葉を使うのと二つの主な道
があって, 両方ともよく意味を明らかにしてはくれる. しかし本当をいうと, 関数の観念は定義可
能なものではなく, 定義のつもりでいるもの (would-be definition) も実際は同語反復であるにすぎ
ない. (ボホナー, 科学史における数学 (村田 全, 訳), みすず書房 (1970), S. Bochner, The Role of
Mathematics in the Rise of Science, Princeton University Press (1966) の和訳.) の 164 ページ.
(引用終り)
以上