>>587
>>有理数で不連続な関数→どの開区間でも連続ではない
>>無理数で微分可能な関数→ある開区間で連続
>>どちらも正しいということです
>
>へー、どういうこと?
どちらも正しいので無理数で微分可能有理数で不連続な関数が存在しないと結論できるわけです

>>「無理数の至る所で微分可能な関数」はその前に書いている条件「有理数で不連続」も満たすのでしょうね?そしてその関数の微分可能な点の補集合は可算ではないということですね?
>>その関数に関しては「ある条件」が成り立たないでしょうね
>>成り立つとすれば矛盾を引き起こしますから
>
>同意です
>上記のURLにあります
つまりその関数は件の定理の扱っている範疇外ということですね