[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
654: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/26(木)07:31 ID:+Ol1TdQp(1/6) AAS
>>653
結構結構
「毀誉褒貶相半ばする」
そういう人がいていいｗ（＾＾
もっとも、良い評判は聞かないがね〜ｗｗ（＾＾；
（”相半ば”してないか？ｗ）
（参考）
外部ﾘﾝｸ:eigobu.jp
英語部
公開日: 2018.03.03 更新日: 2018.03.03
省8
655: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/26(木)07:32 ID:+Ol1TdQp(2/6) AAS
>>652
A3：Yes
A4：Yes
続きは後で（＾＾
656(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)12:10 ID:Toc1jVc8(1/8) AAS
>>647
さて
「コーシー列を、理解し 存在を認めた」（>>652）ところから、出発しよう
そして、>>642の課題
１）決定番号∞
と
２）「.999…00…が.000…00…と同値（つまり、 .999…00… 〜 .000…00…）」
を略証しよう。
（厳密な証明は書かない。長くなり、視認性が悪くなるから。行間は各人埋めること。質問は可とする）
１．決定番号∞について
省13
657(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)12:13 ID:Toc1jVc8(2/8) AAS
>>656
つづき
２．「.999…00…が.000…00…と同値（つまり、 .999…00… 〜 .000…00…）」について
・まず、「コーシー列を、理解し 存在を認めた」として、√2とか円周率πが無限桁の小数だということは良いだろう（上記）
・一番簡単なのは、有限小数を ある小数第ｎ位以降が全て”0”の無限小数と見ることである
（この視点は、多項式が ある項以降全て”0”の形式的冪級数と見る視点と同じ（下記））
・そこで、.999…で 9がひとつずつ増えるコーシー列C：c1=.9,c2=.99,c3=.999,・・・を考える
このコーシー列Cが、整数”1”を表す（収束する）ことは、実数の構成から自明だ
そして、コーシー列Cは 有限で終わってはならないこともまた、上記 √2とか円周率πと同様だ
・そこで、任意の有限 cn＝0.99・・9(小数第ｎ位まで9)が、無限 cn＝0.99・・9 00・・とみなせることも、上記の通り
省4
658(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)12:14 ID:Toc1jVc8(3/8) AAS
>>657
つづき
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
レーヴェンハイム?スコーレムの定理
(抜粋)
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。
この事実を定理の一部とする場合もある。
外部ﾘﾝｸ[html]:www.phys.u-ryukyu.ac.jp
自然科学のための数学2014年度第11講
省22
659: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)12:16 ID:Toc1jVc8(4/8) AAS
>>658
訂正
√x=1+1/2(x?1)?1/8(x?1)^2+1/16(x?1)^3?5/128(x?1)^4+?
↓
√x=1+1/2(x-1)-1/8(x-1)^2+1/16(x-1)^3-5/128(x-1)^4+・・
まあ原文見てください（＾＾；
660(1): 2020/03/26(木)12:38 ID:/vnWknlA(2/11) AAS
>>657
＞.999…00…が.000…00…と同値
{0,…,9}^Nの要素である.999…00…が.000…00…と同値であることは自明
この場合.999…00…の0の開始位置は必ずある自然数dで表される
なぜなら、{0,…,9}^Nの要素である無限列のどの桁の位置も
自然数で表されるから
＞.999…で 9がひとつずつ増えるコーシー列C：c1=.9,c2=.99,c3=.999,・・・を考える
＞任意の有限 cn＝0.99・・9(小数第ｎ位まで9)が、無限 cn＝0.99・・9 00・・とみなせる
＞この数列cn＝0.99・・9 00・・と、数列 000…00… とは、
＞時枝の定義のしっぽが一致し、決定番号dはd=n+1となる
省18
661(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)15:22 ID:Toc1jVc8(5/8) AAS
>>657
補足
あと
１）決定番号ｄの範囲が無限大になるとき、ｄは非正則分布になる（下記ご参照）
この場合、確率的な取り扱いができない
（ｄを確率変数として考えた時、ｄの範囲が無限大なら、ｄは裾が減衰しないと、積分が発散して∞になる。そのとき、全事象Ω＝１にすると、各事象は０とならざるを得ない。つまり、確率の公理を満たせない）
２）決定番号ｄをランダムに選ぶとか、あるいは（非可算無限集合たる同値類の中から）代表をランダムに選ぶことを考えるときには
下記の確率のベルトランのパラドックスのように、”無作為な選択の方法”を定義しなければ、確率計算ができない！
だが、時枝は定義がない。そもそも「（非可算無限集合たる同値類の中から）代表を無作為に選ぶ」が、定義できるのかどうか？？？
３）上記の１）と２）とを合わせて、確率計算で誤魔化しをしているのが、時枝記事です
省20
662(1): 2020/03/26(木)15:33 ID:/vnWknlA(3/11) AAS
>>661
決定番号が必ず自然数の値をとることは
尻尾の同値関係と同値類の定義から示されることで
非可測だからといって決定番号が∞になることはない
上記を理解しましたか？
663(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)17:26 ID:Toc1jVc8(6/8) AAS
>>662
下記
レーヴェンハイム?スコーレムの定理（上方部分）：いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならない
を理解しましょうｗｗ（＾＾；
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
レーヴェンハイム?スコーレムの定理
(抜粋)
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。
この事実を定理の一部とする場合もある。
664(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)17:33 ID:Toc1jVc8(7/8) AAS
>>660
なんか、反論になっていない！！
勘違いの ”あさって” 妄言ではないでしょうか？？ｗｗ（＾＾；
・まず、>>658の形式的冪級数：a0+a1X+a2X^2+・・で考える
・二つの形式的冪級数を考える
一つは、係数が全て9の形式的冪級数：F(X)=9+9X+9X^2+・・
一つは、係数が全て0の形式的冪級数：G(X)=0+0X+0X^2+・・
・いま、上記において、一つのｎ次多項式 f(X)=a0+a1X+a2X^2+・・・anX^n を
考えて、上記の二つの形式的冪級数の先頭部分を取り換える
F(X)'=a0+a1X+a2X^2+・・anX^n+9X^(n+1)・・
省27
665: 2020/03/26(木)17:35 ID:/vnWknlA(4/11) AAS
>>663
自然数は有限のモデルを持たないことを理解しましょう
（自然数全体の集合Nは有限集合にならない）
また、
・最大の自然数は存在しない
・いかなる自然数も自分以上の自然数が無限に存在する
ということも理解しましょう
（参考）
自然数の定義
・自然数0が存在する。
省4
666(1): 2020/03/26(木)17:42 ID:/vnWknlA(5/11) AAS
>>664
そもそも、>>642の「まず修正」が見当違い
.999…は全ての桁の値が9
.999…∈{0,…,9}^Nは、桁の位置が全て自然数で表される
.999が実数として1に等しいというのは
「箱入り無数目」とは無関係
無限列としては等しくないから
667: 2020/03/26(木)17:49 ID:/vnWknlA(6/11) AAS
>>666
追伸
3進カントール集合は、3進無限小数のうち1が現れないもの
{0,2}^nと考えることができる
0.022…と０.200…は無限列としても数としても異なる
668: 2020/03/26(木)18:00 ID:/vnWknlA(7/11) AAS
（質問）
もしかして
・数列 .9、.99、.999、… の極限は.999…
・そして、数列の各項について
.000…と.9000…は同値 （決定番号2）
.000…と.9900…は同値 （決定番号3）
.000…と.9990…は同値 （決定番号4）
…
上記２点から
・.000…と.999…も同値 （決定番号∞）
省1
669(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)18:21 ID:Toc1jVc8(8/8) AAS
>>663
ｗ（＾＾；
外部ﾘﾝｸ:fujicategory.hatenadiary.org
数学基礎論の勉強ノート id:fujicategory
2011-07-21
レーヴェンハイム・スコーレムの定理！！
(抜粋)
第５章
まずは定理の引用から。（新井敏康「数学基礎論」より）
定理５.１.７（上方(Upward)Lowenheim-Skolem 定理）
省28
670(2): 2020/03/26(木)19:27 ID:w9QXoHzC(1/3) AAS
>>656
>１．決定番号∞について
>・この∞の意味は、言い換えれば、「決定番号d上限はない」あるいは「決定番号dは全ての自然数を渡る」ということ
バカの言ってることが正しいと仮定。
「決定番号dは全ての自然数を渡る」より d∈N
決定番号d=∞ より ¬(d∈N)
矛盾が導かれたので仮定は偽。
数学のすの字も解ってないことを天下に晒して頂き本当に有難うございました。
671(1): 2020/03/26(木)19:59 ID:/vnWknlA(8/11) AAS
>>670とは関係ないが・・・
∞が超準自然数だとしても「箱入り無数目」の障害にはならない
∞が最大の元となる場合のみ「箱入り無数目」の障害となるが、
最大の元としての∞はペアノの公理の１つである後者の存在と
矛盾するのであり得ない
672: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/26(木)20:15 ID:+Ol1TdQp(3/6) AAS
>>670
レーヴェンハイム・スコーレムの定理を否定するとな？！ｗ （＾＾；
数学のすの字も解ってないことを天下に晒して頂き本当に有難うございました。
673: 2020/03/26(木)20:21 ID:w9QXoHzC(2/3) AAS
バカの一つ覚えｗ
674(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/26(木)20:22 ID:+Ol1TdQp(4/6) AAS
>>671
(引用開始)
∞が超準自然数だとしても「箱入り無数目」の障害にはならない
∞が最大の元となる場合のみ「箱入り無数目」の障害となるが、
最大の元としての∞はペアノの公理の１つである後者の存在と
矛盾するのであり得ない
(引用終り)
意味不明だな
言葉のサラダ？
言葉のスパゲティー？ｗ（＾＾；
省9
675: 2020/03/26(木)20:30 ID:/vnWknlA(9/11) AAS
>>674
意味は明瞭
決定番号ｎが標準自然数でも超準自然数でも、
ｎ＋１が存在するからその先の尻尾が得られる
一方∞が最大の要素であって、∞＋１が存在しないなら
決定番号が∞の場合、その先の尻尾が得られない
「箱入り無数目」の方法の妨げとなるものは
「決定番号の先の尻尾の非存在」しかない
しかし、∞＋１が存在しない、という主張は
ペアノの公理である後者の存在を真っ向から否定する
676(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/26(木)20:36 ID:+Ol1TdQp(5/6) AAS
>>674
数学基礎論と消えたパラドックス/Ｈ. フリードマンの定理ｗ （＾＾；
”ペアノの算術の可算な超準モデルは、自らと同型な接頭部を持つ．
標準モデルはたった１つしかないが、
超準モデルは可算のものに限っても非可算無限個存在する．”ｗｗ
（参考）
外部ﾘﾝｸ:sites.google.com
Sendai Logic Homepage
仙台ロジック倶楽部ＯＬＤの関係資料ページを復旧したものです．
文章は田中一之先生によるものです．（旧ページ製作はNBZ先輩）
省26
677: 2020/03/26(木)20:41 ID:/vnWknlA(10/11) AAS
>>676
＞超準モデルもペアノの公理を満たしている
でしょう？
では∞について、∞＜∞＋１ となる∞＋１の存在を認めるね？
678(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/26(木)21:28 ID:+Ol1TdQp(6/6) AAS
＜ヒルベルトの無限ホテルのパラドックス＞
・自然数N（1, 2, 3, …）を、奇数と偶数とに分ける
・奇数 1,3,5,・・・、偶数 2,4,6,・・・
・2つの数列を直列した数列 奇数列＋偶数列：1,3,5,・・・,2,4,6,・・・
・上記の数列に先頭から番号を振ります：1→1,2→3,3→5,・・,n→2n+1・・,ω→2,ω+1→4,ω+2→6,・・・
・つまり、自然数Nは 無限集合なので「その真部分集合である奇数号室すべての集合の基数と等しい」（ヒルベルトの無限ホテルのパラドックス）
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
ヒルベルトの無限ホテルのパラドックス
(抜粋)
省16
679(1): 2020/03/26(木)21:44 ID:/vnWknlA(11/11) AAS
（質問）
ｎが超準自然数でも何の問題もなく「箱入り無数目」の方法が適用できて
超準自然数同士の大小の比較も可能で、箱の中身が的中できることは
全面的に認めますね？
680(2): 2020/03/26(木)22:16 ID:w9QXoHzC(3/3) AAS
自然数にも上限は無いがどの自然数も有限
コピペ馬鹿に数学は無理
681(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/27(金)07:20 ID:PNCnIYnC(1/3) AAS
>>679
時枝は、
１．しっぽの同値類は可能
２．決定番号を決めることは可能
３．しかし、確率計算は正当化できない
ってことでしょ
682(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/27(金)07:31 ID:PNCnIYnC(2/3) AAS
>>680
>自然数にも上限は無いがどの自然数も有限
自然数に上限は無く どの自然数も有限でも
しかし、超限順序数ωは
ヒルベルト無限ホテルのパラドックスを使って
（>>678ご参照）
直ちに実現できますねｗ（＾＾；
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
順序数
省3
683(1): 2020/03/27(金)07:42 ID:asHKGG7T(1/35) AAS
>>681
＞１．しっぽの同値類は可能
＞２．決定番号を決めることは可能
３．どの決定番号でも、その先の尻尾をとることが常に可能
４．決定番号は整列順序により大小の比較が常に可能
したがって「箱入り無数目」は（100列が確定している場合）正しい
684(1): 2020/03/27(金)07:49 ID:asHKGG7T(2/35) AAS
>>682
超限順序数ωは超準自然数ではない
「箱入り無数目」で、R^NをわざわざR^(N∪{∞})に並べ替えて失敗させたところで
「箱入り無数目」の否定にはならない
685(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/27(金)08:45 ID:PNCnIYnC(3/3) AAS
>>683-684
結局さ
大学教程の確率論を学んだ高い立場に立たないと
時枝理論のおかしさに気付かないし
いつまでも、”はまって”抜け出せない
686: 2020/03/27(金)09:02 ID:asHKGG7T(3/35) AAS
>>685
まず、大学教程の自然数論を学ぶこと
基礎から積み上げないと数学は正しく理解できない
無限列をR^Nを定義したのだから、Nを理解すること
Nの定義はペアノの公理
・0はNの要素
・nがNの要素なら、n+1はNの要素
省2
687: 2020/03/27(金)09:06 ID:asHKGG7T(4/35) AAS
今日は在宅勤務？
HNとトリップは本スレッドでしか使用していないようだが
今後は自宅および職場からの投稿のどちらも
トリップだけにしていただいて結構
長たらしいHNは無意味
688: 2020/03/27(金)09:15 ID:asHKGG7T(5/35) AAS
IUTスレッドと分からない問題スレッドでは
HNおよびトリップをつけていないようだが
本スレッドでも不要
むしろつけることで誤りを認められなくなってるなら
外したほうがいい
689: 2020/03/27(金)09:27 ID:asHKGG7T(6/35) AAS
日高、イナ、酒浸り、哀れな素人、Mara Papiyas等の
分かりやすいＨＮが好ましい
690: 2020/03/27(金)09:32 ID:asHKGG7T(7/35) AAS
もし私がつけていいなら「集合Ａ」を提案する
英語でいうと”Set A”
動画ﾘﾝｸ[YouTube]
♪特別じゃない どこにもいるさ 俺は集合A
691(1): 2020/03/27(金)09:59 ID:asHKGG7T(8/35) AAS
本スレッドのスレッド名も陳腐なので
新しく立てるなら名前を変えたほうがいい
たとえば「数理資本主義」とか
反資本主義の活動家が大量に押しかけてくるだろう
692(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)10:02 ID:JV2qk9Qn(1/14) AAS
おサル必死だな
コテとトリップを付けるかどうかは
おれは、専用ブラウザを使っているので
設定しておけば、簡単でね
このスレでは、コテとトリップ
あのスレでは、無しとかね
なお、余談だが
あと、sageとage もスレ毎に設定できる
別に、なんということもない
693(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)10:04 ID:JV2qk9Qn(2/14) AAS
>>691
今日は、ヒマか？
つうか、コロナでヒキコモに、好都合か
＞反資本主義の活動家が大量に押しかけてくるだろう
ヒマ人の妄想も
ここまで来れば立派
薬しっかり飲めよ
694: 2020/03/27(金)10:07 ID:asHKGG7T(9/35) AAS
>>692
＞専用ブラウザを使っているので
承知している
しかしHNのネーミングとか書き込みの内容は
専用ブラウザの使用とは無関係の書き手のセンスの問題
誤りに満ちた書き込みを固定ハンドルで書いても恥ずかしいだけだろう
それなら全部匿名にしたほうがいい 違うかな？
695: 2020/03/27(金)10:25 ID:asHKGG7T(10/35) AAS
>>693
職場から書き込みか？ コロナに感染するぞ
696(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)10:27 ID:JV2qk9Qn(3/14) AAS
>>669
補足
> 外部ﾘﾝｸ:fujicategory.hatenadiary.org
>数学基礎論の勉強ノート id:fujicategory
> 2011-07-21
>レーヴェンハイム・スコーレムの定理！！
これ、面白い
図解が面白い
是非、ご一見願います（＾＾；
追加貼る
省29
697(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)10:27 ID:JV2qk9Qn(4/14) AAS
>>696
つづき
2.レーベンハイム・スコーレムの定理 (Lowenheim-Skolem Theorem)
とある勉強会で，連続体仮説の否定の無矛盾性の解説をするために レーベンハイム・スコーレムの定理を分かった気にさせる解説を執筆完（2018.09.29）．
レーベンハイム・スコーレムの定理 (初出 1915年 ) は，一階述語論理のモデルの大きさに関する命題である．大雑把に言えば， その一階述語論理に用意された記号の集合が可算無限個のとき，その論理体系の中の 公理系がモデルを持てば，そのモデルの要素数（基数）を可算無限個まで絞ることも， 非可算無限個まで水増しすることもできるという内容である．
画像ﾘﾝｸ[jpg]:www.cs-study.com
これは，全体が可算個の集合からなる集合論のモデルを保証したり，自然数の集合のサイズが 非可算個でも矛盾がないことを意味し，一見，それまで築かれた数学的常識と 反するので，発見当初は，レーベンハイム・スコーレムのパラドクスとして 扱われた．その後，この定理の解釈が整理されるとともに，今は，特にパラドクスでは ないという認識になっていると思う．
省3
698: 2020/03/27(金)10:32 ID:asHKGG7T(11/35) AAS
＞薬しっかり飲めよ
こんな書き込みに真面目にレスポンスする人はいないだろうが
ヒマなので書くことにしよう
薬は今は飲んでない
以前、突発性難聴にかかり後遺症の耳鳴りで
不眠症になったので睡眠薬を処方してもらったが
それがよくなかった
結局やめるのに半年かかった
眠れないからといって薬を飲むのはよろしくない
699: 2020/03/27(金)10:35 ID:asHKGG7T(12/35) AAS
>>696-697
いくら読んでも「箱入り無数目」の否定は導けないよ
700: 2020/03/27(金)10:40 ID:asHKGG7T(13/35) AAS
「箱入り無数目」は、列をS^O（Oは順序数）で表したとき
Oが極限順序数であれば成立する
要するに「終端がない」ということが最も重要
N∪{∞}は、ω＋１であって、後続順序数だから終端がある
後続順序数で成立しない、といったところで意味がない
なぜならN（＝ω）は極限順序数だから
701: 2020/03/27(金)10:45 ID:asHKGG7T(14/35) AAS
まったくどうでもいい話
レーベンハイムは４人の祖父母のうち１人がユダヤ人だったらしいが
ナチ時代の法律で、３／４アーリア人として扱われたらしい
702(6): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)10:53 ID:JV2qk9Qn(5/14) AAS
>>685 補足
(引用開始)
結局さ
大学教程の確率論を学んだ高い立場に立たないと
時枝理論のおかしさに気付かないし
いつまでも、”はまって”抜け出せない
(引用終り)
補足：
１）数当てと言えば、確率ですね（下記 "chiebukuro.yahoo"）
２）いま、一つ箱があり、サイコロの目を入れた。確率 1/6
省36
703: 2020/03/27(金)10:55 ID:asHKGG7T(15/35) AAS
もう「箱入り無数目」は終わりにしたほうがいいね
列に終端がない時点で否定の余地は全くないから
このスレッドも要らないね
集合論には興味ないでしょ
全然理解もしてないしね
無理に「ベーリンガー・インゲルハイムがー」なんていわなくていいよ
あ、それは製薬会社か
外部ﾘﾝｸ:www.boehringer-ingelheim.jp
704: 2020/03/27(金)10:58 ID:asHKGG7T(16/35) AAS
>>702
＞ある箱の数当てが1-εにできる
それ、記事の読み間違い
「当たる箱を選ぶ確率が1-εにできる」が正しい
箱の中身が固定だから、代表元と一致するかしないかしかない
確率でいえば１か０
１の箱が９９個で、０の箱が１個だから
箱をランダムに選べば１の箱を選ぶ確率は９９／１００
705: 2020/03/27(金)11:04 ID:asHKGG7T(17/35) AAS
結局「ある箱の数当てが1-εにできる」という誤解に対する否定だから
相手は記事の著者じゃなくて、自分自身
706: 2020/03/27(金)11:19 ID:asHKGG7T(18/35) AAS
ところで、無限列ｘと同値類の代表元ｒ（ｘ）を比較した場合
「第ｎ項が不一致」って事象は、任意有限個では独立だけど、
無限個で考えたら独立ではないね
なぜなら自然数の無限部分集合について、
その要素となるｎ全部で「第ｎ項が不一致」
となることはないから
（不一致となる項は有限個）
707(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)12:09 ID:JV2qk9Qn(6/14) AAS
>>702 補足
(引用開始)
４）可算無限個の箱がある。iid(独立同分布)を仮定する
（ここは、大学の確率論の教程を学べば分かる）
下記の通り、箱一つと同じ計算になる
サイコロの目を入れたなら、確率 1/6
どの箱も、例外無し！
(引用終り)
これが理解できないんだ
まあ、難しくないけど
省6
708: 2020/03/27(金)12:22 ID:asHKGG7T(19/35) AAS
>>707
＞これが理解できないんだ
あなたが？
＞まあ、難しくないけど
理解できないのに易しいという？
もしかしてコロナに感染してる？
709: 2020/03/27(金)12:28 ID:asHKGG7T(20/35) AAS
>>707
＞・・・のあ
乃木坂の白石麻衣が、デビュー前ジャニーズの追っかけをやってたことは
知る人ぞ知る事実だが、その頃名乗っていた「安田のあ」という名前は
「安田（章大の愛人）のあ」の意味らしい
710: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)13:58 ID:JV2qk9Qn(7/14) AAS
分からない 落ちこぼれ の人、落ちこぼれ の "お" ！！ｗｗ(゜ロ゜;
711: 2020/03/27(金)14:25 ID:asHKGG7T(21/35) AAS
「箱入り無数目」についての発言は諦めたんだね
では、HNについて
職場から出すほうが短いので、
自宅から出すほうも同じく短くしようね
もうガロアの話なんて全然してないしできないからね
正規部分群の定義も正しく理解できず
円分体の自己同型も間違えるんじゃ
ガロア理論なんか絶対理解できるわけないからね
完全に断念したのは大正解 スレッドも一掃されたし
712(1): 2020/03/27(金)14:30 ID:asHKGG7T(22/35) AAS
このスレッドが終わったら次に立てるスレッドの名前は
「現代数学の系譜 雑談」がいいだろうね
雑談なら何を書いてもいいからね
その時はHNは無しのほうがいいね
書くのは自分だけだろうけど、
HNが無ければどこの誰か詮索しないよ
間違えてもどこのだれかわからないし
どうもHNがあると間違いを認めずに
つっぱり続けるみたいだからね
713(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)14:32 ID:JV2qk9Qn(8/14) AAS
>>702 補足
(引用開始)
４）可算無限個の箱がある。iid(独立同分布)を仮定する
（ここは、大学の確率論の教程を学べば分かる）
下記の通り、箱一つと同じ計算になる
サイコロの目を入れたなら、確率 1/6
どの箱も、例外無し！
(引用終り)
これが理解できないんだ
まあ、難しくないけど
省6
714(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)14:35 ID:JV2qk9Qn(9/14) AAS
>>712
>このスレッドが終わったら次に立てるスレッドの名前は
>「現代数学の系譜 雑談」がいいだろうね
>雑談なら何を書いてもいいからね
おサル、忘れたのか？
あれだけ 暴れたのにさｗ
ガロアスレのスレタイは、下記だよ
（参考）
現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
2chｽﾚ:math
715: That's done 2020/03/27(金)14:35 ID:asHKGG7T(23/35) AAS
今、いいHNのアイデアがひらめいた
君にあげようかとおもったけど
自分で使うことにした
>>713
That's done. （それは終わったよ）
716: 2020/03/27(金)14:39 ID:asHKGG7T(24/35) AAS
>>714
誰も彼も同じ人物だと思い込む妄想が治らないね
過去のスレッドのタイトルなんて忘れなよ
いい思い出なんて一つもなかっただろ？
心機一転 新しいタイトルで出直しな
HNも捨てていいよ 誰もそんなもの気にしないし
717: That's done 2020/03/27(金)14:41 ID:asHKGG7T(25/35) AAS
いかんいかん、HNが抜けたな
専用ブラウザなんて使ってないんだ
浪人買うなんて無駄金出すほど馬鹿じゃないし
まさか、浪人買ってるの？ 5ch中毒？
718(1): That's done 2020/03/27(金)14:55 ID:asHKGG7T(26/35) AAS
提案
１．HNとトリップは止めな 意味ないから
２．スレッドは立ててもいいけど 今後は分野特定せずに「雑談」にしな
719(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)14:55 ID:JV2qk9Qn(10/14) AAS
浪人使っているよ
・金には困っていない（これが一番ｗ）
・センブラは便利（これが二番）
・エロ アド（PR） がうざい（これも二番）
・まあ、”久米仙人”（下記）みたいなものよｗｗ(゜ロ゜;
（参考）
外部ﾘﾝｸ[html]:zizimuge.blog44.fc2.com
さおのむかし
久米仙人は何故落ちたか？（１）2006.02.12
(抜粋)
省2
720(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)14:58 ID:JV2qk9Qn(11/14) AAS
>>718
妄想がひどくない？
薬、飲めよ！！
おまえは、自分が運営になったつもり？
おまえには、なんの権限も、力もないんだよｗ！！ｗｗ（＾＾；
721: That's done 2020/03/27(金)15:04 ID:asHKGG7T(27/35) AAS
今のHNを英語に翻訳してみたことある？
The genealogy of modern mathematics, chat かな
でもここでgenealogyなんて語ってないから余計だね
ちなみに Mathematics Genealogy ProjectっていうHPは別にある
数学者の師弟関係を記録したサイトだね
外部ﾘﾝｸ:www.genealogy.math.ndsu.nodak.edu
ここで語ってるのはせいぜいchat of modern mathematics だね
どうみてもHNというよりスレッド名
だからスレッド名は次から「現代数学雑談」
工学とか物理とか要らない
省1
722(1): That's done 2020/03/27(金)15:24 ID:asHKGG7T(28/35) AAS
>>719
>金には困っていない
金がいくらあっても、数学書は買えても、数学の理解は買えないよ
>久米仙人
数学を理解できないのは、エロとは無関係だな
>>720
提案だよ て・い・あ・ん
723(5): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)15:35 ID:JV2qk9Qn(12/14) AAS
＜再録＞
>>685 補足
(引用開始)
大学教程の確率論を学んだ高い立場に立たないと
時枝理論のおかしさに気付かないし
いつまでも、”はまって”抜け出せない
(引用終り)
補足：
１）数当てと言えば、確率ですね（下記 "chiebukuro.yahoo"）
２）いま、一つ箱があり、サイコロの目を入れた。確率 1/6
省40
724(1): That's done 2020/03/27(金)15:41 ID:asHKGG7T(29/35) AAS
>>723
＞”ある箱の数当て”が確率 …1-εにできる
どうしてもその”誤り”にはまって抜け出せないね 何故？
「ある箱の数当て」ではないよ
「当たる箱の選出」だよ
箱の中身は定数だからiidなんて無用 分布なんてないし
That's done. （それは終わったよ）
725(2): That's done 2020/03/27(金)15:45 ID:asHKGG7T(30/35) AAS
無限列ｘとその同値類の代表元ｒ（ｘ）を比較した場合
任意の自然数ｎについて「第ｎ項が不一致」って事象は、
任意有限個では独立だけど、無限個で考えたら独立ではないね
なぜなら自然数の無限部分集合について、その要素となるｎ全部で
「第ｎ項が不一致」となることはないから
（不一致となる項は有限個）
726(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)16:48 ID:JV2qk9Qn(13/14) AAS
おサル必死
くっ くっ く、 >>723ご参照 ww（＾＾；
727: That's done 2020/03/27(金)17:05 ID:asHKGG7T(31/35) AAS
>>726
That's done. （それは終わったよ）
明日からHNとトリップ捨てて出直しなよ
728(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/27(金)17:12 ID:JV2qk9Qn(14/14) AAS
おサル必死
くっ くっ く、 >>723ご参照 ww（＾＾；
終わっているのは、お ま え ｗｗｗ
729: That's done 2020/03/27(金)17:17 ID:asHKGG7T(32/35) AAS
>>728
That's done. （それは終わったよ）
明日からHNとトリップ捨てて出直しなよ
730: That's done 2020/03/27(金)17:22 ID:asHKGG7T(33/35) AAS
>>723
>>724
「ある箱の数当て」ではないよ
「当たる箱の選出」だよ
箱の中身は定数だからiidなんて無用
731: 2020/03/27(金)19:07 ID:WXxBUAbr(1/4) AAS
The Riddle も解らない馬鹿に数学は無理
732: 2020/03/27(金)19:12 ID:WXxBUAbr(2/4) AAS
>>681
>３．しかし、確率計算は正当化できない
Ω={1,2,...,100} の離散一様分布が正当化できないと？
脳みそコロナ感染してる？
733(1): 2020/03/27(金)19:16 ID:WXxBUAbr(3/4) AAS
iidって要するに当てずっぽうでしょ？
そりゃ当てずっぽうじゃ当たらないわなｗ
そんな話が数学セミナーの記事に？妄想もたいがいにしましょうねｗ
734(1): 2020/03/27(金)19:26 ID:WXxBUAbr(4/4) AAS
HNこれにしとけ
「自然数も分らない馬鹿」
時枝？
そりゃ自然数も分らない馬鹿には無理ですよｗ
735: That's done 2020/03/27(金)19:31 ID:asHKGG7T(34/35) AAS
>>733
あの人はiidばっかり繰り返してるけど
実はポイントはそこじゃなくて
ある箱に絞った場合の条件つき確率
として考えることなんだけどね
例えばX_(n,m)（n列目のm番目の箱)に絞るとすると
当たる場合は、n列目の決定番号がm以下の場合だし
外れる場合は、n列目の決定番号がmより大きい場合
つまり
「全部の列の決定番号の最大値がmの場合」と
省5
736: 2020/03/27(金)19:35 ID:asHKGG7T(35/35) AAS
>>734
AI(=Artificial Intelligence)に対抗して
NI(=Natural Innocence)というのは如何？
737(1): 2020/03/27(金)21:11 ID:BRYMq2Nk(1) AAS
>>702 >>707
> 「iidだからそれはおかしい」と即座に分かる
> 「可算無限個の箱→可算無限の確率変数族」
外部ﾘﾝｸ:ja.wikipedia.orgコーシー列
> 収束するかどうか調べるためには、その前に極限値がわからなければ
> ならないのであるが
「その前に極限値がわからなければならない」から
どの同値類に収束するか前もって分からないといけない
前もって収束する先の(R^Nでの)同値類を決めておくと
「iid」ではそのような数列を作ることはできない
省3
738: 2020/03/28(土)10:23 ID:+ARtdTH+(1/13) AAS
>>702
>５）ところが、時枝理論では、ある箱の数当てが 確率1/6ではなく、1-εにできるという
時枝先生はそんなこと言ってません。「固定された100列のいずれかをランダムに選択すればアタリ列を選ぶ確率は99/100以上になる」と言ってます。
そしてこれは完全に正しい。
全く分かってませんね。時枝戦略を語りたいなら正しく理解することから始めましょう。
739: 2020/03/28(土)10:29 ID:+ARtdTH+(2/13) AAS
>>682
>自然数に上限は無く どの自然数も有限でも
>しかし、超限順序数ωは
>ヒルベルト無限ホテルのパラドックスを使って
>（>>678ご参照）
>直ちに実現できますねｗ（＾＾；
だからなに？
箱入り無数目はR^Nですけど？
740: 2020/03/28(土)10:40 ID:+ARtdTH+(3/13) AAS
確率論があーが口癖の瀬田が一番確率分かってないね。
試しに時枝戦略の確率の確率空間書いてみ？
741(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/28(土)11:16 ID:MRwZqC/h(1/5) AAS
>>737
だれか知らないが、コーシー列を誤読しているよ
外部ﾘﾝｸ:ja.wikipedia.orgコーシー列
> 収束するかどうか調べるためには、その前に極限値がわからなければ
> ならないのであるが
正確には、下記だ。つまり、
”収束の定義に基づいて点列 (xn) の収束性を判定する場合、極限値 x を推定した上で |xn - x| を評価する必要がある。つまりこの方法で収束するかどうか調べるためには、その前に極限値がわからなければならないのであるが、コーシーの方法ならば極限値の推定は不要であるという利点がある。”
です。上記とは、真逆の意味だよ。分かりますか？
外部ﾘﾝｸ:ja.wikipedia.org
コーシー列
省15
742: 2020/03/28(土)11:25 ID:+ARtdTH+(4/13) AAS
>>741
箱入り無数目にコーシー列など不要
相変わらず馬鹿丸出し
743(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/28(土)11:29 ID:MRwZqC/h(2/5) AAS
>>741
(引用開始)
>1つの箱にだけサイコロの目を入れるのと全ての箱にサイコロの目を入れるの
>では同値類は異なるよ
いわんとしていることが、正確には理解できないが
空の箱を許容するという意味なら、{実数＋Φ（空）} の可算無限列を作れば良い
(引用終り)
この話は、非常に示唆に富んでいる
つまり、箱に入れて良い要素を増やしても、同様に確率1-εが得られるというのが、時枝理論だ
だが、明らかに、入れる要素を増やせば、一方入れる方があくまで実数しか入れないなら、的中率は下がる
省2
744: 2020/03/28(土)11:38 ID:hDJsRLVm(1/4) AAS
>>743
＞箱に入れて良い要素を増やしても、同様に確率1-εが得られる
そもそも「ある箱の数当て」ではないので当然
＞これ、矛盾です
ただの読み間違い
745: 2020/03/28(土)11:52 ID:+ARtdTH+(5/13) AAS
>>743
>だが、明らかに、入れる要素を増やせば、一方入れる方があくまで実数しか入れないなら、的中率は下がる
まったく明らかじゃないｗ
妄想じゃなく数学語ってねｗ
746: 2020/03/28(土)11:54 ID:+ARtdTH+(6/13) AAS
>>743
>的中率は下がるべき
時枝解法を理解してないからそう思えるだけ
馬鹿丸出し
747(1): 2020/03/28(土)12:10 ID:+ARtdTH+(7/13) AAS
なんで確率空間書かないの？
分からないの？
確率勉強してね
748(1): 2020/03/28(土)12:19 ID:+ARtdTH+(8/13) AAS
確率空間も書けないのに大学4年の確率論があって言ってたんですね
馬鹿丸出しですね
749(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/28(土)12:43 ID:MRwZqC/h(3/5) AAS
(>>593より)
＜時枝理論の複数列の比較による確率計算を潰す試みｗ(゜ロ゜； ＞
により、時枝の複数列の比較は、数学的には本質ではない ことは、すでに示した
さて、時枝の手法は、ある方法で、大きな数d'を与えて
問題の数列の決定番号dに対し d＜d' とできれば
列Xにおいて、Xd'+1から先のしっぽの箱を開けて
列Xの代表（rXとする）を知り、"rXd=Xd"と推測が的中できるというもの
これが成立たないことも、すでに>>593に説明した
さらに、ここを掘り下げてみよう！
１．ある方法で、d'が与えられたとする
省20
750: 2020/03/28(土)13:08 ID:+ARtdTH+(9/13) AAS
>>749
>(>>593より)
>＜時枝理論の複数列の比較による確率計算を潰す試みｗ(゜ロ゜； ＞
>により、時枝の複数列の比較は、数学的には本質ではない ことは、すでに示した
>３．そして、２列だから、確率 P（d＜d'）＝1/2 というけれど（>>593）
言ってませんけど？
ぜんぜん解ってないね
>１．ある方法で、d'が与えられたとする
>５．結局、時枝の数当て 不成立です！
おまえの云うある方法≠時枝の方法 なので無意味
省1
751: 2020/03/28(土)13:16 ID:+ARtdTH+(10/13) AAS
>>593）
>３．そして、２列だから、確率 P（d＜d'）＝1/2 というけれど
2列のいずれかをランダムに選ぶから1/2が言えるのであって、選ぶ列を固定したら1/2は言えません。
ていうかなんで1/2が言えると思ってるの？バカ？
752: 2020/03/28(土)13:36 ID:/8rYWzo5(1) AAS
学術の巨大掲示板群 - アルファ・ラボ
外部ﾘﾝｸ:x0000.net
数学 物理学 化学 生物学 天文学 地理地学
IT 電子 工学 言語学 国語 方言 など
753: 2020/03/28(土)15:43 ID:hDJsRLVm(2/4) AAS
>>749
「箱Xdを特定したとき、"rXd'＝Xd'"なる確率は0」
というのは「箱入り無数目」とは無関係
100列が決まっているときに、それぞれの列について
他の99列の決定番号の最大値をdとしたとき
100列のうち99列の箱について"rXd'＝Xd'"となるから
ランダムに1列選んで"rXd'＝Xd'"となる確率が99/100
というのが「箱入り無数目」
上下前次1-新書関写板覧索設栞歴
あと 249 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s