[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
590: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)10:46 ID:TMbOZsnt(7/22) AAS
どうした？
自称東大ｗ(゜ロ゜；
もっとガンバレ（＾＾
591: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)10:47 ID:TMbOZsnt(8/22) AAS
ぼこぼこに されている おサル
笑えるな〜ｗ
592: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)11:13 ID:TMbOZsnt(9/22) AAS
>>586-587
まとめ
数学DRにして大学教授（数理哲学）のPruss氏の回答に対して
質問者 Denis氏 （コンピュータサイエンス）は、確率の測度論に入っていけない
”but for this we only need the uniform distribution on {0,…,n}”の一点ばり
対して Pruss氏は、確率の独立概念の哲学文献などを示して、説得しようとするが、理解できないDenis氏
圧倒的に、Pruss氏の数学レベルが高い
省14
593(12): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)11:42 ID:TMbOZsnt(10/22) AAS
>>450 補足
＜時枝理論の複数列の比較による確率計算を潰す試みｗ(゜ロ゜； ＞
広中−岡のエピソードの教訓により、さらに時枝を抽象化して（余計な要素を省いて） 考えてみよう
いま、問題の出題された数列
可算無限数列X：X1,X2,・・Xd,Xd+1,・・
に対し
無関係な人が数列を作ったとする
省26
594(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)11:43 ID:TMbOZsnt(11/22) AAS
>>593
つづき
おさらいすると，仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s^k) が取り出せるので
列r のD番目の実数r(D)を見て， 「第k列のD番目の箱に入った実数はs^k(D)＝rDと賭ければ，めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
外部ﾘﾝｸ:ja.wikipedia.org
広中平祐
省4
595(1): 2020/03/22(日)11:53 ID:+SjNGkOL(1/10) AAS
>>593
>３．そして、２列だから、確率 P（d＜d'）＝1/2 というけれど、２列関係ないでしょ？！ｗ（＾＾；
だから時枝はそんなこと言ってないと何度言えばｗ
おまえホント頭悪いね
596(1): 2020/03/22(日)11:55 ID:+SjNGkOL(2/10) AAS
文字通り100回くらい言ってきたぞ、時枝はそんなことは言ってないと
馬鹿は学習できないから数学無理
597(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)12:44 ID:TMbOZsnt(12/22) AAS
>>593 補足
>無関係な人が数列を作ったとする
>可算無限数列Y：Y1,Y2,・・Yd',Yd'+1,・・
さて さらに、この人（以下、”おっさん”と称する ｗ）
が、もっと数列を作ったとする
先の数列を Y1として
追加数列は
省20
598: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)12:49 ID:TMbOZsnt(13/22) AAS
みんな乗ってこないね
必死にたきつけるおサル
でも、白けですね ”シラ〜”ｗ(゜ロ゜；
みじめなおサルさんｗｗ（＾＾；
（参考）
分からない問題はここに書いてね458
2chｽﾚ:math
省5
599: 2020/03/22(日)12:53 ID:+SjNGkOL(3/10) AAS
>>597
>時枝理論によれば
>１．n+1個の 代表番号は、 d,d',d'',・・d'' ' で
> dに対し、”おっさん”の数列で 最大値 dmax=max(d',d'',・・d'' ')
> として、d＜dmax なる確率 P（d＜dmax）＝n/(n+1) だという
おまえなに？痴呆症？
600(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)12:54 ID:TMbOZsnt(14/22) AAS
>>595-596
>>593より”広中−岡のエピソードの教訓”を読みましょう〜！！(゜ロ゜；
＜時枝を抽象化して（余計な要素を省いて） 考えてみよう〜！＞
601: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)12:56 ID:TMbOZsnt(15/22) AAS
>>600 訂正追加
>>593より”広中−岡のエピソードの教訓”を読みましょう〜！！(゜ロ゜；
↓
>>594より”広中−岡のエピソードの教訓”を読みましょう〜！！(゜ロ゜；
かな（＾＾
602: 2020/03/22(日)13:11 ID:+SjNGkOL(4/10) AAS
抽象化になってないと言ってんのに分らんの？バカなの？痴呆なの？
603: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)13:15 ID:TMbOZsnt(16/22) AAS
抽象化を、広い意味で、「余計な要素を落として、純粋に数学的要素だけを残して考える」とすれば、いいべ ｗ（＾＾
604(1): 2020/03/22(日)13:19 ID:+SjNGkOL(5/10) AAS
本質要素を落としてると言ってのが分からんの？バカなの？痴呆なの？
605: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)13:30 ID:TMbOZsnt(17/22) AAS
>>604
外部ﾘﾝｸ:bokete.jp
「能ある鷹は爪を隠す」の対義語
能なしサルはケツ真っ赤 - 2019年12月01日 ボケて（bokete）
(引用終り)
おサルのお顔は、まっかっかｗ（＾＾；
606(1): 2020/03/22(日)14:14 ID:OFMTPL9H(1/8) AAS
>>593 >>597
出題の列Xを固定するなら、的中確率はn/n+1じゃなくて1だけど
(証明)
列Xの決定番号をd
開ける項の番号をm
とする
d<=mなら代表元と一致
省5
607(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)14:17 ID:TMbOZsnt(18/22) AAS
おサル、分からない問題スレで、冷たくあしらわれているな
分からない問題スレで、ドッチラケだな
哀れだねーｗ（＾＾；
分からない問題はここに書いてね458
2chｽﾚ:math
855 名前：１３２人目の素数さん[sage] 投稿日：2020/03/22(日) 11:47:03.77 ID:OFMTPL9H [6/7]
ID:BUSW/Nah氏への問い
省10
608(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)14:31 ID:TMbOZsnt(19/22) AAS
>>606
(引用開始)
d<=mとなるmは無限個
d>mとなるmは有限個
したがって無作為にmを選んだ場合 d<=mとなる確率1
(引用終り)
おっ、分かってきたかな？ｗ
省14
609: 2020/03/22(日)14:32 ID:OFMTPL9H(2/8) AAS
>>607
自爆で発狂 御愁傷様
外部ﾘﾝｸ:ja.wikipedia.org
610: 2020/03/22(日)14:36 ID:+SjNGkOL(6/10) AAS
>>608
>ここが、大問題なのだ （＾＾；
簡単に解決できるじゃん
1列から100列を作っていずれかを無作為に選べばいいだけ
バカですか？
611(1): 2020/03/22(日)14:48 ID:OFMTPL9H(3/8) AAS
>>608
＞おっ、分かってきたかな？
なんだ、分かってないのか
「的中確率１」だぞ
＞誤：無作為に
＞正：十分大きな
「十分大きな」では無意味
省21
612: 2020/03/22(日)14:52 ID:+SjNGkOL(7/10) AAS
conglomerability assumption
613: 2020/03/22(日)14:59 ID:OFMTPL9H(4/8) AAS
Prussがnon-conglomerableだと指摘した理由 それは
「場合分けによって確率が全然違ってしまうから」
１．項ｍで場合分けしたら、確率０
（ほとんどすべての列で決定番号ｄがｍより大きいから）
２．列ｘで場合分けしたら、確率１
（ほとんどすべての自然数ｍが列ｘの決定番号ｄ以上だから）
３．ｎ列固定で、1列選んで、The Riddleの戦略で項を決めたら確率１−１／ｎ
省1
614(1): 2020/03/22(日)17:31 ID:+SjNGkOL(8/10) AAS
3は1,2と独立且つ正しい
Prussはすべった
615: 2020/03/22(日)17:35 ID:OFMTPL9H(5/8) AAS
>>614
1,2も条件付き確率としては正しい
3を「100列を確率変数とした場合」に拡大できない
という点ではPrussは正しい
616: 2020/03/22(日)17:37 ID:OFMTPL9H(6/8) AAS
要するに
・１．２．３．とも条件つき確率としては正しい
・１．２．３．とも「１００列を確率変数とした場合」には拡大できない
617(1): 2020/03/22(日)17:47 ID:+SjNGkOL(9/10) AAS
Denisは
1,2は間違い
とも
3を100列を確率変数としても正しい
とも言ってないんじゃないかな
Prussも3が間違いとは言ってないとすれば、マチガッテルのはあの方だけですね
618: 2020/03/22(日)17:54 ID:OFMTPL9H(7/8) AAS
>>617
Denisが100列固定として理解してるとは思いますが
100列を確率変数とした場合に延長できるかどうか
についてはコメントがないですね
だからPrussは「100列が確率変数だったらダメだよ」
といってるんだと思います
Prussが100列固定の場合の3について否定してないことは
省5
619: 2020/03/22(日)18:08 ID:+SjNGkOL(10/10) AAS
>決定番号∞だったら、同値でないってことですが
間違いのレベルがぶっ飛んでますね
620(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)18:39 ID:TMbOZsnt(20/22) AAS
>>608 補足
＞ １．”可算無限長列で、常に有限の決定番号ｄが存在するならば、十分大きなmを選んで、 d<=mとできるなら、代表列との比較で "rXd=Xd"と推測が的中確率1”
ここが問題なんだな
つまり、我々は、決定番号ｄを直接選ぶことはできないのだ
∵ 問題の列Xで、Xdを決してしることはできないのだから
（選択公理などで）選ぶことができるのは、代表列rXでしかないのです
おサルには理解出来ないかも知れないが、人には理解できるだろうｗ（＾＾
621: 2020/03/22(日)20:03 ID:da5TzX47(2/2) AAS
>>620
> 我々は、決定番号ｄを直接選ぶことはできないのだ
決定番号は数当てでは単なる比較のための基準でしかないから
回答者は数当てができるような基準を設定しているだけのことだよ
実数を1つ選んでその無限小数表示を考えて1桁ずつ並べて数列にする
たとえば12345.678999... の小数点を除外して
1, 2, 3, 4, 5, 6, 7, 8, 9, 9, 9, ...
省5
622: 2020/03/22(日)20:17 ID:OFMTPL9H(8/8) AAS
>>620
決定番号ｄを選ぶ必要はありません
当てる列を固定すればいいだけです
つまり、試行を繰り返す場合には
毎度毎度別の人が回答者になればいいだけ
頭は生きてるうちに使いましょう
623: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)22:07 ID:TMbOZsnt(21/22) AAS
>>611
＞ したがって「代表列との比較で "rXm=Xm"となる的中確率1」が正しい
ああ、それでも可だ
下記 時枝にある通りで
”結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう”だな
だから、 "rXm=Xm"も "rXd=Xd"も どちらも可だ
（参考）
省9
624: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/22(日)22:09 ID:TMbOZsnt(22/22) AAS
おサル、分からない問題スレで、冷たくあしらわれているな
分からない問題スレで、ドッチラケだな
哀れだねーｗ（＾＾；
分からない問題はここに書いてね458
2chｽﾚ:math
862 名前：１３２人目の素数さん[] 投稿日：2020/03/22(日) 14:04:27.32 ID:OFMTPL9H [8/8]
>>858
省6
625(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/23(月)07:54 ID:8hlHRLPg(1) AAS
>>597 補足説明
(引用開始)
ここで、出題の列Xと無関係な
見知らぬ "おっさん" が勝手に、n個の列 Y1〜Ynを作って
P（d＜dmax）＝n/(n+1)となるので、列 Y1〜Ynの箱を開けて
dmaxを知り、列Xにおいて dmax+1以降のしっぽの箱を開け
>>593と同様に
省18
626(1): 2020/03/23(月)20:09 ID:lDyHiL++(1/2) AAS
>>625
>１．時枝理論を 回答者に有利なようにルールを変えることができる
> 「同値類の代表は、回答者に有利に選び直せる」こととする
>２．そうすると、dmaxはいくらでも 大きく取れる
> つまり、回答者が勝つためには、”d＜dmax”なる dmaxを選べば勝てるのだ
dが分かってないのにどうやってd＜dmaxとなるように選ぶの？
> （∵ dmax=1とか、あり得ないけど、小さな数では明らかに勝てない。
省22
627: 2020/03/23(月)20:12 ID:lDyHiL++(2/2) AAS
いやあ、よくもこれだけ恥を晒せるものだ
厚顔無恥のオリンピックがあったら金メダル量産だねｗ
628: 2020/03/23(月)20:26 ID:+uQyfpo2(1/2) AAS
>>625
（「箱入り無数目」について）
>回答者が勝つためには、”d＜dmax”なる dmaxを選べば勝てるのだ
然り
>それは、d番目の箱からdmaxまで、
>dmax - d + 1 個の 箱の中の実数が、
>箱を開けずに的中できるということ
省27
629: 2020/03/23(月)20:37 ID:+uQyfpo2(2/2) AAS
追伸
>>626の指摘通り d≦dmaxなら当たる
630: 2020/03/23(月)22:03 ID:2vPoPtWs(1) AAS
>>625
> dmaxはいくらでも 大きく取れる
それは特定のある同値類(の代表元)に固定した場合であって
> ”有限の代表番号dの存在”は否定された
これは言えないよ
全ての同値類(ある1つの完全代表系に含まれる全ての代表元)について
は言えないから
省5
631(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/24(火)07:52 ID:1Hky7X6d(1/5) AAS
>>625 追加
(>>597より 引用開始)
ここで、出題の列Xと無関係な
見知らぬ "おっさん" が勝手に、n個の列 Y1〜Ynを作って
P（d＜dmax）＝n/(n+1)となるので、列 Y1〜Ynの箱を開けて
dmaxを知り、列Xにおいて dmax+1以降のしっぽの箱を開け
>>593と同様に
省17
632(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/24(火)07:55 ID:1Hky7X6d(2/5) AAS
>>631
つづき
６．明らかに、”うまく代表rXを選ぶことができて、d番目からさきが一致するようにできる”がおかしい
何がどう おかしいか？
１）1つは、dが自然数N全体を渡るとき（簡単に一様分布を仮定して）、有限dmaxに対して、確率P(d<dmax)は常に0
∵ dが自然数N全体を渡るので、自然数N全体に対して、d<dmaxの部分集合は無限小にすぎない
２）”d番目からさきが一致する”を考えてみると、これは”d番目からさき”の無限個の箱の数が一致するってことですｗ（＾＾；
省8
633(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/24(火)07:57 ID:1Hky7X6d(3/5) AAS
>>632 補足
＞ １）1つは、dが自然数N全体を渡るとき（簡単に一様分布を仮定して）、有限dmaxに対して、確率P(d<dmax)は常に0
簡単に一様分布を仮定したが、正確には一様分布ではなく、すそが発散するとんでもない分布なのです
（説明すると長くなるので、省略します（＾＾； ）
634: 2020/03/24(火)18:40 ID:nj3f9M7r(1) AAS
>>632
> 明らかに、”うまく代表rXを選ぶことができて、d番目からさきが一致するようにできる”がおかしい
可算無限個の箱の全てに実数であればどんな数字でも入れることが可能なんだから成り立っている
ある代表元とある箱から先の数字が全て一致しているから
可算無限個の箱の全てに実数を入れ終わったということが言える
> これ、宝くじの原理。当たりくじは、必ずある。
> 当たる確率は0に近い
省3
635: 2020/03/24(火)19:28 ID:MEXav4AL(1/2) AAS
>>632
>明らかに、”うまく代表rXを選ぶことができて、d番目からさきが一致するようにできる”がおかしい
まず代表rXの選択を肯定するなら、どう代表を選んでも
任意の数列Xに対しても必ずある自然数dが存在して
d番目から先が、数列Xが所属する同値類の代表rXと一致する
なぜなら、代表元はそれが所属する同値類の中の任意の数列と同値だから
したがって否定するのは
省5
636: 2020/03/24(火)19:29 ID:MEXav4AL(2/2) AAS
>>633
>dが自然数N全体を渡るとき（簡単に一様分布を仮定して）、
>有限dmaxに対して、確率P(d<dmax)は常に0
だからといって、P(d∈N)=0、P(∞)=1、とはいえない
注：ここでは∞は任意のn∈Nより大きい「数」でNの要素でない、とする
「XとrXの一致項が無限個でない」と言いたいのなら当然そうなるだろう
（しかし、「」内の主張はXとrXが同値であることと真っ向から矛盾するが）
637: 2020/03/24(火)22:00 ID:RQgrFGVd(1/2) AAS
>>631
>３．見知らぬ "おっさん" が勝手に、数列Yを作って、同じように同値類から決定番号dmaxを得る
> １列作った場合、Xとの２列の比較で、d<dmaxとなる確率P(d<dmax)=1/2
大間違い
あれほど説明したのに未だに解ってないｗ バカに数学は無理ｗ
>４．さて、dmax+1から先を開けるのを、dmax+1+k(ｋ>=1)から先を開けると改良できる
> そうすると、d番目からdmax+k までの箱が、ごっそり的中できる。kは任意だから、100兆個でも1000兆個でも、ごっそり的中できる
省3
638: 2020/03/24(火)22:08 ID:RQgrFGVd(2/2) AAS
>>631
バカに質問ｗ
なんで↓が成立すると思ってるの？
>ここで、出題の列Xと無関係な
> 見知らぬ "おっさん" が勝手に、n個の列 Y1〜Ynを作って
> P（d＜dmax）＝n/(n+1)となるので、列 Y1〜Ynの箱を開けて
> dmaxを知り、列Xにおいて dmax+1以降のしっぽの箱を開け
省5
639(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/24(火)23:45 ID:1Hky7X6d(4/5) AAS
無限を考えるとき、人はしばしば間違う
そこで、有限の極限を確認するという、真面目な取り組みを心懸けるようお薦めしたい
時枝については、>>552に示している通りです
なお、物理学では、ボーアの指導原理「量子数 n が十分大きい極限では，古典力学による記述が可能となる」
プランク定数 h → 0 の極限で量子力学が古典力学に一致する
相対性理論は,光速度を無限大とする極限においては ニュートン物理学と一致する
などが有名です
省12
640: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/24(火)23:46 ID:1Hky7X6d(5/5) AAS
>>639
つづき
外部ﾘﾝｸ:ja.wikipedia.org
プランク定数
(抜粋)
理論
プランク定数は量子論的な不確定性関係と関わる定数であり、h → 0 の極限で量子力学が古典力学に一致するなど、量子論を特徴付ける定数である。
省10
641(1): 2020/03/25(水)05:22 ID:hW5LBiGq(1/2) AAS
>>639
>無限を考えるとき、人はしばしば間違う
>そこで、有限の極限を確認するという、
>真面目な取り組みを心懸けるようお薦めしたい
質問
箱の中身を0〜9の10個の数に制限する
このとき、無限列は10進無限小数だと考えることができる
省11
642(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/25(水)07:52 ID:wzyKzdmN(1/4) AAS
>>641
良い質問ですね〜（＾＾
(引用開始)
質問
箱の中身を0〜9の10個の数に制限する
このとき、無限列は10進無限小数だと考えることができる
.000…の同値類の代表元を.000…とする
省43
643(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/25(水)13:46 ID:YzGeEn4T(1/3) AAS
>>642
コーシー列 補足
外部ﾘﾝｸ[pdf]:www2.math.kyushu-u.ac.jp
実数の構成に関するノート? 原隆 （九大）
Last updated: Juy 10, 2007
(抜粋)
これは僕の微積の講義ノートの付録として，また「数学 II」の補助ノートとして，実数論の初歩を書いたもの
省27
644(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/25(水)17:10 ID:YzGeEn4T(2/3) AAS
>>643
コーシー列 補足２
（コーシー列も分からんようでは、議論にならん。どっかの素人さんと変わらん。いくら議論しても無駄。いい加減悟れよ、おいｗ（＾＾； ）
外部ﾘﾝｸ[pdf]:www.comp.tmu.ac.jp
澤野嘉宏 首都大 （２０１１年の微分積分 前期（月曜日一二限）（京都大学の過去の講義）関連か）
(抜粋)
1 実数とは
省28
645: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/25(水)17:37 ID:YzGeEn4T(3/3) AAS
>>644
＞（コーシー列も分からんようでは、議論にならん。どっかの素人さんと変わらん。いくら議論しても無駄。いい加減悟れよ、おいｗ（＾＾； ）
＞澤野嘉宏 首都大
＞実数とはいったいなんであろうか？有理数という概念は既知の状態からはじめたい．
こうやって、コーシー列の資料を補足で貼っている意味が分からないかも
「実数とは、コーシー列と」いう視点に立つとき
「整数でさえ、コーシー列」だという 高い視点に立つことができる
省4
646(1): 2020/03/25(水)19:34 ID:hW5LBiGq(2/2) AAS
>>642
＞＞.999…が決定番号∞なのか？
＞Yes
本当？
まず、.999…はいかなるn∈Nについても
あるn<=mが存在して、m番目の桁が0でない
これは、.999…が、.000…と同値でないことを
省18
647(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/25(水)21:23 ID:wzyKzdmN(2/4) AAS
>>646
Q1：コーシー列を、理解していますか？
Q2：コーシー列の存在を、認めますか？
ｗｗｗ（＾＾；
648(1): 2020/03/25(水)22:14 ID:GjA6/puQ(1) AAS
かわいそうに
自分がバカであることも分らないなんて
649(1): 2020/03/25(水)22:23 ID:ARqBz0VU(1) AAS
カキコで飯食ってるそうな
650: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/25(水)23:17 ID:wzyKzdmN(3/4) AAS
>>648
かわいそう
同じ穴の狢（ムジナ）って、分かりますかぁ〜ｗ（＾＾
５ｃｈで、大きな顔をする人を、そう呼びますｗｗ(゜ロ゜；
なお、ガロアスレのスレ主は、「バカ」ではなく「馬鹿であほ」です
以前は、テンプレがあったんだがね〜ｗ（＾＾；
現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
省20
651: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/25(水)23:42 ID:wzyKzdmN(4/4) AAS
>>649
＞カキコで飯食ってるそうな
ぼくちゃん、引きこもりだね
世間を知らないんだ
狭い世界観、５ｃｈ数学板の外には
「釣れる」ところが沢山ある
有名なのが「ニュー速」板とかね
省27
652(2): 2020/03/26(木)05:07 ID:/vnWknlA(1/11) AAS
>>647
A1：はい
A2：はい
逆に質問
Q3：「箱入り無数目」の無限列がR^Nだと、理解していますか？
Q4：∞は自然数Nの要素でない、つまり自然数Nには最大元がないと、認めますか？
653(1): 2020/03/26(木)05:52 ID:HUPBeOCI(1) AAS
このスレと日高のスレと朝日新聞ははやくつぶれてくれと願うのみ
不快、目障り
654: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/26(木)07:31 ID:+Ol1TdQp(1/6) AAS
>>653
結構結構
「毀誉褒貶相半ばする」
そういう人がいていいｗ（＾＾
もっとも、良い評判は聞かないがね〜ｗｗ（＾＾；
（”相半ば”してないか？ｗ）
（参考）
省11
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…）」
省16
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,・・・を考える
省7
658(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)12:14 ID:Toc1jVc8(3/8) AAS
>>657
つづき
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
レーヴェンハイム?スコーレムの定理
(抜粋)
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。
省25
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,・・・を考える
省21
661(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)15:22 ID:Toc1jVc8(5/8) AAS
>>657
補足
あと
１）決定番号ｄの範囲が無限大になるとき、ｄは非正則分布になる（下記ご参照）
この場合、確率的な取り扱いができない
（ｄを確率変数として考えた時、ｄの範囲が無限大なら、ｄは裾が減衰しないと、積分が発散して∞になる。そのとき、全事象Ω＝１にすると、各事象は０とならざるを得ない。つまり、確率の公理を満たせない）
２）決定番号ｄをランダムに選ぶとか、あるいは（非可算無限集合たる同値類の中から）代表をランダムに選ぶことを考えるときには
省23
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
レーヴェンハイム?スコーレムの定理
省3
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+・・
省30
665: 2020/03/26(木)17:35 ID:/vnWknlA(4/11) AAS
>>663
自然数は有限のモデルを持たないことを理解しましょう
（自然数全体の集合Nは有限集合にならない）
また、
・最大の自然数は存在しない
・いかなる自然数も自分以上の自然数が無限に存在する
ということも理解しましょう
省7
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）
省4
669(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/26(木)18:21 ID:Toc1jVc8(8/8) AAS
>>663
ｗ（＾＾；
外部ﾘﾝｸ:fujicategory.hatenadiary.org
数学基礎論の勉強ノート id:fujicategory
2011-07-21
レーヴェンハイム・スコーレムの定理！！
(抜粋)
省31
670(2): 2020/03/26(木)19:27 ID:w9QXoHzC(1/3) AAS
>>656
>１．決定番号∞について
>・この∞の意味は、言い換えれば、「決定番号d上限はない」あるいは「決定番号dは全ての自然数を渡る」ということ
バカの言ってることが正しいと仮定。
「決定番号dは全ての自然数を渡る」より d∈N
決定番号d=∞ より ¬(d∈N)
矛盾が導かれたので仮定は偽。
省1
上下前次1-新書関写板覧索設栞歴
あと 332 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.233s*