몫공간

틀:위키데이터 속성 추적 틀:다른 뜻 일반위상수학에서 몫공간(-空間, 틀:Llang)은 어떤 위상 공간의 몫집합 위에 표준적으로 존재하는 위상 공간이다.

정의

몫위상

위상 공간 $X$ 및 그 위의 동치 관계 $\sim \subseteq X^2$가 주어졌을 때, 몫집합 $X/\sim$ 위의 몫위상(-位相, 틀:Llang)은 다음 두 가지 방법을 통해 정의할 수 있으며, 이렇게 정의한 두 위상은 서로 같다.틀:Rp

• (열린집합을 통한 정의) 부분 집합 $U\subseteq X/\sim$이 열린집합일 필요충분조건은 $[-{]}_{\sim }^{-1}(U)\subseteq X$가 $X$의 열린집합인 것이다. (여기서 $[-{]}_{\sim }^{-1}(U)=\{x\in X:[x{]}_{\sim }\in U\}$는 $U$의 표준 사영 $X\to X/\sim$에 대한 원상이다.)
• (닫힌집합을 통한 정의) 부분 집합 $F\subseteq X/\sim$이 닫힌집합일 필요충분조건은 $[-{]}_{\sim }^{-1}(F)\subseteq X$가 $X$의 닫힌집합인 것이다.

이 위상은 표준 사영

$X\to X/\sim$

을 연속 함수로 만드는 가장 섬세한 위상이다. 또한, 이는 임의의 위상 공간 $Y$ 및 함수 $f:X/\sim \to Y$에 대하여 다음 두 조건을 동치로 만드는, 유일한 $X/\sim$ 위의 위상이다.

• $f$는 연속 함수이다.
• $f\circ [-{]}_{\sim }:X\to Y$는 연속 함수이다.

몫사상

두 위상 공간 $X$, $Y$ 사이의 전사 함수 $q:X\to Y$에 대하여, 다음 세 조건이 서로 동치이며, 이를 만족시키는 $q$를 몫사상(-寫像, 틀:Llang)이라고 한다.틀:Rp

• $f$는 연속 함수이며, 만약 $U\subseteq Y$가 부분 집합이며 $q^{-1}(U)\subseteq X$가 열린집합이라면, $U\subseteq Y$ 역시 열린집합이다.
• $f$는 연속 함수이며, 만약 $F\subseteq Y$가 부분 집합이며 $q^{-1}(F)\subseteq X$가 닫힌집합이라면, $F\subseteq Y$ 역시 닫힌집합이다.
• 임의의 위상 공간 $Z$ 및 함수 $f:Y\to Z$에 대하여, $f$가 연속 함수인 것과 $f\circ q:X\to Z$가 연속 함수인 것은 동치이다.

몫위상과 몫사상의 개념은 서로 동치이다. 구체적으로, 몫공간 $X/\sim$에 대하여, 표준 사영 $X\to X/\sim$은 몫사상이다. 반대로, 몫사상 $q:X\to Y$가 주어졌을 때, $X$ 위에 다음과 같은 동치 관계 $\stackrel{q}{\sim }$을 정의하자.

$x\stackrel{q}{\sim }{x}^{\prime }⟺q(x)=q(x^{\prime })\mathrm{\forall }x,x^{\prime }\in X$

그렇다면 $Y$는 몫공간 $X/\stackrel{q}{\sim }$과 위상 동형이다.

성질

함의 관계

모든 몫사상은 전사 연속 함수이며, 모든 열린 전사 연속 함수와 닫힌 전사 연속 함수는 몫사상이다. 몫사상이 단사 함수일 필요충분조건은 위상 동형 사상이다. 콤팩트 공간 $X$에서 하우스도르프 공간 $Y$로 가는 함수 $X\to Y$의 경우, 전사 연속 함수, 몫사상, 닫힌 전사 연속 함수의 개념이 서로 동치이다. (이는 모든 연속 함수 $X\to Y$가 닫힌 함수이기 때문이다.)

