limit point와 closed set의정의

1. p가 E의 Limit Point라는 것은, 어떤 q∈E가 존재해서 p의 모든 Neighborhood에 속하는 경우.

2. E가 Closed Set이라는 것은 E의 모든 원소가 Limit Point인 경우다


명제 "E가 Open Set이기 위한 필요충분조건은 E의 여집합이 Closed Set인 것이다"임.


여기서 증명은 E의 여집합이 Closed Set이라고 가정하고, x∈E를 선택하면 x∈/E^c이므로 x는 E^c의 limit point가 아니라는 것으로 시작함.

근데 이거만으로 x가 E^c의 limit point가 아니라는 걸 설명할 수 있음? X의 limit point가 X에 속할 수도 있고, 아닐 수도 있는 거잖음. 예를 들어 X={1/n l n∈N}이라고 하면 0은 X의 limit point지만, X의 원소가 아니잖음. 저거만으로 x가 E^c의 limit point가 아니라는 것의 이유가 납득이 안가서 글올림.