몫위상

개요 — 동기·문제의식

부분·순서·유한곱 위상와 곱위상는 "가장 거친(자연스러운) 위상"을 만드는 구성이었다 — 사영이 연속이게 하는 최소 위상. 몫위상(quotient topology)은 정반대 방향으로 간다 — "공간을 붙이고 접어서" 새 공간을 만드는 조작을, 몫사상을 연속이게 하는 가장 섬세한 위상으로 정식화한다.

종이의 양 끝을 붙이면 원기둥, 비틀어 붙이면 뫼비우스 띠, 정사각형의 변들을 짝지어 붙이면 토러스·클라인 병·사영평면이 나온다 — 이 모든 기하학적 직관이 몫위상이라는 단 하나의 정식화로 통합된다. 핵심 발상은 전사함수 $p:X\to Y$가 "어떤 점들을 한 점으로 동일시하는가"를 정하고, 그 동일시와 모순 없이 $p$를 연속으로 만드는 가장 풍부한 위상을 $Y$에 준다는 것이다. 곱위상이 좋은 성질을 거의 항상 보존하는 것과 달리, 몫위상은 Hausdorff성 같은 기본적인 성질조차 깨뜨릴 수 있다는 점이 이 구성의 가장 까다로운 함정이다.

직관

종이를 둥글게 말아 원기둥을 만드는 과정을 생각하자. 평평한 종이(직사각형) 위의 점들 중, "왼쪽 끝의 한 점"과 "오른쪽 끝의 대응하는 점"을 물리적으로 같은 점으로 동일시한다. 이 동일시 후에 자연스러운 위상을 어떻게 줄까? 답은 "원래 평면의 열린집합 $U$가 (동일시한 후에도) 자연스럽게 열려 보이려면, 그 원본 $p^{-1}(U)$(동일시 사상의 역상)이 평면에서 열려야 한다"는 조건이다 — 동일시 이전에 "열려 있던 것"이 동일시 이후에도 "열려 있다"고 선언하는 가장 직접적인 방법이다.

이 정의가 "가장 섬세한 위상"인 이유는, 더 적은 집합을 열려 있다고 선언할 수록 $p$의 연속성 조건($p^{-1}(U)$ 열림)을 만족시키기 쉽기 때문이다 — 가장 많은 집합을 열려 있다고 선언하는(=가장 섬세한) 동시에 $p$를 연속으로 유지하는 한계선이 정확히 "$p^{-1}(U)$가 열림 $\iff$ $U$를 열림으로 선언"이라는 동치 조건이다.

정의

전사 $p:X\to Y$ ($X$ 위상공간, $Y$ 집합)에 대해 몫위상(quotient topology):¹ $$U\subseteq Y\text{ 열림}\iff p^{-1}(U)\text{가 }X\text{에서 열림.}$$ 이때 $p$를 몫사상(quotient map)이라 한다. ($p$는 이 위상에서 자동으로 연속이며, 몫위상은 $p$를 연속이게 하는 가장 섬세한 위상이다 — 다른 어떤 위상에서도 $p$가 연속이려면 그 위상의 열린집합이 몫위상의 열린집합에 포함돼야 함.)

동치관계로부터의 구성. $X$ 위 동치관계 $\sim$에 대해, 동치류 집합 $X/{\sim}$와 자연사상 $p:x\mapsto[x]$가 몫공간을 정의한다. 기하학적 "붙이기"는 거의 항상 이 형태로 표현된다 — $\sim$이 "어떤 점들을 같다고 볼 것인가"를 정확히 인코딩.

포화집합(saturated set). $C\subseteq X$가 포화 $\iff$ $C=p^{-1}(p(C))$, 즉 $C$가 동치류 전체를 포함하거나 전혀 안 포함(부분적으로 걸치지 않음). 몫사상은 포화 열린(닫힌)집합을 열린(닫힌)집합으로 보낸다 — 일반 집합에서는 이 성질이 깨질 수 있음에 주의.

몫사상의 두 특수 종류. $p$가 열린사상이면(임의의 열린집합을 열린집합으로) $p$가 자동으로 몫사상이 된다(연속 + 열림 ⟹ 몫사상). 마찬가지로 닫힌사상이어도 몫사상이 된다. 그러나 몫사상이라고 해서 항상 열린사상이거나 닫힌사상인 것은 아니다 — 정의는 오직 "역상의 열림"만 요구한다.

주요 정리

정리 (몫사상의 보편성, Munkres Thm 22.2).² $p:X\to Y$가 몫사상이고, $g:X\to Z$가 연속이며 $p(x_1)=p(x_2)\Rightarrow g(x_1)=g(x_2)$(즉 $g$가 각 동치류에서 상수)이면, $g$를 유도하는 연속함수 $\bar g:Y\to Z$가 유일하게 존재하여 $g=\bar g\circ p$.

