スレタイ 箱入り無数目を語る部屋5at MATH
スレタイ 箱入り無数目を語る部屋5 - 暇つぶし2ch135:132人目の素数さん
22/11/09 06:27:10.69 KNLaRzNx.net
ていうか、単に回答者が100個の列なり関数なりについて
「自力で」代表をとることを許すだけにすれば、
箱入り無数目の論法は崩壊する
どの列を選ぶかで代表系の取り方は変わってしまうから
特に、選んだ列については、
その列がD+1より小さい決定番号を持つような
代表を選ぶことはまず無理である
つまり、選んだ列の決定番号が最大になるような代表の選び方しかできない
100列あれば、100通りの代表の選び方になってしまう
ただし、有理数の無限小数展開のように、
標準的な代表の選び方が可能な場合には
上記の言い訳は全く通用しないw

136:132人目の素数さん
22/11/09 06:52:21.90 KNLaRzNx.net
>>107-108
ブルシットせたぼんは、あいかわらずトンチンカンな反論ばかりしてるがw
もし任意の関数[0,1)→Rについて、
その決定番号が確率1で1になる!
というのならマジで頭オカシイw
だから「1点コンパクト馬鹿」っていわれるんだよw

137:132人目の素数さん
22/11/09 06:55:38.29 KNLaRzNx.net
>>126
>「自力で」
 これは選択公理によりその存在がいえるだけの
 代表選択関数という”魔法”を使わない、という意味
 マハリクマハリタ ヤンバラヤンヤンヤン
#今の女の子たちはきっと知らない呪文w

138:132人目の素数さん
22/11/09 11:37:10.44 D9xhWwaF.net
>>8
>[0,1) から R への写像全体の族を ([0,1)→R) と表記する
>∃a∈[0,1), ∀x∈(a,1) s.t. f(x)=g(x)
>が成り立つとき、f~g と書くことにする。
>この ~ は ([0,1)→R) 上の同値関係を成すことが分かる。
写像として以下のような階段関数だけを考えることにする
f(x)=Y1 (x∈[0,1/2))
f(x)=Y2 (x∈[1/2,2/3))
f(x)=Yn (x∈[(n-1)/n,n/(n+1))) n∈N
これは箱の中に実数列Ynを入れた箱入り無数目と同じではないかな?
階段関数だけに絞るのは出題者の自由だし

139:132人目の素数さん
22/11/09 11:46:50.49 L6v9rOsa.net
もしかしたらヤング積分とヤング測度は応用が違うかも知れないから聞きたいけど、
Young, L.C.が研究したリーマン・スティールチェス積分にあたるヤング積分について書いてある本はあるけど、
Young, L.C.が研究したヤング測度という確率測度の族について書いてある和書ある?
ヤング積分は確率微分方程式の延長上にあるのに対し、
ヤング測度は変分法や非線形 pde の研究に用いられる

140:132人目の素数さん
22/11/09 11:51:28.99 L6v9rOsa.net
訂正:リーマン・スティールチェス積分にあたるヤング積分
→ リーマン・スティールチェス積分の一般化にあたるヤング積分

141:現代数学の系譜 雑談
22/11/09 11:57:59.14 Kg2YnqwC.net
>>130-131
ありがとう
ヤング積分とヤング測度
には答えられないが(^^
>>129
ありがとう
>これは箱の中に実数列Ynを入れた箱入り無数目と同じではないかな?
>階段関数だけに絞るのは出題者の自由だし
ありがとう
それは可能と思うよ
時枝>>1は、なんでも自由だったはず

142:132人目の素数さん
22/11/09 12:13:55.53 L6v9rOsa.net
>>132
スレ主が確率論のスレを多く挙げているから、スレ主に聞きたい
ヤング測度は普通の測度論の本に書いてあってもなんらおかしく筈なんだけど、
ヤング測度について書いてある本は、検索した限りでは洋書しか見つからない
ヘルマンダーの Lectures on Nonlinear Hyperbolic Differential Equations
の中でもヤング測度について触れてはあるようだけど、
これだけでヤング測度に関してヘルマンダーの非線形双曲型方程式
のテキストを読める範囲で事足りるかが分からない、

143:132人目の素数さん
22/11/09 13:00:28.44 L6v9rOsa.net
>>133書き出しの訂正:
スレ主が確率論の「サイト」を多く挙げている

144:現代数学の系譜 雑談
22/11/09 13:02:51.05 Kg2YnqwC.net
>>123
>「非正則分布を使っているから時枝戦略は不成立」が正しいなら、
>時枝証明の中に非正則分布を前提とする推論が存在するはず。
>その推論を記事原文から引用せよ。
あんまり数学に向いて無さそうw
数学の文書は、完成されたものでもなんでもないし
時代が進めば、古くなる
新し知見が加わるべきものだし
自分の知見を加えても良いんだよ
そこは文系の契約書と違う
契約書は、「どこにもそんなこと書いてないよ」
となるかもしれないが
数学では、独自の視点で
原論文を批判することは
当然ありですよ

145:現代数学の系譜 雑談
22/11/09 13:06:01.12 Kg2YnqwC.net
>>125
>>完全代表系のランダム抽出(無作為抽出)性
> そんなもん全く前提されてないけどw
そしたら、無作為でなく作為じゃんw
そしたら、「確率計算です」という主張を、
自ら否定していることになるよ QEDw

146:132人目の素数さん
22/11/09 13:07:01.31 I7CWvJJy.net
>>132
今からブルシットせたぼんが
確実に発狂すること云うよ
S^N の如何なる尻尾の同値類も
その中の全ての要素に共通する尻尾は存在しないw

147:132人目の素数さん
22/11/09 13:08:03.60 L6v9rOsa.net
>>135
>数学の文書は、完成されたものでもなんでもないし
>時代が進めば、古くなる
全く違う。

148:132人目の素数さん
22/11/09 13:12:43.60 I7CWvJJy.net
>>136
>>>完全代表系のランダム抽出(無作為抽出)性
>>そんなもん全く前提されてないけどw
>そしたら、無作為でなく作為じゃんw
違うけど
安定の🐎🦌だね ブルシットせたぼん

149:現代数学の系譜 雑談
22/11/09 13:23:58.05 Kg2YnqwC.net
>>133-134
ありがとう
1)ヤング測度初耳です。
 すまん(^^
 まあ、下記 Young measure のことね
2)”ヘルマンダーの Lectures on Nonlinear Hyperbolic Differential Equations
 の中でもヤング測度について触れてはあるようだけど、
 これだけでヤング測度に関してヘルマンダーの非線形双曲型方程式
 のテキストを読める範囲で事足りるかが分からない”
 については、
 月並みなアドバイスだけれど、
 まずは、読んでみるべしだよ ヘルマンダー本とか下記とかネット検索も使って
 そして、普通人は、しょせん1回目で完璧に理解できる場合は少ない
 もし、後から見て ヘルマンダー本で必要十分と分かったとしてもね
3)で、普通1回目で分からないことが出てきてどうするか?
 そこからは、その人次第だと思うんだ
 おかれた環境で、聞ける人が居れば聞けば良いし
 何が分からないかを絞って、キーワード絞って、検索してみるとか
 ああ、ネットの質問コーナーとかもありだろう
 5ch? 質問には使えないだろうねw。(まともな回答を見た記憶がない。無責任なひやかしが多い)
 Yahoo!とかがまだましみたい。
とりあえず、こんなところで
(参考)
URLリンク(en.wikipedia.org)
Young measure
Contents
1 Definition
2 Example
3 References

150:132人目の素数さん
22/11/09 14:22:54.85 Pr4Ib3As.net
>>135
>新し知見が加わるべきものだし
>自分の知見を加えても良いんだよ
横レスだが、>>123の質問内容は
「非正則分布を排除したときに、時枝記事の中で "破綻する" 部分はどこか?」
というものでしょ。スレ主はこのことに解答してないよ。

151:132人目の素数さん
22/11/09 14:38:15.81 Pr4Ib3As.net
>>136
なぜこの男は、定期的に理解度が退化するのか?バカじゃないの?
スレ主は「完全代表系のランダム抽出」と書いているが、これでは
「完全代表系 T そのものを毎回ランダムに選ぶ」
ということになってしまう。つまり、
「切断 T そのものを毎回ランダムに選ぶ」
ということになってしまう。つまり、
「毎回ランダムに選んだ T に対して、袋の中身を T の元に "総入れ替え" する」
ということになってしまう。しかし、時枝記事ではそんなことはしていない。
無数にある切断の中から1つの切断 T を選び、そのあとは同じ T を使い続る。
あとから別の切断 T' に差し替えることはしない(>>114-117)。
袋の中身は T の元で満たしておき、この袋をずっと使い続ける。
後から別の T' を持ち出して、袋の中身を T' の元に総入れ替えするようなことはしない。
たったこれだけの話が、なぜスレ主は理解できないのだ?
いや、今までは理解していたはずが、なぜ今さら原始時代まで退化しているのだ?

152:現代数学の系譜 雑談
22/11/09 15:50:07.65 Kg2YnqwC.net
>>140 補足
Hormander本
下記ですね
初版が、1986-87.かな
改訂が 1997?
内容は、難しくて分からないが
もう古典かも
もっと最近の本で和書も併読した方が良い気がする
ヤング測度も、いまではもう少し進化した測度が出て
それに吸収されて、表にでない可能性もあるかも
そう思います
(参考)
URLリンク(www.gbv.de)
Lars Hormander
Lectures on
Nonlinear Hyperbolic
Differential Equations
表紙と目次
URLリンク(link.springer.com)
Textbook 1997
Lectures on Nonlinear Hyperbolic Differential Equations
Authors: Lars Hormander
The book is a revised and extended version of Lars Hormander's widely circulated lecture notes from 1986-87.
About this book
This introduction to the theory of nonlinear hyperbolic differential equations, a revised and extended version of widely circulated lecture notes from 1986, starts from a very elementary level with standard existence and uniqueness theorems for ordinary differential equations, but they are at once supplemented with less well-known material, required later on. A detailed and explicit study of discontinuous solutions of a model equation, Burgers' equation, is then followed by a general study of solutions of conservation laws, with one unknown or one space variable. Asymptotic properties of solutions of the linear wave equation and the Klein-Gordon equation are studied in detail as a preparation for the study of solutions of nonlinear perturbations with small and smooth initial data. Existence of solutions for all times is proved for large space dimensions and lower bounds for the "lifespan" of the solutions are given in low space dimensions. The last four chapters are devoted to microlocal analysis of singularities of solutions of nonlinear differential equations by means of the paradifferential techniques of J.-M. Bony.

