하우스도르프 공간

분리공리 분해 가능 공간 일반위상수학에서, **하우스도르프 공간**(Hausdorff space) 또는 **T2 공간**(T2空間, T2-space) 또는 **분리 공간**(分離空間, separated space)은 서로 다른 점들을 각각 서로소 근방들로 둘러쌀 수 있는 위상 공간이다.
# 정의
하우스도르프 공간의 정의. 서로 다른 두 점 x,y를 서로소 열린 근방 U,V로 구분할 수 있다. 위상 공간 X에 대하여, 다음 조건들이 서로 동치이며, 이를 만족시키는 공간을 **하우스도르프 공간**이라고 한다. * 임의의 x,y\in X에 대하여, 만약 x\ne y라면 x\in U, y\in V인 서로소 열린 근방 U,V\subseteq X가 존재한다.mr=046412898 * 임의의 두 콤팩트 집합 C,D\subseteq X에 대하여, 만약 C와 D가 서로소라면, C\subseteq U, D\subseteq V인 서로소 열린 근방 U,V\subseteq X가 존재한다.124 * 그물의 극한은 (만약 존재한다면) 유일하다. 즉, 임의의 그물 x_\alpha 및 점 y_1,y_2\in X에 대하여, 만약 x_\alpha\to y_1이며 x_\alpha\to y_2라면 y_1=y_2이다.isbn=0-486-43479-686–87 * 필터의 극한은 (만약 존재한다면) 유일하다. 즉, 임의의 필터 \mathcal F 및 점 y_1,y_2\in X에 대하여, 만약 \mathcal F\ne\mathcal P(X)이며, \mathcal F\to y_1이며, \mathcal F\to y_2라면 y_1=y_2이다.86–87 * 임의의 x\in X에 대하여, x의 모든 닫힌 근방들의 교집합은 \\{x\\}이다. * 곱공간 X\times X의 대각 부분 집합 \Delta(X)=\\{(x,x)\colon x\in X\\}\subseteq X\times X은 닫힌집합이다. * 임의의 집합 I에 대하여, 곱공간 X^I의 대각 부분 집합은 닫힌집합이다. 부제=서로 다른 정의의 동치 각 x\in X에 대하여, \mathcal N_x가 x의 근방 필터라고 하자. 두 점의 근방 분리 ⇒ 수렴 진필터의 극한의 유일성: 진필터 \mathcal F가 서로 다른 두 점 y_1\ne y_2로 수렴한다고 가정하자. 그렇다면, 임의의 열린 근방 U_1\ni y_1, U_2\ni y_2에 대하여, U_1,U_2\in\mathcal F이므로 U_1\cap U_2\in\mathcal F이며, \varnothing\not\in\mathcal F이므로 U_1\cap U_2\ne\varnothing이다. 즉, 서로소 열린 근방으로 분리될 수 없는 서로 다른 두 점이 존재한다. 수렴 진필터의 극한의 유일성 ⇒ 두 점의 근방 분리: 서로소 열린 근방을 갖지 않는 서로 다른 두 점 y_1\ne y_2가 존재한다고 가정하자. 그렇다면 :\mathcal F=\\{U_1\cap U_2\colon U_1\in\mathcal N_{y_1},\;U_2\in\mathcal N_{y_2}\\} 가 X 위의 필터임을 보일 수 있다. 또한, 가정에 따라 \varnothing\not\in\mathcal F이므로 \mathcal F는 진필터이며, X\in\mathcal N_{y_1},\mathcal N_{y_2}이므로 \mathcal N_{y_1},\mathcal N_{y_2}\subseteq\mathcal F이다. 즉, \mathcal F는 서로 다른 두 점 y_1\ne y_2로 수렴한다. 증명 끝 위상 공간 X가 다음 조건을 만족시킨다면, X를 **US 공간**(US space)이라고 한다.언어=en262 * X 속의 모든 점렬은 (만약 수렴한다면) 유일한 극한을 갖는다. 즉, 이 개념은 그물 또는 필터를 통한 정의에서 이를 점렬로 대체한 것이다. 위상 공간 X가 다음 조건을 만족시킨다면, X를 **KC 공간**(KC space)이라고 한다.262 * X의 모든 콤팩트 부분 공간은 닫힌집합이다. 위상 공간 X가 다음 조건을 만족시킨다면, X를 **약한 하우스도르프 공간**(weakly Hausdorff space)이라고 한다. * 하우스도르프 콤팩트 공간의 연속적 상은 항상 닫힌집합이다. 즉, 임의의 하우스도르프 콤팩트 공간 K 및 연속 함수 f\colon K\to X에 대하여, f의 상 f(K)\subseteq X는 X의 닫힌집합이다.
# 성질

