現代数学の系譜　カントル　超限集合論2

[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論2 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

214: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [] 2020/01/02(木) 11:38:11.95 ID:YLjNnjPy

>>195 補足

私スレ主も、証明を全く読まないわけじゃない
ガロアスレ46 の422（下記）で、PDFを作って貰ったんだ

(参考)
ガロアスレ46
https://rio2016.5ch.net/test/read.cgi/math/1510442940/422
422 １３２人目の素数さん[sage] 2017/11/20
>>421のリンク先の証明は個人的には すんなり頭に入ってこないので、
微分可能な点の方から攻める方針でやってみたら、次の定理が得られた。
定理：f：R → R に対して、B_f＝{ x∈R｜limsup[y→x]｜(f(y)−f(x))/(y−x)｜＜＋∞ } と置く。
もし R−B_f が高々可算無限個の疎な閉集合の和で被覆できるならば、f はある開区間の上で
リプシッツ連続である。
この定理を使うと、f：R → R であって、「xが有理数のとき不連続、xが無理数のとき微分可能」
となるものは存在しないことが即座に分かる。一応やってみると、そのような関数 f が存在したとすると、
R−Q ＝ 無理数全体 ＝ (fの微分可能点全体) ⊂ B_f
となるので、
R−B_f ⊂ Q ＝ ∪[p∈Q] { p } …(1)
となる。(1)の右辺は疎な閉集合の可算和だから、上の定理が使えて、f はある開区間(a,b)の上で
リプシッツ連続になる。特に、(a,b)の上で連続になる。QはR上で稠密だから、x∈(a,b)∩Qが取れる。
仮定から、fは点xで不連続であるが、しかしx∈(a,b)より、fは点xで連続であり、矛盾する。

ガロアスレ47
https://rio2016.5ch.net/test/read.cgi/math/1512046472/593-594
593 １３２人目の素数さん[sage] 2017/12/12
pdf ならスレ主も証明を読む気があるらしいので、そうなると話は一変する。
相手の弁明を聞く気があるなら、イチャモンをつけても、それ単独では誹謗中傷には ならないからだ。
そして、証明を次のレスで投下する(うｐろだに上げたのでリンクを張る)。

594 １３２人目の素数さん[sage] 2017/12/12
以下の pdf に証明を書いた。
ttps://www.axfc.net/u/3870548?key=Lipschitz
なるべく行間が無いように、丁寧に証明を書いたつもりである。
なお、「疎な閉集合」は「内点を持たない閉集合」と同じことであるから、
pdf の中では「疎な閉集合」という概念を導入せず、必要な個所では その都度
「内点を持たない閉集合」
という言葉に置き換えた。
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1576852086/214

437: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2020/03/11(水) 20:35:09.56 ID:VmLB1T0T

>>435
おサル本体（＝サイコパス ピエロ（下記ご参照））の ご登場かい？ｗ(゜ロ゜;

まず
　（>>421）
"P：The Riddle から、Q：時枝記事の確率1-ε が導かれる
つまり、P→Qだ
対偶：￢Q→￢P
つまり、￢Q：時枝記事の否定→￢P：The Riddleの否定"です（＾＾；

>>414
> 時枝の反例足りえているぞ！！ (>>380ご参照)
偽であったら反例にならんだろ
(引用終り)

分かってないね
１）時枝記事の主張：任意の可算無限数列 X1,X2,・・,Xi,・・ において、あるXiを箱を開けずに 確率1-εで言い当てることができる
２）一方、大学の確率論：ある確率現象によるiid（独立同分布) の可算無限数列 X1,X2,・・,Xi,・・ においては、全てのXiについて、的中確率はｐ＊）である
　注 ＊）コイントスならp=1/2、サイコロ1個ならp=1/6など
３）明らかに、上記の１）と２）とは、矛盾。つまり、２）が正しいなら、１）は不成立。
４）そして、２）は大学教程の確率論 そのままであり、大学教程の確率論の裏付けがあるのです
　よって、時枝記事の主張 １）は不成立！！
QED （＾＾；

（参考：サイコパス ピエロ）
現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
https://rio2016.5ch.net/test/read.cgi/math/1581243504/2-3 （サイコパス ピエロの説明）

(>>380ご参照)
P：The Riddle から、Q：時枝記事の確率1-ε が導かれる
つまり、P→Qだ
対偶：￢Q→￢P
つまり、￢Q：時枝記事の否定→￢P：The Riddleの否定
QED
対偶は、P→Qの真偽とは無関係に、常に成立するよ
下記の 高校数学の美しい物語 を、どぞ （＾＾
（ベン図みろ）
（参考）
https://mathtrain.jp/contraposition
高校数学の美しい物語
2016/01/05
対偶を用いた証明のいろいろな具体例

http://rio2016.5ch.net/test/read.cgi/math/1576852086/437

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.036s