153:現代数学の系譜 雑談
22/11/09 16:03:38.84 Kg2YnqwC.net
>>141
ご苦労さまです
>「非正則分布を排除したときに、時枝記事の中で "破綻する" 部分はどこか?」
>というものでしょ。スレ主はこのことに解答してないよ。
"でしょ"と言われても
1)当人がそう言ってない
2)”非正則分布を排除したときに”なんて、現実に合わない仮定をおいても無意味じゃない
>>142
ご苦労さまです
>「完全代表系 T そのものを毎回ランダムに選ぶ」
>ということになってしまう。
だから
1)大前提が、完全代表系 T などを、確率論に使うならってことよ
2)確率論外の基礎論とか、代数系でならば
 完全代表系 T にランダム性を求める必要はない
(ヴィあり集合のごとし。なお、ヴィあり集合を使った確率論ある? 無いよね! でしょっ!)

154:現代数学の系譜 雑談
22/11/09 16:05:40.80 Kg2YnqwC.net
>>144 タイポ訂正
(ヴィあり集合のごとし。なお、ヴィあり集合を使った確率論ある? 無いよね! でしょっ!)
  ↓
(ヴィタリ集合のごとし。なお、ヴィタリ集合を使った確率論ある? 無いよね! でしょっ!)

155:132人目の素数さん
22/11/09 16:13:20.49 Pr4Ib3As.net
>>144
>1)大前提が、完全代表系 T などを、確率論に使うならってことよ
時枝記事における確率論は「 T を選ぶ時点で始まっている」のではない。
無数にある T の中で1つの T を固定した後で初めて、確率的事象が出現するのである。
具体的には、回答者が 1,2,…,100 からランダムに番号 i を選ぶ
という行為のみが時枝記事での確率的事象である。
T はランダムに選ぶ対象ではない。1つ選んで固定する対象である。
「 T そのものをランダムに選ばなければ確率論に乗らない」
とかいうスレ主の主張はナンセンス。

156:132人目の素数さん
22/11/09 16:15:18.91 Pr4Ib3As.net
次のような例を考えよう。
n≧6 ごとに機械 M_n が与えられていて、この機械は 1,2,3,…,n を
それぞれ 1/n の確率で出力するとする。次のような�


157:Qームを考える。 ・ 出題者は n≧6 を任意に選ぶ権利が与えられている。 ・ ただし、ひとたび n を選んだら、そのあとはこの n を使い続けなければならない。 ・ さて、出題者は n_0≧6 を任意に選ぶ。今後は、この n_0 を使い続ける。 ・ 出題者は機械 M_{n_0} を回答者に手渡す。 ・ 回答者はこの M_{n_0} を1回作動させる。 ・「1」が出力されたら出題者の勝ち。それ以外なら回答者の勝ち。 ・ これ以降は、「 n_0 」に対するこのゲームがずっと続く。 さて、n が選ばれたときの上記のゲームを「 n-ゲーム」と呼ぶことにすると、 n_0-ゲームにおける回答者の勝率は明らかに 1-1/n_0 である。



158:132人目の素数さん
22/11/09 16:16:39.27 Pr4Ib3As.net
ところが、スレ主の屁理屈によれば、
「確率論を使うなら、n_0 に固定されているのは恣意的であり、これでは確率論に乗らない」
ということになる。より具体的に言えば、
「確率論を使うなら、n_0 が固定された状態の "n_0-ゲーム" は、
 それ単独では恣意的であり、これでは確率論に乗らない 」
ということになる。n_0 自体を毎回ランダムにしなければ、スレ主にとっては意味がないらしい。

159:132人目の素数さん
22/11/09 16:18:02.15 Pr4Ib3As.net
ではここで、新しく次のゲームを考えてみよう。
・ 出題者は普通のサイコロ(1~6の面が1/6ずつの確率で出る)を回答者に手渡す。
・ 回答者はこのサイコロを1回振る。
・「1」が書かれた面が出たら出題者の勝ち。それ以外なら回答者の勝ち。
・ このゲームを何度も繰り返す。
つまり、単なるサイコロを何度も振るというゲームである。
このサイコロゲームにおける回答者の勝率は 1-1/6 である。

160:132人目の素数さん
22/11/09 16:19:46.77 Pr4Ib3As.net
しかし、このサイコロゲームは結局、>>147においてn_0=6 が選ばれたときのゲーム
(6-ゲーム)にすぎない。よって、スレ主によれば、
「 n_0 が固定された状態の "n_0-ゲーム" は、それ単独では恣意的であり、確率論に乗らない 」
「今回のサイコロゲームは "6-ゲーム" にすぎないので、それ単独では恣意的であり、確率論に乗らない」
ということになる。ご覧のとおり、「単なるサイコロを何度も振る」というサイコロゲームが、
スレ主にとっては「恣意的である」かつ「確率論に乗らない」のである。
バカじゃないのw

161:現代数学の系譜 雑談
22/11/09 18:00:25.25 tUaxLARR.net
>>150
>ということになる。ご覧のとおり、「単なるサイコロを何度も振る」というサイコロゲームが、
>スレ主にとっては「恣意的である」かつ「確率論に乗らない」のである。
>バカじゃないのw
論破されたら
幼稚なバカ頭で
必死の詭弁
笑えるwww

162:132人目の素数さん
22/11/09 18:29:54.51 Pr4Ib3As.net
>>151
反論できないスレ主、
「笑えるww」
という使い古された煽り文句しか書けない。ここがスレ主の限界。
本当の論破とはこういうことを指す。
相手から具体的な反論がない状態を論破と呼ぶのである。
スレ主は論破されたのである。

163:132人目の素数さん
22/11/09 18:43:06.50 Pr4Ib3As.net
まとめ。
・ 完全代表系 T が無数にあるのは事実。時枝記事では、その中から1つの T を選び、
  そのあとは同じ T を使い続け、後から別の T' には差し替えない。
>>147では、無数にある n≧6 の中から1つの n_0≧6 を選び、
  そのあとは同じ n_0 を使い続け、後から別の n_0' には差し替えない。
・ スレ主曰く、T を固定するのは恣意的であり、これでは確率論に乗らないという。
  T そのものをランダムに選ぶ設定でなければ、スレ主は満足しないという。
・ 全く同様に、n_0 を固定するのは恣意的であり、これでは確率論に乗らない。
  n_0 そのものをランダムに選ぶ設定でなければ、スレ主は満足しない。
・ 特に、n_0 が固定された状態の "n_0-ゲーム" は恣意的なので、"6-ゲーム" は恣意的。
  すなわち、>>149のサイコロゲームは恣意的。
・ 結局、スレ主は「単なるサイコロを何度も振る」というサイコロゲームが
 「恣意的」かつ「確率論に乗らない」と言っていることになる。
バカじゃないの。

164:現代数学の系譜 雑談
22/11/09 20:57:33.12 tUaxLARR.net
>>143
ヘルマンダー氏、フィールズ賞と定数係数の偏微分方程式の理論しか知らなかったよ(^^
(参考)
URLリンク(ja.wikipedia.org)
ラース・ヘルマンダー スウェーデンの数学者
初期の業績である定数係数の偏微分方程式の理論によって1962年にフィールズ賞を受賞した。フィールズ賞受賞後、現代解析学における主要な道具の創始者として中心的役割を果たし、特に擬微分作用素とフーリエ積分作用素において大きく貢献し、その応用に関して決定的な業績を上げた。
非線型双曲型方程式、準楕円型偏微分方程式の解析などにおいて大きく貢献している。日本では笠原乾吉の翻訳した多変数複素解析学入門[1]でよく


165:知られていた https://www.math.kyoto-u.ac.jp/~karel/lecture.html https://www.math.kyoto-u.ac.jp/~karel/files/notes_pde_2015.pdf 偏微分方程式:講義ノート Karel Svadlenka ?2015 京都大学 P7 1.3.2 非線形性の程度による分類 1.3.3 数学的な振る舞いによる分類 1. 双曲型方程式(hyperbolic equation): 双曲型方程式の代表例は波動方程式 utt - c^2uxx = 0 である. https://srik.kumamoto-u.ac.jp/hisa/ 熊本大学応用解析セミナー 2006年度 https://srik.kumamoto-u.ac.jp/hisa/H18/0902reportofHKubo.pdf ある半線型波動方程式の解の長時間挙動について 大阪大学 久保 英夫 参考文献 [4] L. H¨ormander, “Lectures on nonlinear hyperbolic differential equations”,Math´ematiques & Applications, 26, Springer Verlag, Berlin, 1997. https://www.muroran-it.ac.jp/mathsci/danwakai/past/ 数理科学談話会報告集 https://www.muroran-it.ac.jp/mathsci/danwakai/past/danwa16.html 2016年度数理科学談話会 http://www.muroran-it.ac.jp/mathsci/danwakai/past/articles/201604-201703/04-20160729-wakasa.pdf 小さい初期値に対する非線型波動方程式の解の最大存在時刻の評価について 若狭 恭平 (室蘭工業大学) References [4] L.H¨ormander, ”Lectures on Nonlinear Hyperbolic Differential Equations”, Math´ematiques & Applications 26, Springer-Verlag, Berlin, Heidelberg, 1997



166:現代数学の系譜 雑談
22/11/10 00:02:09.06 SyFI3nIx.net
>>8
>[0,1) から R への写像全体の族を ([0,1)→R) と表記する。f,g∈([0,1)→R) について、
ちょっとこれを借りて、いかに時枝がデタラメかを説明する
まず念押し確認だが>>103
”聞くけど
1)その単なる写像(解析関数でも、微分可能でも、連続でもない、つまり、不連続で良い)
 で、時枝>>1同様の数当てができるって?”
 >>104 より
”できるよ。時枝記事と仕組みが全く同じだから”
だったw
それはさておき、上記同様
不連続で良い
実関数f:[0,1]→R を考える
(まあ、パチンコ玉をばらまいたような関数を想像してくださいw)
1)[0,1]内の有理数列 1-1/1,1-1/2,・・1-1/n,・・→1 を考える
 可算無限であり、0から始まる自然数n∈Nと対応が付けられる
 関数値列 f(1-1/1),f(1-1/2),・・f(1-1/n),・・→f(1) を作る
 これに時枝>>1を適用して、あるk∈N のf(1-1/k)の値が、
 確率99/100で、
 他のf(1-1/1),f(1-1/2),・・f(1-1/n),・・→f(1) たちの値から
 決められることになる
