고차 기수에 대한 우리소프 메트리제이션 정리의 확장

초록

본 논문은 기저의 크기가 $|\omega_\mu|$ 이하인 위상공간이 $\omega_\mu$‑가산(additive)하고 정칙(regular)일 때, 그리고 동등하게 $\omega_\mu$‑가산, 영차원, $T_0$일 때 $\omega_\mu$‑메트리제이션이 가능함을 증명한다. 또한 이러한 모든 공간은 일반화된 힐베르트 입방체에 삽입될 수 있음을 보인다.

상세 분석

우리소프의 고전적 메트리제이션 정리는 “가산 기저를 가진 정칙 위상공간은 메트리제이션 가능”이라는 강력한 연결고리를 제공한다. 저자는 이를 고차 기수 $\omega_\mu$ (특히 $\mu\ge 1$) 로 일반화함으로써, 기존 결과를 무한대 차원 및 대규모 기저를 다루는 상황으로 확장한다. 핵심 개념은 $\omega_\mu$‑가산성이다. 이는 임의의 $<!\omega_\mu$ 개의 열린 집합의 교집합이 다시 열린 집합이 되는 성질을 의미한다. 이 조건은 가산 기저 경우의 “가산 교집합이 열린다”와 직접적인 대응 관계에 있다.

정칙성(regularity)과 $T_0$ 조건은 위상공간이 충분히 구분 가능하고, 폐집합과 점 사이에 서로 다른 열린 집합을 구분할 수 있음을 보장한다. 논문은 정칙성 대신 영차원(zero‑dimensional) 가정을 도입함으로써, 클로즈드‑오픈 분할(clopen) 기저가 존재함을 이용한다. 이는 전통적인 우리소프 정리에서 “정칙 + 가산 기저”와 동치인 “영차원 + $T_0$ + 가산 기저”와 유사한 구조를 고차 기수에서도 재현한다는 점에서 의미가 크다.

증명 전략은 크게 두 단계로 나뉜다. 첫째, $\omega_\mu$‑가산하고 정칙인 공간에 대해 거리 함수 $d:X\times X\to\mathbb{R}^{\omega_\mu}$ 를 구성한다. 여기서 $\mathbb{R}^{\omega_\mu}$ 은 사전순으로 정렬된 직교합을 갖는 순서체이며, 거리값은 $<!\omega_\mu$ 개의 좌표만이 비영인 형태를 취한다. 이를 위해 저자는 Katětov‑Tong 삽입 정리와 Urysohn Lemma의 고차 버전을 활용한다.

둘째, 이렇게 정의된 거리 공간을 일반화된 힐베르트 입방체 $