곱위상

개요 — 동기·문제의식

부분·순서·유한곱 위상에서 유한곱 $X\times Y$를 다뤘다. 유한 개를 곱하는 것은 직관적이지만, 임의(특히 무한) 개수의 공간을 곱하려는 순간 길이 갈라진다. "각 좌표에서 자유롭게 열린집합을 고른다"는 가장 자연스러워 보이는 일반화(상자위상)와, "유한 개 좌표에서만 제약을 건다"는 더 까다로운 일반화(곱위상)가 유한 곱에서는 똑같지만 무한 곱에서는 완전히 다른 공간을 낳는다.

"올바른" 선택은 곱위상이며, 그 이유가 이 페이지의 핵심이다 — Tychonoff 정리(콤팩트성 보존), 함수의 연속성을 성분별로 판정할 수 있는 능력, 점별수렴과의 일치, 이 모두가 곱위상에서만 성립하고 상자위상에서는 깨진다. 왜 하필 "유한 개 좌표 제약"이라는 까다로운 조건이 정답인지를 이해하는 것이, 일반위상의 가장 미묘하고도 중요한 통찰 중 하나다.

직관 (그림으로 보는 갈림길)

$\mathbb{R}^\omega=\mathbb{R}\times\mathbb{R}\times\cdots$(가산 무한 곱)에서 원점 $(0,0,0,\dots)$의 "작은 근방"을 상상해보자. 상자위상은 "모든 좌표에서 동시에 작아지는" 근방, 즉 $\prod_n(-\varepsilon_n,\varepsilon_n)$ 같은 것을 허용한다 — 무한히 많은 조건을 동시에 거는 셈이다. 곱위상은 "유한 개 좌표에서만 작아지고 나머지는 자유로운" 근방만 허용한다 — 무한히 많은 조건을 동시에 걸 수 없다.

이 차이는 단순한 기술적 디테일이 아니라, "직선 위 점 하나의 정보가 무한히 많은 좌표를 동시에 제약할 수 있는가"라는 질문이다. 부분기저(사영의 역상 $\pi_\beta^{-1}(U_\beta)$, 즉 "$\beta$번째 좌표만 제약하고 나머지는 무시")로 위상을 생성하면, 자연스럽게 기저원소(유한교집합)는 "유한 개 좌표만 제약"하는 모양이 된다 — 기저와 부분기저의 부분기저 메커니즘이 정확히 이 결과를 강제한다.

정의

집합족 $\{X_\alpha\}_{\alpha\in J}$의 곱 $\prod_{\alpha\in J} X_\alpha$ := 함수 $x:J\to\bigcup_\alpha X_\alpha$로 각 $\alpha$에서 $x(\alpha)=x_\alpha\in X_\alpha$인 것들의 집합(선택공리로 $J$가 무한이고 모든 $X_\alpha\ne\varnothing$이면 이 집합도 비공임이 보장됨 — set-theory 위키 참고).

상자위상(box topology). 기저 $$\left\{\prod_{\alpha\in J} U_\alpha : U_\alpha\subseteq X_\alpha\text{ 열림(모든 }\alpha\text{에서)}\right\}.$$ 모든 좌표에서 자유롭게 열린집합을 고른다.

곱위상(product topology).¹ 부분기저 $$\mathcal{S}=\{\pi_\beta^{-1}(U_\beta) : \beta\in J,\ U_\beta\subseteq X_\beta\text{ 열림}\}.$$ 이로부터 생성되는 기저원소는 $\prod_\alpha U_\alpha$ 꼴인데, 유한 개를 제외한 모든 $\alpha$에서 $U_\alpha=X_\alpha$. 즉 "유한 개 좌표만 진짜로 제약하고, 나머지는 전체 공간으로 둔다."

비교. $J$가 유한이면 두 위상은 일치한다(유한 개 좌표 제약 = 모든 좌표 제약). $J$가 무한이면 상자위상이 곱위상보다 (진짜로) 더 섬세하다 — 곱위상의 모든 열린집합은 상자위상에서도 열려 있지만 역은 아니다.

주요 정리

정리 (곱위상 = 사영을 연속이게 하는 최소 위상). 곱위상은 모든 사영 $\pi_\beta:\prod_\alpha X_\alpha\to X_\beta$를 연속이게 하는 가장 거친 위상이다.

