τ위상수학
VI. 가산·분리공리와 거리화 · 15/16

우리손 거리화 정리

우리손 보조정리에서 거리화까지

읽음 0/0 갱신 2026-06-30

개요 — 동기·문제의식

위상수학의 가장 근본적인 질문 중 하나: "어떤 위상공간이 거리에서 오는가?" 거리에서 온 위상(거리위상)은 Hausdorff·정규·제1가산 같은 좋은 성질을 자동으로 가지지만, 역으로 그런 좋은 성질을 가진 공간이 항상 어떤 거리의 위상인지는 전혀 자명하지 않다. Urysohn 거리화정리는 이 질문에 대한 가장 유명하고 우아한 충분조건을 제시한다: 정규(또는 정칙)이고 제2가산인 공간은 거리화가능하다.

이 정리의 증명이 아름다운 이유는 앞선 두 페이지의 도구를 완벽하게 재조립하기 때문이다 — urysohn lemma가 만든 연속함수들을 가산공리의 가산 기저 덕분에 가산 개만 모아 좌표로 삼고, 그 좌표들을 통째로 하나의 사상으로 묶어 공간을 이미 거리화가능하다고 알려진 표준공간($\mathbb{R}^\omega$ 또는 Hilbert 큐브 $[0,1]^\omega$)에 매장(imbedding)한다. 결론은 심오하다 — "위상적으로 충분히 좋은 공간은 결국 거리공간의 부분공간에 지나지 않는다."

직관 (그림으로 보는 거리화정리)

거리를 만든다는 것은 결국 "각 점에 좌표를 매기고, 그 좌표들 사이의 유클리드(또는 유사) 거리로 원래의 위상을 재현한다"는 뜻이다. Urysohn 보조정리가 주는 각 함수 $g_{n,m}:X\to[0,1]$는 공간을 실수직선 위로 "투영"하는 하나의 좌표축이다 — 한 함수만으로는 공간의 서로 다른 두 점을 구별하지 못할 수 있지만(투영이 겹칠 수 있으므로), 가산 개의 서로 다른 각도에서 투영을 모으면 마치 여러 각도의 그림자를 합쳐 3차원 물체를 재구성하듯 원래 위상을 완전히 복원할 수 있다는 것이 이 정리의 그림이다.

왜 하필 가산 개가 충분한가? 제2가산성이 정확히 "가산 개의 기저원소만으로 위상 전체를 기술할 수 있다"는 뜻이었으므로(가산공리), 그 가산 기저에 맞춰 가산 개의 Urysohn 함수를 준비하면 그것으로 충분하다 — 위상을 기술하는 데 필요한 정보의 "양"과 좌표축의 "개수"가 정확히 일치한다.

정의 / 진술

Urysohn 거리화정리.1 정칙이고 제2가산인 위상공간(동치로, $T_1$을 전제하면: 정규 + 제2가산)은 거리화가능하다.

매장정리(imbedding) 형태. 그런 공간은 Hilbert 큐브 $[0,1]^\omega=\prod_{n=1}^\infty[0,1]$(곱위상, 거리위상에서 이미 거리화가능함이 확인된 공간)에 위상적으로 매장된다 — 즉 $X$와 어떤 부분공간 $Y\subseteq[0,1]^\omega$ 사이에 위상동형사상이 존재.

용어 정리. "매장(imbedding)"이란 단사·연속이며 상으로의 위상동형인 함수를 말한다(연속사상과 위상동형 참고) — 전사가 아니어도 되므로 정확히는 "$X$가 $[0,1]^\omega$ 안에 위상적 복사본으로 들어간다"는 뜻이다.

주요 정리

정리 (Urysohn 거리화, Munkres §34).1 위 진술이 성립한다.

증명 보기

