[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む75 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
514(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/20(火)11:29 ID:QrfRlMB6(1/8) AAS
>>512
>時枝の間違いは、・・いいかえれば、最大のｄが存在すると考えたことである。
私の説明もそれに近いです（＾＾
同様のことは、テンプレ>>3の7)に記した、不成立の観点から、（下記）の問題提出をした方が言っています
（参考）スレ64 2chｽﾚ:math
要するに、自然数Nには最大値がないので
ある数Dを決めた後、自然数N中から、ランダムに数D’を取り出すと
”D’＞D”となる確率は1
”D’＜D”となる確率は0
（等号成立は、無視できるとして）
となります
これは、ランダムに取り出す数D’が、自然数Nに均一に存在するとしてです
しかし、決定番号D’になる代表の候補の数列の数は、>>487に示しましたが
ｎの数が大きくなれば、指数関数的に発散します
ですので、そもそも、全事象Ωに対しP（Ω）＝１となる測度は定義できないことが分ります
無理に定義しても、全事象Ωが無限集合のときの扱いと同じです
つまり、個々の事象（＝根元事象）ωの扱いは、P（ω）＝0以外には定義不能です
無理に有限値を定義して、P（Ω）＝∞の発散を許すなら、話は別ですがｗ（＾＾
ですので、時枝記事の99/100などは、
もともと現代確率論の測度論の外の議論になってしまっているのです
それが、時枝記事のダメな理由です（＾＾；
515(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/20(火)12:05 ID:QrfRlMB6(2/8) AAS
>>376
>＞定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。
>これか、”二階述語論理では、「ドメインは有限である」とか「ドメインは可算無限集合の濃度である」といった文も形式的に表現可能”
>二階述語論理を考えると、やっぱ無限公理がいるってことかな？難しいね〜ｗ （＾＾
一階述語論理で無限公理なしでも、”無限のモデル”は可能だが、表現できないあるいは識別できない？
二階述語論理で、しっかり無限集合を証明するためには、無限公理がいるってことかいな？ （＾＾；
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
レーヴェンハイム?スコーレムの定理
(抜粋)
理論の無限のモデルとは、ここでいう M である。定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。
外部ﾘﾝｸ:ja.wikipedia.org
二階述語論理
(抜粋)
二階述語論理では、「ドメインは有限である」とか「ドメインは可算無限集合の濃度である」といった文も形式的に表現可能である
ドメインが有限であるというには、そのドメインから同じドメインへの全ての単射関数が全射であることを論理式で表せばよい
ドメインが可算無限集合の濃度であることをいうには、そのドメインの任意のふたつの無限部分集合間に全単射があることを論理式で表せばよい
一階述語論理ではこれら（「有限集合であること」や、「可算集合であること」）を表現できないことが、レーヴェンハイム-スコーレムの定理から導かれる
516: 哀れな素人 2019/08/20(火)12:28 ID:JinqNl0A(4/14) AAS
>>514
その男の書いていることは間違い(笑
D’＞Dとなる確率もD’＜Dとなる確率も1/2である(笑
時枝問題の問題文の
いま D >= d(s^k) を仮定しよう.
この仮定が正しい確率は99/100
これも間違いで1/2である(笑
これは以前サル石が引っかけ問題として
出していた問題と同じで、1/2なのである(笑
517(1): 哀れな素人 2019/08/20(火)12:38 ID:JinqNl0A(5/14) AAS
以前僕はこういう問題を出した。
自然数の中から一つの数ａを選びます。
次にｂを選びます。
ｂがａより大きい確率はいくらですか。
答えは1/2であって、>>514の答えも1/2であるし、
いま D >= d(s^k) を仮定しよう.
この仮定が正しい確率は99/100
も間違いで、1/2である(笑
518(2): 哀れな素人 2019/08/20(火)12:41 ID:JinqNl0A(6/14) AAS
それよりも僕が気になるのは次の箇所だ。
更に，何らかの事情によりdが知らされていなくても，
あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で
既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd が決められることに注意しよう.
この個所がいまいち意味不明。
サル石に質問したが、サル石は答えず(笑
519: 2019/08/20(火)12:53 ID:JinqNl0A(7/14) AAS
>これらの列はおのおの決定番号をもつ
時枝はこう書いているが、これは
100本の数列の各列は決定番号を一つだけ持つ
という意味で書いているのである。
そこが時枝の間違い。
各列の決定番号は無限に多くある(笑
520: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/20(火)14:20 ID:QrfRlMB6(3/8) AAS
>>515
>一階述語論理で無限公理なしでも、”無限のモデル”は可能だが、表現できないあるいは識別できない？
これが、可能無限かも
>二階述語論理で、しっかり無限集合を証明するためには、無限公理がいるってことかいな？ （＾＾；
これが、実無限かも
可能無限、実無限とも
数学の用語ではなく
哲学用語だけれども
人が、
「無限」をしっかり理解するためには、
こういう話も必要だという気がするんだ（＾＾；
521(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/20(火)14:50 ID:QrfRlMB6(4/8) AAS
>>518
(引用開始)
更に，何らかの事情によりdが知らされていなくても，
あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で
既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd が決められることに注意しよう.
この個所がいまいち意味不明。
(引用終り)
時枝の下記の箇所ですね
１）時枝で、数列のしっぽの同値類を使っています
２）数列のしっぽの先の情報さえあれば、その数列の属する同値類が決められます
３）ここも、時枝記事のゴマカシ（手品のタネ）です
４）つまり、”sD+1， sD+2，sD+3，・・・”で、その数列s の属する同値類が決められます
ですが、実は、”sD+a+1， sD+a+2，sD+a+3，・・・”で良いのです
aは、１億でも１兆でも、100兆でも、任意の10^nでいくらでも大きなnで良いのです
デタラメでしょｗ（＾＾
５）例えば、100兆とすれば、100兆の箱の数が、しかも任意の実数を入れたのに、的中できるなんてｗ
６）説明に戻ります。その数列s の属する同値類が決められ、同値類の代表数列ｒが決まります。
代表数列ｒと数列sとは、決定番号dから先の箱の数が一致しています。これは定義の通りです
７）定義の通り、代表数列ｒのd番目と、数列sのd番目と一致していますので
数列sのd番目 ds＝rs 代表数列ｒのd番目 という関係です
８）別にこれだけなら良いが、確率計算99/100がダメダメです
それは、上記４）５）のデタラメを考えれば、すぐ分かりますよねｗ（＾＾；
（参考）
スレ47 2chｽﾚ:math
(抜粋) 時枝問題（数学セミナー201511月号の記事）
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
つづく
522: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/20(火)14:50 ID:QrfRlMB6(5/8) AAS
>>521
つづき
つまり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などは下付添え字
(引用終り)
以上
523(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/20(火)15:01 ID:QrfRlMB6(6/8) AAS
>>521 補足
(引用開始)
３）ここも、時枝記事のゴマカシ（手品のタネ）です
４）つまり、”sD+1， sD+2，sD+3，・・・”で、その数列s の属する同値類が決められます
ですが、実は、”sD+a+1， sD+a+2，sD+a+3，・・・”で良いのです
aは、１億でも１兆でも、100兆でも、任意の10^nでいくらでも大きなnで良いのです
デタラメでしょｗ（＾＾
５）例えば、100兆とすれば、100兆の箱の数が、しかも任意の実数を入れたのに、的中できるなんてｗ
(引用終り)
実際に起きることは（＾＾
数列のしっぽの先を開けると
代表数列ｒと、数列sとの一致は、
確率１で（常にｗ）
すで、一致は開けた部分で終わっている
つまり、未開封の箱と代表の箱の数との一致の確率計算は
従来の確率論・確率過程論の通り
コイントスなら1/2
サイコロなら1/6
区間[0,1]なら、的中できない（的中確率0）
です
524(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/20(火)15:02 ID:QrfRlMB6(7/8) AAS
再度いおう
（>>411より）
時枝記事の手法など
プロ数学者は、だれも相手にしない
不成立に見えて、自明に不成立だから ｗ（＾＾
525(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/20(火)15:18 ID:QrfRlMB6(8/8) AAS
>>523 タイポ訂正
すで、一致は開けた部分で終わっている
↓
すでに、一致は開けた部分で終わっている
分かると思うが念のため（＾＾；
526(2): 哀れな素人 2019/08/20(火)17:17 ID:JinqNl0A(8/14) AAS
>>518の意味だが
s＝1、3、7、8、5、6、9、2、0、4、3、3、……
r＝3、3、4、8、6、4、9、2、0、4、3、3、……
d＝7
このようにｄが決定できているとしよう。しかし
s＝1、3、7、8、5、6、□、2、0、4、3、3、……
r＝3、3、4、8、6、4、9、2、0、4、3、3、……
ｄ＝？
この場合、ｄ＝７とは決定できないはずである。
なぜなら□の中の数が不明だから。
だから、この場合少なくともｄ＝８とは言えるが、
ｄ＝７とは確実には言えない。
だからこの箇所の意味が不明である。
527(2): 哀れな素人 2019/08/20(火)17:39 ID:JinqNl0A(9/14) AAS
念のために書いておくと
s＝1、3、7、8、5、6、□、2、0、4、3、3、……
r＝3、3、4、8、6、4、9、2、0、4、3、3、……
ｄ＝？
このような場合でもｄ＝７と決定できる、
かのように時枝が書いているから意味不明なのである。
そうではなく、この場合ｄ＝８と決定できる
という意味で書いているなら、承認することができる。
しかし時枝は決定番号ｄは一つだと考えているのだから、
この場合もｄ＝７と決定できなければならないのである。
しかしどうやってそれが決定できるのか。
今夕はここまで。
528(1): 2019/08/20(火)19:35 ID:7640BXpe(3/5) AAS
>510
>確率論からthe Continuum Hypothesisの不成立を主張したんだ
誤り
確率論の他に、Symmetryに関する前提を使用している
で、要はThe Brown-Freiling double dart throwの
集合S = {(p, q)/p, q 、 [0, 1] and p < q}
が下記の理由により非可測だといっている
p6
"we can say something stronger:
the set S is not a measurable set, and consequently Pr(p < q) is not defined.
If it were, then the conditions for applying Fubini’s Theorem would be satisfied.
We could compute the measure of S by iterated integrals and
it would not matter whether we used horizontal or vertical cross-sections.
These two ways of computing the integral would give the same result.
We know that they do not:
The measure of each vertical cross-section is 0,
while the measure of each horizontal cross-section is 1.
Hence, S is not measurable."
フビニの定理、知ってるか？ｗ
529: 2019/08/20(火)19:36 ID:7640BXpe(4/5) AAS
>>510
>確率論からthe Continuum Hypothesisの不成立を主張したんだ
誤り
確率論の他に、Symmetryに関する前提を使用している
で、要はThe Brown-Freiling double dart throwの
集合S = {(p, q)/p, q 、 [0, 1] and p < q}
が下記の理由により非可測だといっている
p6
"we can say something stronger:
the set S is not a measurable set, and consequently Pr(p < q) is not defined.
If it were, then the conditions for applying Fubini’s Theorem would be satisfied.
We could compute the measure of S by iterated integrals and
it would not matter whether we used horizontal or vertical cross-sections.
These two ways of computing the integral would give the same result.
We know that they do not:
The measure of each vertical cross-section is 0,
while the measure of each horizontal cross-section is 1.
Hence, S is not measurable."
フビニの定理、知ってるか？ｗ
530(1): 2019/08/20(火)19:41 ID:7640BXpe(5/5) AAS
>>514
>ある数Dを決めた後、自然数N中から、ランダムに数D’を取り出すと
>”D’＞D”となる確率は1
>”D’＜D”となる確率は0
この在阪朝鮮人の計算は
「９９列を定数とし選んだ１列だけを確率変数とする」
という点でNG
在京日本人の計算
「１００列を定数とし、どの列を選ぶかだけが確率変数」
これが時枝記事の計算
531(1): 2019/08/20(火)19:58 ID:hwdrxP6m(1/2) AAS
>>526
>>527
> このような場合でもｄ＝７と決定できる、
> かのように時枝が書いているから意味不明なのである。
それは数列や決定番号を1つしか見ていないから
100列あったとしてランダムに1つ選んだ数列が以下の状態を満たしているとする
> s＝1、3、7、8、5、6、□、2、0、4、3、3、……
> r＝3、3、4、8、6、4、9、2、0、4、3、3、……
> ｄ＝？
dの候補は7か8であることは確定
残りの99列の決定番号の最大値が7であるから(これは残りの99列の箱を全て開けて確認済み)
選んだ数列(上のs)の7番目を開けずに残したわけだ
つまり100個ある決定番号からランダムに1つ選んだら
残りの99個の最大値以下であろうと推測しているだけだ
(もちろん推測が外れることもある)
532: 2019/08/20(火)20:50 ID:R69QbOCe(1) AAS
ok
533: 2019/08/20(火)21:10 ID:hTUmVSnh(10/20) AAS
>>507
× 今日もしっかり踊ってね ｂｙ サル回しのスレ主より（＾＾；
〇 今日もしっかり踊ってね ｂｙ サル畜生のスレ主より（＾＾；
534: 2019/08/20(火)21:27 ID:hTUmVSnh(11/20) AAS
>>508
>100人が宝くじを１枚買いました
>１等賞からは、全員外れです。当然ありうる
>１等賞の確率が、極めて低い場合はね
それ、なんの例えにもなってないんだが（＾＾；
100列のうち決定番号が他のどの列よりも大きい列が複数存在することはあり得ない
こんな簡単なことも分からないとは、さては工業高校卒もウソだな（＾＾；
サイコパスは平気で嘘を吐くからなあ（＾＾；
535: 2019/08/20(火)21:46 ID:hTUmVSnh(12/20) AAS
>>514
3年半かかってそれかよ（＾＾；
呆れるほどレベル低っ（＾＾；
536: 2019/08/20(火)21:52 ID:hTUmVSnh(13/20) AAS
>>514
>要するに、自然数Nには最大値がないので
>ある数Dを決めた後、自然数N中から、ランダムに数D’を取り出すと
>”D’＞D”となる確率は1
>”D’＜D”となる確率は0
>（等号成立は、無視できるとして）
>となります
時枝解法とはなんの関係も無い話乙ｗ
時枝解法は出題者が数列を固定し、100列が固定され、100個の決定番号が固定される。
そのうち単独最大はたかだか1個でそれを選んだ時だけ数当て失敗。
自然数に上限が無いとか何の関係も無いｗ
こんな簡単な理屈が3年半かかって理解できないとはｗ
サル知恵しか持たないサル畜生に数学は無理ｗ
537(1): 哀れな素人 2019/08/20(火)22:04 ID:JinqNl0A(10/14) AAS
>>531
意味不明(笑
>dの候補は7か8であることは確定
それは正しいが、時枝はｄ＝７であると
決定できるかのように書いている。
というのは時枝は各列に決定番号は
一つであるかのように書いているからだ。
>残りの99列の決定番号の最大値が7であるから
どの列にも決定番号の最大値などはない(笑
>残りの99個の最大値以下であろうと推測
だからそれは間違いで
残りの99個の最大値以下か以上のどちらかであって
どちらの確率も1/2なのである(笑
538(1): 哀れな素人 2019/08/20(火)22:17 ID:JinqNl0A(11/14) AAS
100本の数列のどの列にも完全代表元ｒ
などは存在しないのである。
いいかえれば100本の数列のどの列にも
最大の決定番号ｄなどは存在しない。
それは>>473を見れば明白だ(笑
だから時枝戦略は成立しないのである。
>いま D >= d(s^k) を仮定しよう.
>この仮定が正しい確率は99/100
これは間違いで1/2である(笑
但しD = d(s^k)の場合は無視する(笑
539(1): 哀れな素人 2019/08/20(火)22:28 ID:JinqNl0A(12/14) AAS
それにそもそも
s＝1、3、7、8、5、6、9、2、0、4、3、3、……
これが箱を開けずに残した最後の数列だとして、
この数列は他の99本の数列とは
まったく何の関係もないのだから、
他の99本の数列や決定番号の情報など
何の役にも立たないのである(笑
それにそもそも同値類の全パターンが用意できるなら、
100本の数列に分けたりしなくても当てられるのである(笑
なぜなら全パターンが用意されているのだから(笑
540(1): 2019/08/20(火)22:37 ID:hwdrxP6m(2/2) AAS
>>537
> どの列にも決定番号の最大値などはない(笑
残りの99列は箱を開けて中身を見てるから値が確定している状態だ
ex.
ある列の決定番号が100であった -- 最小値は100で最大値は100
2列の決定番号がそれぞれ99と100であった -- 2つの内で最小値は99で最大値は100
> 残りの99個の最大値以下か以上のどちらかであって
> どちらの確率も1/2なのである(笑
1から100までの自然数から1つ選んだ場合(100通りある)
100が残りの99個の最大値であるのが99通り(100以外を選んだ場合)
99が残りの99個の最大値であるのが1通り(100を選んだ場合)
>>538
100列で100人が異なる列を1つずつ選んだ場合を考えれば1/2が間違いであることは分かるでしょ
>>539
> 全パターンが用意されているのだから(笑
1列だけだとどこからパターンの適用ができるかが分からないんだよね
541(2): 哀れな素人 2019/08/20(火)22:47 ID:JinqNl0A(13/14) AAS
>>540
意味不明(笑
どの列にも最大の決定番号などないことは>>473で明白(笑
D >d(s^k) の確率は1/2である(笑
同値類の全パターンを用意するということは
実数列の全パターンを用意することと同じなのである(笑
だから実数列の全パターンが用意できるなら
100本に分けたりしなくても当てられる(笑
542: 哀れな素人 2019/08/20(火)23:04 ID:JinqNl0A(14/14) AAS
11時を過ぎたから、今夜はここまで(笑
543: 2019/08/20(火)23:12 ID:hTUmVSnh(14/20) AAS
>>521
>４）つまり、”sD+1， sD+2，sD+3，・・・”で、その数列s の属する同値類が決められます
> ですが、実は、”sD+a+1， sD+a+2，sD+a+3，・・・”で良いのです
> aは、１億でも１兆でも、100兆でも、任意の10^nでいくらでも大きなnで良いのです
> デタラメでしょｗ（＾＾
>５）例えば、100兆とすれば、100兆の箱の数が、しかも任意の実数を入れたのに、的中できるなんてｗ
ローレベルピープル乙ｗ
「商射影 R^N→ R^N/〜の切断を選んだ」の意味がまるで分かってないｗ
∀D∈N、∀a1,∀a2,...,∀aD∈R、∀s∈R^N のとき
s':=a1,a2,...,aD,s(D+1),s(D+2),...〜s である。
よって商射影 f の切断 g が定義されているなら g(f(s'))=r(s) となる。
ローレベルピープルに数学は無理ｗ
上下前次1-新書関写板覧索設栞歴
あと 459 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.032s