[過去ログ]
現代数学の系譜 古典ガロア理論を読む35 [無断転載禁止]©2ch.net (667レス)
現代数学の系譜 古典ガロア理論を読む35 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1497848835/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
581: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/07/09(日) 08:28:24.31 ID:P/6T2Xvy >>574 補足 おっちゃん、どうも、スレ主です。 補足しておくよ >母集団だの偏差値の算出方法だのは全く分からず、そういう話にはついていけん。 >>548 分かったよ。確率計算のところは、抜きにして良い(^^ なので>>542 の第2の論点たのむ。下記引用しておく ”>>528の”s=(s_1, s_2, s_3 ,…,s_m,s_m+1,s_m+2,…),s'=(s'_1, s'_2, s'_3 ,…,s_m,s_m+1,s_m+2,…)∈R^N は非可算個ある。”に戻ろう 数列sが代表、数列s'たちが、同値類だ。>>523の設定のように、数列s'に対する決定番号はmとして良いだろう 上記の成績の例で言えば、数列s'たちが生徒で、決定番号mが試験の得点に例えられよう 決定番号m=4としよう。いっちするしっぽを無視すると、s'=(s'_1, s'_2, s'_3 )と書ける。 s'_1, s'_2, s'_3たちは、s'_3 not= s_3(∵s'_3 = s_3 の場合決定番号が3になる)の任意の実数の組み、つまり、R^3。 決定番号m=5としよう。s'=(s'_1, s'_2, s'_3, s'_4 )|s'_4 not= s_4 だから、R^4。つまり、R^3xR とみることができる。 ここで、決定番号m=1,2,3,4,5を合わせた集合の中から、一つ数列を選ぶ。 これを、s'=(s'_1, s'_2, s'_3, s'_4 )と書いても一般性を失わない。 但し、s'_4 = s_4 も許容することとする。 だれが考えても、作為なしにs'を選ぶなら、決定番号m=4となる確率は1だ ∵決定番号m<=3となる場合は、s'_4 = s_4 の1点に限られ、それ以外の任意の実数rに対して、決定番号m=4となるのだから そして、これが、決定番号m=5,決定番号m=6,・・・と繰り返され、mに上限がないということを思い出そう もう言いたいことが、お分かりだろう 可算無限長の数列で、ある同値類の集合に対して、そこから任意の元を取り出したとき、有限の値mになる確率は0だ ∵有限の値mに対し、かならずm+1の決定番号を持つ数列が、xR倍存在するから(議論の詳細は上記の通り)” (引用終り) つづく http://rio2016.5ch.net/test/read.cgi/math/1497848835/581
582: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/07/09(日) 08:31:29.72 ID:P/6T2Xvy >>581 つづき あと、極限の話も頼む。 『平場 誠示先生>>277 「無限大はあくまで, 有限な値からの極限として考えるべきものである.」という これ、解析学の基本だよね。』>>574 >>574より引用 > ビデオの逆回しのように、時間を戻すと、snに数を入れるとき、”by choosing the xi independently and uniformly on [0, 1] ”とすれば、いままで>入れてきた箱や、これから入れる箱の数とは、独立なはず。 > だから、その時点では的中確率0(ゼロ)だ。 > ところが、時間が経って、箱の列が伸びて、可算無限個になったら、確率が変化して99/100か? それはおかしいだろう?」など > 数列のs = (s1,s2,s3 ,・・・,sn ,・・・)で、snが確率99/100で的中したとする。この数列のしっぽを切って有限列とする > s = (s1,s2,s3 ,・・・,sn ,・・・,sm) だ。smは有限の範囲でいくらでもしっぽをずーと長く取れる 補足すると、Sm =: (s1,s2,s3 ,・・・,sn ,・・・,sm) と書き直すと lim {m→∞}Sm =s = (s1,s2,s3 ,・・・,sn ,・・・) となる。 つまり、極限の考えでは、snの的中確率0(ゼロ)だ。時枝記事は、これと矛盾する! 同じこと(極限の考え)を、過去確率の専門家さんが示している。 >>124だ ”>確率変数の無限族は,任意の有限部分族が独立のとき,独立,と定義されるから,(2)の扱いだ. の認識が少しまずい. 任意有限部分族が独立とは P(∀i=1,…n,X_i∈A_i)=Π[i=1,n]P(X_i∈A_i)ということだけど これからP(∀i∈N,X_i∈A_i)=Π[i=1,∞]P(X_i)が成立する(∵n→∞とすればよい) これがきっと時枝氏のいう無限族が直接独立ということだろう. ということは(2)から(1)が導かれてしまったので, 「(1)という強い仮定をしたら勝つ戦略なんてあるはずがない」時枝氏の主張ははっきり言ってナンセンス 確率変数の独立性というのは,可算族に対しては(1)も(2)も同値となるの (引用終り)” (∵n→∞とすればよい)ってところだ。極限の考えだね。 先の”lim {m→∞}Sm =s = (s1,s2,s3 ,・・・,sn ,・・・) ”と同じことだね この極限の話、解析に強いおっちゃんなら分かるだろ 以上です http://rio2016.5ch.net/test/read.cgi/math/1497848835/582
583: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/07/09(日) 08:58:14.73 ID:P/6T2Xvy >>582 訂正 Sm =: (s1,s2,s3 ,・・・,sn ,・・・,sm) ↓ Sm := (s1,s2,s3 ,・・・,sn ,・・・,sm) かな(^^ (下記より) https://ja.wikipedia.org/wiki/%E7%AD%89%E5%8F%B7#.E5.AE.9A.E7.BE.A9 等号 (抜粋) 定義 ある記号 A が意味するものを、ある記号 B が意味するものと同じであると定義するには「:=」を用いて A := B (A を B によって定義する) と書く。 つまりは「コロン“:”のある側の内容を、無い側の内容(こちらはその文脈において既に定義されているものに限る)で定義する」という使い方をする。 (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1497848835/583
584: 132人目の素数さん [sage] 2017/07/09(日) 09:39:31.59 ID:c7rx3wCh >>581 >可算無限長の数列で、ある同値類の集合に対して、 >そこから任意の元を取り出したとき、 >有限の値mになる確率は0だ んなこたぁないw 数列sの同値類Sの任意の要素である数列s'に対して その決定番号dは自然数、つまり有限値だ もし、そうでないなら、s'はそもそもsと同値でない つまりs'はsの同値類Sの要素ではない http://rio2016.5ch.net/test/read.cgi/math/1497848835/584
585: 132人目の素数さん [] 2017/07/09(日) 09:44:41.78 ID:c7rx3wCh >>582 平場氏の注意は >∞=∞ = ∞× 1=∞ = ∞× 0 = 0 >などという計算をしてはいけない! の点だけである。 決して、 「長さnの有限列に最後の要素s_nがあるから、 無限列にも最後の要素s_∞がある」 とかいう馬鹿丸出しな主張を正当化するものではない http://rio2016.5ch.net/test/read.cgi/math/1497848835/585
586: 132人目の素数さん [] 2017/07/09(日) 09:51:57.54 ID:4FoU6amz スレ主の頭の固さには呆れるばかり 決定番号は自然数(いわずもがな有限値)である 同じ指摘を何度受ければ理解するのか? http://rio2016.5ch.net/test/read.cgi/math/1497848835/586
587: 132人目の素数さん [sage] 2017/07/09(日) 09:56:56.75 ID:c7rx3wCh >>582 数列s = (s_1,s_2,s_3 ,・・・,s_n ,・・・)について、 sの同値類の代表元rをとってきたとする r = (r_1,r_2,r_3 ,・・・,r_n ,・・・) sとrは同値であるから、ある自然数dが存在し s_d=r_d、s_d+1=r_d+1、・・・ という無限個の等式が成り立つ そして、m個の列のうちm-1個の列の代表元をとってきて、 その決定番号の最大値をdmaxとすれば、 残り1個の列とその代表元との決定番号dが dmaxより大きい確率は1/mである つまり、残りの確率(m-1)/mで、dはdmaxより小さいから 残り1列sのdmax番目以降からの箱を全部開けて その情報から残り1列の代表元rをとってくれば、 r_dmax=s_dmaxが成り立つ確率も(m-1)/mである http://rio2016.5ch.net/test/read.cgi/math/1497848835/587
588: 132人目の素数さん [sage] 2017/07/09(日) 10:07:15.63 ID:lCOjTm2Z >>581 おっちゃんです。 ,同値関係〜の定義の仕方など、時枝記事に修正を要する箇所はあるが、 スレ主がいっているようなところにはない。 http://rio2016.5ch.net/test/read.cgi/math/1497848835/588
589: 132人目の素数さん [sage] 2017/07/09(日) 10:12:25.51 ID:c7rx3wCh >>586 まあ、>>1が突っ張るのもわからんでもない 決定番号は常に自然数だと認めた瞬間 >>1は敗けるからな 結局、>>1は「同値類の代表元がとれる」点を認めたくないのだが、 そう言い切ると「選択公理を否定する異端者」になる >>1は、異端=負け犬と思い込んでるからこれも認められないらしい だから「代表元はとれるが決定番号は∞」とかいって うまくかわしたつもりになってるわけだが しかし>>1の上記の発言こそ同値関係そのものを誤解した 滑稽極まりないオウンゴールなのである こんなみっともない言い訳するくらいなら 「俺は選択公理を認めない!」 というほうが全然マシなのだが、集合論に疎い>>1は そのことすら理解できないらしい (ナイーブに考えれば選択公理はもっともらしいから、だろう) http://rio2016.5ch.net/test/read.cgi/math/1497848835/589
590: 132人目の素数さん [sage] 2017/07/09(日) 10:17:17.78 ID:c7rx3wCh >>588 >同値関係〜の定義の仕方など、時枝記事に修正を要する箇所はある 何言ってんだ? 同値関係の定義の変更は、設定自体の変更だからダメだろ http://rio2016.5ch.net/test/read.cgi/math/1497848835/590
591: 132人目の素数さん [] 2017/07/09(日) 10:49:51.05 ID:4FoU6amz >同値関係〜の定義の仕方など、時枝記事に修正を要する箇所はある 具体的に http://rio2016.5ch.net/test/read.cgi/math/1497848835/591
592: 132人目の素数さん [sage] 2017/07/09(日) 10:50:15.19 ID:X7gOKFxZ >>590 > 何言ってんだ? 誤答おじさんは「こいつ何言ってんだ?」系 馬鹿スレ主は「え?そんなことも分かってなかったの?」系 http://rio2016.5ch.net/test/read.cgi/math/1497848835/592
593: 132人目の素数さん [sage] 2017/07/09(日) 11:03:57.28 ID:c7rx3wCh >>592 二人とも、他人の話が理解できず自分勝手な前提をデッチ上げる点がそっくり http://rio2016.5ch.net/test/read.cgi/math/1497848835/593
594: 132人目の素数さん [sage] 2017/07/09(日) 11:10:22.20 ID:lCOjTm2Z >>590 実数列 s=(s_1, s_2, s_3 ,…),s'=(s'_1, s'_2, s'_3 ,…)∈R^N について n ≧n_0 のとき s_n=s'_n となるような正整数 n_0 が2個以上あったとしよう。 そのような正整数 n_0 を n_0, n_1 n_0>n_1 としよう。その上で、 n ≧n__1 のとき s_n=s'_n とすると、n ≧n_0 のとき s_n=s'_n となることは、n_0>n_1 から直ちにいえる。 だが、n ≧n_0 のとき s_n=s'_n を仮定したからといって、これから n ≧n__1 のとき s_n=s'_n が成り立つことは必ずしもいえない。 つまり、必ずしも、n ≧n_0 のとき s_n=s'_n なることと、n ≧n_1 のとき s_n=s'_n なることとが同値になるとは限らない。 その一方で、n ≧n_0 のとき s_n=s'_n となるような正整数 n_0 の存在性や最小性は保証されている。 だから、実数列 s=(s_1, s_2, s_3 ,…),s'=(s'_1, s'_2, s'_3 ,…)∈R^N について 或る正整数 n_0 が存在して n≧n_0 のとき s_n=s'_n となるとき s〜s' と書くことで同値関係〜を定義する際には、「或る」ではなく、 「最小の」正整数 n_0 が存在して n≧n_0 のとき s_n=s'_n となるとき s〜s' と書いて定義しないと意味がない。 http://rio2016.5ch.net/test/read.cgi/math/1497848835/594
595: 132人目の素数さん [sage] 2017/07/09(日) 11:26:46.24 ID:c7rx3wCh >>594 自明なことをまるで自分が最初に気づいたかのごとく滔々と述べるのが馬鹿の特徴 http://rio2016.5ch.net/test/read.cgi/math/1497848835/595
596: 132人目の素数さん [sage] 2017/07/09(日) 11:33:31.63 ID:lCOjTm2Z >>595 n_0 に最小性の条件を課すかどうかは重要だろ。 http://rio2016.5ch.net/test/read.cgi/math/1497848835/596
597: 132人目の素数さん [sage] 2017/07/09(日) 11:37:04.72 ID:X7gOKFxZ >>594 同値関係の定義は"或る正整数"でいいんです 同値なら必ず"最小の正整数"が存在するんです その"最小の正整数"を決定番号と呼ぶんです わかったらハイと言ってください http://rio2016.5ch.net/test/read.cgi/math/1497848835/597
598: 132人目の素数さん [sage] 2017/07/09(日) 11:39:06.34 ID:lCOjTm2Z >>597 ハイ、分かりました。 http://rio2016.5ch.net/test/read.cgi/math/1497848835/598
599: 132人目の素数さん [sage] 2017/07/09(日) 11:49:27.99 ID:lCOjTm2Z >>597 1つだけ聞くが、同値関係〜を定義するとき、 >或る正整数 n_0 が存在して n≧n_0 のとき s_n=s'_n となるとき s〜s' と書く と書いた途端に「或る正整数 n_0」は最小性を満たすことになるのか。 http://rio2016.5ch.net/test/read.cgi/math/1497848835/599
600: 132人目の素数さん [sage] 2017/07/09(日) 12:14:22.34 ID:NqIAlacD 同値関係の定義に n_0 の最小性は必要ない。すなわち、 n_0 の存在性だけから同値関係の「同値性」がきちんと証明できる。 一方で、決定番号の定義には n_0 の最小性が必要。 同値関係の定義にさえも n_0 の最小性が必要だと思ってるのば バカのおっちゃんだけ。 http://rio2016.5ch.net/test/read.cgi/math/1497848835/600
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 67 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.014s