[過去ログ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む75 (1002レス)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む75 http://rio2016.5ch.net/test/read.cgi/math/1565872684/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
514: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/08/20(火) 11:29:53.80 ID:QrfRlMB6 >>512 >時枝の間違いは、・・いいかえれば、最大のdが存在すると考えたことである。 私の説明もそれに近いです(^^ 同様のことは、テンプレ>>3の7)に記した、不成立の観点から、(下記)の問題提出をした方が言っています (参考)スレ64 https://rio2016.5ch.net/test/read.cgi/math/1556253966/211 要するに、自然数Nには最大値がないので ある数Dを決めた後、自然数N中から、ランダムに数D’を取り出すと ”D’
>D”となる確率は1 ”D’<D”となる確率は0 (等号成立は、無視できるとして) となります これは、ランダムに取り出す数D’が、自然数Nに均一に存在するとしてです しかし、決定番号D’になる代表の候補の数列の数は、>>487に示しましたが nの数が大きくなれば、指数関数的に発散します ですので、そもそも、全事象Ωに対しP(Ω)=1となる測度は定義できないことが分ります 無理に定義しても、全事象Ωが無限集合のときの扱いと同じです つまり、個々の事象(=根元事象)ωの扱いは、P(ω)=0以外には定義不能です 無理に有限値を定
義して、P(Ω)=∞の発散を許すなら、話は別ですがw(^^ ですので、時枝記事の99/100などは、 もともと現代確率論の測度論の外の議論になってしまっているのです それが、時枝記事のダメな理由です(^^; http://rio2016.5ch.net/test/read.cgi/math/1565872684/514
515: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/08/20(火) 12:05:08.28 ID:QrfRlMB6 >>376 >>定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。 >これか、”二階述語論理では、「ドメインは有限である」とか「ドメインは可算無限集合の濃度である」といった文も形式的に表現可能” >二階述語論理を考えると、やっぱ無限公理がいるってことかな?難しいね〜w (^^ 一階述語論理で無限公理なしでも、”無限のモデル”は可能だが、
表現できないあるいは識別できない? 二階述語論理で、しっかり無限集合を証明するためには、無限公理がいるってことかいな? (^^; (参考) https://ja.wikipedia.org/wiki/%E3%83%AC%E3%83%BC%E3%83%B4%E3%82%A7%E3%83%B3%E3%83%8F%E3%82%A4%E3%83%A0%E2%80%93%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%AC%E3%83%A0%E3%81%AE%E5%AE%9A%E7%90%86 レーヴェンハイム?スコーレムの定理 (抜粋) 理論の無限のモデルとは、ここでいう M である。定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示
す。 https://ja.wikipedia.org/wiki/%E4%BA%8C%E9%9A%8E%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86 二階述語論理 (抜粋) 二階述語論理では、「ドメインは有限である」とか「ドメインは可算無限集合の濃度である」といった文も形式的に表現可能である ドメインが有限であるというには、そのドメインから同じドメインへの全ての単射関数が全射であることを論理式で表せばよい ドメインが可算無限集合の濃度であることをいうには、そのドメインの任意のふたつの無限部分集合間に全単射があることを論理式で表せばよい 一階述語論理ではこれら(「有限集合で
あること」や、「可算集合であること」)を表現できないことが、レーヴェンハイム-スコーレムの定理から導かれる http://rio2016.5ch.net/test/read.cgi/math/1565872684/515
516: 哀れな素人 [] 2019/08/20(火) 12:28:25.64 ID:JinqNl0A >>514 その男の書いていることは間違い(笑 D’>Dとなる確率もD’<Dとなる確率も1/2である(笑 時枝問題の問題文の いま D >= d(s^k) を仮定しよう. この仮定が正しい確率は99/100 これも間違いで1/2である(笑 これは以前サル石が引っかけ問題として 出していた問題と同じで、1/2なのである(笑 http://rio2016.5ch.net/test/read.cgi/math/1565872684/516
517: 哀れな素人 [] 2019/08/20(火) 12:38:06.15 ID:JinqNl0A 以前僕はこういう問題を出した。 自然数の中から一つの数aを選びます。 次にbを選びます。 bがaより大きい確率はいくらですか。 答えは1/2であって、>>514の答えも1/2であるし、 いま D >= d(s^k) を仮定しよう. この仮定が正しい確率は99/100 も間違いで、1/2である(笑 http://rio2016.5ch.net/test/read.cgi/math/1565872684/517
518: 哀れな素人 [] 2019/08/20(火) 12:41:59.70 ID:JinqNl0A それよりも僕が気になるのは次の箇所だ。 更に,何らかの事情によりdが知らされていなくても, あるD>=d についてsD+1, sD+2,sD+3,・・・ が知らされたとするならば,それだけの情報で 既に r = r(s)は取り出せ, したがってd= d(s)も決まり, 結局sd が決められることに注意しよう. この個所がいまいち意味不明。 サル石に質問したが、サル石は答えず(笑 http://rio2016.5ch.net/test/read.cgi/math/1565872684/518
519: 132人目の素数さん [] 2019/08/20(火) 12:53:01.57 ID:JinqNl0A >これらの列はおのおの決定番号をもつ 時枝はこう書いているが、これは 100本の数列の各列は決定番号を一つだけ持つ という意味で書いているのである。 そこが時枝の間違い。 各列の決定番号は無限に多くある(笑 http://rio2016.5ch.net/test/read.cgi/math/1565872684/519
520: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/08/20(火) 14:20:12.42 ID:QrfRlMB6 >>515 >一階述語論理で無限公理なしでも、”無限のモデル”は可能だが、表現できないあるいは識別できない? これが、可能無限かも >二階述語論理で、しっかり無限集合を証明するためには、無限公理がいるってことかいな? (^^; これが、実無限かも 可能無限、実無限とも 数学の用語ではなく 哲学用語だけれども 人が、 「無限」をしっかり理解するためには、 こういう話も必要だという気がするんだ(^^; htt
p://rio2016.5ch.net/test/read.cgi/math/1565872684/520
521: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/08/20(火) 14:50:23.49 ID:QrfRlMB6 >>518 (引用開始) 更に,何らかの事情によりdが知らされていなくても, あるD>=d についてsD+1, sD+2,sD+3,・・・ が知らされたとするならば,それだけの情報で 既に r = r(s)は取り出せ, したがってd= d(s)も決まり, 結局sd が決められることに注意しよう. この個所がいまいち意味不明。 (引用終り) 時枝の下記の箇所ですね 1)時枝で、数列のしっぽの同値類を使っています 2)数列のしっぽの先の情報さえあれば、そ
の数列の属する同値類が決められます 3)ここも、時枝記事のゴマカシ(手品のタネ)です 4)つまり、”sD+1, sD+2,sD+3,・・・”で、その数列s の属する同値類が決められます ですが、実は、”sD+a+1, sD+a+2,sD+a+3,・・・”で良いのです aは、1億でも1兆でも、100兆でも、任意の10^nでいくらでも大きなnで良いのです デタラメでしょw(^^ 5)例えば、100兆とすれば、100兆の箱の数が、しかも任意の実数を入れたのに、的中できるなんてw 6)説明に戻ります。その数列s の属する同値類が決められ、同値類の代表数列rが
決まります。 代表数列rと数列sとは、決定番号dから先の箱の数が一致しています。これは定義の通りです 7)定義の通り、代表数列rのd番目と、数列sのd番目と一致していますので 数列sのd番目 ds=rs 代表数列rのd番目 という関係です 8)別にこれだけなら良いが、確率計算99/100がダメダメです それは、上記4)5)のデタラメを考えれば、すぐ分かりますよねw(^^; (参考) スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/19- (抜粋) 時枝問題(数学セミナー201511月号の記事) 〜は R^N を類別するが
,各類から代表を選び,代表系を袋に蓄えておく. 幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる. 任意の実数列s に対し,袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ. sとrとがそこから先ずっと一致する番号をsの決定番号と呼び,d = d(s)と記す. つづく http://rio2016.5ch.net/test/read.cgi/math/1565872684/521
522: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/08/20(火) 14:50:43.01 ID:QrfRlMB6 >>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などは下付添え字
(引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1565872684/522
523: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/08/20(火) 15:01:28.28 ID:QrfRlMB6 >>521 補足 (引用開始) 3)ここも、時枝記事のゴマカシ(手品のタネ)です 4)つまり、”sD+1, sD+2,sD+3,・・・”で、その数列s の属する同値類が決められます ですが、実は、”sD+a+1, sD+a+2,sD+a+3,・・・”で良いのです aは、1億でも1兆でも、100兆でも、任意の10^nでいくらでも大きなnで良いのです デタラメでしょw(^^ 5)例えば、100兆とすれば、100兆の箱の数が、しかも任意の実数を入れたの
に、的中できるなんてw (引用終り) 実際に起きることは(^^ 数列のしっぽの先を開けると 代表数列rと、数列sとの一致は、 確率1で(常にw) すで、一致は開けた部分で終わっている つまり、未開封の箱と代表の箱の数との一致の確率計算は 従来の確率論・確率過程論の通り コイントスなら1/2 サイコロなら1/6 区間[0,1]なら、的中できない(的中確率0) です http://rio2016.5ch.net/test/read.cgi/math/1565872684/523
524: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/08/20(火) 15:02:13.36 ID:QrfRlMB6 再度いおう (>>411より) 時枝記事の手法など プロ数学者は、だれも相手にしない 不成立に見えて、自明に不成立だから w(^^ http://rio2016.5ch.net/test/read.cgi/math/1565872684/524
525: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/08/20(火) 15:18:32.08 ID:QrfRlMB6 >>523 タイポ訂正 すで、一致は開けた部分で終わっている ↓ すでに、一致は開けた部分で終わっている 分かると思うが念のため(^^; http://rio2016.5ch.net/test/read.cgi/math/1565872684/525
526: 哀れな素人 [] 2019/08/20(火) 17:17:51.84 ID:JinqNl0A >>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 このようにdが決定できているとしよう。しかし 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=? この場合、d=7とは決定できないはずである。 なぜなら□の中の数が不明だから。 だから、この場合少なくともd=8とは言えるが、 d=7とは確実には言えない。 だからこの箇所の意味が不明である。 h
ttp://rio2016.5ch.net/test/read.cgi/math/1565872684/526
527: 哀れな素人 [] 2019/08/20(火) 17:39:36.59 ID:JinqNl0A 念のために書いておくと 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=? このような場合でもd=7と決定できる、 かのように時枝が書いているから意味不明なのである。 そうではなく、この場合d=8と決定できる という意味で書いているなら、承認することができる。 しかし時枝は決定番号dは一つだと考えているのだから、 この場合もd=7と決定できなければならないのである。 しかしどうやってそれが決定できるのか。
今夕はここまで。 http://rio2016.5ch.net/test/read.cgi/math/1565872684/527
528: 132人目の素数さん [] 2019/08/20(火) 19:35:19.75 ID:7640BXpe >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 w
ould 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." フビニの定理、知ってるか?w http://rio2016.5ch.net/test/read.cgi/math/1565872684/528
529: 132人目の素数さん [] 2019/08/20(火) 19:36:01.21 ID:7640BXpe >>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 Theor
em 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." フビニの定理、知ってるか?w http://rio2016.5ch.net/test/read.cgi/math/1565872684/529
530: 132人目の素数さん [] 2019/08/20(火) 19:41:06.98 ID:7640BXpe >>514 >ある数Dを決めた後、自然数N中から、ランダムに数D’を取り出すと >”D’>D”となる確率は1 >”D’<D”となる確率は0 この在阪朝鮮人の計算は 「99列を定数とし選んだ1列だけを確率変数とする」 という点でNG 在京日本人の計算 「100列を定数とし、どの列を選ぶかだけが確率変数」 これが時枝記事の計算 http://rio2016.5ch.net/test/read.cgi/math/1565872684/530
531: 132人目の素数さん [sage] 2019/08/20(火) 19:58:37.64 ID:hwdrxP6m >>526 >>527 > このような場合でもd=7と決定できる、 > かのように時枝が書いているから意味不明なのである。 それは数列や決定番号を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=? dの候補は7か8であることは確定 残りの99列の決定番号の最大値が7であるから(これは残
りの99列の箱を全て開けて確認済み) 選んだ数列(上のs)の7番目を開けずに残したわけだ つまり100個ある決定番号からランダムに1つ選んだら 残りの99個の最大値以下であろうと推測しているだけだ (もちろん推測が外れることもある) http://rio2016.5ch.net/test/read.cgi/math/1565872684/531
532: 132人目の素数さん [] 2019/08/20(火) 20:50:15.81 ID:R69QbOCe ok http://rio2016.5ch.net/test/read.cgi/math/1565872684/532
533: 132人目の素数さん [] 2019/08/20(火) 21:10:16.90 ID:hTUmVSnh >>507 × 今日もしっかり踊ってね by サル回しのスレ主より(^^; 〇 今日もしっかり踊ってね by サル畜生のスレ主より(^^; http://rio2016.5ch.net/test/read.cgi/math/1565872684/533
534: 132人目の素数さん [] 2019/08/20(火) 21:27:44.74 ID:hTUmVSnh >>508 >100人が宝くじを1枚買いました >1等賞からは、全員外れです。当然ありうる >1等賞の確率が、極めて低い場合はね それ、なんの例えにもなってないんだが(^^; 100列のうち決定番号が他のどの列よりも大きい列が複数存在することはあり得ない こんな簡単なことも分からないとは、さては工業高校卒もウソだな(^^; サイコパスは平気で嘘を吐くからなあ(^^; http://rio2016.5ch.net/test/read.cgi/math/1565872684/534
535: 132人目の素数さん [] 2019/08/20(火) 21:46:03.78 ID:hTUmVSnh >>514 3年半かかってそれかよ(^^; 呆れるほどレベル低っ(^^; http://rio2016.5ch.net/test/read.cgi/math/1565872684/535
536: 132人目の素数さん [] 2019/08/20(火) 21:52:31.05 ID:hTUmVSnh >>514 >要するに、自然数Nには最大値がないので >ある数Dを決めた後、自然数N中から、ランダムに数D’を取り出すと >”D’>D”となる確率は1 >”D’<D”となる確率は0 >(等号成立は、無視できるとして) >となります 時枝解法とはなんの関係も無い話乙w 時枝解法は出題者が数列を固定し、100列が固定され、100個の決定番号が固定される。 そのうち単独最大はたかだか1個でそれを選んだ時だけ数当て失敗。 自然数に上限が無いとか何の関係も無いw
こんな簡単な理屈が3年半かかって理解できないとはw サル知恵しか持たないサル畜生に数学は無理w http://rio2016.5ch.net/test/read.cgi/math/1565872684/536
537: 哀れな素人 [] 2019/08/20(火) 22:04:02.61 ID:JinqNl0A >>531 意味不明(笑 >dの候補は7か8であることは確定 それは正しいが、時枝はd=7であると 決定できるかのように書いている。 というのは時枝は各列に決定番号は 一つであるかのように書いているからだ。 >残りの99列の決定番号の最大値が7であるから どの列にも決定番号の最大値などはない(笑 >残りの99個の最大値以下であろうと推測 だからそれは間違いで 残りの99個の最大値以下か以上のどちらかであって どちらの確率も1/2なのである(笑 http://rio2016.5ch.n
et/test/read.cgi/math/1565872684/537
538: 哀れな素人 [] 2019/08/20(火) 22:17:46.61 ID:JinqNl0A 100本の数列のどの列にも完全代表元r などは存在しないのである。 いいかえれば100本の数列のどの列にも 最大の決定番号dなどは存在しない。 それは>>473を見れば明白だ(笑 だから時枝戦略は成立しないのである。 >いま D >= d(s^k) を仮定しよう. >この仮定が正しい確率は99/100 これは間違いで1/2である(笑 但しD = d(s^k)の場合は無視する(笑 http://rio2016.5ch.net/test/read.cgi/math/1565872684/538
539: 哀れな素人 [] 2019/08/20(火) 22:28:25.20 ID:JinqNl0A それにそもそも s=1、3、7、8、5、6、9、2、0、4、3、3、…… これが箱を開けずに残した最後の数列だとして、 この数列は他の99本の数列とは まったく何の関係もないのだから、 他の99本の数列や決定番号の情報など 何の役にも立たないのである(笑 それにそもそも同値類の全パターンが用意できるなら、 100本の数列に分けたりしなくても当てられるのである(笑 なぜなら全パターンが用意されているのだから(笑 http://rio2016.5ch.net/test/read.cgi/math/1565872684/539
540: 132人目の素数さん [sage] 2019/08/20(火) 22:37:56.18 ID:hwdrxP6m >>537 > どの列にも決定番号の最大値などはない(笑 残りの99列は箱を開けて中身を見てるから値が確定している状態だ ex. ある列の決定番号が100であった -- 最小値は100で最大値は100 2列の決定番号がそれぞれ99と100であった -- 2つの内で最小値は99で最大値は100 > 残りの99個の最大値以下か以上のどちらかであって > どちらの確率も1/2なのである(笑 1から100までの自然数から1つ選んだ場合(100通りある) 100が残りの99個の最大値であるのが99通り(10
0以外を選んだ場合) 99が残りの99個の最大値であるのが1通り(100を選んだ場合) >>538 100列で100人が異なる列を1つずつ選んだ場合を考えれば1/2が間違いであることは分かるでしょ >>539 > 全パターンが用意されているのだから(笑 1列だけだとどこからパターンの適用ができるかが分からないんだよね http://rio2016.5ch.net/test/read.cgi/math/1565872684/540
541: 哀れな素人 [] 2019/08/20(火) 22:47:48.78 ID:JinqNl0A >>540 意味不明(笑 どの列にも最大の決定番号などないことは>>473で明白(笑 D >d(s^k) の確率は1/2である(笑 同値類の全パターンを用意するということは 実数列の全パターンを用意することと同じなのである(笑 だから実数列の全パターンが用意できるなら 100本に分けたりしなくても当てられる(笑 http://rio2016.5ch.net/test/read.cgi/math/1565872684/541
542: 哀れな素人 [] 2019/08/20(火) 23:04:36.97 ID:JinqNl0A 11時を過ぎたから、今夜はここまで(笑 http://rio2016.5ch.net/test/read.cgi/math/1565872684/542
543: 132人目の素数さん [] 2019/08/20(火) 23:12:32.74 ID:hTUmVSnh >>521 >4)つまり、”sD+1, sD+2,sD+3,・・・”で、その数列s の属する同値類が決められます > ですが、実は、”sD+a+1, sD+a+2,sD+a+3,・・・”で良いのです > aは、1億でも1兆でも、100兆でも、任意の10^nでいくらでも大きなnで良いのです > デタラメでしょw(^^ >5)例えば、100兆とすれば、100兆の箱の数が、しかも任意の実数を入れたのに、的中できるなんてw ローレベルピープル乙w 「商射影 R^N→ R^N/〜の切断を選
んだ」の意味がまるで分かってないw ∀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) となる。 ローレベルピープルに数学は無理w http://rio2016.5ch.net/test/read.cgi/math/1565872684/543
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 459 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.026s