정리 (곱으로의 함수, 곱위상의 핵심 장점).¹ $f:Z\to\prod_\alpha X_\alpha$가 (곱위상에서) 연속 $\iff$ 각 성분 $\pi_\alpha\circ f:Z\to X_\alpha$가 연속.

정리 (성질 보존, 곱위상). - $\prod X_\alpha$가 Hausdorff $\iff$ 각 $X_\alpha$가 Hausdorff.

정리 (상자 vs 곱, 핵심 반례). $\mathbb{R}^\omega$(가산 곱)에서 $f:\mathbb{R}\to\mathbb{R}^\omega$, $f(t)=(t,t,t,\dots)$는 곱위상에서 연속이나 상자위상에서는 불연속이다(증명은 예제 2).

정리 (왜 무한 곱에서 둘이 갈라지는가 — 메커니즘 분석). 핵심은 부분기저 메커니즘의 "유한교집합"이다(기저와 부분기저). 곱위상의 기저원소는 부분기저원소 $\pi_\beta^{-1}(U_\beta)$들의 유한 교집합이므로 자동으로 유한 개 좌표만 제약된다. 상자위상은 이 부분기저-기저 절차를 거치지 않고 처음부터 "전 좌표 동시 제약"을 기저로 선언하므로, 임의(무한) 교집합에 해당하는 정보량을 한 기저원소에 욱여넣는 셈이다 — 이것이 상자위상이 "너무 섬세해서" 연속성·콤팩트성 같은 좋은 성질을 깨뜨리는 근본 원인이다.

예제

예제 1 (유한에서 일치). $\mathbb{R}^n$에서 곱위상 = 상자위상 = 표준위상(유한 곱이라 "유한 개 좌표 제약"과 "모든 좌표 제약"이 같은 말).

예제 2 (대각함수, 곱에서는 연속 상자에서는 불연속 — 직접 증명). $f:\mathbb{R}\to\mathbb{R}^\omega$, $f(t)=(t,t,t,\dots)$. - 곱위상에서 연속: $\pi_n\circ f(t)=t$가 각 $n$에서 항등함수로 연속 ⟹ 성분 판정 정리로 $f$ 연속. - 상자위상에서 불연속: $W=\prod_n(-\tfrac1n,\tfrac1n)$은 상자위상의 기저원소(모든 좌표 제약)이고 $f(0)=(0,0,\dots)\in W$. $f^{-1}(W)=\{t\in\mathbb{R}: |t|<\tfrac1n\text{ 모든 }n\}=\{0\}$인데, $\{0\}$은 $\mathbb{R}$에서 열려 있지 않다 ⟹ $f^{-1}(W)$가 안 열림 ⟹ $f$ 불연속.

예제 3 (점별수렴, 함수공간으로서의 곱). $\mathbb{R}^J = \{f:J\to\mathbb{R}\}=\prod_{j\in J}\mathbb{R}$의 곱위상에서 수렴 = 점별수렴: $f_n\to f$ $\iff$ 각 $\alpha\in J$에서 $f_n(\alpha)\to f(\alpha)$. 그래서 곱위상을 "점별수렴 위상"이라고도 부른다 — 함수해석에서 자주 마주치는 약위상의 가장 기초적인 예.

예제 4 (Hilbert 큐브, 무한차원 콤팩트의 표준 예). $\prod_{n=1}^\infty[0,\tfrac1n]$(또는 동형으로 $[0,1]^\omega$)는 곱위상에서 콤팩트(Tychonoff 정리, tychonoff theorem) — 무한차원이면서 콤팩트인 공간이 실제로 존재함을 보여주는 가장 표준적인 예. 거리화도 가능하다(거리위상 참고, 가산 곱은 거리화 보존).

예제 5 (Cantor 집합과 $\{0,1\}^\omega$). $\{0,1\}^\omega$ (각 인자에 이산위상)는 곱위상에서 콤팩트(유한 콤팩트 공간들의 곱, Tychonoff)이며, 실제로 $\mathbb{R}$의 표준 Cantor 집합과 위상동형이다. 곱위상이기 때문에 콤팩트성이 무료로 따라오지만, 만약 상자위상을 줬다면 $\{0,1\}^\omega$는 더 이상 콤팩트가 아니다(이산공간들의 상자곱은 보통 이산위상보다도 더 섬세해져 콤팩트성이 깨짐).

