거리화 가능 공간

일반위상수학에서 **거리화 가능 공간**(距離化可能空間, )은 어떤 거리 공간과 위상동형인 위상 공간이다. 어떤 위상 공간이 거리화 가능 공간인지를 구별하는 것은 일반위상수학의 중요한 문제이다.

## 정의
### 거리화
**거리화 가능 공간**은 다음 조건을 만족시키는 위상 공간 (X,\mathcal T)이다.
* (X,\mathcal T)는 X 위의 어떤 거리 함수 d로부터 유도되는 거리 위상과 일치한다.

어떤 위상 공간이 거리화 가능 공간인지를 구하는 문제를 **거리화 문제**라고 한다. 이 문제는 일반위상수학의 중요한 문제 중 하나이다.

**국소 거리화 가능 공간**(局所距離化可能空間, )은 다음 조건을 만족시키는 위상 공간 (X,\mathcal T)이다.
* 모든 점 x에 대하여, 거리화 가능 공간인 열린 근방 U_x\ni x가 존재한다.
모든 거리화 가능 공간은 국소 거리화 가능 공간이지만, 그 역은 일반적으로 성립하지 않는다.

### 유사 거리화
집합 X 위의 **[[유사 거리 함수]]**() d\colon X^2\to[0,\infty)는 다음 조건들을 만족시키는 함수이다.
* d(x,x)=0\qquad\forall x\in X
* (대칭성) d(x,y)=d(y,x)\qquad\forall x,y\in X
* (삼각 부등식) d(x,y)+d(y,z)\ge d(x,z)\qquad\forall x,y,z\in X
그러나 d(x,y)=0\implies x=y일 필요는 없다. 유사 거리 공간에는 거리 공간과 유사하게 위상을 부여할 수 있다.

위상 공간 X에 대하여 다음 두 조건이 서로 동치이다.
* X의 위상을 유도하는 유사 거리 함수가 존재한다.
* X의 콜모고로프 몫공간은 거리화 가능 공간이다.

### 완비 거리화
**완비 거리화 가능 공간**(完備距離化可能空間, )은 다음 조건을 만족시키는 위상 공간 (X,\mathcal T)이다.
* (X,\mathcal T)는 X 위의 어떤 완비 거리 함수 d로부터 유도되는 거리 위상과 일치한다.
**국소 완비 거리화 가능 공간**(局所完備距離化可能空間, )은 다음 조건을 만족시키는 위상 공간 (X,\mathcal T)이다.
* 모든 점 x에 대하여, 완비 거리화 가능 공간인 열린 근방 U_x\ni x가 존재한다.

## 성질
거리화 가능성의 필요 조건 및 충분 조건들은 다음과 같다. 이렇게 거리화에 관련된 조건을 제시하는 정리를 **거리화 정리**(距離化定理, )라고 한다.

### 필요 조건
모든 거리화 가능 공간은 다음 성질을 만족시킨다.
* 하우스도르프 공간이다.
* 완전 정규 공간이다.
* 제1 가산 공간이다.
* 무어 공간이다.
* (**스톤의 정리** ) 파라콤팩트 공간이다.

모든 유사 거리화 가능 공간은 완비 정칙 공간이며, 완전 정규 공간이며, 제1 가산 공간이며, 파라콤팩트 공간이다. (그러나 콜모고로프 공간이 아닐 수 있다.)

### 충분 조건
다음 공간들은 항상 거리화 가능 공간이다.
* (**우리손 거리화 정리** ) 제2 가산 정칙 하우스도르프 공간
* 가산 생성 이진 콤팩트 공간(, 이진 콤팩트 공간 = 곱공간 \{0,1\}^\kappa의 연속적 상인 위상 공간)

