[Undergraduates]/위상수학

[Chapter 11] 컴팩트성 - (1)

그린란드 2021. 4. 16. 23:12

컴팩트집합과 컴팩트공간

컴팩트집합은 R에서의 유계인 닫힌구간이 갖는 성질을 일반적인 위상공간의 성질로 확장한 것이다. 이는 해석학에서 하이네-보렐 정리에서 비롯되었다고 할 수 있다. 의미는 대략 무한히 뻗어가지 않는 촘촘한 공간이라고 할 수 있다.

[Theorem 0.0] (Heine-Borel Theorem)

R에서의 닫힌구간 I=[a,b]에 대하여 {Gi}IiGi를 만족시키는 열린 집합들의 모임이라고 하자. (즉, {Gi}는 집합 A의 열린 덮개이다.) 이때 {Gi}의 원소 Gi1,Gi2,Gim가 존재하여 IGi1Gi2Gim을 만족시킨다. 

위의 내용을 일반적인 위상 공간에 적용한 것이 컴팩트집합이다. 

[Definition 0.1]

위상공간 X의 부분집합 A의 임의의 열린 덮개가 항상 유한인 부분덮개를 가지면 집합 A컴팩트(compact)하다고 한다.

[Example 0.2]

이산 위산공간 (X,D)가 컴팩트할 필요충분조건은 X가 유한집합인 것이다. 이산 위상공간에서 임의의 홑원소집합은 열린 집합이기 때문이다.

[Example 0.3]

R의 열린구간 A=(0,1)은 컴팩트집합이 아니다. G={(1n+2,1n)|nN}이라 하면 이는 A의 열린 덮개이지만, 이는 유한인 부분덮개를 갖지 않는다. G의 임의의 유한인 부분집합족 G에 대하여 G의 원소 중 가장 0에 가까운 하한을 갖는 열린구간 (1/(n0+2),1/n0)에 대하여 G(0,1/(n0+2)]를 덮지 못하기 때문이다.

컴팩트집합은 여러 가지 성질을 가지고 있는데, 가장 처음으로 컴팩트집합의 연속함수에 의한 상은 컴팩트집합이다. 열린집합의 연속함수의 역상은 열린 집합이기 때문이다.

[Theorem 0.4]

집합 X에서 Y로의 연속함수 f와 컴팩트집합 AX에 대하여 f[A] 또한 컴팩트집합이다. 

증명 ▶

(Proof)

G={Gi}f[A]의 한 열린 덮개라고 하자. 이때 {f1[Gi]}A의 열린 덮개이고 A는 컴팩트집합이므로 이 덮개의 유한개의 열린 집합 f1[Gi1],f1[Gi2],,f1[Gim]이 존재하여 Af1[Gi1]f1[Gi2]f1[Gim]을 만족시킨다. 따라서 f[A]Gi1Gi2Gim이다. 즉, f[A]의 임의의 열린 덮개는 유한인 부분덮개를 갖는다.

또한, 부분공간의 열린 집합은 원래 공간의 열린 집합과 그 공간을 이용하여 생성하므로 어떤 집합이 부분공간에서 컴팩트한 것과 전체 공간에서 컴팩트한 것은 동치이다. 즉, 

[Theorem 0.5]

집합 A가 위상공간 (X,T)의 한 부분집합이라고 하자. 집합 A가 위상 T에 대하여 컴팩트할 필요충분조건은 A가 부분공간 (A,TA)에서 컴팩트한 것이다.

[Note] 위 정리가 컴팩트한 집합의 부분집합이 컴팩트하다는 것을 의미하는 것은 아니다. 컴팩트집합 그 자체는 바뀌지 않고, 공간이 바뀌는 것이다. 예를 들어 닫힌구간 [0,1]은 컴팩트집합이지만 그 부분집합인 (0,1)은 컴팩트가 아니다.

이런 의미에서 위상공간 X 그 자체가 컴팩트한 경우, 그 공간을 컴팩트공간이라고 한다.

[Definition 0.6]

위상공간 X에 대하여 X 자신이 컴팩트집합인 경우, 이 위상공간을 컴팩트공간(Compact Space)이라고 한다.

위 정리와 함께 컴팩트공간의 부분공간의 여러 성질 중 가장 중요한 것은 다음 두 가지가 있다. 우선 컴팩트집합에서 닫힌 부분집합은 컴팩트집합이다.

