VI. 가산·분리공리와 거리화 · 13/16

가산공리

제1·제2가산, 가분성, 린델뢰프

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

개요 — 동기·문제의식

거리공간에서는 "수열만 있으면 위상을 전부 다룰 수 있다" — 폐포도, 연속성도 수열의 극한으로 판정된다. 그런데 일반 위상공간에서는 이게 깨진다: 수열이 위상을 다 포착하지 못하는 병리적 공간이 존재한다. 가산공리(countability axioms)는 "이 공간이 수열로 다뤄질 만큼 충분히 작은(가산적인) 자료로 기술되는가"를 정확히 측정해, 거리공간의 좋은 성질이 어디까지 일반화되는지 그 경계선을 긋는다.

네 가지 조건 — 제1가산, 제2가산, 가분(separable), Lindelöf — 은 서로 다른 각도에서 "가산성"을 요구하지만 강도가 다르다. 제2가산이 가장 강하며 나머지 셋을 전부 함의한다. 이 페이지의 핵심 메시지는 두 가지다: (1) 일반 공간에서는 이 네 조건이 진짜로 서로 다르다(반례가 각 함의의 역을 깬다), (2) 거리공간이라는 특수한 세계에서는 이 넷이 전부 하나로 붕괴한다(제2가산 ⟺ 가분 ⟺ Lindelöf). 이 조건들은 우리손 거리화 정리의 핵심 가설이기도 하다 — "정규 + 제2가산 ⟹ 거리화가능"이라는 정리에서 제2가산이 정확히 이 페이지의 주인공이다.

직관 (그림으로 보는 가산성)

제1가산은 "각 점 근처를 촘촘히 조여드는 가산 개의 자(ruler)"가 있다는 뜻이다 — 거리공간에서 $B(x,1/n)$들이 정확히 그 역할을 한다. 이 자만 있으면 "$x$에 충분히 가깝다"는 말을 수열 $x_n\to x$로 완전히 번역할 수 있다.

제2가산은 훨씬 강한 요구다 — 각 점마다 따로 자를 주는 게 아니라, 공간 전체를 가산 개의 "벽돌"로 조립할 수 있어야 한다. $\mathbb{R}^n$에서 유리수 중심·유리수 반지름의 공들이 이 벽돌이다. 벽돌이 가산 개뿐이니 그로부터 자연히 "가산 개의 벽돌에서 대표점 하나씩 뽑으면 조밀한 가산집합이 된다"(가분성)와 "임의의 덮개도 벽돌 단위로 재구성하면 가산 개로 충분하다"(Lindelöf)가 따라 나온다 — 제2가산이 "만능 스위스 군용칼"인 이유다.

정의

제1가산(first-countable):¹ 각 점 $x\in X$가 가산 근방기저를 가짐 — 가산개의 근방 $\{B_n(x)\}_{n\in\mathbb{N}}$이 있어, $x$의 임의의 근방 $U$에 대해 어떤 $B_n(x)\subseteq U$. (흔히 $B_1\supseteq B_2\supseteq\cdots$로 감소하게 잡을 수 있다 — $B_1\cap\cdots\cap B_n$으로 대체.)
제2가산(second-countable): 위상 $X$ 전체가 가산 기저를 가짐 — 기저 $\mathcal{B}$가 가산집합.
가분(separable): 가산 조밀집합이 존재 — $D\subseteq X$ 가산이고 $\overline{D}=X$.
Lindelöf: 모든 열린덮개가 가산 부분덮개를 가짐(콤팩트성의 "유한"을 "가산"으로 완화한 사촌).

표기 주의. 제1가산·제2가산의 "제1/제2"는 순서를 나타내는 이름일 뿐 강도의 크기와 방향이 헷갈리기 쉽다 — 제2가산이 제1가산보다 강하다(전체 위상을 가산 기저로 조립 ⟹ 각 점의 근방기저도 자동으로 가산, 그 점을 포함하는 기저원소들만 추리면 됨).

주요 정리

