- 555 名前：１３２人目の素数さん mailto:sage [2017/12/24(日) 17:38:05.69 ID:ThBjkOXn.net]
- >>497
＞だから、（A）”a dense uncountable subset”で、リプシッツ連続は満たさないは、実現できている
＞では、なぜ、（B）”内点を持たない閉集合の高々可算和”は、実現することができないのか？
＞これを見極めない限り、素人の証明を読んでも仕方が無いと思う
・ なぜ (B) では実現不可能かというと、例の定理に抵触するからだよｗ
・ なぜ例の定理が成り立つかというと、ベールのカテゴリ定理を使ってるからだよ。
・ ベールのカテゴリ定理に帰着させるために、技術的には１つの補題が必要になり、それが「補題1.5」だよ。
・ 例の定理の証明とは無関係に、(B) で実現不可能な理由をスレ主が独自に探っていっても、
結局はベールのカテゴリ定理に帰着させるハメになり、例の定理の証明と同じことをするハメになるだろうｗ
この４項目の見極めで十分だろ。
そろそろ例の証明を読んでみたらどうだね。