[Theorem 0.7]

집합 F를 컴팩트공간 X의 닫힌 부분집합이라고 하자. 그러면 F는 컴팩트집합이다. 

증명 ▶

(Proof)

G={Gi}를 컴팩트공간 X의 닫힌 부분집합 F의 한 열린 덮개라고 하자. 그러면 G{Fc}X의 한 열린 덮개이다. X는 컴팩트이므로 이 덮개는 유한인 부분덮개 G를 갖는다. 이때 G{Fc}G의 유한인 부분덮개이다. 따라서 F는 컴팩트이다.

이 다음으로, 유한 교차성이라는 성질을 이용하여 컴팩트집합을 설명하는 방법이 있다.

[Definition 0.8] 

집합들의 모임 {Ai}에 속하는 임의의 유한개의 집합 Ai1,Ai2,,AimAi1Ai2Aim을 만족시키면 {Ai}유한 교차성(Finite Intersection Property)을 만족한다고 한다.

[Theorem 0.8]

위상공간 X가 컴팩트공간일 필요충분조건은 유한 교차성을 만족시키는 X의 임의의 닫힌 부분집합들의 모임 {Fi}iFi을 만족시키는 것이다. 

증명 ▶

(Proof)

() X가 컴팩트공간이고 어떤 닫힌 부분집합들의 모임 {Fi}가 유한교차성을 만족시키지만 iFi=이라 하자. 그러면 iFic=X이므로 G={Fic}X의 한 열린 덮개이다. X는 컴팩트공간이므로 G의 유한개의 원소 Fi1c,Fi2c,,Fimc이 존재하여 Fi1cFi2cFimc=X을 만족시킨다. 즉, Fi1Fi2Fim=이다. 이는 {Fi}가 유한 교차성을 만족시킨다는 데에 모순이다.

() X가 컴팩트집합이 아니라고 하자. 즉, 어떤 열린 덮개 G={Gi}의 임의의 유한개의 원소 Gi1,Gi2,,GimX를 덮지 않는다고 하자. 그러면 Gic은 유한 교차성을 만족시키는 X의 닫힌 부분집합들의 모임이지만 iGic=이다. 주어진 명제의 대우가 참이므로 원래 명제 또한 참이 된다. 

 

하우스도르프 공간과 컴팩트공간

컴팩트공간과 하우스도르프 공간은 상당한 관련성을 가지고 있다. 첫째로는 하우스도르프 공간이 컴팩트공간이면 정규 공간이 된다는 성질이다. 우선, 일반적으로 위상공간에서 컴팩트집합이 닫힌 집합이 되는 것은 아니지만 (ex. 여유한 위상) 하우스도르프 공간이라면 그 역이 성립한다.

[Theorem 1.0]

하우스도르프 공간의 컴팩트한 부분집합은 닫힌 집합이다. 

증명 ▶

(Proof)

A를 하우스도르프 공간 X의 컴팩트한 부분집합이라고 하자. X는 하우스도르프 공간이므로 Ac의 한 점 pA의 한 점 q에 대하여 pGq, qHq인 서로소인 두 열린 집합 Gq,Hq가 각각 존재한다. 이때 G={HqqA}A의 한 열린 덮개이고 A는 컴팩트집합이므로 G의 유한개의 원소 Hq1,Hq1,,Hqm가 존재하여 AHq1Hq2Hqm을 만족시킨다. 이에 대하여 pGik이고 GikHik=이다.  ()

이제 G=Gq1Gq2Gqm,H=Hq1Hq2Hqm라 하면 GpAc을 포함하는 열린 집합(유한 개의 열린 집합의 교집합)이고, HA를 포함하는 열린 집합이고 ()에 의하여 GH=이다. 즉 pGHcAc이므로 pAc의 내점이다. pAc의 임의의 한 점이므로 Ac는 열린 집합이다. 따라서 A는 닫힌 집합이다.

위의 정리의 증명 과정을 보면, 컴팩트집합의 열린 덮개는 유한개의 열린 덮개로 축소될 수 있으므로 항상 유한개의 열린 집합의 교집합을 생성할 수 있다는 것에 주목해야 한다. 따라서 위와 같은 방법으로 다음 정리를 유도할 수 있다.

[Theorem 1.1]

