- 1 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2016/12/30(金) 14:26:21.65 ID:zFouRTR2.net]
- 小学生とバカプロ固定お断り！（＾＾；
旧スレが500KBオーバー間近で、新スレ立てる
このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです（最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。）
過去スレ
現代数学の系譜11 ガロア理論を読む26 rio2016.2ch.net/test/read.cgi/math/1480758460/
同25 rio2016.2ch.net/test/read.cgi/math/1477804000/
同24 rio2016.2ch.net/test/read.cgi/math/1475822875/
同23 rio2016.2ch.net/test/read.cgi/math/1474158471/
同22 rio2016.2ch.net/test/read.cgi/math/1471085771/
同21 rio2016.2ch.net/test/read.cgi/math/1468584649/
同20 wc2014.2ch.net/test/read.cgi/math/1466279209/
同19 wc2014.2ch.net/test/read.cgi/math/1462577773/
同18 wc2014.2ch.net/test/read.cgi/math/1452860378/
同17 wc2014.2ch.net/test/read.cgi/math/1448673805/
同16 wc2014.2ch.net/test/read.cgi/math/1444562562/
同15 wc2014.2ch.net/test/read.cgi/math/1439642249/
同14 wc2014.2ch.net/test/read.cgi/math/1434753250/
同13 wc2014.2ch.net/test/read.cgi/math/1428205549/
同12 wc2014.2ch.net/test/read.cgi/math/1423957563/
同11 wc2014.2ch.net/test/read.cgi/math/1420001500/
同10 wc2014.2ch.net/test/read.cgi/math/1411454303/
同9 wc2014.2ch.net/test/read.cgi/math/1408235017/
同8 wc2014.2ch.net/test/read.cgi/math/1364681707/
同7 uni.2ch.net/test/read.cgi/math/1349469460/
同6 uni.2ch.net/test/read.cgi/math/1342356874/
同5 uni.2ch.net/test/read.cgi/math/1338016432/
同(4) uni.2ch.net/test/read.cgi/math/1335598642/
同3 uni.2ch.net/test/read.cgi/math/1334319436/
同2 uni.2ch.net/test/read.cgi/math/1331903075/
同初代 uni.2ch.net/test/read.cgi/math/1328016756/
そのままクリックで過去ログが読める。また、ネット検索で過去ログ結構読めます。
- 368 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/01/07(土) 08:53:45.09 ID:3+lYjsf1.net]
- 過去スレより引用（ID:f9oaWn8Aさんは、私が確率の専門家と呼ばせて貰っている人だ。「うーん，正直時枝氏が確率論に対してあまり詳しくないと結論せざるを得ないな」なんて、時枝と同じ大学教員クラスでないと言えないから）
rio2016.2ch.net/test/read.cgi/math/1466279209/538
現代数学の系譜11 ガロア理論を読む20
538 返信：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:54:57.90 ID:f9oaWn8A
うーん，正直時枝氏が確率論に対してあまり詳しくないと結論せざるを得ないな
>>6
>確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(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)も同値となるので，
”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ
(引用終り)
- 369 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/01/07(土) 09:21:14.08 ID:3+lYjsf1.net]
- >>328 補足
>確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義される
この無限集合に対する定義は、ふつうだよ。頻出で、別に、コルモゴロフの発明でもないと思うし、確率論に限らないだろう
つまり、
定義Ｍ「無限集合Ａがαという性質であるとは、任意の部分集合がαのとき，α，と定義される」＊）と言い換えることができる
これを、定義Ｍの否定、つまり”無限集合Ａがαという性質を持たない”としてみよう。そうすると、”ある部分集合がαでない”あるいは”αでない部分集合が存在する”となる
命題Ｘ”無限集合Ａがαという性質を持たない”→命題Ｙ”ある部分集合がαでない”となる（対偶をとるための言い換え）
対偶をとると
not 命題Ｙ”任意の部分集合がα”→not 命題Ｘ”無限集合Ａがαという性質を持つ”
つまり、”無限集合Ａがαという性質を持たない”の定義として、”ある部分集合がαでない”あるいは”αでない部分集合が存在する”を認めるならば、
その対偶として、定義Ｍ「無限集合Ａがαという性質であるとは、任意の部分集合がαのとき，α，と定義される」＊）となるわけで、
これは、時枝>>4"(2)の扱いだ"(時枝>>4 「(2)有限の極限として間接に扱う」)と大げさに宣うほどのことでもない。ごく普通で、”有限”無関係
実際、定義Ｍの＊）の文では、”有限”の文言を削ったが、それで十分数学の無限集合の持つ性質の定義として、成り立つ
かつ、時枝の定義>>4 「確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義される」を包含している
|
 |