정리 (콤팩트–Hausdorff 판정, 연속사상과 위상동형의 응용). $X$ 콤팩트, $Y$ Hausdorff일 때 연속 전단사 $f:X\to Y$는 자동으로 위상동형이다. 따라서 콤팩트 공간에서 Hausdorff 공간으로의 연속 전단사 몫사상은 위상동형을 준다 — 붙여 만든 추상적 공간이 "익숙한" 구체적 공간과 같음을 증명하는 핵심 무기.

정리 (몫은 분리공리를 깨뜨릴 수 있다). Hausdorff 공간의 몫이 Hausdorff가 아닐 수 있다(두 점 직선, 극한점과 하우스도르프 예제 5가 정확한 반례). 몫위상은 좋은 성질을 보존하지 않는다는 점에서, 거의 모든 좋은 성질(Hausdorff·연결·콤팩트)을 보존하는 곱위상와 극명하게 대조적이다 — "왜 곱은 안전하고 몫은 위험한가": 곱위상은 가장 거친(=정보가 적은) 위상을 택해 보수적으로 짓는 반면, 몫위상은 가장 섬세한(=정보가 많은) 위상을 택해 원본의 "동일시되지 않은 미세한 차이"가 새 공간에서 갑자기 뭉개지거나 충돌할 수 있다.

정리 (몫사상의 합성과 제한, 주의가 필요한 영역). 몫사상의 합성은 몫사상이다. 그러나 몫사상을 부분공간에 제한한 것이 항상 그 부분공간으로의 몫사상이 되는 것은 아니다 — 포화된 열린(또는 닫힌) 부분집합으로 제한할 때만 안전하게 보장된다. 이는 부분공간·몫공간 두 구성을 섞을 때 자주 빠지는 함정이다.

예제

예제 1 (원, 콤팩트→Hausdorff의 전형적 응용). $[0,1]$에서 $0\sim1$로만 동일시 ⟹ $[0,1]/\!\sim\ \cong S^1$. $p(t)=e^{2\pi it}$가 연속 전단사(동일시 후), $[0,1]$ 콤팩트, $S^1$ Hausdorff(거리공간) ⟹ 위상동형.

예제 2 (원기둥과 뫼비우스 띠, 같은 변 다른 동일시). 정사각형 $[0,1]^2$에서 - $(0,y)\sim(1,y)$ (방향을 보존하며 붙임): 원기둥 $S^1\times[0,1]$. - $(0,y)\sim(1,1-y)$ (비틀어 붙임): 뫼비우스 띠 — 방향 불가능(orientable이 아님)한 곡면의 가장 단순한 예. 똑같은 한 쌍의 변을 동일시하는데도 "어떻게" 동일시하느냐(방향)에 따라 완전히 다른 위상공간이 나온다는 것이 몫위상 구성의 미묘함을 잘 보여준다.

예제 3 (토러스, 두 쌍의 변을 동시에). $[0,1]^2$에서 $(0,y)\sim(1,y)$ 그리고 동시에 $(x,0)\sim(x,1)$ ⟹ 토러스 $T^2$. 사실 $T^2\cong S^1\times S^1$임을 보일 수 있다 — 두 독립적 방향의 "붙이기"가 곱공간 구조와 정확히 들어맞는다(곱위상과 몫위상이 여기서 양립하는 흔치 않은 사례).

예제 4 (사영평면·클라인 병, 변 동일시 패턴의 분류). 정사각형 변 동일시 패턴에 따라: 양변 모두 비틀면 사영평면 $\mathbb{RP}^2$, 한 쌍만 비틀면 클라인 병. 두 경우 모두 $\mathbb{R}^3$ 안에 (자기교차 없이) 매장할 수 없는 곡면들이다 — 몫위상으로 정의된 추상적 공간이 우리가 익숙한 3차원 공간 속의 곡면보다 "더 풍부"할 수 있음을 보여준다. → classification of surfaces에서 이 패턴들의 완전한 분류를 다룬다.

예제 5 (포화되지 않은 집합의 함정). $p:\mathbb{R}\to\mathbb{R}/\mathbb{Z}\cong S^1$ (정수만큼의 평행이동으로 동일시)에서 $C=[0,0.5]$는 포화되지 않은 집합이다 — $p^{-1}(p(C))=\bigcup_n[n,n+0.5]$로 $C$ 자체보다 훨씬 크다. $C$가 $\mathbb{R}$에서 닫혀(콤팩트) 있어도, $p(C)$가 $S^1$에서 닫힌(콤팩트) 것은 사실이지만, 이는 $p$가 닫힌사상이라는 별도의 사실에서 오는 것이지 $C$가 포화됐기 때문이 아니다 — 포화되지 않은 집합을 다룰 때는 "원본의 성질이 몫공간에 자동으로 전달된다"고 섣불리 가정하면 안 된다.