연산에 대한 닫힘

두 몫사상 $f:X\to Y$와 $g:Y\to Z$의 합성 $g\circ f:X\to Z$는 몫사상이다. 반대로, 만약 $f:X\to Y$와 $g:Y\to Z$가 연속 함수이며 $g\circ f$가 몫사상이라면, $f$ 역시 몫사상이다.

몫사상 $f:X\to Y$ 및 연속 함수 $h:X\to Z$에 대하여, 만약 $x,x^{\prime }\in X$, $f(x)=f(x^{\prime })$가 항상 $h(x)=h(x^{\prime })$을 함의한다면, $f$와 $h$를 통해 유일하게 정의되는 함수

$\tilde{h}:Y\to Z$

$\tilde{h}\circ f=h$

는 연속 함수이다.틀:Rp

몫사상 $q:X\to Y$ 및 부분 집합 $A\subseteq Y$에 대하여, 만약 다음 네 조건 가운데 하나가 성립한다면, 제한

$q\upharpoonright (q^{-1}(A),A):q^{-1}(A)\to A$

는 몫사상이다.틀:Rp

• $A\subseteq Y$는 열린집합이다.
• $A\subseteq Y$는 닫힌집합이다.
• $q$는 열린 함수이다.
• $q$는 닫힌 함수이다.

반대로, 만약 $q:X\to Y$가 전사 연속 함수이며, 임의의 $y\in Y$가 $q\upharpoonright (q^{-1}(N),N)$을 몫사상으로 만드는 근방 $N\ni y$를 갖는다면, $q$는 몫사상이다.

몫사상 $f:X\to Y$, $f^{\prime }:X^{\prime }\to Y^{\prime }$에 대하여, 자연스럽게 정의되는 함수

$f\times f^{\prime }:X\times X^{\prime }\to Y\times Y^{\prime }$

$f\times f^{\prime }:(x,x^{\prime })\mapsto (f(x),f^{\prime }(x^{\prime }))$

를 생각하자. 이는 전사 연속 함수이지만, (정의역과 공역의 곱위상에 대하여) 몫사상이 아닐 수 있다. 그러나 임의의 몫사상 $f:X\to Y$ 및 국소 콤팩트 공간 $Z$에 대하여,

$f\times {\mathrm{id}}_Z:X\times Z\to Y\times Z$

는 (곱위상에 대하여) 몫사상이다. 또한, 임의의 콤팩트 생성 공간 $X$, $Z$ 및 몫사상 $f:X\to Y$에 대하여,

$k(f\times {\mathrm{id}}_Z):k(X\times Z)\to k(Y\times Z)$

는 (콤팩트 생성 곱위상에 대하여) 몫사상이다.틀:Rp

끝 위상과의 관계

몫위상은 표준 사영에 대한 끝 위상이다. 반대로, 위상 공간 $Y$가 위상 공간들의 집합 $(X_i{)}_{i\in I}$ 및 함수들의 집합 $(f_i:X_i\to Y{)}_{i\in I}$에 대한 끝 위상을 갖는다고 하자. 이는 위상합

$X=\underset{i\in I}{⨆}{X}_i$

위에 자연스럽게 유도되는 하나의 함수

$f:X\to Y$

에 대한 끝 위상과 같다. 이 경우, $f\upharpoonright (X,f(X)):X\to f(X)$는 몫사상이다. 따라서 $f(X)$는 열린닫힌집합이며, $X$의 몫공간과 위상 동형이다. 또한 $Y\setminus f(X)$은 이산 공간이다. 즉, $Y$는 $(X_i{)}_{i\in I}$의 위상합의 몫공간과 이산 공간의 위상합이다.

예

다각형의 몫공간

직사각형의 한 쌍의 대변을 직사각형의 둘레를 따라 회전하는 방향을 기준으로 반대 방향을 따라 붙여 몫공간을 취하면 원기둥을 얻으며, 같은 방향을 따라 붙이면 뫼비우스의 띠를 얻는다.