정리 (제2가산 ⟹ 나머지 전부, Munkres §30).¹ $X$가 제2가산이면: 1. 가분. 증명. 가산 기저 $\{B_n\}$의 각 $B_n$($\ne\varnothing$)에서 점 $x_n$을 하나씩 고른다. $D=\{x_n\}$은 가산. $D$가 조밀함을 보이려면 임의의 비공 열린 $U$가 $D$와 만남을 보이면 되는데, $U\supseteq B_n$인 $n$이 존재(기저의 정의)하므로 $x_n\in U\cap D$. ∎ 2. Lindelöf. 증명. 열린덮개 $\{A_\alpha\}$가 있을 때, 각 $x\in X$에 대해 $x\in A_{\alpha}$인 $\alpha$를 하나 고르고 $x\in B_n\subseteq A_\alpha$인 기저원소 $B_n$을 고른다. 이렇게 얻는 기저원소는 가산 개뿐(전체 기저가 가산이므로)이므로, 각 기저원소에 대응하는 $A_\alpha$ 하나씩만 모으면 가산 부분덮개. ∎ 3. 제1가산. 증명. $x$를 포함하는 기저원소들만 추리면 가산(전체 기저가 가산이므로 부분집합도 가산)이고 근방기저의 조건을 만족. ∎

일반적으로 역은 전부 거짓 — 아래 예제에서 반례를 확인한다. 그러나:

정리 (거리공간에서는 전부 동치, Munkres §30 연습문제 계열).[synthesis] 거리공간 $(X,d)$에서: 제2가산 $\iff$ 가분 $\iff$ Lindelöf.

증명 보기

증명 스케치. 제2가산 ⟹ 가분·Lindelöf는 위 정리로 일반 공간에서도 성립. 남은 것은 (가분 ⟹ 제2가산)과 (Lindelöf ⟹ 제2가산): - 가분 ⟹ 제2가산: $D=\{d_1,d_2,\dots\}$ 가산 조밀. $\mathcal{B}=\{B(d_i,1/n):i,n\in\mathbb{N}\}$은 가산(가산×가산). 임의의 열린 $U$와 $x\in U$에 대해 $B(x,\varepsilon)\subseteq U$인 $\varepsilon$을 잡고, $1/n<\varepsilon/2$인 $n$과 $d(x,d_i)<1/n$인 $d_i\in D$(조밀성)를 고르면 $x\in B(d_i,1/n)\subseteq B(x,\varepsilon)\subseteq U$(삼각부등식) ⟹ $\mathcal{B}$가 기저. - Lindelöf ⟹ 제2가산: 각 $n$에 대해 $\{B(x,1/n):x\in X\}$가 열린덮개이므로 Lindelöf성으로 가산 부분덮개 $\{B(x_i^{(n)},1/n)\}_i$를 얻는다. 이 공들 전부(모든 $n$에 대해)를 모으면 가산 기저가 됨을 위와 비슷하게 확인. ∎

이 정리는 왜 거리공간에서는 "수열만으로 충분하다"는 직관이 정확히 맞아떨어지는지 설명한다 — 네 조건이 붕괴해 하나가 되기 때문이다.

정리 (제1가산에서 수열이 위상을 결정, Munkres Thm 30.1 계열).² $X$가 제1가산이면: - $x\in\overline{A}\iff$ $A$의 어떤 수열이 $x$로 수렴. - $f:X\to Y$가 연속 $\iff$ $f$가 수열연속(모든 수렴수열 $x_n\to x$에 대해 $f(x_n)\to f(x)$).

증명 보기

증명 스케치 (⟹ 방향, 폐포). $x\in\overline A$이면 감소하는 근방기저 $B_1\supseteq B_2\supseteq\cdots$의 각 $B_n$이 $A$와 만남(폐포의 정의) ⟹ $a_n\in B_n\cap A$를 고르면 $a_n\to x$(임의의 근방 $U\supseteq B_n$ some $n$ 이후 $a_m\in B_m\subseteq B_n\subseteq U$). 일반 공간에서는 근방기저가 비가산일 수 있어 이런 "대각선" 선택이 불가능 — 제1가산이 본질적으로 쓰인다.

정리 (유전성·곱). 제2가산은 부분공간·가산 곱으로 유전(기저의 교집합·곱을 가산 개만 모으면 됨). 가분성은 부분공간으로 일반적으로 유전되지 않으나 열린 부분공간으로는 유전되고, 연속상·가산곱으로는 보존. Lindelöf는 부분공간으로 일반적으로 유전되지 않으나 닫힌 부분공간으로는 유전.

