→ c76068 :令x屬於G, 對任何x的nhd U,存在某個y屬於g, y屬於U 06/30 23:41
→ c76068 :=> x屬於g 或x是g的limit point 06/30 23:42
<X,d>為metric space , g包含於X ,
G為集合g所有adherent point所成的集合 （closure set）
要證G為包含g的最小閉集合
假設G已經證明為閉集合，且g包含於G為顯然
接著要證G為包含g的最小閉集合
我的想法是假設有一個比G小的閉集合H包含g （H包含於G）
然後給一點P屬於G-H 也就是說P屬於G 但不屬於H
最後證證證到P屬於H產生矛盾
想問這樣的證法可以證明G為最小嗎？？
（因為跟書上的證明不太同而且又看不太懂＠＠ 所以請教板上高手）
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.231.74.59