おっちゃんです。
>>177
スレ主がコピペした、pdfの証明に則って話を進める。
実際は出来ないが、仮に系1.8 を否定して
有理数の点で不連続, 無理数の点で微分可能となるf : R → R が存在する
とすると、
(1)：f はある開区間(a, b) の上でリプシッツ連続である.
か
(2)：一方で, x ∈ Q とf の仮定により, f は点x で不連続である.
のどちらか1つは否定されることになる。
勿論、実際には系1.8 の否定は出来ず、論理的には(1)も(2)も正しい。
話は元に戻し、(2)を否定したとする。すると、xは有理点であって、かつfがxで連続となる。
これはfについての元の仮定に反し矛盾する。よって、(2)を否定することは不可能。
従って、(1)に限り否定される。その結果、
(1)：f は開区間(a, b) の上でリプシッツ連続ではない.
となる。ここに、この開区間(a, b) とfはどちらも定理1.7 (422 に書いた定理) の証明で用いられる開区間(a, b) とf : R → R 同じである。
定理1.7 (422 に書いた定理) の証明と、その中で使っている補題1.5、補題1.6、系1.4の各証明では背理法は全く用いてなく、直接的に証明をしている。
そして、定理1.7 (422 に書いた定理) の証明の中では直接的にfが開区間(a, b) 上でリプシッツ連続なことを導いている。
この証明の中では開区間(a, b) は適当に選んで取っている。もし定理1.7 (422 に書いた定理) を否定すると、
他にも準備が必要になるが、その証明は大体結論から仮定へと順々に否定されて行き、
やがてfは開区間(a, b) 上でリプシッツ連続ではないことが示される。この結果は(1)に反することになる。
だから、定理1.7 (422 に書いた定理) の否定は出来ない。