2)同じことが、[0,1]内の任意の区間[a,b]で可能
 つまり、0<a<b<1 で ε=b-aとして
 同様に
 b-ε/1,1-ε/2,・・1-ε/n,・・→b
 f(b-ε/1),f(b-ε/2),・・f(b-ε/n),・・→f(b)
 これに時枝を適用して、あるk∈N のf(b-ε/k)の値が、
 確率99/100で、他の値から
 決められることになる
3)明らかに、1/1,1/2,・・1/n,・・→1 は一例にすぎず
 他に無限の組合わせが考えられるし
 有理数列に限る必要もなく実数列でも可能
つづく

167:現代数学の系譜 雑談
22/11/10 00:03:45.32 SyFI3nIx.net
>>155
つづき
4)だから、[0,1]内の微少な区間[a,b]で、時枝の的中が可能で
 そのような区間は至るところで取れて、至るところで的中することになる
5)例えば、[0,1]内を 10^m個に分割する(m=2なら100等分、m=6なら100万等分だ)
 10^m=Kとおいて、k番目の区間[(k-1)/10^m,k/10^m]で
 b=1/10^k、ε=1/10^m とできて (∵上記2)より)
 b-ε/1,1-ε/2,・・1-ε/n,・・→b
 f(b-ε/1),f(b-ε/2),・・f(b-ε/n),・・→f(b)
 となり、同様に確率99/100の的中が得られる
6)これは、10^m個に分割した全ての区間で可能だし
 時枝が適用できる区間はこれ以外にも、いくらでも可能
7)よって、[0,1]内の至る所で、時枝の的中現象がおきる
 しかも、確率99/100は、任意に的中確度を上げられるという
8)関数fは、不連続で良かったのだから、
 これは明らかに
 関数論からの常識外れ
 こんなクソ理論>>1に、騙されるやつの顔がみたいよww
以上

168:現代数学の系譜 雑談
22/11/10 00:06:47.69 SyFI3nIx.net
>>155 タイポ訂正
 b-ε/1,1-ε/2,・・1-ε/n,・・→b
  ↓
 b-ε/1,b-ε/2,・・b-ε/n,・・→b
>>156 タイポ訂正
 b-ε/1,1-ε/2,・・1-ε/n,・・→b
  ↓
 b-ε/1,b-ε/2,・・b-ε/n,・・→b

169:132人目の素数さん
22/11/10 00:29:18.67 Bqts6FYX.net
>>155-156
スレ主がここで力説しているのは、
>>7-16がいかに不思議なパラドックスであるか」
ということに過ぎない。時枝記事の間違いを指摘しているわけではないし、
>7-16の間違いを指摘しているわけでもない。単なる負け惜しみを述べているだけw
ちなみに、>>105で既に指摘したように、枝記事及び>7-16には
「100人の回答者バージョン」が存在し、こちらは確率空間を使わず、
代数的な議論だけで終わってしまう。そして、スレ主は
「100人の回答者バージョン」なら正しいことを既に認めている(公言はしてないが)。

170:132人目の素数さん
22/11/10 00:34:46.52 Bqts6FYX.net
この点を踏まえた上で>>155-156を見返してみると、
"確率99/100" と書かれている部分を
"100人の回答者のうち少なくとも99人"
という文言に差し替えることで、>>155-156は
「100人の回答者バージョンがいかに不思議なパラドックスでるあか」
を力説した文章に生まれ変わる。しかも、その結論は
・ 関数論からの常識外れ
・ こんなクソ理論(100人の回答者バージョン)に、騙されるやつの顔がみたいよww
ということになる。スレ主は「100人の回答者バージョン」なら正しいことを
認めているのだったから、"そんなクソ理論" を認めている奴がスレ主のすぐそばに
存在していることになる。お前自身だよw

171:132人目の素数さん
22/11/10 00:41:10.09 Bqts6FYX.net
さて、スレ主は>>153に反論できず、
単なる感想文にすぎない>>155-156を寄越してきたわけだが、ここで我々は>153に戻る。
サイコロゲーム(6-ゲーム)が確率論に乗っていることは、誰の目にも明らかである。
スレ主もまた、サイコロゲーム(6-ゲーム)が確率論に乗っていることを理解している。
だったら、"7-ゲーム" も確率論に乗ってるし、"8-ゲーム" も確率論に乗ってる。
全く同様にして、任意の n_0≧6 に対して、"n_0-ゲーム" は確率論に乗っている。
・ n_0 を固定するごとに、"n_0-ゲーム" は確率論に乗っている。
・ その "n_0-ゲーム" における回答者の勝率は、明らかに 1-1/n_0 である(>>147)。

172:132人目の素数さん
22/11/10 00:45:17.77 Bqts6FYX.net
これと全く同じ構図が、時枝記事にも通用する。
時枝記事では、完全代表系 T が固定され、出題者が出題する s∈R^N も固定される。
そのときの時枝ゲームを「 (T,s)-時枝ゲーム 」と呼ぶことにすれば、
(T,s)-時枝ゲームは確率論に乗っている。
・ T と s を固定するごとに、"(T,s)-時枝ゲーム" は確率論に乗っている。
・ その "(T,s)-時枝ゲーム" における回答者の勝率は 99/100 以上である。
結局、時枝記事はちゃんと確率論に乗っていて、しかも正しい計算をしている。
スレ主、ここで詰み。

173:132人目の素数さん
22/11/10 06:43:51.64 v+YY4+3D.net
>>155
>>[0,1) から R への写像全体の族を ([0,1)→R) と表記する。f,g∈([0,1)→R) について、・・・
>ちょっとこれを借りて、いかに時枝がデタラメかを説明する(中略)
>実関数f:[0,1]→R を考える

アウト!!!
[0,1]じゃない!!! [0,1)だ!!!
この瞬間、1=「現代数学の落伍者 猥談 ◆yH25M02vWFhP」こと
ブルシットせたぼんが、いかに粗雑な人間か明らかになった
[0,1]と[0,1)は全然違う!!!
たかが1、されど1
思い知れ 🐎🦌野郎!!!

174:132人目の素数さん
22/11/10 06:49:39.29 v+YY4+3D.net
>>155
>[0,1]内の有理数列 1-1/1,1-1/2,・・1-1/n,・・→1 を考える
>関数値列 f(1-1/1),f(1-1/2),・・f(1-1/n),・・→f(1) を作る
アウトw
[0,1)上の関数なのでf(1)の値は無くてもいい
例えば、sin(2π/(1-x))でもいい

175:132人目の素数さん
22/11/10 06:53:59.52 v+YY4+3D.net
>>155
>単なる写像(解析関数でも、微分可能でも、連続でもない、つまり、不連続で良い)
情報開示の仕方を
「99個の函数の決定番号をDをしたとき
 D<aである。あるa以上」
とすれば、一般の関数でも連続でも微分関数でもよい
ただし解析関数はNG
なぜなら、有限の台を持つ解析関数が存在しないから
つまり、いかなる解析関数もその尻尾の同値類は自分自身しかないから
尻尾が分かれば全


176:部分かってしまい、自明な問題になってしまうw



177:132人目の素数さん
22/11/10 07:01:19.10 v+YY4+3D.net
>>156
>[0,1]内の至る所で、時枝の的中現象がおきる
 誤解の悪寒w
 まず[0,1]ではなく[0,1)だと念を押すとして(しつこいw)
 仮に100個の関数の決定番号が全部0なら、
 [0,1)のどの点aでも当てられる、という意味ではウソではないが
 箱入り無数目の方法では、回答者は出題前に点を指定しない
 あくまで99個の関数の決定番号の最大値Dを知った上で
 Dもしくはそれより大きなa<1を指定するわけである
 (開けるのは指定したaに対してa<b<1となるb以上の値)
 その意味では、aは[0,1)の中から勝手に選べるわけではない

178:132人目の素数さん
22/11/10 07:09:01.41 v+YY4+3D.net
>>156
>関数論からの常識外れ
 ブルシットせたぼんは、なにしろ、工業高校中退の中卒なので
 「関数論」という言葉の意味も知らないと思ったほうがいい

 大学の理系学部を卒業した人なら関数論といえば複素関数論のことだが
 ブルシットせたぼんのいう「関数論」をその意味で解釈するとトンチンカン
 なぜなら解析関数は全く出てこない話だからw

 仮に
 「解析関数じゃない関数では
  x以外の点yでのfの値f(y)をいくら知ったところで
  f(x)なんか分かりようがない」
 というネガティブな意味だとしても
 解析関数の中だけで考えた場合、
 fの尻尾の同値類には関数f自身しか所属しない
 という馬鹿丸出しの自明な話で終わり

 ブルシットせたぼんってほんと正真正銘の🐎🦌だな
 大学に入れないって人間失格の🐒だなマジで(嘲)

179:132人目の素数さん
22/11/10 07:15:18.92 v+YY4+3D.net
ところで、尻尾の同値類について
全順序集合に最大元があるかないかで
全然違う性質がある

最大元aがある
→尻尾の同値類の中の全部の元に共通する尻尾が存在し、それはaでの値になる
最大元aがない
→尻尾の同値類の中の任意の有限個の元に共通する尻尾は存在するが
 全部の元に共通する尻尾は存在しない!

なぜなら、
最大元aがある場合
→全順序集合の任意の元bについてb以上の元からなる部分集合全体の
 共通集合は最大元aを含む
最大元aがない場合
→全順序集合の任意の元bについてb以上の元からなる部分集合全体の
 共通集合は空集合
となるから

#大学に入れるだけのオツムがあれば誰でも分かる話

180:現代数学の系譜 雑談
22/11/10 08:02:54.22 SyFI3nIx.net
>>162
>アウト!!!
>[0,1]じゃない!!! [0,1)だ!!!
違うよ
アウトではない
[0,1]、[0,1)両方可能だよ
だが
簡便に、[0,1]としただけ

181:現代数学の系譜 雑談
22/11/10 08:06:02.35 SyFI3nIx.net
>>158
>スレ主がここで力説しているのは、
>「>>7-16がいかに不思議なパラドックスであるか」
>ということに過ぎない。
違うよ
 >>7-16の[0,1]上の実関数(不連続可)を使って