그림1	그림2	몫공간
		원기둥 ${\overline{𝔻}}^2\times [0,1]$
		뫼비우스의 띠 $\mathrm{M}$

만약 어떤 위상 공간이 변의 수가 짝수인 다각형의 변을 둘씩 짝을 지어 붙여 만든 몫공간과 위상 동형이라면, 이 다각형과 동치 관계의 순서쌍을 위상 공간의 다각형 표시(多角形表示, 틀:Llang)이라고 한다. 변의 수가 $2n$인 다각형 표현은 길이 $2n$의 문자열 $\alpha \in \{a_1,a_2,\dots ,a_n,a_1^{-1},a_2^{-2},\dots ,a_n^{-1}{\}}^{2n}$로 나타낼 수 있다. 각 $i=1,2,\dots ,n$에 대하여, $\alpha$ 속에는 $a_i$가 정확히 두 번 등장하거나 $a_i$와 $a_i^{-1}$가 정확히 한 번씩 등장해야 한다. 만약 ${\alpha }_i={\alpha }_j$라면, 다각형의 $i$번째 변과 $j$번째 변을 같은 방향으로 붙인다. 만약 ${\alpha }_j={\alpha }_i^{-1}$라면, $i$번째 변과 $j$번째 변을 반대 방향으로 붙인다.