증명. 1. 정칙 + 제2가산 ⟹ 정규. 증명 스케치. 제2가산 ⟹ Lindelöf(가산공리). 정칙 + Lindelöf 공간에서 서로소 닫힌집합 $A,B$가 주어지면, 정칙성으로 각 $a\in A$를 $B$를 피하는 열린근방 $V_a$로 둘러쌀 수 있고(폐포가 $B$와 만나지 않도록), $\{V_a\}$가 $A$의 열린덮개이므로 $A$ 자체가 (닫힌 부분공간으로서, Lindelöf성이 닫힌 부분공간에 유전되어) 가산 부분덮개 $\{V_{a_i}\}$를 가진다. $B$에 대해서도 대칭적으로 $\{W_{b_j}\}$를 얻은 뒤, $U_n = V_{a_n}\setminus\bigcup_{i\le n}\overline{W_{b_i}}$, $V_n=W_{b_n}\setminus\bigcup_{i\le n}\overline{V_{a_i}}$로 "깎아내기"를 하면 $\bigcup U_n\supseteq A$, $\bigcup V_n\supseteq B$가 서로소 열린집합이 된다(각 항에서 폐포를 미리 제거했으므로). 2. 가산 개의 분리 함수족 구성. 가산 기저 $\{B_n\}$에서, $\overline{B_n}\subseteq B_m$인 쌍 $(n,m)$의 모임을 $\{(n_k,m_k)\}_{k\in\mathbb{N}}$로 나열(가산 기저의 쌍이므로 가산). 각 쌍에 urysohn lemma를 $A=\overline{B_{n_k}}$, $B=X\setminus B_{m_k}$(서로소 닫힌집합, 정규성 확보됨)에 적용해 $g_k:X\to[0,1]$을 얻는다($\overline{B_{n_k}}$에서 1, $X\setminus B_{m_k}$에서 0). - 분리성 확인. 이 함수족 $\{g_k\}$는 "점과 닫힌집합을 분리"한다: 임의의 $x_0$과 그를 포함하지 않는 닫힌집합 $C$에 대해, $x_0\in B_m\subseteq X\setminus C$인 기저원소 $B_m$을 고르고(기저의 정의), 정칙성으로 $x_0\in B_n\subseteq\overline{B_n}\subseteq B_m$인 더 작은 기저원소 $B_n$을 끼워넣으면(폐포 축소형), 이 $(n,m)$ 쌍에 대응하는 $g_k$가 $g_k(x_0)=1$, $g_k(C)=0$(사실 $g_k(X\setminus B_m)=0\supseteq g_k(C)$)을 만족. 3. 매장 사상. $F(x)=(g_k(x))_{k\in\mathbb{N}}:X\to[0,1]^\omega$로 정의. - 연속: 각 좌표함수 $g_k$가 연속이므로 곱위상의 보편성질에 의해 $F$ 연속. - 단사: $x\ne y$이면 $\{y\}$가 닫힌집합($T_1$, 정칙 가정에 포함)이고 $x\notin\{y\}$이므로 2단계의 분리성으로 어떤 $g_k(x)=1\ne 0=g_k(y)$ (또는 유사) ⟹ $F(x)\ne F(y)$. - 상으로의 위상동형: $F$가 열린사상임을 보이면 충분(연속 전단사가 열린사상이면 역함수도 연속). 임의의 열린 $U\subseteq X$와 $x_0\in U$에서, 2단계의 분리성을 $C=X\setminus U$에 적용해 얻은 $g_k$가 $g_k(x_0)=1$이고 $g_k(X\setminus U)=0$을 만족 ⟹ $F(x_0)$의 $k$번째 좌표가 $0$보다 큰 좌표들의 열린집합(곱위상에서의 기저원소)이 $F(U)$ 안에 들어감을 보여 $F(U)$가 $F(X)$에서 열림. 4. $[0,1]^\omega$가 거리화가능(거리위상의 곱거리 $D(x,y)=\sup_i\min\{|x_i-y_i|,1\}/i$)이므로, 그 부분공간 $F(X)$도 거리화가능하고, $F$가 위상동형이므로 $X$도 거리화가능. ∎

정리의 위치 — 충분조건일 뿐. 이 정리는 거리화가능성의 충분조건이다. 필요충분조건은 더 일반적인 Nagata–Smirnov 거리화정리(정칙 + $\sigma$-국소유한 기저를 가짐)와 Bing 거리화정리가 준다 — 제2가산이라는 (다소 제한적인) 조건 없이도 거리화를 정확히 특징짓는다.[synthesis] Urysohn 정리는 Nagata–Smirnov의 특수한 경우로 볼 수 있다(가산 기저는 자명하게 $\sigma$-국소유한 기저이므로).

따름정리 (콤팩트 Hausdorff의 경우). 콤팩트 Hausdorff 공간이 제2가산 $\iff$ 거리화가능.

증명 보기

증명 스케치. (⟹) 콤팩트 Hausdorff ⟹ 정규(콤팩트성), 정규 + 제2가산 ⟹ Urysohn 거리화정리 적용. (⟸) 거리화가능 콤팩트 공간은 가산공리에서 본 "거리공간에서 콤팩트 ⟹ 전유계 ⟹ 가분 ⟺ 제2가산"의 연쇄로 자동.

예제

예제 1 (다양체, 대표적 응용).[synthesis] 위상다양체(국소적으로 유클리드 공간과 위상동형 + Hausdorff + 제2가산, 미분기하 표준 정의)는 국소 유클리드성에서 정칙성이(각 점이 유클리드 근방을 가지므로 국소적으로 거리화가능한 성질을 물려받음) 나오고 제2가산은 정의에 포함되므로, Urysohn 거리화정리로 거리화가능함이 보장된다. 미분기하에서 다양체를 거리공간(리만 계량)으로 다룰 수 있는 위상적 근거가 바로 이 정리다.