いかに馬鹿げたことが起きるかを
強調しているんだ
この馬鹿げたことが
数学で起きると思うやつ
数理のセンスないw

182:現代数学の系譜 雑談
22/11/10 08:16:44.45 SyFI3nIx.net
>>155
>不連続で良い
>実関数f:[0,1]→R を考える
”固定”について考える
関数を一つ選んでいる
あとは、区間[0,1]内に取る可算無限長の定義域の数列で
値域の数列が決まる
勿論、”固定”だ
通常の数学用語では、「決定される」だろうな
意味は同じだろう

183:132人目の素数さん
22/11/10 09:35:00.93 jtmXdR3K.net
>>168
>>アウト!!!
>>[0,1]じゃない!!! [0,1)だ!!!
>違うよ
>アウトではない
>[0,1]、[0,1)両方可能だよ
違わんよ
[0,1)なら必ず尻尾が取れるが
[0,1]なら決定番号1のときはその先の尻尾が取れない
だから[0,1]では箱入り無数目は不可能 アウト!!!
>だが簡便に、[0,1]としただけ
ダメなものはダメ
いい加減ひろゆきみたいな白痴ボケは勘弁してくれwww

184:132人目の素数さん
22/11/10 13:04:03.61 Bqts6FYX.net
>>169
>違うよ
> >>7-16の[0,1]上の実関数(不連続可)を使って
>いかに馬鹿げたことが起きるかを
>強調しているんだ
違ってないじゃん。結局スレ主は
「こんなバカげたことが本当に起きるだろうか?」
と感情論に訴えているだけであって、
具体的な間違いを指摘しているわけではない。
それ、ただの負け惜しみだよ。

185:132人目の素数さん
22/11/10 13:04:37.12 Bqts6FYX.net
そして、>>155-156で


186: "確率99/100" と書かれている部分を "100人の回答者のうち少なくとも99人" という文言に差し替えることで、>155-156は 「100人の回答者バージョンとかいう、こんなバカげたことが本当に起きるだろうか?」 「こんなクソ理論(100人の回答者バージョン)に、騙されるやつの顔がみたいよww」 という文章に生まれ変わる。しかし、スレ主は「100人の回答者バージョン」なら 正しいことを認めているのだったから、"そんなクソ理論" を認めている奴が スレ主のすぐそばに存在していることになる。お前自身だよw



187:132人目の素数さん
22/11/10 13:12:00.47 Bqts6FYX.net
>>147の場合:
・ まず最初に n_0≧6 が固定される。
・ 固定した n_0 に対して、"n_0-ゲーム" が始まる。
・ このゲームでは、「回答者が機械 M_{n_0} を動かして出目を取得する」という
  確率的行為が行われ、その出目が「1」なら出題者の勝ちで、それ以外なら回答者の勝ち。
・ すなわち、"n_0-ゲーム" での回答者の勝率は 1-1/n_0 である。
最も馴染みのあるケースは n_0=6 が選ばれた場合。このときは "6-ゲーム" が始まるのだが、
それは単なるサイコロゲーム(>>149)であり、回答者の勝率は 1-1/6 である。
つまり、n_0 を固定したときの "n_0-ゲーム" は確率論に乗っていて、
そこで算出される「回答者の勝率」は確率論として意味がある。

188:132人目の素数さん
22/11/10 13:16:08.07 Bqts6FYX.net
時枝記事の場合:
・ まず最初に、完全代表系 T と出題列 s∈R^N が固定される。
・ 固定した T と s に対して、"(T,s)-時枝ゲーム" が始まる。
・ このゲームでは、「回答者が 1,2,…,100 からランダムに番号 i を選ぶ」という
  確率的行為が行われ、1,2,…,100 の中にハズレは高々1つで、それ以外の番号を
  引き当てれば回答者の勝ち。
・ すなわち、"(T,s)-時枝ゲーム" での回答者の勝率は 99/100 以上である。
はい、時枝記事は正しい。

189:現代数学の系譜 雑談
22/11/10 13:58:05.33 3pkGuk8A.net
>>171
(引用開始)
 >>168
>>アウト!!!
>>[0,1]じゃない!!! [0,1)だ!!!
>違うよ
>アウトではない
>[0,1]、[0,1)両方可能だよ
違わんよ
[0,1)なら必ず尻尾が取れるが
[0,1]なら決定番号1のときはその先の尻尾が取れない
だから[0,1]では箱入り無数目は不可能 アウト!!!
(引用終り)
1)分かってないな
 包含関係 [0,1)⊂[0,1]
 だから、[0,1]は [0,1)の場合を含み、
 選択肢が増えているよ
 つまり、[0,1)で可能なことは、[0,1]内で可能だよ
2)上記「[0,1]では箱入り無数目は不可能」ではない
 まず、>>155で意図しているのは、オリジナルの時枝>>1
 そのまま、区間[0,1]上の実関数(不連続可)を使って再現しようというものだ
3)さて>>155で、
「[0,1]内の任意の区間[a,b]で可能
 つまり、0<a<b<1 で ε=b-aとして
 同様に
 b-ε/1,b-ε/2,・・b-ε/n,・・→b
 f(b-ε/1),f(b-ε/2),・・f(b-ε/n),・・→f(b)
 これに時枝を適用して、あるk∈N のf(b-ε/k)の値が、
 確率99/100で、他の値から
 決められることになる」
 の意図を解説すると
 ”b-ε/1,b-ε/2,・・b-ε/n,・・→b”に、頭から1,2・・n・・∈N と
 自然数を附番して
 ”f(b-ε/1),f(b-ε/2),・・f(b-ε/n),・・→f(b)”も同様
 これで、実関数f(x)による 可算無限列ができたので
 時枝>>1がそのまま適用できて、ある関数値が確率99/100で的中できるとなる
4)上記3)は、”(箱入り無数目の連続版)”>>7 は、使わない
 そして、>>155-157で主張しているのは、上記3)のような可算無限の関数値列は
 [0,1]内の至るところで実現可能ということ
 つまり、「[0,1]内の至る所で、時枝の的中現象がおきる
 しかも、確率99/100は、任意に的中確度を上げられるという」>>156
 こと。こんなデタラメが起きますということですw

190:132人目の素数さん
22/11/10 14:34:53.46 Bqts6FYX.net
f,g∈([0,1]→R) に対して
f~g ⇔ ∃a∈[0,1], ∀x∈(a,1] s.t. f(x)=g(x)
と定義すると、この ~ は次の性質を満たす。
・f~g ⇔ f(1)=g(1).
つまり、単に f(1)=g(1) でありさえすれば f~g になってしまう。
この場合、決定番号の写像 d:([0,1]→R) → [0,1] は値域に 1 が含まれ、
しかも d(f)=1 になるケースが頻発する。すると、時枝戦術が機能しなくなる。

191:132人目の素数さん
22/11/10 14:36:59.39 Bqts6FYX.net
>>7-16の場合、決定番号の写像 d:([0,1)→R) → [0,1) は
値域に 1 が含まれないので、d(f) は必ず d(f)<1 を満たす。
特に、a_i=max{ d(f_j)|1≦j≦100, j≠i } と置くとき a_i<1 なので、
a_i < (a_i+1)/2 < 1
が成り立つ。特に、開区間 ( (a_i+1)/2, 1) は空ではない。よって、回答者は
x∈( (a_i+1)/2, 1) での f_i(x) の値を取得することができて、
f_i~g を満たす代表 g を手に入れる。そして
「 box[i][(a_i+1)/2] の中身は g((a_i+1)/2) である」と推測するわけである。
これが [0,1] だと、d(f)=1 が頻発するので、a_i=1 というケースが起こり得る。すると、
a_i = (a_i+1)/2 = 1
なので、( (a_i+1)/2, 1] は空集合であり、回答者は x∈( (a_i+1)/2, 1] での
f_i(x) の値を取得するという行為ができない。ここで時枝戦術は失敗する。

192:132人目の素数さん
22/11/10 14:40:38.72 Bqts6FYX.net
>>177 の訂正。
× f~g ⇔ ∃a∈[0,1], ∀x∈(a,1] s.t. f(x)=g(x)
〇 f~g ⇔ ∃a∈[0,1], ∀x∈[a,1] s.t. f(x)=g(x)

193:132人目の素数さん
22/11/10 14:52:12.01 Bqts6FYX.net
では、[0,1) を [0,1] に変更するのは絶対にダメかというと、実はそうでもない。
f,g∈([0,1]→R) に対して、二


194:項関係 ρ_i (i=1,2,3,4,5) を以下のように定義する。 f ρ_1 g ⇔ ∃a∈[0,1], ∀x∈[a,1] s.t. f(x)=g(x). f ρ_2 g ⇔ ∃a∈[0,1), ∀x∈[a,1] s.t. f(x)=g(x). f ρ_3 g ⇔ ∃a∈[0,1), ∀x∈(a,1] s.t. f(x)=g(x). f ρ_4 g ⇔ ∃a∈[0,1), ∀x∈[a,1) s.t. f(x)=g(x). f ρ_5 g ⇔ ∃a∈[0,1), ∀x∈(a,1) s.t. f(x)=g(x). どの ρ_i も([0,1]→R)上の同値関係になることが確かめられる。そして、 f ρ_1 g ⇔ f(1)=g(1) が成り立つことが確かめられる。>>177-179で指摘したように、この場合、 時枝戦術は途中で失敗する。つまり、ρ_1 を使うと時枝戦術は途中で失敗する。 一方で、ρ_2, ρ_3, ρ_4, ρ_5 の場合だと、時枝戦術は性能に機能する。 なので、[0,1) を [0,1] に変更するのは絶対にダメというわけではなくて、 適切に同値関係を定義すれば [0,1] でも時枝戦術は機能する。



195:132人目の素数さん
22/11/10 14:59:31.13 Bqts6FYX.net
そして、現状では [0,1) か [0,1] かが問題なのではなく、単にスレ主が
「こんなバカげたことが本当に起きるだろうか?」
と感情論に訴えているだけなのが問題なのである。
これでは単なる負け惜しみであって、もはや数学でもなんでもない。
ちなみに、時枝記事の正しさは>>174-175で説明したとおり。
「固定は確率論に乗らない」とかいうスレ主の詭弁は通用しない。

