0521現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
2018/01/15(月) 07:30:23.12ID:xsWEHCro証明成り立ってないでしょ?
それは、>>366-370に書いた通りで
「定理1.7 (422 に書いた定理)」は、有理数Qのように補集合R−Bf がR中に稠密分散しているときは、守備範囲外
つまり、有理数Qのように補集合R−Bf がR中に稠密分散しているときは、リプシッツ連続であるような開区間(a, b)は取れない(>>368)
だから、系1.8に対して、「定理1.7 (422 に書いた定理)」を使って、矛盾を導くことはできない
証明は、これからじっくり読む予定です