logo

거리공간에서 컴팩트 📂거리공간

거리공간에서 컴팩트

정의

오픈 커버

거리공간 (X,d)(X,d)와 부분 집합 E⊂XE\subset X가 주어졌다고 하자. 아래의 식을 만족하는 XX의 열린 집합들의 집합 {Oα}\left\{ O_{\alpha} \right\}를 EE의 오픈 커버open cover 라고 한다.

E⊂⋃αOα E\subset \bigcup _{\alpha} O_{\alpha}

오픈 커버의 부분 집합을 부분 커버라 부른다. 특히 원소가 유한개인 부분 커버를 유한 부분 커버라 부른다.

컴팩트

거리공간 XX의 부분집합 KK가 주어졌다고 하자. 만약 KK의 모든 오픈 커버가 유한 부분 커버를 가지면 KK가 컴팩트compact하다고 말한다. 다시 말해 오픈 커버에서 유한한 개수만큼 뽑아와도 여전히 오픈 커버가 되면 KK를 컴팩트하다고 부른다. 다시말해 수식으로 표현해서 어떤 α1,⋯ ,αn\alpha_{1},\cdots ,\alpha_{n}에 대해서

K⊂Oα1∪⋯Oαn K\subset O_{\alpha_{1}}\cup \cdots O_{\alpha_{n}}

이 성립하면 KK가 컴팩트이다.

설명

컴팩트가 중요한 이유는 전체 공간을 무엇으로 두느냐에 따라서 해당 집합이 컴팩트라는 성질을 얻거나 잃지 않기 때문이다. 즉 컴팩트는 해당 집합이 가지는 고유한 성질 이라는 의미이다. 멀리 가지 않고 열림이라는 개념만 봐도 전체 공간을 확장할 때 열려 있다는 성질이 보존된다는 보장이 없으므로 상대적으로 열림이라는 표현이 있다. 계속 공부하다 보면 컴팩트라는 조건이 여러 정리에서 중요한 역할을 하게 됨을 알게 된다.컴팩트는 전체 공간과 무관하게 집합에 부여되는 성질이라는 것을 아래의 정리로 확인할 수 있다. 우선은 K⊂XK\subset X가 전체 공간 XX에 대해서 컴팩트할 때 XX에서 컴팩트하다는 표현을 쓰겠다.

정리

두 거리공간 XX, YY에 대해서 K⊂Y⊂XK\subset Y \subset X라고 하자. 그러면 아래의 두 명제는 동치이다.

(a) KK는 XX에서 컴팩트하다.

(b) KK는 YY에서 컴팩트하다.

증명

보조정리

두 거리공간 XX, YY가 주어졌다고 하자. 그리고 E⊂Y⊂XE \subset Y \subset X라고 하자. 그러면 아래의 두 명제는 동치이다.(d)(d) EE가 YY에 대해 상대적으로 열려있다.(e)(e) XX의 어떤 열린 집합 OXO_{X}에 대해서 E=Y∩OXE=Y \cap O_{X}가 성립한다.

  • (a) ⟹\Longrightarrow (b)

    KK가 XX에서 컴팩트하다고 가정하자. {OαY}\left\{ O_{\alpha}^{Y} \right\}를 K⊂⋃αOαYK\subset \bigcup_{\alpha} O_{\alpha}^{Y}를 만족하는 YY에서 열린 집합들의 집합이라고 하자. 다시 말하자면 {OαY}\left\{ O_{\alpha}^{Y} \right\}를 KK의 YY에 대한 임의의 오픈 커버라고 하자는 것이다. 그러면 보조정리에 의해

    OαY=Y∩OαX,∀α O_{\alpha}^{Y}=Y\cap O_{\alpha}^{X},\quad \forall \alpha

    를 만족하는 XX에서 열린 집합 OαXO_{\alpha}^{X}가 존재한다. 그러면 {OαX}\left\{ O_{\alpha}^{X} \right\}는 KK의 XX에 대한 오픈 커버가 된다. 그러면 가정에 의해 어떤 α1,⋯ ,αn\alpha_{1},\cdots,\alpha_{n}에 대해서 아래의 식이 성립한다.

    K⊂Oα1X∪⋯∪OαnX K \subset O_{\alpha_{1}}^{X}\cup\cdots \cup O_{\alpha_{n}}^{X}

    그런데 K⊂YK\subset Y이므로 다음이 성립한다.

    K⊂Y∩(Oα1X∪⋯∪OαnX)=(Y∩Oα1X)∪⋯∪(Y∩OαnX)=Oα1Y∪⋯∪OαnY \begin{align*} K & \subset Y \cap (O_{\alpha_{1}}^{X}\cup\cdots \cup O_{\alpha_{n}}^{X}) \\ &= (Y \cap O _{\alpha_{1}}^{X})\cup\cdots \cup(Y \cap O_{\alpha_{n}}^{X}) \\ &= O_{\alpha_{1}}^{Y}\cup\cdots \cup O_{\alpha_{n}}^{Y} \end{align*}

    따라서 KK의 YY에 대한 임의의 오픈 커버 {OαY}\left\{ O_{\alpha}^{Y} \right\}의 유한 부분 커버가

    K⊂Oα1Y∪⋯∪OαnY K \subset O_{\alpha_{1}}^{Y}\cup\cdots \cup O_{\alpha_{n}}^{Y}

    를 만족하므로 KK는 YY에서 컴팩트하다.

  • (a) ⟸\Longleftarrow (b)

    KK가 YY에서 컴팩트하다고 가정하자. {OαX}\left\{ O_{\alpha}^{X} \right\}를 K⊂⋃αOαXK\subset \bigcup_{\alpha} O_{\alpha}^{X}를 만족하는 XX에서 열린 집합들의 집합이라고 하자. 다시 말해 KK의 XX에 대한 임의의 오픈 커버로 {OαX}\left\{ O_{\alpha}^{X} \right\}잡아오는 것이다. 그리고 OαYO_{\alpha}^{Y}를 아래와 같이 두자.

    OαY=Y∩OαX,∀α O_{\alpha}^{Y}=Y\cap O_{\alpha}^{X},\quad \forall \alpha

    그러면 보조정리에 의해 OαYO_{\alpha}^{Y}는 YY에서 열린 집합이 된다. 따라서 {OαY}\left\{ O_{\alpha}^{Y} \right\}는 KK의 오픈 커버이다. 그러면 가정에 의해 어떤 α1,⋯ ,αn\alpha_{1},\cdots,\alpha_{n}에 대해서 아래의 식이 성립한다.

    K⊂Oα1Y∪⋯∪OαnY K \subset O_{\alpha_{1}}^{Y}\cup \cdots \cup O_{\alpha_{n}}^{Y}

    그런데 각각의 α\alpha에 대해서 OαY⊂OαXO_{\alpha}^{Y} \subset O_{\alpha}^{X}이므로 다음이 성립한다.

    K⊂Oα1X∪⋯∪OαnX K\subset O_{\alpha_{1}}^{X}\cup \cdots \cup O_{\alpha_{n}}^{X}

    따라서 KK의 임의의 오픈 커버가 항상 유한 부분 커버를 가지므로 KK는 XX에서 컴팩트하다.

■

같이보기