196:132人目の素数さん
22/11/10 15:03:42.45 Dy0Ff6SX.net
>>176
>分かってないな
 貴様がなw
 早速、>>177-179で瞬間焼却されてんじゃん
 この🐎🦌🐵がwww
>包含関係 [0,1)⊂[0,1]
>だから、[0,1]は [0,1)の場合を含み、
>選択肢が増えているよ
 正真正銘の白痴www
 元の設定にないウソ選択肢追加する
 ウルトラスーパー🐎🦌www
>つまり、[0,1)で可能なことは、[0,1]内で可能だよ
 あのな、[0,1)で出来ないことが出来たらアウトなの
 そんな基本というか初歩もわからんか?
 この工業高校1年中退の中卒ヤンキーが!

197:132人目の素数さん
22/11/10 15:06:56.68 Dy0Ff6SX.net
>>180
よせよせ、論理記号も読めない文盲の
ブルシットせたぼんには生涯理解不能w

198:132人目の素数さん
22/11/10 15:10:38.70 Dy0Ff6SX.net
>>183
ブルシットせたぼんが>>180見た時の反応
「なんでAとEがひっくり返ってんねん!
 ワケワカラン!」

199:現代数学の系譜 雑談
22/11/10 16:30:45.91 3pkGuk8A.net
>>182
(引用開始)
>包含関係 [0,1)⊂[0,1]
>だから、[0,1]は [0,1)の場合を含み、
>選択肢が増えているよ
 正真正銘の白痴www
 元の設定にないウソ選択肢追加する
(引用終り)
そもそも、元の設定>>8を使ってないと明言しているぜよww
>>155 & >>176より”2)上記「[0,1]では箱入り無数目は不可能」ではない
 まず、>>155で意図しているのは、オリジナルの時枝>>1
 そのまま、区間[0,1]上の実関数(不連続可)を使って再現しようというものだ”)
>>177
>f~g ⇔ ∃a∈[0,1], ∀x∈(a,1] s.t. f(x)=g(x)
>と定義すると、この ~ は次の性質を満たす。
それ関係ないよ
上記の通りだよw

200:132人目の素数さん
22/11/10 16:46:11.66 Bqts6FYX.net
>>185
>>7-16そのものについて論じているのではなく、
[0,1]上に時枝記事の構造を再現しているだけだと。
で、その結果としてスレ主が何を主張しているのかと言えば、
「こんなバカげたことが本当に起きるだろうか?」
という感情論を訴えているだけ。
それ、意味ある?

201:132人目の素数さん
22/11/10 16:52:29.40 Bqts6FYX.net
そもそも、
「こんなバカげたことが本当に起きるだろうか?」
なんて言われたら、まず100人の回答者バージョンの時点で既にバカげてるんだけど、
スレ主は「100人の回答者バージョン」については正しいことを認めてるわけよ
(公言はしてないが)。
そして、歴史を振り返れば、バナッハ・タルスキーのパラドックスとかいう
バカげたことが定理として証明されている。
当然、スレ主はバナッハ・タルスキーのパラドックスも認めている。
そんなスレ主が、なぜか確率バージョンの時枝記事だけは正しいことを認めない。
やってることがダブルスタンダード。
というか、時枝記事に対する具体的な反論がないなら、そこで終わりだよ。
まあ時枝記事は正しい(>>174-175)ので反論は不可能なんだけどね。

202:132人目の素数さん
22/11/10 16:59:21.75 ZqWeUW0U.net
>>168
>[0,1]、[0,1)両方可能だよ
可能って何が?
関数版時枝戦略の意味なら不可能だよ バカ?

203:132人目の素数さん
22/11/10 17:03:30.43 ZqWeUW0U.net
>>169
>> >>7-16の[0,1]上の実関数(不連続可)を使って
>いかに馬鹿げたことが起きるかを
>強調しているんだ
また言葉が通じないサルのふりか
>>7には[0,1)と書いてあるのが読めないのか?

204:132人目の素数さん
22/11/10 17:10:31.81 ZqWeUW0U.net
>>172
>結局スレ主は
>「こんなバカげたことが本当に起きるだろうか?」
>と感情論に訴えているだけであって、
>具体的な間違いを指摘しているわけではない。
その通り
俺も以前同じことを言った
だからしつこく「時枝証明の誤り箇所を示せ」と言ってるのに奴は一向に示せない
非正則�


205:ェ布とかトンチンカンなことばかり



206:132人目の素数さん
22/11/10 17:14:57.66 ZqWeUW0U.net
>>174
これほど完璧な論破は見たことが無い

207:132人目の素数さん
22/11/10 17:18:10.48 ZqWeUW0U.net
>>176
>選択肢が増えているよ
選択肢が増えるのは善き事ってかw
前人未踏のバカかおまえはw

208:132人目の素数さん
22/11/10 17:23:04.27 v+YY4+3D.net
>>185
>元の設定>>8を使ってないと明言しているぜよww
 中卒文盲の貴様に∃と∀が読めないだけだろq
>>8
「[0,1) から R への写像全体の族を ([0,1)→R) と表記する。
 f,g∈([0,1)→R) について、
 ∃a∈[0,1), ∀x∈(a,1) s.t. f(x)=g(x)
 が成り立つとき、f~g と書くことにする。」
趣味の問題だが、オレなら
 ∃a∈[0,1), ∀x∈[a,1) s.t. f(x)=g(x)
とする ま、これは大した違いではないがな

209:132人目の素数さん
22/11/10 17:30:17.64 v+YY4+3D.net
>>185
>まず、>>155で意図しているのは、オリジナルの時枝>>1
>そのまま、区間[0,1]上の実関数(不連続可)を使って再現しようというものだ
>>155みたいな馬鹿翻訳は要らないw
ついでにいうと列にf(1)を含んだ瞬間
「f(1)=g(1)の一致だけで同値!」
となってしまうので、箱入り無数目が完全に失敗する
つまり全然>>1が再現できていないwww
これはR^(ω∪{ω})で、
「ω番目の最後の箱だけ一致で同値」
となるのと全く同じこと
つまり
R^ωとR^(ω∪{ω})は全然違う!
そしてその違いは
[0,1]→Rと[0,1)→Rの違いに
完全に対応する!
結論
ブルシットせたぼんは違いの分からない🐎🦌
(ネスカフェのコーヒーのCMかw)

210:132人目の素数さん
22/11/10 17:33:05.37 v+YY4+3D.net
>>185
>上記「[0,1]では箱入り無数目は不可能」ではない
いや、不可能w
つまり、ブルシットせたぼんは、おろかにも粗雑にも
1-1/1,1-1/2,・・・,1-1/n,・・・ 1
とした瞬間に自爆死した
>>1を再現するなら
1-1/1,1-1/2,・・・,1-1/n,・・・
とせねばならない
つまり、決して[0,1]としてはならず、
必ず[0,1)とせねばならない!!!

211:132人目の素数さん
22/11/10 17:35:26.07 v+YY4+3D.net
工業高校1年中退の中卒🐎🦌🐒、ブルシットせたぼんは
>>168
>簡便に、[0,1]としただけ
とほざいてるが、いったいなにがどう簡便なのか分からん
脳味噌サナダムシに食われたとか思えん
どうせ貧乏だから豚肉に火を通さず生食したんだろw

212:132人目の素数さん
22/11/10 17:40:19.24 v+YY4+3D.net
ブルシットせたぼんは「コンパクト🐎🦌」である
ノンコンパクトなものを見ると発狂し
とにかく1点追加でコンパクト化する
🐎🦌変更して間違うw
しかし自然数全体の集合Nはノンコンパクトなのだ!
いかなるn∈Nについてもn+1が存在するのだから
最大にして最後の自然数など存在しえないのだ
ブルシットせたぼんは、そのオツムの程度が
安達の爺さんと全く同レベルであり
とにかく終わりのない集合は認められないのだ
これほどの🐎🦌が大学の理系学部に合格できるわけがなかろう
(なお、工学部は”専門学校”なので大学ではない!w)

213:現代数学の系譜 雑談
22/11/10 18:38:57.75 3pkGuk8A.net
>>186
>で、その結果としてスレ主が何を主張しているのかと言えば、
>「こんなバカげたことが本当に起きるだろうか?」
>という感情論を訴えているだけ。
>それ、意味ある?
1)感情論? バカか
2)解析関数ならば、解析接続や一致の定理で、
 関数の一部の情報から他の部分を関数値を当てられる
3)では、無限回微分可能関数ならどうか?
 すでに、上記2)は困難
4)単なる微分可能関数では? 
 もっと困難だよね
5)単なる連続関数では?
 殆ど不可能
6)連続性さえ仮定しない関数で
 関数の一部が一致するからと、何か言える?
 >>155-156のようなことがwww
 いえる?www
 もし、>>155-156が可能というならば
 数理感覚狂っているよ!あなたww
 関数論を勉強し直すべしだな!www

214:132人目の素数さん
22/11/10 19:24:49.96 Bqts6FYX.net
>>198
>1)感情論? バカか
実際、感情論しか書いてないじゃん。
>6)連続性さえ仮定しない関数で
> 関数の一部が一致するからと、何か言える?
> >>155-156のようなことがwww
> いえる?www
> もし、>>155-156が可能というならば
> 数理感覚狂っているよ!あなたww
ほらね、感情論しか書いてないじゃん。バカじゃないの。

215:132人目の素数さん
22/11/10 19:30:04.07 Bqts6FYX.net



216:そもそも、「こんなバカげたことが本当に起きるだろうか?」なんて言われたら、 まず100人の回答者バージョンの時点で既にバカげてるんだけど、スレ主は 「100人の回答者バージョン」については正しいことを認めてるわけよ。 連続性さえ仮定しない関数で、関数の一部が一致するからと、それで何が言えるかといえば、 「100人の回答者の中で少なくとも99人は何らかの箱の中身を言い当てる」と、 そのようなことが言える。そのようなことが可能。 これはスレ主によれば「バカげている」「数理感覚が狂っている」らしいが、 当のスレ主自身が「100人の回答者バージョン」については正しいことを認めている。 それなのに、なぜか確率バージョンの時枝記事だけは正しいことを認めない。 やってることがダブルスタンダード。 というか、時枝記事に対する具体的な反論がないなら、そこで終わり。 まあ時枝記事は正しい(>>174-175)ので反論は不可能なんだけどね。



