18/02/15 16:12:44.23 0aAhb8Kl.net
まあ、>>219の
>命題 ￢(P∧ ￢Q)＝￢P ∨ ￢￢Q＝￢P ∨Q
は正しくは
>命題 ￢(P∧ ￢Q)≡￢P ∨ ￢￢Q≡￢P ∨Q
である。スレ主に、今回の背理法による推論のからくりは教えた。
だが、定理1.7を背理法で示すにあたり、
「R-Bfが可算個の疎な閉集合で被覆できる」を完全に適用するには ε-δ だけでなく
最低でも位相空間は必要だな。
18/02/15 16:12:44.23 0aAhb8Kl.net
まあ、>>219の
>命題 ￢(P∧ ￢Q)＝￢P ∨ ￢￢Q＝￢P ∨Q
は正しくは
>命題 ￢(P∧ ￢Q)≡￢P ∨ ￢￢Q≡￢P ∨Q
である。スレ主に、今回の背理法による推論のからくりは教えた。
だが、定理1.7を背理法で示すにあたり、
「R-Bfが可算個の疎な閉集合で被覆できる」を完全に適用するには ε-δ だけでなく
最低でも位相空間は必要だな。