17/04/08 17:34:33.97 P6h+lUFw.net
524 名前：１３２人目の素数さん[] 投稿日：2017/04/08(土) 17:22:46.72 ID:W7WsQpBq
>>523
の (b) の模範証明を以下に書きます。
r を任意の正の実数とする。
仮定により、 a ∈ { A - {a} の触点} である。
明らかに、 a ∈ { A - {a} の内点} であるから、
a ∈ { A - {a} の境界点} である。
明らかに、 B(a ; r) は無限に多くの A - {a} ⊂ A の点を含む。
525 名前：１３２人目の素数さん[] 投稿日：2017/04/08(土) 17:23:36.78 ID:W7WsQpBq
>>524
訂正します：
>>523
の (b) の模範証明を以下に書きます。
r を任意の正の実数とする。
仮定により、 a ∈ { A - {a} の触点} である。
明らかに、 a ∈ { A - {a} の内点} でないから、
a ∈ { A - {a} の境界点} である。
明らかに、 B(a ; r) は無限に多くの A - {a} ⊂ A の点を含む。