217:132人目の素数さん
22/11/10 20:24:55.17 v+YY4+3D.net
>>198
>解析関数ならば、解析接続や一致の定理で、関数の一部の情報から他の部分を関数値を当てられる
>無限回微分可能関数ならどうか?すでに、困難
>単なる微分可能関数では?もっと困難だよね
>単なる連続関数では?殆ど不可能
>連続性さえ仮定しない関数で、関数の一部が一致するからと、何か言える?
解析関数では、有限な台を持つ関数が存在し得ないので
異なる2つの解析関数が、同じ尻尾の同値類に入ることはありません
しかし、無限回微分可能関数、1回微分可能関数、連続関数、一般の関数では
もちろん有限な台を持つ関数が存在するので、異なる関数が、
同じ尻尾の同値類に入ることはあります
そしてそのような関数こそ、箱入り無数目の対象になります
解析関数なんか箱入り無数目の対象になりません
だってあたるの自明じゃんw 
🐎🦌じゃねえの?腐れ中卒、ブルシットせたぼんw

218:132人目の素数さん
22/11/10 20:27:19.93 v+YY4+3D.net
>>198
>数理感覚狂っているよ!
 工業高校すら卒業できずに中退した
 🐎🦌のブルシットせたぼんの
 数理感覚なんか0どころかマイナスだろが(嘲)

219:現代数学の系譜 雑談
22/11/10 21:12:15.34 SyFI3nIx.net
>>201
>解析関数では、有限な台を持つ関数が存在し得ないので
>異なる2つの解析関数が、同じ尻尾の同値類に入ることはありません
>しかし、無限回微分可能関数、1回微分可能関数、連続関数、一般の関数では
>もちろん有限な台を持つ関数が存在するので、異なる関数が、
>同じ尻尾の同値類に入ることはあります
>そしてそのような関数こそ、箱入り無数目の対象になります
分かってないな、お主w
1)いま、時枝について、二つのモデルがある
 a)オリジナルの時枝の通り>>1
 b)あんたが考えた時枝の決定番号連続版 >>7-8
2)あんたのb)決定番号連続版 >>8 なら、
 その”有限な台を持つ関数”云々は言えるだろうが
 オリジナルの時枝の通りa)>>1では、それは言えない
 例えば、オリジナルの時枝では、>>155-157に示すように
 関数値 ”f(b-ε/1),f(b-ε/2),・・f(b-ε/n),・・”
 のように可算無限個の値で、関数が一意に決まる?
 (いや、そもそもしっぽの部分のみで離散(連続区間ではない)の関数値の一致でしかないんだぞ?w)
 それって証明あるかな?ww
で、別の視点で
1)時枝記事は、与太記事で、欧米ではURLリンク(mathoverflow)>>2の掲示板や
 査読掲載論文でないSergiu Hart氏個人のホームページの掲載 ゲーム記事>>2
 しかない
2)一方、関数論は100年以上の歴史があるし
 測度論による確率論も100年近くの歴史がある
3)それから、時枝が2015年、欧米が2013年で、いま2022年だから
 そろそろ10年だが、プロ数学者は鼻も掛けないよね
思うに
いまさら、自分が間違っていましたって言えないんだろ?
虚勢張っているけど
丸わかりじゃん、お主w
あるいは、なんとか教会みたく、マインドコントロールか?
なんとか教会は、キリストの再降臨が朝鮮にあったとかいう
しかし、韓国ではそんなことを信じる人が、殆どいないという
が、マインドコントロールに嵌まった日本人がいるらしい
時枝のマインドコントロールか? 罪深い記事だねw

220:132人目の素数さん
22/11/10 21:25:52.75 Bqts6FYX.net
>>203
これもまた、「こんなバカげたことが本当に起きるだろうか?」
という感情論に終始している。もはや数学でも何でもない。
>いまさら、自分が間違っていましたって言えないんだろ?
>虚勢張っているけど
↑まさしくスレ主である。

221:132人目の素数さん
22/11/10 21:34:58.70 Bqts6FYX.net
時枝記事が正しいことは>>174-175により明白。
スレ主は「固定すると確率論に乗らない」などとほざいていたが、
実際には固定しても確率論に乗る。その最たる例が>>174の "6-ゲーム" である。
時枝記事も全く同様。時枝記事では、完全代表系 T と出題列 s∈R^N を
固定した上で "(T,s)-時枝ゲーム" が始まる。
そして、"6-ゲーム" が確率論に乗り、回答者の勝率が 1-1/6 であるように、
"(T,s)-時枝ゲーム" は確率論に乗り、回答者の勝率は 99/100 以上である。
ゆえに、時枝記事は正しい。

222:132人目の素数さん
22/11/10 21:36:47.71 Bqts6FYX.net
スレ主は国語ができないバカなので、時枝記事で設定されているゲームが
"(T,s)-時枝ゲーム"
であるとは読み


223:取れなかった。スレ主は時枝記事とは関係のないゲームを 勝手に読み取り、的外れな批判をずっと繰り広げていた。 つまり、存在しない敵と勝手に戦っていたのがスレ主ということ。 スレ主は今さら自分の間違いを認められないので、虚勢を張って 「こんなバカげたことが本当に起きるだろうか?」 と感情論に終始している。哀れだなw



224:132人目の素数さん
22/11/10 22:06:09.23 ZqWeUW0U.net
>>198
>1)感情論? バカか
感情論でないなら時枝証明の誤り箇所を記事原文から引用せよ
非正則分布は記事原文の引用ではないので却下

225:132人目の素数さん
22/11/10 22:11:05.30 ZqWeUW0U.net
証明の誤りを具体的に指摘できないということは証明を読めてない、読める学力が無いということ
諦めろよ中卒

226:132人目の素数さん
22/11/10 22:41:40.72 JtV8fwu2.net
遂にスレ主降参か
長かったなこの茶番(笑)

227:現代数学の系譜 雑談
22/11/10 23:35:55.22 SyFI3nIx.net
>>208-209
>遂にスレ主降参か
>長かったなこの茶番(笑)
笑えるw
時枝記事を扱い始めた
2015年から2016年ころは
時枝記事に反対するのは私くらいで
多勢無勢だった
しかし、2022年まで
時枝賛成派は、どんどん減って
いまやおそらく二人か
あんたら、頭固いだけでしょw
(いや、頭悪いかもねwww)

228:現代数学の系譜 雑談
22/11/10 23:37:25.34 SyFI3nIx.net
>>203
> 例えば、オリジナルの時枝では、>>155-157に示すように
> 関数値 ”f(b-ε/1),f(b-ε/2),・・f(b-ε/n),・・”
> のように可算無限個の値で、関数が一意に決まる?
> (いや、そもそもしっぽの部分のみで離散(連続区間ではない)の関数値の一致でしかないんだぞ?w)
ここ、ちょっと違うな
オリジナルの時枝では、
”f(b-ε/1),f(b-ε/2),・・f(b-ε/n),・・”
  ↓
”f1    ,f2    ,・・fn    ,・・”
という形に書き換えられて
 b-ε/1,b-ε/2,・・b-ε/n,・・
の情報が消されてしまって、
 1,2,・・,n,・・に置き換えられる
そうなると、f解析関数であっても、
”f1    ,f2    ,・・fn    ,・・”の値は
一意にはならないな
なお、
 b-ε/1,b-ε/2,・・b-ε/n,・・
のような、値域の情報が消されず残されても
しっぽの部分のみで離散(連続区間ではない)の関数値の一致では
解析関数に限定したとしても
一意に決まらない気がするな

229:現代数学の系譜 雑談
22/11/10 23:40:14.39 SyFI3nIx.net
>>211 訂正
”f1    ,f2    ,・・fn    ,・・”の値は
一意にはならないな
 ↓
”f1    ,f2    ,・・fn    ,・・”の値だけでは
関数は一意に決まらないな
だな(^^

230:現代数学の系譜 雑談
22/11/11 18:41:52.63 GYhmUtNz.net
>>169 補足
(引用開始)
違うよ
 >>7-16の[0,1]上の実関数(不連続可)を使って
いかに馬鹿げたことが起きるかを
強調しているんだ
この馬鹿げたことが
数学で起きると思うやつ
数理のセンスないw
(引用終り)
1)「着眼大局、着手小局」
2)着眼大局=大局観 数学のみならず人生の至る所これ要ると思うよ
3)時枝が馬鹿げている思えないやつ、大学の確率論、確率過程論の単位落としたか、教程を取ってないかだろうね
(参考)
URLリンク(president.jp)
キャリア | 【性格弱点別】人生を変える7つの習慣
2017/01/31 15:00
決断が遅い人は、「着眼大局、着手小局」を心がけよ
PRESIDENT 2016年8月15日号
小島 和子
行動イノベーションの専門家である大平信孝氏が勧める作戦は「2つの締め切り」を設けること。通常は仕事のデッドラインだけを決めるが、「遅くともいつまでに着手するべきか」という着手の締め切りも実は重要だ。どんな仕事でも、やり始めてしまえば進むのに、手をつけるまでがいちばん億劫だという経験は誰しもあるはず。だからこそ、着手の締め切りを設けることに意味があるのだ。
そして、いざ着手しても初めからトップギアで走り始める必要はない。ほんの小さなことから手をつけるのがコツだ。アドラー心理学を使った研修やカウンセリングで定評のある岩井俊憲氏は「着眼大局、着手小局」を心がけよと諭す。熟考型の人は着眼大局、つまり大きなことばかり考えて、何から始めたらいいのか迷う。ただし、そのとき脳はサボっているわけではなく、何かしら試行錯誤している。それを目に見える形にするために、ほんの少しでいいから手足を動かすといいのだ。
つづく

231:現代数学の系譜 雑談
22/11/11 18:42:49.52 GYhmUtNz.net
>>213
つづき
URLリンク(sakijuku.com)
咲塾
着眼大局着手小局
2019.09.20
こんばんは加藤です。
皆さんは「着眼大局着手小局」という言葉を知っていますか?
中国の戦国時代末の儒学者の言葉です。
私もそんなことは知らなかったのですがね(笑)
私がこの言葉を知っているのは、将棋界の伝説の人と言われる「升田幸三」がこの言葉を使っていたからです。
升田幸三って言っても将棋を知らない人は分かりませんよね。
当時の将棋のタイトル全てを制覇した最初の人であり、現在ではこの人の名前がついた賞まであります。
言葉の意味は「物事を長く広い見地から見ながら、目の前の小さなことから実践する」です。
(引用終り)
以上