### 필요 충분 조건
어떤 위상 공간 X에 대하여, 다음 조건들이 서로 동치이다.
* X는 거리화 가능 공간이다.
* (**스미르노프 거리화 정리** ) X는 파라콤팩트 공간이며, 하우스도르프 공간이며, 국소 거리화 가능 공간이다.
* (**빙 거리화 정리** ) X는 정칙 공간이며, σ-국소 이산 기저를 갖는다.
* (**나가타-스미르노프 거리화 정리** ) X는 정칙 공간이며, σ-국소 유한 기저를 갖는다.

우리손 거리화 정리를 다음과 같이 강화시킬 수 있다. 임의의 분해 가능 공간 X에 대하여, 다음 두 조건이 서로 동치이다.
* X는 거리화 가능 공간이다.
* X는 제2 가산 공간이며 정칙 공간이다.
이는 다음과 같이 증명할 수 있다. 제2 가산 공간인 정칙 공간은 힐베르트 공간의 부분공간과 위상적으로 동형이다. 또 힐베르트 공간은 거리 공간이며 제2 가산 공간이다. 따라서 힐베르트 공간의 어떤 부분공간도 제2 가산 공간이므로, 분해 가능 공간이다. 마지막으로 거리 공간은 정규 공간이며, 정규 공간은 정칙 공간이고, 거리화 가능 공간 위에서 분해 가능성과 제2 가산성은 동치이므로 결론을 얻는다.

콤팩트 하우스도르프 공간 X에 대하여, 다음 두 조건이 서로 동치이다.
* X는 거리화 가능 공간이다.
* X는 제2 가산 공간이다.

## 예
이산 공간은 이산 거리 함수
:d(x,y)=\begin{cases}1&x\ne y\\0&x=y\end{cases}
에 의하여 거리화 가능 공간이다.

크기 2 이상의 비이산 공간은 거리화 가능 공간이 아니지만, 다음과 같은 유사 거리 함수에 의하여 유사 거리화 가능 공간이다.
:d(x,y)=0

모든 파라콤팩트 국소 유클리드 공간은 유사 거리화 가능 공간이며, 모든 다양체(=파라콤팩트 하우스도르프 국소 유클리드 공간)은 거리화 가능 공간이다. 그러나 다양체가 완비 거리화 가능 공간일 필요는 없다.

## 역사
우리손 거리화 정리는 우리손이 아니라 안드레이 티호노프가 증명했지만, 관련 주제에 대한 업적을 기려 우리손의 이름이 붙어 있다. 실제로 우리손이 증명한 것은 '어떤 위상 공간이 제2 가산 공간이고 동시에 정규 공간일 때 거리화 가능'하다는 정리였고, 티호노프는 이를 일반화하였다.

스톤의 정리는 미국의 수학자 마셜 하비 스톤이 증명하였다.

나가타-스미르노프 거리화 정리는 러시아의 유리 미하일로비치 스미르노프()와 일본의 나가타 준이치가 증명하였다. 이들은 우리손의 거리화 정리의 역 형식에서 분해 가능성 조건을 빼고 필요 충분 조건을 일반화하였다. 이 정리의 증명은 몇 단계로 이루어질 수 있는데, 그 중 중요한 수순으로 무어 공간의 개념을 이용하는 경우가 있다.

나가타-스미르노프 거리화 정리의 발표와 유사한 시기에 미국의 수학자 아르에이치 빙이 유사한 형식의 빙 거리화 정리를 발표하였다. 이 두 정리를 통칭하여 빙-나가타-스미르노프 거리화 정리라고도 한다. 증명 도중에 무어 공간을 사용하는 경우가 있다는 점에서 나가타-스미르노프 거리화 정리와 유사하다.

## 참고 문헌
* 
* 
* 
* 
* 
* 
* 

## 같이 보기
* 알렉산드로프 콤팩트화
* 파라콤팩트 공간

## 각주

## 외부 링크
* 
* 
* 
* 
* 
* 
* 
* 
* 

분류:위상 공간의 성질
분류:위상수학 정리
분류:거리 공간