예제 2 (거리화 실패 — 가설 중 하나가 깨짐).2 $\mathbb{R}_\ell$(하한위상)은 정규(가산공리에서 Lindelöf임을 보였고 정칙이므로 정규)이지만 제2가산이 아니다(같은 페이지에서 증명) ⟹ Urysohn 정리의 가설이 불충족. 실제로 $\mathbb{R}_\ell$은 거리화 불가능이다 — 만약 거리화가능하다면 거리공간에서는 가분 ⟺ 제2가산인데, $\mathbb{R}_\ell$은 가분($\mathbb{Q}$ 조밀)이므로 제2가산이어야 하지만 그렇지 않다는 모순. 이는 Urysohn 정리가 충분조건일 뿐 필요조건은 아님을 보여주는 것이 아니라 — 정확히는 제2가산이 빠지면 정리 자체가 적용되지 않고, 이 특정 예시에서는 실제로 거리화가 불가능함을 별도 논증(가분⟺제2가산 동치의 대우)으로 확인한 것이다.

예제 3 (Hilbert 큐브 매장, 보편성).[synthesis] 모든 콤팩트 거리공간은 (분리가능하므로 제2가산, 콤팩트 Hausdorff는 정규이므로) Urysohn 거리화정리의 증명 과정을 그대로 밟아 Hilbert 큐브 $[0,1]^\omega$에 매장된다 — Hilbert 큐브가 "보편 콤팩트 거리공간"이라 불리는 이유이며, 임의의 콤팩트 거리공간을 다룰 때 "일반성을 잃지 않고 $[0,1]^\omega$의 부분공간으로 놓고 시작하자"는 표준 기법의 근거가 된다.

예제 4 (제2가산이 없어도 거리화되는 경우 — 정리의 한계).[synthesis] 비가산 이산공간은 명백히 거리화가능(거리 $d(x,y)=1\ (x\ne y)$)이지만 제2가산이 아니다(가산공리 예제 3). 이는 Urysohn 거리화정리의 가설이 필요조건이 아님을 보여주는 결정적 사례 — 제2가산 없이도 거리화되는 공간이 존재하므로, Nagata–Smirnov의 더 정교한 조건(σ-국소유한 기저)이 왜 필요한지를 예증한다(비가산 이산공간은 σ-국소유한 기저 — 각 $\{x\}$ 자체가 국소유한족 — 를 가지므로 Nagata–Smirnov는 통과한다).

흔한 오해와 함정

큰 그림 / 연결

Urysohn 거리화정리는 이 위키의 두 축이 합쳐지는 지점이다 — 분리공리의 정규성(닫힌집합을 여는 힘)과 가산공리의 제2가산성(가산 개의 정보로 충분함)이 만나 urysohn lemma의 함수들을 좌표로 삼는다. 곱위상에서 다룬 곱위상의 보편성질이 매장 사상 $F$의 연속성을 보장하는 핵심 도구이며, Hilbert 큐브가 곱위상에서만 거리화가능하다는 사실(상자위상에서는 실패)이 왜 이 위키가 곱위상을 "올바른" 위상으로 강조하는지 다시 한번 확인해준다. tychonoff theorem과 짝을 이루어 — Tychonoff가 "콤팩트성이 곱에서 보존된다"고 말한다면 이 정리는 "거리화가능성이 (제2가산 조건 아래) 매장으로 보존된다"고 말한다. 미분기하의 다양체 정의(Hausdorff + 제2가산 + 국소 유클리드)가 정확히 이 정리의 가설을 만족하도록 설계되었다는 사실도 흥미롭다 — 다양체가 거리공간(리만 계량)으로 다뤄질 수 있는 이유의 위상적 뿌리가 여기에 있다.

연습문제

  1. 정칙+제2가산 ⟹ 정규임을 (Lindelöf 경유) 증명의 개요를 서술하라.
  2. $[0,1]^\omega$가 거리화가능함을 명시적 거리 공식으로 보여라.
  3. 콤팩트 Hausdorff + 제2가산 ⟹ 거리화가능을 유도하라.
  4. $\mathbb{R}_\ell$이 거리화 불가임을 (제2가산 실패 + 거리공간의 가분⟺제2가산) 논하라.
  5. 매장 사상 $F$가 단사임을 본문의 2단계(분리성)로부터 증명하라.
  6. 매장 사상 $F$가 열린사상임을 보이는 논법에서, 왜 "정칙성"(닫힌집합이 아니라 폐포 축소형)이 핵심적으로 쓰이는지 설명하라.
  7. 비가산 이산공간이 거리화가능하지만 제2가산이 아님을 확인하고, 이것이 정리의 가설이 필요조건이 아니라는 것과 어떻게 양립하는지 설명하라.
  8. Nagata–Smirnov 정리(σ-국소유한 기저)가 Urysohn 정리를 일반화한다는 것을, 가산 기저가 자명하게 σ-국소유한임을 보여 확인하라.