232:132人目の素数さん
22/11/11 19:20:51.95 vuBqCE83.net
>>213
ほらね、感情論しか書いてないじゃん。バカじゃないの。

233:132人目の素数さん
22/11/11 19:41:58.76 lwuhmBbC.net
>>203
>関数値 ”f(b-ε/1),f(b-ε/2),・・f(b-ε/n),・・”
>のように可算無限個の値で、関数が一意に決まる?
>それって証明あるかな?ww
なに誰もいってないことを
誰もが云ってるように
ホラふいて発狂してんだ?
この●違いブルシットせたぼんwwwwwww
[0,1)→Rの関数100個、f1~f100について、その決定番号をd1~d100とする
またf1~f100の尻尾の同値類の代表関数をr1~r100とする
1.d1~d100はみな1より小さい di<1 (i=1~100)
2.d1~d100の最大値dmaxが存在する dmax<1
3.1および2より、dmax≦x<1なるxでは、
  f1(x)~f100(x)は、それぞれr1(x)~r100(x)と等しい
  fi(x)=ri(x) (i=1~100)
例えばd69=dmaxとし、他のdiはdmaxより小さいとする
この場合、f69を選ばない限り、他の99個の関数の決定番号の最大値は
d69であって、その場合、d69より大きいxを選べばfi(x)=ri(x)だから当たる
ただそれだけのことが工業高校1年中退の中卒🐎🦌野郎の
ブルシットせたぼんにはどうしても理解できない
正真正銘のパクチー野郎といっていいwwwwwww
焼かれて灰になっちまえ フッ!(灰を吹き飛ばすw)

234:132人目の素数さん
22/11/11 19:50:29.95 vuBqCE83.net
時枝証明の間違い箇所まだー?マチクダビレター

235:現代数学の系譜 雑談
22/11/11 21:14:30.95 2HMhhChr.net
>>8
>[0,1) から R への写像全体の族を ([0,1)→R) と表記する。f,g∈([0,1)→R) について、
ふと思うと
区間の変換が
[0,1)
 ↓
[b-ε,b) |0<ε,bは任意の実数
とできるね
つまり、
ある実数bのε近傍をbより左側に取れる
そうすると、
このような区間[b-ε,b)は至るところ取れるなw
あたかも、>>155-157の如しだ
それは、区間[0,1]内でもいくらでも可能だし
区間[0,1]内に限らず
数直線R上の任意の場所で、ε近傍はいくらでも小さくできるぞ
的中確率? 99/100? 
もっといくらでも的中確率が上げられる?
 関数fは、不連続で良かったのだから、
 これは明らかに
 関数論からの常識外れ
 こんなクソ理論>>1に、騙されるやつの顔がみたいよww(>>156)

236:132人目の素数さん
22/11/11 21:47:03


237:.48 ID:vuBqCE83.net



238:現代数学の系譜 雑談
22/11/11 23:34:15.09 2HMhhChr.net
前スレより
スレリンク(math板:13番)
<非正則分布についての補足>
(参考)
箱入り無数目を語る部屋2 スレリンク(math板:834番) より
URLリンク(ai-trend.jp)
AVILEN Inc
2020/04/14
非正則事前分布とは??完全なる無情報事前分布?
ベイズ統計
ライター:y0he1
非正則な分布とは?一様分布との比較
非正則な分布とは、一様分布の範囲を無限に広げた分布のことです。
非正則分布は確率分布ではない!?
上で説明した非正則な分布ですが、よく見てみてください。確率の和が1ではありません
URLリンク(kuboweb.github.io)
Link and Barker (2010) 輪読@北海道大学 Part1. 第 6 章 Prior 1
Chapter 6. Prior
2010/5/29 (Sat.) 飯島勇人†
P8
6.2.2 Improper priors
一様事前分布は、パラメータが有限の範囲を持つ時に、適切と考えられる値が特に存在しないと
きに有効である。この考えを無限に拡張することはよいように思われるが、無限の範囲を持つ一様
分布は不可能である。improper prior(非正則事前分布)という考えを導入する必要がある。
(引用終り)
要するに、非正則分布は、例えば、一様分布の範囲を無限に広げた分布である(一様事前分布)
範囲が無限であっても、下記の正規分布のように、指数関数的に減衰する場合は、積分は発散せず、正当に扱える
類似で、裾の重い分布がある
分布の裾が、xの-1乗より早く減衰すれば、積分は発散しない
(積分 ∫x=1~∞ x^-1 dx が発散して∞になることは、よく知られている)

239:現代数学の系譜 雑談
22/11/11 23:44:50.11 2HMhhChr.net
>>220 補足
1)通常の一様分布は、確率変数の存在範囲が限られている(下記)
(参考)
URLリンク(ja.wikipedia.org)
一様分布(いちようぶんぷ)は、離散型あるいは連続型の確率分布である。 サイコロを振ったときの、それぞれの目の出る確率など、すべての事象の起こる確率が等しい現象のモデルである。
生態学の場合、一様分布とは個体間がほぼ等距離の分布を指す。分布様式を参照。
2)自然数Nのように、0からはじまり、一ずつ限りなく増えていく場合、上限がなく
 全体は無限集合になり、発散してしまう。このような場合、非正則分布になる>>220
3)いま、時枝の決定番号を考えよう
 a)決定番号には上限なし
 b)決定番号は、大きい数になっても減衰しない
 よって、条件a)b)より、全体は無限集合になり、発散する
 よって、非正則分布になる

240:現代数学の系譜 雑談
22/11/11 23:53:50.75 2HMhhChr.net
>>207
>非正則分布は記事原文の引用ではないので却下
1)数学では、時代が進んで、一段高い立場で見るということがよくある
 例えば、古代ギリシャで√2が有理数にならないということが理解された
 が、無理数という言葉はなかったと考えられる。
 しかし古代ギリシャでも、√2は無理数であることは不変。言葉が無かっただけ
 類似で、超越数の円周率πがある
 当然、古代ギリシャでは、超越数という言葉はない
 しかし、円周率π考えたら、それはやっぱり超越数であって、円周率πの近似の値を使っていたとしても
 超越数は超越数だよ
2)数学とは、
 そういうもの
3�


241:j時枝さん、自然数Nが非正則分布>>220だって  知らなかったんじゃね?  知らなかったら、書けないよw



242:132人目の素数さん
22/11/12 01:09:22.93 Wt6BYOwg.net
>>222
時枝証明の中で「非正則分布を仮定しなければ成立しない推論」はどれかと問われているのに、また言葉の通じないサルのふりか
都合が悪くなるとサルのふりするのやめろと何度言えば分かるのか

243:132人目の素数さん
22/11/12 01:15:28.25 Wt6BYOwg.net
>>221
>3)いま、時枝の決定番号を考えよう
> a)決定番号には上限なし
出題毎に100列の決定番号は固定されている。
固定だからその値が上限でもあり下限でもある。
別の出題では別の値になるが、求められているのは一つの出題における勝率だから関係無い。

244:132人目の素数さん
22/11/12 01:31:38.71 Wt6BYOwg.net
まあサルの場合は言葉の習得が先やな
数学の問いだって言葉で書かれてるのだから言葉が通じなければ数学どころではない

245:132人目の素数さん
22/11/12 03:53:33.02 UXzpThWg.net
>>221
>3)いま、時枝の決定番号を考えよう
>a)決定番号には上限なし
>b)決定番号は、大きい数になっても減衰しない
>よって、条件a)b)より、全体は無限集合になり、発散する
>よって、非正則分布になる
>>7-16の場合、対応する決定番号の写像 d:([0,1)→R) → [0,1) は
有界写像なので、上記の屁理屈は使えない。
このように、スレ主の屁理屈は>>7-16の前には無力。

246:132人目の素数さん
22/11/12 04:01:26.46 UXzpThWg.net
あるいは、スレ主の屁理屈を使えば、次のように言えてしまう。
(1) >>146の冒頭で選ぶことができる n≧6 には上限がなく、
  しかも6以上の自然数全体は非正則分布を成す。
(2) よって、選んだ n_0≧6 が有限の閉区間 [6,m] に属する確率は
  m→∞ のときゼロに収束する。
(3) もし n_0 を "引き当てた" ならば、そのときの n_0-ゲーム での
  回答者の勝率は 1-1/n_0 であるが、上記の(2)により、
  そもそも n_0 を "引き当てる確率" は m→∞ のときゼロである。
(4) よって、回答者の実際の勝率は (1-1/n_0) * 0 すなわちゼロである。
これがスレ主の言っていること。特に n_0=6 の場合を考えると、次のようになる。
・ "6-ゲーム" での回答者の勝率は 1-1/6 だが、実際の回答者の勝率はゼロである。
ここで、6-ゲームとはサイコロゲーム(>>149)に他ならない。
つまりスレ主は、サイコロゲームの実際の勝率はゼロだと主張しているのである。
バカじゃないの。

247:132人目の素数さん
22/11/12 04:15:23.86 UXzpThWg.net
スレ主がどこで間違えているのかは明白。
"6-ゲーム" での回答者の勝率が 1-1/6 であることは紛れもない事実である。
この事実に対して、n_0 を後から変動させて非正則分布を持ち出しても、
「 6-ゲームでの回答者の勝率は 1-1/6 である 」
という事実を覆す根拠にはならないのである。
つまり、「 6-ゲームでの回答者の勝率は 1-1/6 である」と書いた時点で
話は終わっているのであり、後からどんな屁理屈を持ち出しても、
この事実は覆らないのである。

248:132人目の素数さん
22/11/12 04:19:46.04 UXzpThWg.net
全く同様に、時枝記事では、完全代表系 T と出題列 s を決めるたびに
"(T,s)-時枝ゲーム"
が始まり、そして(T,s)-時枝ゲームでの回答者の勝率は 99/100 以上である。
これは紛れもない事実である。実際、(T,s)-時枝ゲームでは
T と s が固定されているのだから、s から出力される100個の決定番号は
毎回同じであり、その中でハズレは高々1つで、どれがハズレなのかも毎回同じ。
よって、このゲームで回答者の勝率が 99/100 以上になるのは紛れもない事実。
つまり、「 (T,s)-時枝ゲームでの回答者の勝率は 99/100 以上である 」と書いた時点で
話は終わっているのであり、後からどんな屁理屈を持ち出しても、
この事実は覆らないのである。 それはちょうど、
「 6-ゲームでの回答者の勝率は 1-1/6 である」
という事実が覆らないのと全く同じである。
スレ主、これにて詰み。

