무어 공간

일반위상수학에서 무어 공간(Moore空間, 틀:Llang)은 거리화 가능 공간과 유사한 성질을 갖는 위상 공간이다. 일부 추가 조건 아래, 무어 공간과 거리화 가능 공간의 조건은 서로 동치이다.

정의

무어 공간은 다음 조건을 만족시키는 정칙 하우스도르프 공간이다.

• 다음 성질을 만족시키는, 가산 개의 $X$의 열린 덮개 $({𝒰}_i{)}_{i\in I}$들이 존재한다.
  • 임의의 닫힌집합 $C\subseteq X$ 및 점 $p\in X\setminus C$에 대하여, $\{U\cap C\in {𝒰}_i:p\in U\}=\{\varnothing \}$인 $i\in I$가 존재한다.

성질

모든 거리화 가능 공간은 무어 공간이다. 이 경우, 덮개족은 $\{B_{1/n}(x):x\in X{\}}_{n\in {\mathbb{Z}}^{+}}\}$이다. 여기서 $B_r(x)$는 (주어진 거리 함수에 대한) 반지름이 $r$인 열린 공이다.

트레일러 정리(틀:Llang)에 따르면, 메타콤팩트 분해 가능 공간 $X$에 대하여 다음 두 조건이 서로 동치이다.

• $X$는 거리화 가능 공간이다.
• $X$는 무어 공간이다.

리드-제너 정리(틀:Llang)에 따르면, 국소 콤팩트 국소 연결 정규 공간 $X$에 대하여, 다음 두 조건이 서로 동치이다.

• $X$는 거리화 가능 공간이다.
• $X$는 무어 공간이다.

존스 정리(틀:Llang)에 따르면, 만약 $2^{{\mathrm{\aleph }}_0}<2^{{\mathrm{\aleph }}_1}$이라면, 분해 가능 정규 공간 $X$에 대하여 다음 두 조건이 서로 동치이다.틀:Rp

• $X$는 거리화 가능 공간이다.
• $X$는 무어 공간이다.

집합론적인 조건

정규 무어 공간 추측(틀:Llang)은 모든 정규 무어 공간이 거리화 가능 공간이라는 추측이다. 이 추측은 선택 공리를 추가한 체르멜로-프렝켈 집합론과 독립적이다.

만약 마틴 공리를 가정한다면 (연속체 가설의 참·거짓에 관계 없이) 정규 무어 공간 추측은 거짓이다.

구성 가능성 공리를 가정한다면, 모든 국소 콤팩트 정규 무어 공간은 거리화 가능 공간이다.

만약 정규 무어 공간 추측이 참이라면, 특정 큰 기수의 존재를 증명할 수 있다.

역사

로버트 리 무어가 도입하였다. 무어 공간의 조건은 (정칙 하우스도르프 공간의 조건을 제외하면) 무어의 책의 “공리 1”(틀:Llang)에 해당한다.틀:Rp틀:Rp

참고 문헌

• 틀:서적 인용
• 틀:저널 인용

외부 링크

• 틀:Eom
• 틀:웹 인용