예제

예제 1 ($\mathbb{R}^n$, 모범 사례). $\mathbb{R}^n$은 제2가산: 유리수 좌표 중심·유리수 반지름 공들의 모임이 가산 기저(가산×가산×가산 = 가산). ⟹ 자동으로 가분($\mathbb{Q}^n$이 조밀)이고 Lindelöf.

예제 2 (하한위상 $\mathbb{R}_\ell$, 가분 ≠ 제2가산의 표준 반례).¹ $\mathbb{R}_\ell$(기저: $[a,b)$ 꼴 반열린구간)은 제1가산(각 $x$에 $\{[x,x+\tfrac1n)\}_n$), 가분($\mathbb{Q}$가 조밀 — 임의의 $[a,b)$가 유리수를 포함), Lindelöf(Munkres §30에서 직접 증명)이지만 제2가산이 아니다 — 만약 가산 기저 $\{B_n\}$이 있다면 각 $x$에 대해 $x\in B_n\subseteq[x,x+1)$인 $B_n$을 고르는 함수 $x\mapsto n(x)$가 단사여야 하는데(서로 다른 $x,y$에 같은 $B_n$이 대응하면 $B_n\subseteq[x,x+1)\cap[y,y+1)$인데 $B_n$의 왼쪽 끝이 $x$ 또는 $y$ 중 하나와 같아야 하므로 모순), 비가산 $\mathbb{R}$에서 가산 $\{B_n\}$으로의 단사가 불가능 — 모순. 가분성이 제2가산을 함의하지 않는다는 것을 보여주는 정전(canonical) 반례.

예제 3 (비가산 이산공간, 여러 함의가 동시에 깨짐). 비가산 이산공간 $X$는 제1가산(각 점의 근방기저는 $\{\{x\}\}$ 하나로 충분, 자명하게 가산)이지만 제2가산이 아니다(모든 단원소집합 $\{x\}$가 기저에 있어야 하는데, 단원소집합보다 작은 열린집합이 없으므로 어떤 기저도 모든 $\{x\}$를 포함해야 함 ⟹ 비가산 기저 필요). 가분도 아니다(임의의 조밀집합은 전체와 같아야 함 — 이산공간에서는 모든 부분집합이 닫혀 있으므로 $\overline D=D$, $\overline D=X\Rightarrow D=X$). Lindelöf도 아니다(예제 4의 논법과 동일 — $\{\{x\}\}$가 가산 부분덮개를 가질 수 없음).

예제 4 (Sorgenfrey 평면, 가분 ⇏ Lindelöf).³ $\mathbb{R}_\ell\times\mathbb{R}_\ell$(각 인자가 하한위상)은 가분($\mathbb{Q}\times\mathbb{Q}$ 조밀)이지만 Lindelöf가 아니다. 반대각선 $L=\{(x,-x):x\in\mathbb{R}\}$이 이 곱공간에서 닫혀 있고 이산인 비가산 부분집합이 되기 때문이다(각 $(x,-x)$의 근방 $[x,x+\varepsilon)\times[-x,-x+\varepsilon)$가 $L$과 정확히 그 점 하나에서만 만남을 직접 확인 가능). 닫힌 부분공간은 Lindelöf성을 유전받아야 하는데, 비가산 이산공간은(예제 3) Lindelöf가 아니므로 $\mathbb{R}_\ell\times\mathbb{R}_\ell$ 자체도 Lindelöf일 수 없다. 가분성이 곱으로 보존되지만 Lindelöf성은 곱으로 보존되지 않는다는 사실도 동시에 드러낸다(각 $\mathbb{R}_\ell$은 Lindelöf인데 곱은 아니므로).

예제 5 (제1가산이나 제2가산이 아닌 경우와 완비거리공간의 관계).[synthesis] 임의의 무한집합 위의 이산거리공간(거리 $d(x,y)=1\ (x\ne y)$)은 제1가산(거리공간은 항상 제1가산 — $B(x,1/n)$이 근방기저)이지만, 만약 비가산이면 제2가산이 아니다. 그런데 거리공간에서는 제2가산 ⟺ 가분이므로, 이는 동시에 "이 공간이 가분이 아니다"라는 것도 알려준다 — 비가산 이산거리공간은 조밀한 가산집합을 가질 수 없다(모든 점이 서로 고립).