다각형 표시 그림	다각형 표시	몫공간 그림	몫공간
	$ab{b}^{-1}{a}^{-1}$		구 ${𝕊}^2$
	$abab$		실수 사영 평면 ${ℝ\mathbb{P}}^2$
	$aba{b}^{-1}$		클라인 병 ${ℝ\mathbb{P}}^2\mathrm{\#}{ℝ\mathbb{P}}^2$
	$ab{a}^{-1}{b}^{-1}$		원환면 ${𝕋}^2={𝕊}^1\times {𝕊}^1$

부분 집합을 한 점으로 합친 공간

위상 공간 $X$의 부분 집합 $A$을 한 점으로 합쳐 만든 몫공간은

$X/A$

로 표기한다.

하우스도르프 공간 $X$ 및 콤팩트 집합 $A\subseteq X$에 대하여, $X/A$는 항상 하우스도르프 공간이다.

예를 들어,

$[0,1]/\{0,1\}\cong {𝕊}^1$

${\overline{𝔻}}^2/{𝕊}^1\cong {𝕊}^2$

이다. 여기서 ${\overline{𝔻}}^n$은 $n$차원 유클리드 공간의 닫힌 공이며, ${𝕊}^n$은 $n$차원 초구이다.

뿔

틀:본문 위상 공간 $X$ 위의 뿔은 다음과 같다.

$\mathrm{cone}(X)=(X\times [0,1])/(X\times \{0\})$

하우스도르프 공간 위의 뿔은 하우스도르프 공간이다.

유클리드 공간 ${ℝ}^n$의 콤팩트 집합 $X$ 위의 뿔은 다음과 같은 공간과 위상 동형이다.

$\mathrm{cone}(X)\cong \{(1-t)a+tx:x\in X,t\in [0,1]\}$

$a\in {ℝ}^{n+1}\setminus {ℝ}^n$

임의의 연속 함수 $f:X\to Y$에 대하여, 다음 두 조건이 서로 동치이다.

• $f$는 널호모토픽하다.
• $f$의 연속 확장 $\mathrm{cone}(X)\to Y$이 존재한다.

붙임 공간

틀:본문 두 위상 공간 $X$, $Y$ 및 부분 집합 $A\subseteq X$ 및 연속 함수 $f:A\to Y$가 주어졌다고 하자. 위상합 $X\bigsqcup Y$ 위에 다음과 같은 동치 관계를 정의하자.

$x\sim f(x)\mathrm{\forall }x\in A$

그렇다면, $f$의 붙임 공간은 다음과 같은 몫공간이다.

$Y{\cup }_{f}X=(X\bigsqcup Y)/\sim$

예를 들어,

${\overline{𝔻}}^2{\cup }_{{\iota }_{{𝕊}^1}}{\overline{𝔻}}^2\cong {𝕊}^2$

$\mathrm{M}{\cup }_{{\iota }_{\partial \mathrm{M}}}\mathrm{M}\cong {ℝ\mathbb{P}}^2\mathrm{\#}{ℝ\mathbb{P}}^2$

$M{\cup }_f{\overline{𝔻}}^2\cong {ℝ\mathbb{P}}^2$

이다. 여기서 ${\iota }_{{𝕊}^1}:{𝕊}^1\to {\overline{𝔻}}^2$와 ${\iota }_{\partial \mathrm{M}}:\partial \mathrm{M}\to \mathrm{M}$은 포함 함수이며, $f:\partial {\overline{𝔻}}^2\to \partial \mathrm{M}$는 두 경계 사이의 위상동형사상이다.

열린 함수나 닫힌 함수가 아닌 몫사상

몫공간 $ℝ/(0,1]$으로의 표준 사영 $p:ℝ\to ℝ/(0,1]$은 몫사상이지만, 열린 함수가 아니며 닫힌 함수도 아니다. 예를 들어, $(-\mathrm{\infty },1)\subseteq ℝ$는 열린집합이지만, $p((-\mathrm{\infty },1))\subseteq ℝ/(0,1]$은 열린집합이 아니다. 이는

$p^{-1}(p((-\mathrm{\infty },1)))=(-\mathrm{\infty },1]\subseteq ℝ$

가 열린집합이 아니기 때문이다. 또한 $[1,\mathrm{\infty })\subseteq ℝ$는 닫힌집합이지만, $p([1,\mathrm{\infty }))\subseteq ℝ/(0,1]$은 닫힌집합이 아니다. 이는

$p^{-1}(p([1,\mathrm{\infty })))=(0,\mathrm{\infty })\subseteq ℝ$

가 닫힌집합이 아니기 때문이다.

곱이 몫사상이 아닌 두 몫사상

몫공간 $\mathbb{Q}/\mathbb{Z}$로의 표준 사영 $\mathbb{Q}\to \mathbb{Q}/\mathbb{Z}$과 항등 함수 $\mathbb{Q}\to \mathbb{Q}$의 곱

$f:\mathbb{Q}\times \mathbb{Q}\to \mathbb{Q}/\mathbb{Z}\times \mathbb{Q}$

는 (곱위상에 대하여) 몫사상이 아니다. 예를 들어, 임의의 $n\in \mathbb{Z}$에 대하여 $r_n=\sqrt{2}/(|n|+1)$이라고 하자. 또한 $A_n\subseteq [n,n+1]\times ℝ$가 $(n,r_n)$, $(n+1/2,r_n)$, $(n+1,r_{n+1})$을 꼭짓점으로 하는 열린 삼각형 영역이라고 하고,

$B=(\mathbb{Q}\times \mathbb{Q})\cap {\mathrm{cl}}_{{ℝ}^2}\bigcup _{n\in \mathbb{Z}}{A}_n$

라고 하자. 그렇다면,

$f^{-1}(f(B))=B\subseteq \mathbb{Q}\times \mathbb{Q}$

는 닫힌집합이지만, $f(B)\subseteq \mathbb{Q}/\mathbb{Z}\times \mathbb{Q}$는 닫힌집합이 아니다. 이는

$f((0,0))\in {\mathrm{cl}}_{\mathbb{Q}/\mathbb{Z}\times \mathbb{Q}}f(B)\setminus f(B)$

이기 때문이다.

외부 링크

• 틀:Eom
• 틀:Eom
• 틀:매스월드
• 틀:Nlab
• 틀:웹 인용
• 틀:웹 인용
• 틀:플래닛매스
• 틀:Proofwiki