예제 6 (붕괴형 몫, 원판을 구로). $D^2/\partial D^2$ (원판에서 경계원 전체를 한 점으로 붕괴) $\cong S^2$. 직관적으로 원판의 경계를 졸라매면 풍선처럼 부풀어 구가 된다 — 콤팩트($D^2$)→Hausdorff($S^2$, 적절히 정의된 거리공간) 연속 전단사 논법이 다시 한번 깔끔하게 적용되는 예.

흔한 오해와 함정

• "몫위상에서 $p$가 항상 열린사상이거나 닫힌사상" — 거짓. $p$가 몫사상이라는 것은 오직 "역상이 열림 $\iff$ 열림"만 보장하지, 정사상(direct image)이 열린집합이나 닫힌집합을 보존한다는 것은 별도의 추가 조건이다. 예제 5가 이 구분을 보여준다.
• "동치류로 묶인 두 점은 결국 가까워진다" — Hausdorff성이 깨지는 경우(두 원점 직선)는 정확히 이 직관이 무너지는 곳이다. 동일시되지 않은 두 점이 몫공간에서 분리 불가능해질 수 있다.
• "콤팩트→Hausdorff 정리를 쓸 때 Hausdorff 조건을 깜빡함" — $f$가 연속 전단사라는 사실만으로는 부족하다. 공역이 Hausdorff라는 가정이 빠지면(예: 두 원점 직선으로 가는 사상), 결론(위상동형)이 거짓일 수 있다.
• "몫사상의 합성·제한은 항상 안전하다" — 합성은 안전하지만, 부분공간으로의 제한은 포화집합이 아닌 한 위험하다(정리 4 참고). 이 둘을 혼동하면 잘못된 결론에 이르기 쉽다.
• "보편성 정리에서 $g$가 동치류에서 상수라는 조건을 빠뜨림" — $\bar g$가 잘 정의되려면 $g$가 동치류 위에서 반드시 일정해야 한다. 이 조건 없이 무작정 $\bar g([x])=g(x)$로 정의하면 함수 자체가 모순(다가 함수)이 될 수 있다.

큰 그림 / 연결

몫위상은 연속사상과 위상동형에서 정의한 연속 전사의 특수하고 강력한 경우이며, "콤팩트→Hausdorff 연속전단사는 위상동형"이라는 정리가 거의 모든 구체적 응용(예제 1, 6)에서 핵심 엔진으로 쓰인다. classification of surfaces는 정사각형(또는 더 일반적인 다각형)의 변 동일시 패턴으로 만든 몫공간들을 완전히 분류하는 대수위상의 정점이며, 이 페이지의 예제 2-4가 그 출발점이다. 곱위상·부분·순서·유한곱 위상가 "정보를 보존하는" 보수적 구성이라면, 몫위상은 "정보를 의도적으로 버리는" 구성이라는 대조가 이 위키 "새 공간 만들기" 챕터의 핵심 교훈이다. 호모토피와 기본군에서 다루는 공간들(원, 토러스, 사영평면)은 대부분 몫위상으로 구성된 것들이며, 그 기본군을 계산하는 표준 기법(van Kampen 정리)도 몫공간의 보편성 정리와 정신이 닮아 있다.

연습문제

1. $\mathbb{R}$에서 $x\sim x+1$($\mathbb{Z}$ 평행이동)의 몫공간이 $S^1$임을 보여라.
2. $D^2$(원판)에서 경계 $S^1$ 전체를 한 점으로 붕괴 ⟹ 어떤 공간인가?
3. 몫사상의 보편성으로 $S^1\to\mathbb{R}^2$ 연속함수를 정의하는 구체적 예를 들어라.
4. 콤팩트→Hausdorff 연속전단사가 위상동형임을 증명하라.
5. 포화집합이 아닌 부분집합을 하나 들고, 그 정사상이 직관과 어긋나는 이유를 설명하라.
6. 두 원점 직선을 몫공간으로 명시적으로 구성하고(어떤 $X$, 어떤 동치관계), Hausdorff가 깨지는 지점을 정확히 지적하라.
7. 뫼비우스 띠가 원기둥과 위상동형이 아님을, 경계 성분의 개수로 논하라(orientation 수준).

관련 개념

• 연속사상과 위상동형 — 몫사상은 특별한 연속전사, 콤팩트→Hausdorff 정리의 원천
• 콤팩트성 — 콤팩트–Hausdorff 판정의 핵심 도구
• 극한점과 하우스도르프 — 몫이 깨뜨릴 수 있는 분리성(두 원점 직선)
• classification of surfaces — 변 동일시로 만든 곡면들의 완전한 분류
• 부분·순서·유한곱 위상 · 곱위상 — 대조되는 다른 구성법(가장 거친 위상 vs 가장 섬세한 위상)
• 호모토피와 기본군 — 몫공간들의 대수적 불변량