힌트 / 정답
  1. 제2가산 ⟹ Lindelöf(각 열린덮개를 기저원소 단위로 재구성하면 가산 부분덮개). 정칙+Lindelöf ⟹ 정규: 서로소 닫힌 $A,B$를 정칙성으로 각 점 단위 열린근방(폐포가 상대방을 피함)으로 감싼 뒤 Lindelöf성으로 가산 개로 추리고, "깎아내기"(각 항에서 앞선 항들의 폐포를 제거)로 서로소인 두 열린 합집합을 만든다(본문 참고).
  2. $D(x,y)=\sup_{i\ge1}\dfrac{\min\{|x_i-y_i|,1\}}{i}$ (또는 $\sum_i 2^{-i}\min\{|x_i-y_i|,1\}$)가 거리함수임을 삼각부등식으로 확인하고, 이 거리에서 나온 위상이 곱위상과 일치함을 기저원소 대응으로 확인.
  3. 콤팩트 Hausdorff ⟹ 정규(콤팩트성) ⟹ (제2가산 가정과 결합해) 정규+제2가산 ⟹ Urysohn 거리화정리 적용 ⟹ 거리화가능.
  4. $\mathbb{R}_\ell$이 거리화가능하다고 가정하면, 거리공간에서는 가분 ⟺ 제2가산인데 $\mathbb{R}_\ell$은 가분($\mathbb{Q}$ 조밀)이지만 제2가산이 아님(별도 증명, 가산공리 참고) ⟹ 모순 ⟹ 거리화 불가능.
  5. $x\ne y$. $\{y\}$가 닫힌집합($T_1$)이고 $x\notin\{y\}$이므로 분리성에 의해 어떤 $g_k$가 $g_k(x)=1$, $g_k(\{y\})=g_k(y)=0$을 만족(구성에서 $x_0=x$, $C=\{y\}$로 적용) ⟹ $F(x)$와 $F(y)$가 $k$번째 좌표에서 다름 ⟹ $F(x)\ne F(y)$.
  6. 정칙성의 폐포 축소형이 "$x_0\in B_n\subseteq\overline{B_n}\subseteq B_m$"이라는 여유 공간을 가진 기저원소의 존재를 보장하기 때문이다 — 단순히 닫힌집합과 분리하는 것을 넘어, 그 분리가 기저원소 레벨에서 "폐포째" 이루어져야 2단계에서 $(n,m)$ 쌍에 대응하는 Urysohn 함수를 만들 수 있다. 정칙성이 없으면 이런 폐포 축소가 보장되지 않아 매장 사상 자체를 구성할 수 없다.
  7. 이산거리 $d(x,y)=1(x\ne y)$가 이산위상을 유도하므로 거리화가능. 그러나 (비가산이면) 제2가산이 아님(가산공리). 양립 가능한 이유: Urysohn 거리화정리는 "정규+제2가산 ⟹ 거리화가능"이라는 한쪽 방향 함의(충분조건)만 주장하므로, 가설이 깨진 공간이 결론(거리화가능)을 만족하는 것은 전혀 모순이 아니다 — 단지 그 공간에는 이 정리가 적용되지 않을 뿐, 다른 이유로 거리화될 수 있다.
  8. σ-국소유한족이란 가산 개의 국소유한족들의 합집합으로 표현되는 모임. 가산 기저 $\{B_n\}_{n\in\mathbb{N}}$ 자체를 "각 $n$마다 단일원소족 $\{B_n\}$"이라는 (자명하게 국소유한인, 원소가 하나뿐이므로) 국소유한족들의 가산 합집합으로 볼 수 있으므로 가산 기저는 자동으로 σ-국소유한 기저 ⟹ Nagata–Smirnov의 가설이 Urysohn의 가설을 포함(일반화).

관련 개념

  1. 원전 소개 — Munkres §34 — "Theorem 34.1 (Urysohn metrization theorem). Every regular space X with a countable basis is metrizable." Proof imbeds X in ℝ^ω (or [0,1]^ω) via countably many Urysohn functions indexed by pairs (n,m) with closure(B_n) ⊆ B_m from a countable basis. Nagata–Smirnov theorem (§40-42) gives a necessary-and-sufficient version via σ-locally finite bases. ↩↩

  2. 원전 소개 — Munkres §30 — the lower limit topology ℝ_ℓ is regular, separable, and Lindelöf, but not second-countable; combined with the metric-space equivalence separable ⟺ second-countable, ℝ_ℓ is not metrizable. ↩