거리공간에서 상대적으로 열린 집합
📂거리공간거리공간에서 상대적으로 열린 집합
설명
두 거리공간 Y⊂X가 있다고 하자. 그리고 부분 집합 E⊂Y⊂X가 주어졌다고 하자. 만약 E가 전체 공간 X에 대해서 열려있다면 내점과 열림의 정의에 의해 Y를 전체공간으로 두어도 E가 열린 집합이다. 전체 집합이 작아지는 상황이기 때문에 p∈E의 근방 N⊂E이 더 커질 일이 없기 때문이다. 그런데 반대로 E가 전체 공간 Y에 대해서 열려있다는 사실이 E가 X에서도 열려있음을 보장하지 않는다. 즉 열려있다는 것은 절대적인 성질이 아니라 전체 집합이 무엇이냐에 따라서 결정되는 상대적인 개념이라는 거다. 아래의 예시를 보자.
예시
E=(a,b), Y=R, X=R2
정의에 의해 (a,b)가 전체 공간 R에 대해서 열려있다. 하지만 전체 공간을 R2로 확장하면 더 이상 열린 집합이 아니게 된다. 어떤 p∈(a,b)에 대해서도 N⊂(a,b)을 만족시키는 p의 근방 N이 존재하지 않기 때문이다.
E=[0,1), Y=[0,∞), X=R
예시1과 마찬가지로 [0,1)은 전체 공간 [0,∞)에 대해서 열린 집합이다. 하지만 전체 공간이 R로 확장되면 [0,1)은 더이상 열린 집합이 아니다.
따라서 열려있다는 의미를 명확하게 할 때 상대적으로 열림이라는 표현을 쓴다.
정의
두 거리공간 X, Y에 대해서 E⊂Y⊂X라고 하자. 모든 p∈E에 대해서 아래의 조건을 만족하는 상수 r>0이 존재하면 E는 Y에 대해 상대적으로 열린 집합relatively open set 이라고 한다.
d(p,q)<randq∈Y⟹q∈E
위 수식은 열림을 새로이 정의한게 아니라 ‘전체 공간을 Y로 뒀을 때 E가 열려있으면’을 식으로 표현한 것 뿐이다. 다르게 풀어서 설명하면 ‘Y에 있는 원소들만으로 E에 포함되는 p∈E의 근방을 만들 수 있다’이다. 이에 관한 정리를 소개한다.
정리
두 거리공간 X, Y가 주어졌다고 하자. 그리고 E⊂Y⊂X라고 하자. 그러면 아래의 두 명제는 동치이다.
(a) E가 Y에 대해 상대적으로 열려있다.
(b) X의 어떤 열린 집합 OX에 대해서 E=Y∩OX가 성립한다.
이는 전체공간을 줄이는 상황에서 유용하게 쓰일 수 있다. 예를 들어 전체 공간 X=R에서 (−a,a)와 같은 오픈 셋들을 다루고 있었는데 공간을 Y=[0,∞)로 축소시키는 상황을 생각해보자. 그러면 (−a,a)⊂Y이므로 원래 쓰던 오픈 셋들을 Y에서 다룰 수 없다. 이때 위의 정리에 의해 간단히 [0,a)=Y∩(−a,a)와 같이 Y에서 오픈 셋들을 잡아올 수 있다.
증명
위상 공간에서의 증명
(a) ⟹ (b)
가정에 의해 모든 p∈E에 대해서 아래의 조건을 만족하는 양수 rp>0가 존재한다.
d(p,q)<rpandq∈Y⟹q∈E
이제 d(p,q)<rp인 q∈X들의 집합을 OX,p라고 하자. 그러면 OX,p는 p의 X에서의 근방이 된다. 근방은 열린 집합이므로 OX,p는 X에서 열린 집합이고, 열린 집합들의 합집합은 열린 집합이므로
OX=p∈E⋃OX,p
는 X에서 열린 집합이다. 이때 모든 p∈E⊂Y에 대해서 p∈OX,p임은 자명하다. 따라서 다음이 성립한다.
E⊂Y∩OX,p
반대로 우리가 OX,p를 잡아온 방식에 의해 다음이 성립한다.
OX,p∩Y⊂E
따라서 (eq1), (eq2)에 의해
E=Y∩OX,p
이고 OX,p는 X에서 열린 집합이므로 (a) ⟹ (b) 가 성립한다.
(a) ⟸ (b)
OX는 X에서 열린 집합이고, E=Y∩OX라고 하자. 그러면 모든 p∈E는 N⊂OX을 만족하는 근방을 가진다. 또한 집합의 포함관계에 의해 다음이 성립한다.
Y∩N⊂E
이는 (definition)과 정확하게 같은 의미의 수식이므로 E는 Y에서 열린 집합이다.
■