>>63

つづき

定理1.7で、「f はある開区間の上でリプシッツ連続である」なのだから
定理1.7で、場合分けして
１）リプシッツ連続でない点の集合 が、R中で稠密稠密でない場合
２）リプシッツ連続でない点の集合 が、R中で稠密稠密である場合
として、
定理1.7は、上記１）の場合の定理なのだ
上記２）の場合は、定理1.7の外

２）の場合に、こういう関数
具体的には、例えば、
有理数の集合Q上でリプシッツ連続でなく、無理数の集合P上でリプシッツ連続である
そういう関数が存在するかどうか
それが問題になる

つづく