흔한 오해와 함정

"가분이면 제2가산이다" — 일반적으로 거짓(예제 2, $\mathbb{R}_\ell$). 거리공간이라는 조건이 있어야만 성립한다. 이 함정이 가장 흔하다 — 미적분·해석학에서 배운 직관($\mathbb{R}^n$)이 거리공간 세계에 국한된 우연의 일치임을 잊기 쉽다.
"Lindelöf는 콤팩트의 약한 버전이니 부분공간으로 유전될 것이다" — 거짓. 콤팩트성도 부분공간으로 일반적으로 유전되지 않지만(닫힌 부분공간만), Lindelöf 역시 마찬가지로 닫힌 부분공간에서만 유전이 보장된다. 예제 4의 반대각선(닫힌 이산 비가산 부분집합)이 정확히 이 실패를 보여준다.
"제1가산이면 수열로 다 된다는 것은 임의의 위상 성질에 적용된다" — 부분적으로만 맞다. 폐포·연속성 같은 국소적 성질은 제1가산에서 수열로 특징지을 수 있지만, 콤팩트성 같은 전역적 성질은 제1가산만으로는 수열콤팩트와 동치가 되지 않는다(별도로 콤팩트성의 변형들에서 다룬다).
"제2가산 = 위상이 '작다'는 뜻이므로 공간 자체가 작아야 한다" — 오해. $[0,1]^\omega$(Hilbert 큐브)나 $\mathbb{R}^\omega$처럼 원소 개수(농도)는 비가산인 공간도 제2가산일 수 있다 — 제2가산은 기저의 크기에 대한 조건이지 점의 개수에 대한 조건이 아니다.
"제1가산·제2가산의 이름 순서가 강도 순서와 반대다" 라는 착각 — 이름의 숫자가 작을수록(제1) 약한 조건이라고 무의식적으로 생각하기 쉬우나 실제로는 제2가산이 제1가산을 함의하므로 제2가산이 더 강한 조건이다. 이름은 "몇 번째로 소개된 공리"가 아니라 관용적 명칭일 뿐임을 기억할 것.

큰 그림 / 연결

가산공리는 거리위상의 "수열로 충분하다"는 편리함이 정확히 어디까지 성립하는지 그 경계를 긋는 역할을 한다 — 거리공간에서 네 조건이 붕괴해 하나가 된다는 사실이, 왜 미적분·해석학 교재가 "위상"을 명시하지 않고도 수열만으로 모든 것을 서술할 수 있었는지 설명한다. 우리손 거리화 정리에서는 제2가산이 정규성과 결합해 거리화가능성의 충분조건을 이루며, 그 증명(가산 개의 Urysohn 함수를 좌표로 매장)이 정확히 "제2가산 ⟹ 가산 개의 자료로 충분히 기술 가능"이라는 이 페이지의 주제를 이용한다. 기저와 부분기저에서 정의한 기저 개념이 제2가산의 토대이며, 분리공리와 짝을 이루어 거리화정리의 두 축(분리 축 + 가산 축)을 완성한다. 콤팩트성의 Lindelöf 정리(콤팩트 ⟹ Lindelöf, 콤팩트는 "유한"을 요구하고 Lindelöf는 "가산"만 요구하므로 약화)와도 자연스럽게 연결된다. 해석학에서는 가분 Banach/Hilbert 공간(가산 정규직교기저를 갖는 공간)이 이 페이지의 가분성 개념의 직접적 응용이다.

연습문제

$\mathbb{R}$이 제2가산임을 가산 기저를 명시적으로 제시해 보여라.
거리공간에서 제2가산 ⟺ 가분임을 (본문의 스케치를 채워서) 증명하라.
비가산 이산공간이 Lindelöf가 아님을 증명하라.
제1가산 공간에서 폐포가 수열로 특징지어짐을 증명하라(본문 정리의 증명을 완성하라).
$\mathbb{R}_\ell$이 제2가산이 아님을 증명하라(예제 2의 논법을 재구성하라).
제2가산 공간의 부분공간이 제2가산임을 증명하라.
가분성이 연속상으로 보존됨을 증명하라 ($f:X\to Y$ 연속전사, $X$ 가분이면 $Y$ 가분).
두 개의 제2가산 공간의 곱이 제2가산임을 증명하고, 이 논법이 왜 유한(또는 가산) 곱에서만 통하는지 설명하라.

