Theorem. Compact subsets of metric spaces are closed. proof.metric space 의 compact subset 를 잡아요.closed를 직접 보이기는 어려우므로 가 open임을 보이면 되요.어떤 에 대해 radius가 가 되도록 하는 각 점의 neighborhood를 라 해요.K가 compact set이므로 가 되도록 하는 유한한 점들 를 잡을 수 있습니다.let \[ ..
Theorem. set 가 open인 것과 의 complement가 closed인 것과 동치이다. proof. 가 open이라면 를 의 limit point로 잡아요. limit point의 정의에 의해, 의 neighborhood는 의 가 아닌 적어도 한 점을 포함하게 됩니다. 가 open이므로, 의 모든 점이 의 interior point이어야 하므로, 즉, 이에요. 이것은 정의에 의해 가 closed set임을 말합니다. 가 closed라면 인 를 하나 잡아요. 그러면 \(x \notin E..