거리화 가능 공간

위키백과, 우리 모두의 백과사전.
(거리공간화 정리에서 넘어옴)
이동: 둘러보기, 검색

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

정의[편집]

거리화 가능 공간은 다음 조건을 만족시키는 위상 공간 (X,\mathcal T)이다.

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

국소 거리화 가능 공간(局所距離化可能空間, 영어: locally metrizable space)은 다음 조건을 만족시키는 위상 공간 (X,\mathcal T)이다.

  • 모든 점 x에 대하여, 거리 공간화 가능 공간인 열린 근방 U_x\ni x가 존재한다.

모든 거리화 가능 공간은 국소 거리화 가능 공간이지만, 그 역은 일반적으로 성립하지 않는다.

성질[편집]

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

필요 조건[편집]

모든 거리화 가능 공간은 다음 성질을 만족시킨다.

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

충분 조건[편집]

다음 공간들은 항상 거리화 가능 공간이다.

우리손 거리화 정리는 우리손이 아니라 안드레이 니콜라예비치 티호노프(러시아어: Андрей Николаевич Тихонов)가 증명했지만, 관련 주제에 대한 업적을 기려 우리손의 이름이 붙어 있다. 실제로 우리손이 증명한 것은 '어떤 위상 공간이 제2 가산 공간이고 동시에 정규 공간일 때 거리화 가능'하다는 정리였고, 티호노프는 이를 일반화하였다.

필요 충분 조건[편집]

어떤 위상 공간 X에 대하여, 다음 조건들이 서로 동치이다.

  • X는 거리화 가능 공간이다.
  • (스미르노프 거리화 정리 영어: Smirnoff metrization theorem) X파라콤팩트 공간이며, 하우스도르프 공간이며, 국소 거리화 가능 공간이다.
  • (빙 거리화 정리 영어: Bing metrization theorem) X정칙 공간이며, σ-국소 이산 기저를 갖는다.
  • (나가타-스미르노프 거리화 정리 영어: Nagata–Smirnoff metrization theorem) X정칙 공간이며, σ-국소 유한 기저를 갖는다.

나가타-스미르노프 거리화 정리러시아의 유리 미하일로비치 스미르노프(러시아어: Ю́рий Миха́йлович Смирно́в)와 일본의 수학자 나가타 준이치(일본어: 長田 潤一 (ながた じゅんいち))가 증명하였다. 이들은 우리손의 거리화 정리의 역 형식에서 분해 가능성 조건을 빼고 필요 충분 조건을 일반화하였다. 이 정리의 증명은 몇 단계로 이루어질 수 있는데, 그 중 중요한 수순으로 무어 공간의 개념을 이용하는 경우가 있다.

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

우리손 거리화 정리를 다음과 같이 강화시킬 수 있다. 임의의 분해 가능 공간 X에 대하여, 다음 두 조건이 서로 동치이다.

이는 다음과 같이 증명할 수 있다. 제2 가산 공간정칙 공간은 힐베르트 공간의 부분공간과 위상적으로 동형이다. 또 힐베르트 공간은 거리 공간이며 제2 가산 공간이다. 따라서 힐베르트 공간의 어떤 부분공간도 제2 가산 공간이므로, 분해 가능 공간이다. 마지막으로 거리 공간정규 공간이며, 정규 공간정칙 공간이고, 거리화 가능 공간 위에서 분해 가능성제2 가산성은 동치이므로 결론을 얻는다.

콤팩트 하우스도르프 공간 X에 대하여, 다음 두 조건이 서로 동치이다.

참고 문헌[편집]

  1. (영어) O’Connor, John J.; Edmund F. Robertson. R H Bing. 《MacTutor History of Mathematics Archive》. 세인트앤드루스 대학교.

바깥 고리[편집]

같이 보기[편집]