## 포함 관계
다음과 같은 포함 관계가 성립한다. :우리손 공간(T2½) ⊊ 하우스도르프 공간(T2) ⊊262, Theorem 3.1 US 공간 ⊊262, Theorem 3.1 KC 공간 ⊊ 약한 하우스도르프 공간 ⊊ T1 공간 :하우스도르프 공간(T2) ⊊ T1 공간 ∩ 차분한 공간 제1 가산 공간에 대하여, 다음 조건들이 서로 동치이다. * US 공간이다. * KC 공간이다. * 하우스도르프 공간이다.
## 연산에 대한 닫힘
하우스도르프 공간들의 집합의 곱공간은 하우스도르프 공간이다. 하우스도르프 공간의 부분 공간은 하우스도르프 공간이다. 그러나 하우스도르프 공간의 몫공간은 하우스도르프 공간이 아닐 수 있다. 약한 하우스도르프 공간들의 집합의 곱공간은 약한 하우스도르프 공간이다. 약한 하우스도르프 공간의 부분 공간은 약한 하우스도르프 공간이다. 그러나 약한 하우스도르프 공간의 몫공간은 약한 하우스도르프 공간이 아닐 수 있다.
## 약한 하우스도르프 공간
X를 약한 하우스도르프 공간이라고 하자. 콤팩트 하우스도르프 공간 K와 임의의 연속 함수 f\colon K\to X에 대하여, f의 상 f(K)\subseteq X는 콤팩트 하우스도르프 공간이다. 따라서, 부분공간 A\subseteq X가 k-닫힌집합일 필요충분조건은 임의의 콤팩트 하우스도르프 부분공간 C\subseteq X에 대하여 A\cap C가 닫힌집합인 것이다.
## 전사 사상
하우스도르프 공간를 대상으로 하고 연속 함수를 사상으로 삼은 범주 \operatorname{Haus}에서, 전사 사상은 상이 조밀 집합인 연속 함수이다. 웹사이트=Stack Exchange \operatorname{Haus}에서, 조밀 집합을 상으로 하는 연속 함수는 자명하게 전사 사상이다. (조밀 집합#조밀 집합은 연속 함수를 결정한다 참고.) 반대로, :f\colon X\to Y 가 하우스도르프 공간 사이의 전사 사상이라고 가정하고, 상의 폐포 :Y_0=\operatorname{cl}f(X) 가 Y임을 증명하자. :Z=Y\cup_iY 가 포함 함수 i\colon Y_0\to Y에 대한 붙임 공간이라고 하고, :g,h\colon Y\to Z 가 두 개의 자연스러운 연속 함수라고 하자. (즉, g,h는 각각 두 개의 매장 Y\to Y\sqcup Y와 몫사상 Y\sqcup Y\to Z의 합성이다.) 붙임 공간의 정의에 따라 g\circ f=h\circ f임을 알 수 있다. 만약 Z가 하우스도르프 공간이라면, 전사 사상의 정의에 따라 g=h이며, 결국 Y_0=Y이게 된다. 이제 Z가 하우스도르프 공간임을 증명하는 일만 남았다. 붙임 공간의 정의에 따라, 다음 두 명제가 성립한다. * U\subseteq Z가 열린집합일 필요충분조건은 g^{-1}(U),h^{-1}(U)\subseteq Y가 둘 다 열린집합인 것이다. * Z=g(Y)\cup h(Y)=g(Y\setminus Y_0)\sqcup h(Y)=g(Y)\sqcup h(Y\setminus Y_0) (사실, 붙임 공간의 성질과 대칭성에 따라, g,h는 닫힌 위상수학적 매장이며, g\restriction Y\setminus Y_0과 h\restriction Y\setminus Y_0은 열린 위상수학적 매장이다.) 따라서, 임의의 서로 다른 두 점 \xi,\eta\in Z가 서로소 열린 근방을 가짐은 다음 세 가지 경우로 나눠 증명할 수 있다. * \xi,\eta\in g(Y) ** 이 경우, \xi=g(x), \eta=g(y)인 서로 다른 두 점 x,y\in Y이 존재한다. Y의 하우스도르프 조건에 따라, U,V가 x,y의 서로소 열린 근방이라고 하자. 그렇다면, g(x),g(y)는 다음과 같은 서로소 열린 근방 \tilde U,\tilde V를 갖는다. **:\tilde U= \begin{cases} g(U\setminus Y_0)&x;\in Y\setminus Y_0\\\ g(U)\cup h(U)&x;\in Y_0 \end{cases} **:\tilde V= \begin{cases} h(V\setminus Y_0)&y;\in Y\setminus Y_0\\\ g(V)\cup h(V)&y;\in Y_0 \end{cases} * \xi,\eta\in h(Y) ** 이 증명은 위와 유사하다. * \xi\in g(Y)\setminus h(Y)=g(Y\setminus Y_0), \eta\in h(Y)\setminus g(Y)=h(Y\setminus Y_0) ** 이 경우, g(Y\setminus Y_0)와 h(Y\setminus Y_0)은 \xi,\eta의 서로소 열린 근방이다. 증명 끝
## 정칙 단사 사상
하우스도르프 공간의 범주 \operatorname{Haus}에서, 정칙 단사 사상은 닫힌 매장이다. 증명 임의의 하우스도르프 공간 사이의 연속 함수 f,g\colon X\to Y에 대하여, 포함 :\\{x\in X\colon f(x)=g(x)\\}\hookrightarrow X 은 f, g의 동등자를 이룬다. 또한, Y의 하우스도르프성에 따라 이는 X의 닫힌집합을 이룬다. 모든 동등자는 서로 동형이므로, 모든 정칙 단사 사상은 닫힌 매장이다. 반대로, 하우스도르프 공간 사이의 닫힌 매장 e\colon X\to Y이 주어졌다고 하자. 붙임 공간 :Y\cup_eY 및 자연스러운 두 연속 함수 :f,g\colon Y\to Y\cup_eY 를 생각하자. 붙임 공간이 하우스도르프 공간임을 #전사 사상에서의 증명과 유사하게 보일 수 있다. 그렇다면, e는 f, g의 동등자를 이룬다. 따라서, e는 정칙 단사 사상이다. 증명 끝
# 예

## 우리손 공간이 아닌 하우스도르프 공간
양의 정수의 집합 \mathbb Z^+에, 다음과 같은 기저를 주자. :\left\\{(a+\mathbb Zb)\cap\mathbb Z^+\colon\gcd(a,b)=1\right\\} 이는 양의 정수의 **서로소 위상**(relatively prime topology)이라고 한다. 이는 하우스도르프 공간이지만 우리손 공간이 아니다.언어=en
## 하우스도르프 공간이 아닌, 모든 수렴 점렬이 유일한 극한을 갖는 공간
하우스도르프 공간은 모든 그물 또는 필터가 유일한 극한을 갖는 공간이다. 만약 그물/필터를 점렬로 약화시킨다면, 모든 점렬이 유일한 극한을 갖지만 하우스도르프 공간이 아닌 공간이 존재한다.언어=en
## 하우스도르프 공간이 아닌 차분한 T1 공간
실수선 \mathbb R에 새로운 점 \bullet을 추가하고, 여기에 다음과 같은 위상을 주자. * \mathbb R의 위상에서 열린집합 U는 \mathbb R\sqcup\\{\bullet\\}에서도 열린집합이다. * S\subset\mathbb R가 유한 집합이라면, (\mathbb R\setminus S)\sqcup\\{\bullet\\}은 열린집합이다. 그렇다면 \mathbb R\sqcup\\{\bullet\\}은 T1 공간이며 차분한 공간이지만 하우스도르프 공간이 아니다.
## 하우스도르프 공간이 아닌 KC 공간
비가산 집합에, 모든 가산 집합을 닫힌집합으로 하는 위상을 주자. 그렇다면, 이는 KC 공간이지만 (콤팩트 집합은 유한 집합과 같다) 하우스도르프 공간이 아니며 차분한 공간도 아니다.
# 역사
하우스도르프 조건은 펠릭스 하우스도르프가 1914년에 위상 공간의 개념을 최초로 정의할 때 포함했던 조건이다. 구체적으로, 하우스도르프의 정의는 다음과 같다언어=de213, §VII.1. **Umgebungsaxiome:** :🄐 Jedem Punkt x entspricht mindestens eine Umgebung U_x; jede Umgebung U_x enthält den Punkt x.
:🄑 Sind U_x, V_x zwei Umgebungen desselben Punktes x, so gibt es eine Umgebung W_x, die Teilmenge von beiden ist (W_x\subseteqq \mathfrak D(U_x,V_x)).
:🄒 Liegt der Punkt y in U_x, so gibt es eine Umgebung U_y, die Teilmenge von U_x ist (U_y\subseteqq U_x).
:🄓 Für zwei verschiedene Punkte x, y gibt es zwei Umgebungen U_x, U_y ohne gemeinsamen Punkt (\mathfrak D(U_x,U_y)=0). 여기서 마지막 조건 🄓가 하우스도르프 조건이다. 이후 위상 공간의 정의는 이 조건을 포함하지 않게 되었고, 하우스도르프의 원래 정의를 추가로 만족시키는 공간은 "하우스도르프 공간"으로 불리게 되었다. 약한 하우스도르프 공간의 개념은 1969년에 마이클 캠벨 매코드(Michael Campbell McCord)가 호모토피 이론에서의 편의를 위하여 도입하였다.언어=en