18/02/15 18:36:00.21 gCnkTTzV.net
>>215
>いやいや、流石にそれは強引な主張では？（下記ご参照）
強引ではありませんよ
P->Q
と
P∧￢Q->矛盾 （もしくはP∧￢Qは偽）
は同値だからです
この定理は
P:R-Bfが可算個の疎な閉集合で覆える
Q:fがリプシッツ連続となる開区間が存在する
というも
18/02/15 18:36:00.21 gCnkTTzV.net
>>215
>いやいや、流石にそれは強引な主張では？（下記ご参照）
強引ではありませんよ
P->Q
と
P∧￢Q->矛盾 （もしくはP∧￢Qは偽）
は同値だからです
この定理は
P:R-Bfが可算個の疎な閉集合で覆える
Q:fがリプシッツ連続となる開区間が存在する
というも