logo

거리공간에서 상대적으로 열린 집합 📂거리공간

거리공간에서 상대적으로 열린 집합

설명

두 거리공간 YXY\subset X가 있다고 하자. 그리고 부분 집합 EYXE \subset Y \subset X가 주어졌다고 하자. 만약 EE가 전체 공간 XX에 대해서 열려있다면 내점과 열림의 정의에 의해 YY를 전체공간으로 두어도 EE가 열린 집합이다. 전체 집합이 작아지는 상황이기 때문에 pEp\in E의 근방 NEN\subset E이 더 커질 일이 없기 때문이다. 그런데 반대로 EE가 전체 공간 YY에 대해서 열려있다는 사실이 EEXX에서도 열려있음을 보장하지 않는다. 즉 열려있다는 것은 절대적인 성질이 아니라 전체 집합이 무엇이냐에 따라서 결정되는 상대적인 개념이라는 거다. 아래의 예시를 보자.

예시

  • E=(a,b)E=(a,b), Y=RY=\mathbb{R}, X=R2X=\mathbb{R}^{2}

    정의에 의해 (a,b)(a,b)가 전체 공간 R\mathbb{R}에 대해서 열려있다. 하지만 전체 공간을 R2\mathbb{R}^{2}로 확장하면 더 이상 열린 집합이 아니게 된다. 어떤 p(a,b)p \in (a,b)에 대해서도 N(a,b)N\subset (a,b)을 만족시키는 pp의 근방 NN이 존재하지 않기 때문이다.

  • E=[0,1)E=[0,1), Y=[0,)Y=[0,\infty), X=RX=\mathbb{R}

    예시1과 마찬가지로 [0,1)[0,1)은 전체 공간 [0,)[0,\infty)에 대해서 열린 집합이다. 하지만 전체 공간이 R\mathbb{R}로 확장되면 [0,1)[0,1)은 더이상 열린 집합이 아니다.

따라서 열려있다는 의미를 명확하게 할 때 상대적으로 열림이라는 표현을 쓴다.

정의

두 거리공간 XX, YY에 대해서 EYXE\subset Y \subset X라고 하자. 모든 pEp \in E에 대해서 아래의 조건을 만족하는 상수 r>0r>0이 존재하면 EEYY에 대해 상대적으로 열린 집합relatively open set 이라고 한다.

d(p,q)<randqY    qE \begin{equation} d(p,q)<r \quad \text{and} \quad q\in Y \implies q\in E \label{definition} \end{equation}


위 수식은 열림을 새로이 정의한게 아니라 ‘전체 공간을 YY로 뒀을 때 EE가 열려있으면’을 식으로 표현한 것 뿐이다. 다르게 풀어서 설명하면 ‘YY에 있는 원소들만으로 EE에 포함되는 pEp \in E의 근방을 만들 수 있다’이다. 이에 관한 정리를 소개한다.

정리

두 거리공간 XX, YY가 주어졌다고 하자. 그리고 EYXE \subset Y \subset X라고 하자. 그러면 아래의 두 명제는 동치이다.

(a) EEYY에 대해 상대적으로 열려있다.

(b) XX의 어떤 열린 집합 OXO_{X}에 대해서 E=YOXE=Y \cap O_{X}가 성립한다.


이는 전체공간을 줄이는 상황에서 유용하게 쓰일 수 있다. 예를 들어 전체 공간 X=RX=\mathbb{R}에서 (a,a)(-a,a)와 같은 오픈 셋들을 다루고 있었는데 공간을 Y=[0,)Y=[0,\infty)로 축소시키는 상황을 생각해보자. 그러면 (a,a)⊄Y(-a,a)\not \subset Y이므로 원래 쓰던 오픈 셋들을 YY에서 다룰 수 없다. 이때 위의 정리에 의해 간단히 [0,a)=Y(a,a)[0,a)=Y\cap (-a,a)와 같이 YY에서 오픈 셋들을 잡아올 수 있다.

증명

위상 공간에서의 증명

  • (a) \Longrightarrow (b)

    가정에 의해 모든 pEp \in E에 대해서 아래의 조건을 만족하는 양수 rp>0r_{p}>0가 존재한다.

    d(p,q)<rpandqY    qE d(p,q) <r_{p} \quad \text{and} \quad q\in Y \implies q \in E

    이제 d(p,q)<rpd(p,q)<r_{p}qXq\in X들의 집합을 OX,pO_{X,p}라고 하자. 그러면 OX,pO_{X,p}ppXX에서의 근방이 된다. 근방은 열린 집합이므로1 OX,pO_{X,p}XX에서 열린 집합이고, 열린 집합들의 합집합은 열린 집합이므로

    OX=pEOX,p O_{X}=\bigcup \limits_{p \in E}O_{X,p}

    XX에서 열린 집합이다. 이때 모든 pEYp \in E\subset Y에 대해서 pOX,pp \in O_{X,p}임은 자명하다. 따라서 다음이 성립한다.

    EYOX,p \begin{equation} E\subset Y\cap O_{X,p} \label{eq1} \end{equation}

    반대로 우리가 OX,pO_{X,p}를 잡아온 방식에 의해 다음이 성립한다.

    OX,pYE \begin{equation} O_{X,p}\cap Y \subset E \label{eq2} \end{equation}

    따라서 (eq1)\eqref{eq1}, (eq2)\eqref{eq2}에 의해

    E=YOX,p E=Y\cap O_{X,p}

    이고 OX,pO_{X,p}XX에서 열린 집합이므로 (a) \Longrightarrow (b) 가 성립한다.

  • (a) \Longleftarrow (b)

    OXO_{X}XX에서 열린 집합이고, E=YOXE=Y\cap O_{X}라고 하자. 그러면 모든 pEp\in ENOXN\subset O_{X}을 만족하는 근방을 가진다. 또한 집합의 포함관계에 의해 다음이 성립한다.

    YNE Y\cap N \subset E

    이는 (definition)\eqref{definition}과 정확하게 같은 의미의 수식이므로 EEYY에서 열린 집합이다.


  1. 정리1 참고 ↩︎