18/01/21 13:46:52.14 KXw6ILfu.net
>>22-24
"定理C:
f:R→R が原点で微分可能ならば、f は原点で連続である。"で
もし、fとして、「原点で不連続である」という関数があれば、それは明白に定理Cの適用外でしょ? (それに定理Cを適用する?)
同様に、(前スレ >>643)
”系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない.”
これで、系1.8の”有理数の点はR中で稠密”だから、あきらかに、定理1.7(>>18)の適用外だとろうと