두 집합 A,B를 하우스도르프 공간 X의 두 컴팩트한 부분집합이라고 하자. 이때 AG이고 BH인 두 서로소인 열린 집합 G,H가 존재한다.

[Cf] 이를 이용하여 X가 컴팩트공간이면서 하우스도르프 공간이면 X가 정규 공간임을 보일 수 있다.

위의 결과를 이용하여 다음과 같은 유용한 정리를 얻어낼 수 있다.

[Theorem 1.2]

컴팩트공간 X에서 하우스도르프 공간 Y로의 일대일 연속함수 f에 대하여 Xf[X]는 위상동형이다.

증명 ▶

(Proof)

fX에서 f[X]로의 일대일대응이다. X는 컴팩트공간이므로 X에서의 닫힌 집합 K에 대하여 K는 컴팩트집합이다. 또한 f는 연속함수이므로 f[K]Y에서의 컴팩트한 부분집합이다. Y는 하우스도르프 공간이므로 f[K]Y에서 닫힌 집합이다. 즉, 함수 f는 닫힌 함수(closed funtion)이므로 함수 f1는 연속이다. 

따라서 함수 fX에서 f[X]로의 일대일대응이고 쌍연속함수(bicontinuous function)이므로 위상동형사상이다. 

[Example 1.3]

닫힌구간 I=[0,1]에서 Rn으로의 일대일 연속함수 f에 대하여 Rn은 거리 공간이므로 하우스도르프 공간이다. 따라서 [Theorem 1.2]에 의하여 If[I]는 위상동형이다. 예를 들어 함수 f:[0,1][0,1]×[0,1],f(x)=(x,x)[0,1]에서 R2으로의 일대일 연속함수이다. 따라서 [0,1]f[I]={(x,x)xI}은 위상동형이다. 

 

 

여러 종류의 컴팩트성

일반적으로 정의되는 컴팩트성과 다르게 약한 종류의 컴팩트성을 관찰하고 다룰 수 있다. 이 또한 해석학에서 R의 닫힌 부분집합의 성질을 부분적으로 따온 것이라 할 수 있는데, R과 같은 거리 공간에서는 다음과 같은 여러 컴팩트성이 모두 동치가 된다.

[Definition 2.0]

위상공간 X의 부분집합 A에 대하여 집합 A 위의 임의의 수열이 A의 한 점으로 수렴하는 부분수열을 가질 때, A점열 컴팩트(Sequentially Compact) 집합이라고 한다.

[Example 2.1]

R에서 열린구간 I=(0,1)은 점열 컴팩트가 아니다. I 위의 수열 {xn}xn=1/n일 때, 이 수열은 I 위에서의 수열이지만 I 위로 수렴하는 부분수열을 갖지 않는다.

[Definition 2.2]

위상공간 X의 부분집합 A에 대하여 A의 임의의 무한부분집합 BA 위에서 집적점을 가지면 A극한점 컴팩트(Limit Point Compact)라고 한다.

[Example 2.3]

열린구간 I=(0,1)은 극한점 컴팩트가 아니다. [Example 2.1]과 같은 이유이다.

위의 두 컴팩트성은 R의 중요한 성질을 대변하는 다음 정리로부터 유도된 것이라 할 수 있다.

[Theorem 2.4] (Bolzano-Weierstrass Theorem)

유계인 R의 무한 부분집합은 항상 집적점을 갖는다.

우리 책에서는 위 내용을 '가산 컴팩트 공간'이라고 소개하는데, 일반적으로 가산 컴팩트 공간이란 다음을 의미한다.

[Definition 2.5]

위상공간 X의 가산인 임의의 열린 덮개가 유한인 부분덮개를 갖는 경우 X가산 컴팩트(Countably Compact)라고 한다. 

사실 위의 두 공간은 거의 성질이 비슷하다. 위상공간이 T1공간인 경우 두 공간은 서로 같은 공간이 된다.

[Theorem 2.6]

XT1공간이라고 하자. 이때 X가 가산 컴팩트일 필요충분조건은 X가 극한점 컴팩트인 것이다.

증명 ▶

(Proof)

() X가 가산 컴팩트이지만 극한점 컴팩트가 아니라고 가정하자. 그러면 X 위에서 집적점을 갖지 않는 무한 부분집합 A가 존재한다. 이때 A를 가산집합이라고 가정해도 무방하다. (비가산인 경우, 가산인 부분집합에 대하여 다음 논의를 진행하면 된다.)