예제 6 (상자위상에서의 연결성 실패). $\mathbb{R}^\omega$는 곱위상에서 연결이지만, 상자위상에서는 비연결이다 — "유계인 수열들의 집합"과 "무계인 수열들의 집합"이 상자위상에서 둘 다 열려 있어 분리를 이룬다(직관: 상자위상은 각 좌표에서 독립적으로 너무 많은 정보를 구별해, 점들 사이의 "연속적 변형 경로"를 끊어버린다).

흔한 오해와 함정

• "무한 곱에서도 상자위상이 더 자연스러우니 써도 된다" — 예제 2·6이 보여주듯 상자위상은 함수의 연속성·연결성·콤팩트성 같은 가장 기본적인 좋은 성질들을 모두 깨뜨린다. "자연스러워 보임"과 "수학적으로 유용함"이 갈라지는 대표적 사례.
• "기저원소가 $\prod U_\alpha$ 꼴이니 임의로 많은 좌표를 제약해도 된다" — 곱위상의 기저원소는 반드시 유한 개를 제외하고 $U_\alpha=X_\alpha$여야 한다. 이 "유한"이라는 제약을 빠뜨리면 상자위상과 혼동하게 된다.
• "$\overline{\prod A_\alpha}=\prod\overline{A_\alpha}$가 상자위상에서도 성립한다" — 곱위상에서만 일반적으로 깔끔하게 성립(증명이 유한 제약 구조에 의존). 상자위상에서는 더 미묘하다.
• "Tychonoff 정리가 상자위상에도 적용된다" — 전혀 아니다. Tychonoff 정리(임의 곱의 콤팩트성)는 곱위상에 대한 정리이며, 상자위상에서는 일반적으로 거짓이다. "콤팩트 공간들의 곱은 콤팩트"라는 말을 들으면 항상 곱위상을 전제하고 있다고 가정해야 한다.
• 유한 곱과 무한 곱의 직관을 그대로 연장 — 부분·순서·유한곱 위상에서 본 유한곱의 직관(열린 직사각형)은 무한곱에서 상자위상의 직관과 일치하지만, 그것이 틀린 일반화라는 것이 이 페이지의 핵심 메시지다.

큰 그림 / 연결

부분·순서·유한곱 위상의 유한곱이 $J$가 유한인 특수 경우이고, 곱위상과 상자위상이 일치하는 유일한 경우다. 기저와 부분기저의 부분기저 메커니즘이 정확히 곱위상의 "유한 제약" 구조를 만들어내는 엔진이다. tychonoff theorem은 곱위상에서 콤팩트성이 보존된다는, 일반위상에서 가장 깊고 중요한 정리 중 하나이며 증명에 선택공리(또는 동치 명제)가 필수적이다. 거리위상에서 가산 곱은 거리화가능함을 보았는데, 이때도 항상 곱위상을 전제한다(상자위상에서 가산 곱조차 거리화에 실패할 수 있다). 함수해석학에서 약위상·약*위상이 모두 이 곱위상(점별수렴) 메커니즘의 일반화다.

연습문제

1. $\mathbb{R}^\omega$ 곱위상에서 $f(t)=(t,t,\dots)$가 연속임을 (성분 판정으로) 보여라.
2. 같은 $f$가 상자위상에서 불연속임을 보여라.
3. 곱위상에서 $\overline{\prod A_\alpha}=\prod\overline{A_\alpha}$를 증명하라.
4. $\{0,1\}^\omega$(Cantor 집합과 위상동형)가 곱위상에서 콤팩트임을 설명하라.
5. 상자위상에서 $\mathbb{R}^\omega$가 비연결임을, "유계 수열"과 "무계 수열"의 분리로 보여라.
6. 곱위상이 사영을 모두 연속이게 하는 가장 거친 위상임을 증명하라.
7. $J$가 유한일 때 곱위상과 상자위상이 일치함을 보여라.

관련 개념

• 부분·순서·유한곱 위상 — 유한 곱
• tychonoff theorem — 곱위상의 정수, 콤팩트성 보존
• 기저와 부분기저 — 부분기저로 곱위상을 정의하는 메커니즘
• 연속사상과 위상동형 — 성분 연속 판정
• 콤팩트성 — 곱의 콤팩트성
• 거리위상 — 가산 곱의 거리화가능성