[Undergraduates]/위상수학

[Chapter 6] 기저와 부분기저 (1)

그린란드 2021. 3. 9. 01:13

기저(Basis)

경험적으로 어떤 위상 공간의 열린 집합을 생각할 때, 우리는 특수한 형태의 열린 집합을 떠올린다. 예를 들어 R에서의 열린구간이나 R2의 열린 원판과 같은 것이다. 이들은 그 자체로 열린 집합의 모든 종류를 보여주진 않지만, 적당한 연산을 통해 모든 열린 집합을 표현할 수 있게 된다. 이렇게 특수한 조건을 만족시키는 열린 집합들의 모임을 기저라고 하고, 기저의 원소들을 이용하여 모든 열린 집합을 표현할 수 있게 된다.

[Definition 0.0]

위상공간 (X,T)에서 다음 조건을 만족시키는 열린 집합들의 모임 B기저(basis)라고 한다.

- 모든 GTB의 어떤 원소들의 합집합이다.
또는 
-임의의 열린 집합 G의 임의의 원소 p에 대하여 BB가 존재하여 pBG이다. 

[Example 0.1]

R에서의 열린구간 (a,b)의 집합은 (R,U)의 기저를 이룬다. 또한, R2의 열린 원판 Dr(a)들의 집합도 (R2,U)의 기저를 이룬다.

[Example 0.2]

이산 위상 (X,D)의 모든 기저는 집합 B={{p}pX}을 부분집합으로 갖는다. 또한, B는 이산 위상 (X,D)의 가장 크기가 작은 기저이다. 

(열린) 집합들을 아무렇게나 모아 놓는다고 해서 항상 위상의 기저를 이루는 것은 아니다. 일반적으로 어떤 집합들의 모임이 어떤 위상의 기저를 이룰 필요충분조건은 다음과 같이 알려져 있다.

[Theorem 0.3]

BX의 공집합이 아닌 집합들의 모임이라고 하자. BX 위의 어떤 위상의 기저가 될 필요충분조건은 다음과 같다.

(1) X={BBB}
(2) 임의의 B1,B2B에 대하여 B1B2B의 원소들의 합집합으로 표현된다. 즉, pB1B2이면 pBpB1B2BpB가 존재한다. 

증명 ▶

(Proof)

() BX 위의 위상의 기저이므로 열린집합 X는 모든 B의 원소들의 합집합과 같다. 또한 임의의 B1,B2B에 대하여 B1B2는 열린 집합이므로 기저의 정의에 의하여 B1B2B의 원소들의 합집합으로 표현된다.

() X의 부분집합들의 모임 TB의 원소들의 모든 합집합들의 모임이라고 하자. TX 위의 위상임을 보이자.

[O1] B의 정의로부터 XT이고, ={BBB}T이다.
[O2] 임의의 GiTB의 원소들의 합집합이므로 Gi 또한 B의 원소들의 합집합이다. 따라서 GiT이다.
[O3] 임의의 G1,G2T에 대하여 G1=Bmi,G2=Bnj이라 하면 G1G2=(Bmi)(Bnj)=(BmiBnj)이고 각 i,j에 대하여 주어진 조건으로부터 BmiBnjB의 원소들의 합집합으로 표현되므로 G1G2T이다. 

따라서 TX 위에서의 위상이다.  

[Cf] 위에서 [O3]이 기저의 조건 (2)를 넣어야 하는 이유이다. 

 

부분기저(Subbase)와 국소기저(Local base)

기저는 어떤 위상의 모든 열린집합을 생성하는 집합들의 모임이다. 이는 원래 위상의 모양을 어느 정도 알고 있는 상태에서 열린 집합들의 표준적인 '예쁜 모양'을 잡아주는 데에 의미가 있다. 반면, 어떤 집합과 그들의 부분집합들의 모임이 주어지면 항상 유일한 위상을 만들어낼 수 있는데, 그러한 집합을 부분기저라고 한다.

[Definition 1.0]

위상공간 X,T의 열린집합들의 모임 S의 유한개의 원소의 교집합이 T의 기저를 생성하면, S를 위상 T부분기저(subbase)라고 한다. 

부분기저는 위상의 부분집합이라는 것에 의미가 있다기 보다는 서두에서 언급했듯이 어떤 집합이든 어떤 유일한 위상의 기저를 생성해낸다는 것에 의미가 있다.

[Theorem 1.1]

공집합이 아닌 집합 X의 부분집합들의 모임 A에 대하여 A의 유한개의 원소들의 교집합은 X 위의 유일한 위상 T의 기저를 생성한다. 

증명 ▶

(Proof)

BA의 유한개의 원소들의 모든 교집합들을 모은 모임이라고 하자. 우선 X={BBB}이므로 XB이다. 즉, X={BBB}이다. 또한 임의의 B1,B2B에 대하여 B1B2B의 정의에 따라 A의 유한개의 원소들의 교집합이므로 B1B2B이다. 따라서 BA를 부분기저로 갖는 위상 T의 기저이다.

또한, T의 각 열린 집합은 A의 유한개의 원소들의 교집합을 합집합하여 얻어지므로 A을 부분기저로 생성되는 T는 유일하다. 

국소기저는 어떤 점 주변에서의 열린 집합을 표현하기 위해 만든 개념이다. 수열의 극한, 집적점 등은 그 점에서의 열린 집합을 관찰함으로써 얻어지므로 해당 점 주변에서의 열린 집합을 표현하는 집합들의 모임을 국소기저라 하고, 이를 이용하여 위상공간의 국소적인 특징을 정의할 수 있게 된다.

[Definition 1.2]

위상공간 X의 임의의 점 p에 대하여 다음 조건을 만족시키는 p를 포함하는 열린 집합들의 모임 Bp를 점 p에서의 국소기저(local base)라고 한다. 

- 점 p를 포함하는 임의의 열린 집합 Gp에 대하여 Bp의 원소 B가 존재하여 pBGp를 만족시킨다.

국소기저를 이용하여 다음과 같은 성질들을 자명한 결과로서 얻을 수 있다. 

[Proposition 1.3]

B를 위상공간 X,T의 기저라고 하자. B의 원소 중 pX를 포함하는 원소들은 p의 국소기저를 이룬다.

[Proposition 1.4]

pX의 부분집합 A의 집적점일 필요충분조건은 임의의 BBp에 대하여 A(B{p})인 것이다. 

[Proposition 1.5]

위상공간 X 위에서의 수열 {an}pX로 수렴할 필요충분조건은 임의의 BBp가 수열 {an}의 대부분의 항을 포함하고 있는 것이다. 즉, 자연수 N이 존재하여 n>N일 때마다 anB인 것이다. 

위 세 가지 명제는 수열의 극한과 집적점에 관하여 논할 때, 해당 점을 포함하는 기저의 원소만 살펴보아도 충분하다는 사실을 알려준다. (사실은 이 내용이 나오기 전에도 직관적으로 그렇게 해왔을 것이다. 극한값이 1인지 판정하는데 10 주변에서의 열린 집합까지 전부 생각할 필요는 없을 것이기 때문이다.)

 

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