18/01/21 12:46:17.21 hREHM7MH.net
>>18
＞Q ：” f はある開区間の上でリプシッツ連続である”、かつ「R－Bfは、R中で稠密ではない」
＞という定理の主張だ
Q をそのように設定するのは冗長である。
Q： f はある開区間の上でリプシッツ連続である
と置くだけでよい。「R－Bfは、R中で稠密ではない」という性質は、ここから自動的に出るからだ。
もちろん、「R－Bfは、R中で稠密ではない」という性質を Q の中に盛り込んでも間違いではないが、
盛り込んでも冗長になるだけである。