- 42 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/10/28(日) 21:43:44.91 ID:6dvusTGC.net]
- >>38
数学はディベートとは違う
”顧みて他を言う”では済まない
自分の背理法証明の失敗を、
一致の定理の背理法を引いて、
救うことはできない
（>>14より）
定理1.7 (スレ26のNo.422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }
と置く: もしR−Bf が内点を持たない閉集合の高々可算和で被覆できるならば、
f はある開区間の上でリプシッツ連続である．
(引用終り)
条件の”内点を持たない閉集合の高々可算和
