접착 보조정리 증명

접착 보조정리 증명

정리

위상공간 $X,Y$ 에 대해 두 닫힌 집합 $A,B \subset X$ 이 $A \cup B = X$ 를 만족하고 두 연속함수 $f : A \to Y$ 와 $g : B \to Y$ 가 모든 $x \in A \cap B$ 에 대해 $f(x) = g(x)$ 라고 하자. 그러면 다음과 같이 정의된 $h$ 는 연속함수다. $$ h(x) : = \begin{cases} f(x), & x \in A \\ g(x), & x \in B \end{cases} $$

설명

풀 보조정리Gluing Lemma라도 불리는 이 보조정리는 문장을 읽는 것만으로도 이해할 수 있을 정도로 당연하다. 굳이 보조정리라는 이름이 남고 증명까지 된 이유는 자주 쓰다보니 이름을 붙이는 게 편한데 증명이 가능해서였을 것이다.

증명

$h$ 가 연속임을 보이기 위해 닫힌 집합 $C \subset Y$ 을 생각해보자.

$f$ 와 $g$ 는 연속이므로 $f^{-1}(C)$ 는 $A$ 에서 닫힌 집합이고 $g^{-1}(C)$ 는 $B$ 에서 닫힌 집합이다. 가정에서 $A$ 와 $B$ 가 $X$ 에서 닫힌 집합이므로 $f^{-1}(C)$, $g^{-1}(C)$ 역시 $X$ 에서 닫힌 집합이다. $$ \begin{align*} h^{-1} (C) =& \left\{ x \in X \ | \ h(x) \in C \right\} \\ =& \left\{ x \in A \ | \ h(x) \in C \right\} \cup \left\{ x \in B \ | \ h(x) \in C \right\} \\ =& \left\{ x \in A \ | \ f(x) \in C \right\} \cup \left\{ x \in B \ | \ g(x) \in C \right\} \\ =& f^{-1} (C) \cup g^{-1} (C) \end{align*} $$ 는 $X$ 에서 닫힌 집합끼리의 합집합이므로 $h^{-1}(C)$ 는 $X$ 에서 닫힌 집합이고, $h$ 는 연속함수다.

따름정의

경로 $p,q : [0,1] \to X$ 가 $p(1) = q(0)$ 를 만족한다고 하자. 그러면 $p*q : [0,1]$ 를 다음과 같이 정의하고 $p,q$ 의 곱경로Product Path라 한다. $$ (p \ast\ q) (t) = \begin{cases} p(2t), & 0 \le t \le 1/2 \\ q(2t-1), & 1/2 \le t \le 1 \end{cases} $$

곱경로는 접착 보조정리가 정확히 한 점에서 적용된 개념이라고 볼 수 있고, 경로연결성에 대한 연구에 유용하게 쓸 수 있다.

댓글