249:132人目の素数さん
22/11/12 07:54:47.61 r4QYDURa.net
1ことブルシットせたぼんは>>216で完全粉砕した
218は全く無意味 1が焼かれた残りカスの白い灰はお空に飛んでったw
>>220-222
ブルシットせたぼんは、ヒセーソクブンプとかいう言葉を知ったのが嬉しくて
何年も何年もしつこくネチネチといいつづけてるが全く意味がない
例えば任意の0<=a<1について
∫[0,a]1/(1-x)=-log(1-a) (有限)
∫[a,1)1/(1-x)=∞
である
し・か・し
lim(a→1)∫[0,a]1/(1-x)=∞


250: であるし ∪[0<=a<1][a,1)={} (空集合)であるから ブルシットせたぼんの主張 「f:[0,1)→∞の決定番号が1より小さい確率は0、確率1で決定番号1」 は全面的に却下される  工業高校1年中退の中卒🐎🦌野郎クン、御愁傷様(-||-) >>223-225 >>226-229 ブルシットせたぼんはひろゆき並みの変質者だからしゃあない ひろゆきも「実数は実在するが複素数は実在しない!!!」と主張して 数学が解る奴全員からニホンザル並みに侮蔑嘲笑されたが 自分に都合の悪いことは聞こえないフリして強がった でも実際は聞こえてるからメンタル完全に粉砕されてるだろなwww



251:現代数学の系譜 雑談
22/11/12 09:08:00.55 nRKohC+j.net
>>226
>>>7-16の場合、対応する決定番号の写像 d:([0,1)→R) → [0,1) は
>有界写像なので、上記の屁理屈は使えない。
>このように、スレ主の屁理屈は>>7-16の前には無力。
意味わかんないけど?
1)ひょとして、確率空間(下記)で、Ω(全事象)を、Ω=[0,1)みたく錯覚してないかな?
 Ω=Map([0,1),R)とすべきでは?
(Mapは、下記東北大 尾畑研>>120より。上記([0,1)→R)と同じだろうが)
2)>>120連続とは限らない関数において
 |Map([0,1),R)|=2^アレフ じゃね?
 ここに、アレフ=非可算(連続濃度*)で、2^アレフは連続濃度の上の濃度
(注*):簡便のため連続体仮説を採用する。なお、ここではアレフ=アレフ・ワンです)
3)2^アレフ→アレフ で、 [0,1)が有界だから、”有界写像なので”かな?
 何が言いたいのかな?
(参考)
URLリンク(ja.wikipedia.org)
確率空間(probability space)とは、可測空間 (S, M) に確率測度 μ(S) = 1 を入れた測度空間 (S, M, μ) *)をいう。
(注*):(S, M, μ)は、下記(Ω,F,P)などと書かれる方が多い)
URLリンク(manabitimes.jp)
確率空間の定義と具体例(サイコロ,コイン)21/03/07 高校数学の美しい物語
確率空間とは (Ω,F,P) の三つ組のことを言います
URLリンク(www.math.is.tohoku.ac.jp)
東北大学大学院情報科学研究科 システム情報科学専攻 尾畑研究室
URLリンク(www.math.is.tohoku.ac.jp)
第6章 有限集合 2019/1/1
写像の集合 集合 A から B への写像の集合を次のように書く.
Map(A, B) = {f | f : A → B は写像 }.
定 理 6.25 A, B が有限集合*)であれば, Map(A, B) も有限集合であって,
|Map(A, B)| = |B|^|A| (6.17)
が成り立つ. ただし, 0^0 = 1 とする.
(注*):当然無限集合に拡張できるが、常識なので省略。必要ならPDF全文読むよう)
URLリンク(ja.wikipedia.org)
アレフ数
アレフ数(アレフすう、英: aleph number)は無限集合の濃度(あるいは大きさ)を表現するために使われる順序数のクラスである。
(引用終り)
以上

252:現代数学の系譜 雑談
22/11/12 09:31:48.51 nRKohC+j.net
>>231 補足
>>>>7-16の場合、対応する決定番号の写像 d:([0,1)→R) → [0,1) は
すでに、>>203に書いたが、補足する
1)簡単に、f(x)=εx+b (0<ε)なる一次関数を考える
 f: [0,1)→[b,b+ε)
 となって、[0,1)を数直線上の任意の区間[b,b+ε)⊂R へ移せるよね
2)時枝記事>>1類似のクソ理論>>7-16が成り立つならば
 数直線Rは、至る所クソまみれじゃね? (


253:>>213に同じ)  それって、アホでしょw



254:現代数学の系譜 雑談
22/11/12 09:42:22.00 nRKohC+j.net
>>231 補足
>>>>7-16の場合、対応する決定番号の写像 d:([0,1)→R) → [0,1) は
>>有界写像なので、上記の屁理屈は使えない。
>>このように、スレ主の屁理屈は>>7-16の前には無力。
補足
1)時枝さん>>1は、決定番号を自然数Nにしたから
 自然数Nを一様分布類似と見ると、非正則分布だってこと
 (本当は、多項式環の多項式の次数ですが>>17 >>23-25)
2)上記 ”対応する決定番号の写像 d:([0,1)→R) → [0,1)”
 では、[0,1)は有界だとしても
 決定番号εが取れて、ε→0 とできるよね
 かつ、区間[0,1)でεなる一点集合のルベーグ測度は、0でしょ(零集合)
何が言いたいのかな?
確率論が、根本から分かってないのでは?

255:132人目の素数さん
22/11/12 09:42:54.78 r4QYDURa.net
>>232
>簡単に、f(x)=εx+b (0<ε)なる一次関数を考える
>f: [0,1)→[b,b+ε)
>となって、[0,1)を数直線上の任意の区間[b,b+ε)⊂R へ移せるよね
 だから?
 意味わかんないけど? 工業高校中退ヤンキー
 何が言いたいのかな? 中卒の1ことブルシットせたぼん
 

256:132人目の素数さん
22/11/12 09:45:51.34 r4QYDURa.net
>>233
>決定番号εが取れて、ε→0 とできるよね
 しかしε=0にはできないよな?
 何が言いたいのかな?
 実数の定義が、根本から分かってないな 1ことブルシットせたぼん
 さすが工業高校1年中退の中卒
 大学1年の4月で習うことが全く理解できない
 そりゃ大学卒業できんどころかそもそも入れんわなw

257:132人目の素数さん
22/11/12 10:04:37.74 Wt6BYOwg.net
>>231
>1)ひょとして、確率空間(下記)で、Ω(全事象)を、Ω=[0,1)みたく錯覚してないかな?
> Ω=Map([0,1),R)とすべきでは?
ぜんぜん分かってなくて草
やはりサルに数学は無理だった

258:132人目の素数さん
22/11/12 10:33:41.40 Wt6BYOwg.net
>>233
>2)上記 ”対応する決定番号の写像 d:([0,1)→R) → [0,1)”
> では、[0,1)は有界だとしても
> 決定番号εが取れて、ε→0 とできるよね
いみふw
> かつ、区間[0,1)でεなる一点集合のルベーグ測度は、0でしょ(零集合)
何が言いたいのかな?
>確率論が、根本から分かってないのでは?
数学が根本から分かってないのでは?

259:132人目の素数さん
22/11/12 12:13:46.90 Wt6BYOwg.net
>>231
>1)ひょとして、確率空間(下記)で、Ω(全事象)を、Ω=[0,1)みたく錯覚してないかな?
> Ω=Map([0,1),R)とすべきでは?

確率が根本から分かってないのでは?
>>13
>まず、回答者は、1,2,…,100 からランダムに番号 i を選ぶ。

260:現代数学の系譜 雑談
22/11/12 12:37:15.20 nRKohC+j.net
>>231 補足
> 2)>>120連続とは限らない関数において
> |Map([0,1),R)|=2^アレフ じゃね?
> ここに、アレフ=非可算(連続濃度*)で、2^アレフは連続濃度の上の濃度
1)ルベーグ測度は、アレフ=連続濃度(非可算)に関するものでしょ?(下記)
2)で、連続とは限らない関数 |Map([0,1),R)|=2^アレフ
 上には、ルベーグ測度は定義できない!(∵ |Map([0,1),R)|=2^アレフ だから )
3)おっさんの
 >>15「回答者は 99/100 以上の確率で何らかの箱の中身の推測に成功する」
 って、測度論の裏付け無しじゃんか!www
(参考)
URLリンク(ja.wikipedia.org)
ルベーグ測度(ルベーグそくど、英: Lebesgue measure)は、ユークリッド空間上の長さ、面積、体積の概念を拡張したものである。名称はフランスの数学者アンリ・ルベーグにちなむ。体積には「互いに素な集合の体積は元の体積の和に等しい」という性質(加法性)がある。この性質を保ちながらより複雑な集合に対しても「体積」を定めることができるよう体積の概念を拡張できる。このような拡張は一意である。実解析、特にルベーグ積分で用いられる。
(引用終り)

261:132人目の素数さん
22/11/12 12:59:50.14 Wt6BYOwg.net
>>239
だからそれ以前だと言うとるのに
これだから言葉の通じないサルは始末が悪い

262:132人目の素数さん
22/11/12 15:42:07.19 UXzpThWg.net
時枝記事では、決定番号の写像 d:R^N → N は非有界。
スレ主はこのことを以って「 d には非正則分布の構造が入る」という
屁理屈を展開していた。
しかし、>>7-16では、対応する決定番号の写像 d:([0,1)→R) → [0,1)は
有界である。よって、スレ主はこちらの d に対しては「非正則分布」が使えない。
スレ主がこのことに反論するには、こちらの d に対しても
非正則分布が使えるような新しい説明を与えるか、
あるいは非正則分布とは全く別の説明によって>>7-16に反論しなければならない。
現状では、スレ主はどちらも行っていない。
スレ主、ここで詰み。

263:132人目の素数さん
22/11/12 15:49:24.40 UXzpThWg.net
>1)簡単に、f(x)=εx+b (0<ε)なる一次関数を考える
> f: [0,1)→[b,b+ε)
> となって、[0,1)を数直線上の任意の区間[b,b+ε)⊂R へ移せるよね
別の区間に移したところで有界のままである。
実際、スレ主はそのような変換によって「非正則分布が使える」とは主張していない。
ただ単に「別の区間に移せる」としか言ってない。


次ページ
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch