[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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なら代表元と一致
d>m なら一般的に代表元と一致しない
d<=mとなるmは無限個
d>mとなるmは有限個
省2
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氏への問い
Q.長さn以下の10進小数の9/10が長さn
ある人曰く
「だからｎ→∞の極限で有限小数の9/10が長さ∞」
省7
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
(引用終り)
おっ、分かってきたかな？ｗ
なお
誤：したがって無作為にmを選んだ場合 d<=mとなる確率1
↓
省11
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
＞おっ、分かってきたかな？
なんだ、分かってないのか
「的中確率１」だぞ
＞誤：無作為に
＞正：十分大きな
「十分大きな」では無意味
「無作為に」で十分
＞”可算無限長列で、
＞ 常に有限の決定番号ｄが存在するならば、
省18
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の戦略で項を決めたら確率１−１／ｎ
つまり場合分けの仕方でconglomerabilityに基づいた確率の結果が異なるから
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について否定してないことは
The Riddleを肯定したことからも明らかです
＞マチガッテルのはあの方だけですね
「確率１で決定番号が∞」と云ってる時点で明らかでしょう
省2
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, ...
この数列を見ても元の小数点の位置は分からないが
数当てをするのに小数点の位置を何らかの基準にするのならば
数列の数字を変えない前提で回答者は自分で小数点を付け加えて考えればよい
省2
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"も どちらも可だ
（参考）
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
2chｽﾚ:math
時枝問題（数学セミナー201511月号の記事）
省6
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
>>855に答えましょうね
863 名前：１３２人目の素数さん[] 投稿日：2020/03/22(日) 19:48:33.60 ID:BUSW/Nah [9/9]
>>862
省3
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と同様に
列Xの代表（rXとする）を知り、"rXd=Xd"と推測が的中することになる
（確率 P（d＜dmax）＝n/(n+1) 、即ち 1-ε でｗ ）
これは、全くバカげた話ですｗ
省15
626(1): 2020/03/23(月)20:09 ID:lDyHiL++(1/2) AAS
>>625
>１．時枝理論を 回答者に有利なようにルールを変えることができる
> 「同値類の代表は、回答者に有利に選び直せる」こととする
>２．そうすると、dmaxはいくらでも 大きく取れる
> つまり、回答者が勝つためには、”d＜dmax”なる dmaxを選べば勝てるのだ
dが分かってないのにどうやってd＜dmaxとなるように選ぶの？
> （∵ dmax=1とか、あり得ないけど、小さな数では明らかに勝てない。
そんなことはない。大きかろうが小さかろうがd≦dmaxなら勝てる。
>で、dmaxが好きなだけ大きくできることは自明で、そうすれば良い。可算無限長の数列だから）
好きなだけ大きくしてもいいが、どうやってd≦dmaxを保証するの？dが分からないのに。バカ？
省19
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 個の 箱の中の実数が、
>箱を開けずに的中できるということ
然り
>dmaxは、いくらでも増やせるから、
>100万個でも1億個でも1兆個でも・・、
省24
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と同様に
列Xの代表（rXとする）を知り、"rXd=Xd"と推測が的中することになる
（確率 P（d＜dmax）＝n/(n+1) 、即ち 1-ε でｗ ）
これは、全くバカげた話ですｗ
省14
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番目からさき”の無限個の箱の数が一致するってことですｗ（＾＾；
列Xと代表rXとの比較で、1つの箱が一致する確率をpとすると、2つならp^2、n個ならp^n、無限ならp^∞＝0
つまり、”うまく代表rXを選ぶことができて、d番目からさきが一致するようにできる”確率は0 ！！
３）確率は0だからといって、そのような代表rXが存在しないわけではない
省5
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に近い
回答者は完全代表系を用いるから宝くじで言えばくじを全部購入済み
当たりが必ず入っているんだから買ったくじのどれかが当たる確率は1
省1
635: 2020/03/24(火)19:28 ID:MEXav4AL(1/2) AAS
>>632
>明らかに、”うまく代表rXを選ぶことができて、d番目からさきが一致するようにできる”がおかしい
まず代表rXの選択を肯定するなら、どう代表を選んでも
任意の数列Xに対しても必ずある自然数dが存在して
d番目から先が、数列Xが所属する同値類の代表rXと一致する
なぜなら、代表元はそれが所属する同値類の中の任意の数列と同値だから
したがって否定するのは
”代表rXを選ぶことができて、”
その場合、選択公理を否定することになる
省3
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兆個でも、ごっそり的中できる
どうやってｄを知るんだよｗ
>５．あきらかに、これはおかしい。
おかしいのはおまえｗ
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以降のしっぽの箱を開け
> >>593と同様に
> 列Xの代表（rXとする）を知り、"rXd=Xd"と推測が的中することになる
> （確率 P（d＜dmax）＝n/(n+1) 、即ち 1-ε でｗ ）
省2
639(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/24(火)23:45 ID:1Hky7X6d(4/5) AAS
無限を考えるとき、人はしばしば間違う
そこで、有限の極限を確認するという、真面目な取り組みを心懸けるようお薦めしたい
時枝については、>>552に示している通りです
なお、物理学では、ボーアの指導原理「量子数 n が十分大きい極限では，古典力学による記述が可能となる」
プランク定数 h → 0 の極限で量子力学が古典力学に一致する
相対性理論は,光速度を無限大とする極限においては ニュートン物理学と一致する
などが有名です
（参考）
外部ﾘﾝｸ[pdf]:www.wattandedison.com
伝熱 2010 年 1 月
省9
640: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/24(火)23:46 ID:1Hky7X6d(5/5) AAS
>>639
つづき
外部ﾘﾝｸ:ja.wikipedia.org
プランク定数
(抜粋)
理論
プランク定数は量子論的な不確定性関係と関わる定数であり、h → 0 の極限で量子力学が古典力学に一致するなど、量子論を特徴付ける定数である。
外部ﾘﾝｸ:www.jstage.jst.go.jp
科学哲学39-2(2006)
相対性理論の意味 田中裕 (上智大学)
省7
641(1): 2020/03/25(水)05:22 ID:hW5LBiGq(1/2) AAS
>>639
>無限を考えるとき、人はしばしば間違う
>そこで、有限の極限を確認するという、
>真面目な取り組みを心懸けるようお薦めしたい
質問
箱の中身を0〜9の10個の数に制限する
このとき、無限列は10進無限小数だと考えることができる
.000…の同値類の代表元を.000…とする
このとき、決定番号∞となる小数を一つ上げよ
例えば
省8
642(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/25(水)07:52 ID:wzyKzdmN(1/4) AAS
>>641
良い質問ですね〜（＾＾
(引用開始)
質問
箱の中身を0〜9の10個の数に制限する
このとき、無限列は10進無限小数だと考えることができる
.000…の同値類の代表元を.000…とする
このとき、決定番号∞となる小数を一つ上げよ
(引用終り)
良い質問ですね〜
省40
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」の補助ノートとして，実数論の初歩を書いたもの
です．具体的には「有理数の切断」としての実数の構成を 2 章で，また「コーシー列の同値類」としての実数の構
成を 3 章で論じた後，両者が基本的に同値なものである事を 4 章で述べました．そのあと，更に舞台を拡げて，実
数の公理を満たす体は本質的に一つに決まることを簡単に 5 章で説明してあります．
省24
644(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/25(水)17:10 ID:YzGeEn4T(2/3) AAS
>>643
コーシー列 補足２
（コーシー列も分からんようでは、議論にならん。どっかの素人さんと変わらん。いくら議論しても無駄。いい加減悟れよ、おいｗ（＾＾； ）
外部ﾘﾝｸ[pdf]:www.comp.tmu.ac.jp
澤野嘉宏 首都大 （２０１１年の微分積分 前期（月曜日一二限）（京都大学の過去の講義）関連か）
(抜粋)
1 実数とは
実数とはいったいなんであろうか？有理数という概念は既知の状態からはじめたい．
近似をするときに，10 進法にこだわる必要はなく，k 進法であってもよい．とにかく，
与えられた x を有理数で近似する方法は当然のことであるがとてつもなく多い．
省25
645: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/25(水)17:37 ID:YzGeEn4T(3/3) AAS
>>644
＞（コーシー列も分からんようでは、議論にならん。どっかの素人さんと変わらん。いくら議論しても無駄。いい加減悟れよ、おいｗ（＾＾； ）
＞澤野嘉宏 首都大
＞実数とはいったいなんであろうか？有理数という概念は既知の状態からはじめたい．
こうやって、コーシー列の資料を補足で貼っている意味が分からないかも
「実数とは、コーシー列と」いう視点に立つとき
「整数でさえ、コーシー列」だという 高い視点に立つことができる
そして、>>642の ゼロ(0)さえ 「0=.000…」で、コーシー列だという視点に立つことができる
ってことなのだが
ま、コーシー列が理解できていないと、分からないだろうな
省1
646(1): 2020/03/25(水)19:34 ID:hW5LBiGq(2/2) AAS
>>642
＞＞.999…が決定番号∞なのか？
＞Yes
本当？
まず、.999…はいかなるn∈Nについても
あるn<=mが存在して、m番目の桁が0でない
これは、.999…が、.000…と同値でないことを
示していると考えられるが如何？
＞＞もし、そうだとして、.999…が.000…と同値だとする証明はあるのか？
＞・まず、修正：「.999…00…が.000…00…と同値（つまり、 .999…00… 〜 .000…00…）」だな
省15
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
2chｽﾚ:math
16 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2020/02/09(日) 19:34:31.31 ID:XY5HcLEF [16/24]
過去スレより
省17
651: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/25(水)23:42 ID:wzyKzdmN(4/4) AAS
>>649
＞カキコで飯食ってるそうな
ぼくちゃん、引きこもりだね
世間を知らないんだ
狭い世界観、５ｃｈ数学板の外には
「釣れる」ところが沢山ある
有名なのが「ニュー速」板とかね
下記は、勢いランキングだけど
ニュース速報+ なら勢い 1位で108252、 100位で3649
一方、数学板では 1位で111、 100位は0 （＾＾；
省24
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
結構結構
「毀誉褒貶相半ばする」
そういう人がいていいｗ（＾＾
もっとも、良い評判は聞かないがね〜ｗｗ（＾＾；
（”相半ば”してないか？ｗ）
（参考）
外部ﾘﾝｸ: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
上下前次1-新書関写板覧索設栞歴
あと 300 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.264s*