가산 컴팩트와 린델뢰프

가산 컴팩트와 린델뢰프

정의 1

  1. $X$ 의 모든 가산 열린 커버가 유한 부분 커버를 가지면 $X$ 를 가산 컴팩트Countably Compact라 한다.
  2. $X$ 의 모든 열린 커버가 가산 부분 커버를 가지면 $X$ 를 린델뢰프Lindelöf라 한다.

정리

가산 컴팩트

린델뢰프

설명

둘 다 컴팩트에서 ‘가산’이 추가되었는데 어디에 추가되었느냐로 달라질 뿐이다. 린델뢰프의 경우 위상수학 전반에서 자주 언급되지는 않지만, 만약 언급되었다면 거의 십중팔구 정리 [2-2]를 이용한다.

가산 컴팩트임을 보이는 게 컴팩트임을 보이는 것보다는 쉽다는 점에서 의미가 있다.


  1. Munkres. (2000). Topology(2nd Edition): p192. ↩︎

댓글