17/12/12 22:18:36.77 QZzpEMYK.net
>>613
まあ、
”―――――――――――――――――――――
R－B_f ＝ (リプシッツ不連続な点全体の集合) が可算無限集合であり、
しかもこれが R の中で稠密であるとすると、「そういう関数は数学的に存在しえない！」
という理解の仕方でいいのか？
―――――――――――――――――――――
ということになるが、その理解の仕方で問題ない。”
だから、もしこういう関数が存在するということになれば、反例成立で、定理は不成立だな