>>166
つづき

（なお、c)については、数学板で同様の証明が示されたことがあり見た記憶があり（多分質問スレだった）それが元ネタであることを附言しておく。
　ここの過去スレ46に、下記投稿があり
https://rio2016.5ch.net/test/read.cgi/math/1510442940/46
　現代数学の系譜 工学物理雑談 古典ガロア理論も読む46
68 名前：１３２人目の素数さん[sage] 投稿日：2017/11/12(日) 09:23:27.23 ID:tybpW7Vy [1/7]
>>1への問題（大学1年程度）
Q1.　[0,1]上至るところで不連続な関数を１つ示せ
Q2.　[0,1]上の有理数で不連続、無理数で連続な関数を１つ示せ
Q3.　[0,1]上の有理数で不連続、無理数で微分可能（当然連続）な関数を1つ示せ
(引用終り)
　それ刺激になって、上記（多分）質問スレへの証明投稿や、定理1.7の話につながって、今に至るという流れです）

以上です

補足
ε-δ 論法というのは、こういうへんてこな関数を扱うのに、非常に便利な道具ですね
証明の道筋を示してくれますし、ε-δ 論法にそって証明を進めると、自然に証明が完成します
が、”ε-δ 論法”絶対視ではなく、視野を広げておく方が良いでしょう（過去レスの通り）