힌트 / 정답

$\mathcal{B}=\{(p,q):p<q,\ p,q\in\mathbb{Q}\}$ — $\mathbb{Q}\times\mathbb{Q}$와 크기가 같으므로 가산이고, 임의의 열린구간(따라서 임의의 열린집합)이 이런 구간들의 합집합으로 표현되므로 기저.
(⟹) 본문의 "제2가산 ⟹ 가분" 증명 참조. (⟸) 가산 조밀 $D=\{d_i\}$에서 $\mathcal{B}=\{B(d_i,1/n)\}$이 가산 기저임을 삼각부등식으로 확인(본문 증명).
$X$ 비가산 이산. 덮개 $\{\{x\}:x\in X\}$에서 어떤 가산 부분족 $\{\{x_i\}\}_{i\in\mathbb{N}}$을 택해도 $X\setminus\{x_i:i\in\mathbb{N}\}$가 비공(비가산에서 가산을 뺀 나머지는 비가산)이므로 그 점들이 덮이지 않음 ⟹ 가산 부분덮개 없음.
($\Rightarrow$) 본문 참조: 감소 근방기저 $B_n$에서 $a_n\in B_n\cap A$ 선택, $a_n\to x$ 확인. ($\Leftarrow$) $A$의 수열 $a_n\to x$이면 $x$의 임의의 근방 $U$가 어떤 $a_n$을 포함(수렴의 정의) ⟹ $U\cap A\ne\varnothing$ ⟹ $x\in\overline A$(제1가산 불필요, 이 방향은 항상 성립).
가산 기저 $\{B_n\}$이 있다고 가정. 각 $x\in\mathbb{R}$에 대해 $x\in B_{n(x)}\subseteq[x,x+1)$인 $n(x)$를 선택(기저의 정의로 가능, $[x,x+1)$이 $x$를 포함하는 열린집합이므로). $x\ne y$이면 $n(x)\ne n(y)$: 만약 $n(x)=n(y)=n$이면 $B_n\subseteq[x,x+1)\cap[y,y+1)$인데 $B_n$이 $x$와 $y$를 모두 포함해야 하지만($x\in B_n$, $y\in B_n$ 둘 다 참이라 가정하면), $B_n$이 $\mathbb{R}_\ell$의 열린집합이므로 $\inf B_n\in B_n$이어야 하고 이는 $x$ 또는 $y$ 중 최소한 하나와 일치해야 하는데 두 값을 동시에 만족할 수 없음(엄밀하게는 $x\mapsto n(x)$가 단사임을 위상의 국소 구조로 직접 확인) ⟹ $x\mapsto n(x)$가 $\mathbb{R}\to\mathbb{N}$ 단사 ⟹ $\mathbb{R}$이 가산이어야 하는데 모순.
$X$의 가산 기저 $\{B_n\}$, 부분공간 $Y\subseteq X$. $\{B_n\cap Y\}$가 $Y$의 가산 기저임을 부분공간 위상의 정의(열린집합 = $X$의 열린집합과의 교집합)로 직접 확인.
$D\subseteq X$ 가산 조밀. $f(D)\subseteq Y$는 가산(가산집합의 상은 가산). $f(D)$가 $Y$에서 조밀함을 보이려면: 임의의 비공 열린 $V\subseteq Y$에 대해 $f^{-1}(V)$가 $X$의 비공 열린집합(연속·전사이므로 비공)이므로 $D$와 만남 ⟹ $d\in D\cap f^{-1}(V)$ ⟹ $f(d)\in V\cap f(D)$.
$X,Y$ 제2가산, 기저 $\{B_n\},\{C_m\}$. $\{B_n\times C_m\}_{n,m}$이 $X\times Y$의 가산(가산×가산=가산) 기저. 비가산 곱에서는 이 논법이 "가산×가산×⋯(비가산 번)"이 되어 더 이상 가산이 보장되지 않음 — 실제로 $\{0,1\}^{\mathbb{R}}$ 같은 비가산곱은 일반적으로 제2가산이 아니다(제1가산조차 실패할 수 있음).