집합 A는 집적점을 가지지 않으므로 X의 임의의 원소 xX에 대하여 AGp{x}x를 포함하는 열린 집합 Gx가 존재한다. 이때 임의의 aA에 대하여 집합 G{a}와 집합 G를 각각 G{a}={GxAGx={a}},G={GxAGx=}라 하자. 집합 A는 가산집합이고 각 Gx는 어떤 G{a}의 부분집합이거나 G의 부분집합이므로 G={G{a}aA}{G}X의 가산인 열린 덮개이다. X는 가산 컴팩트이므로 G는 유한인 열린 부분덮개 G={G1,G2,,Gm}을 갖는다. 그러나 G의 구성에서, G의 각 원소는 많아야 A의 단 한개의 원소만을 가질 수 있으므로 G의 유한개의 원소로는 A를 덮을 수 없다. 즉, GX의 열린 덮개이지만 A를 덮을 수 없다. 이는 모순이다.

() X가 가산 컴팩트가 아니라고 하자. 그러면 유한인 부분덮개를 갖지 않는 가산인 열린덮개 G={GnnN}가 존재한다. 즉, a1G1a2G2G1a3G3(G1G2)anGn(G1G2Gn1)인 각 항이 서로 다른 X 위의 수열 {an}을 구성할 수 있다. 즉, 집합 A={annN}는 무한집합이다.

임의의 xX에 대하여 GX의 열린 덮개이므로 x를 포함하는 G의 원소 Gnx가 존재한다. nx=m이라 하면 집합 A의 구성에 의하여 AGm{a1,a2,,am1}이다. XT1공간이므로 {a1,a2,,am1}은 닫힌 집합이다. 따라서 Gm{a1,a2,,am1}c은 열린 집합이고 A(Gm{a1,a2,,am1}c)=이다. 따라서 AX 위에서 집적점을 갖지 않는다.  

일반적으로 극한점 컴팩트는 가장 약한 조건이다. [Theorem 2.6]에서 가산 컴팩트 공간은 극한점 컴팩트 공간임을 알 수 있다. 위상공간이 T1공간일 때에는 역도 성립하는 것이다. 위의 정리와 함께 다음 또한 성립한다.

[Theorem 2.7]

위상공간 X가 컴팩트공간이면 X는 극한점 컴팩트 공간이다. 

증명 ▶

(Proof)

위상공간 X가 극한점 컴팩트공간이 아니라고 가정하자. 그러면 X 위에서 집적점을 갖지 않는 무한 부분집합 A가 존재한다. 따라서 임의의 xX에 대하여 x의 열린 근방 Gx가 존재하여 AGx{x}를 만족시킨다. 이때 G={GxxX}X의 열린 덮개이다. 각 xX에 대하여 AGx는 많아야 한 개의 원소를 가지므로 G의 유한개의 원소로는 A를 덮을 수 없다. 따라서 G는 유한개의 부분덮개를 가질 수 없다. 따라서 X는 컴팩트공간이 아니다.

[Theorem 2.8]

위상공간 X가 점열 컴팩트 공간이면 X는 극한점 컴팩트 공간이다.

증명 ▶

(Proof)

X가 점열 컴팩트 공간이라 하고, AX 위의 무한 부분집합이라고 하자. 이때 A를 가산집합이라고 가정해도 무방하다. A={annN}이라 하면 수열 {an}X 위의 수열이므로 X 위의 한 점 p로 수렴한다. 즉, p를 포함하는 임의의 열린 집합은 A의 무수히 많은 원소를 포함한다. 따라서 X는 극한점 컴팩트 공간이다. 

[Cf] 위상공간 X의 부분집합 A의 집적점을 p라 하자. p를 포함하는 임의의 열린 집합이 A의 무수히 많은 원소를 포함하는 경우, pω집적점(ωAccumulation Point)라고 한다. 

 

Reference: <SCHAUM'S outlines: General Topology>, Seymour Lipschutz.

 

'[Undergraduates] > 위상수학' 카테고리의 다른 글

[Chapter 11] 컴팩트성 - (2)  (2) 2021.04.27
[Chapter 10] 분리 공리 (2) - Problems  (0) 2021.04.10
[Chapter 10] 분리 공리 (1)  (0) 2021.04.07