위상군 나머지의 국소적 성질과 메트리제이션

초록

위상군 (G)의 컴팩트화 (bG)에서 남는 나머지 (Y=bG\setminus G)가 국소적으로 점-가산 (p)-메타베이스, (\delta\theta)-베이스 또는 quasi‑(G_{\delta})-대각선을 가질 때, 그리고 (\pi)-문자수가 가산이면 (G)와 (bG)는 모두 가산하고 메트리제이션 가능함을 보였다. 또한 이러한 조건을 완화한 경우에 대한 부분적인 답변을 제시하였다.

상세 분석

본 논문은 비국소적으로 콤팩트한 위상군 (G)와 그 컴팩트화 (bG)의 나머지 (Y=bG\setminus G)에 대한 메트리제이션 조건을 새롭게 탐구한다. 기존 연구에서는 (Y)가 전역적으로 (G_{\delta})-대각선이나 점-가산 베이스를 가질 때 (G)와 (bG)가 가산·메트리제이션된다고 알려져 있었다. 저자는 이를 “국소적”이라는 개념으로 일반화한다.

우선 (\pi)-문자수 (\pi\chi(Y))가 가산이면 (Y)는 Lindelöf (p)-공간이 된다(헨리크센‑이스벨 정리 활용). 이때 (Y)가 국소적으로 점-가산 (p)-메타베이스를 갖는다면, Lemma 2.3과 Lemma 2.4를 통해 전역적인 점-가산 (p)-메타베이스를 얻는다. 이어서 Theorem 2.5에서는 이러한 전역 메타베이스와 가산 (\pi)-문자수를 결합해 (Y)가 (G_{\delta})-대각선을 가짐을 증명하고, Arhangel’skiĭ‑Liu 정리를 적용해 (G)와 (bG)가 가산·메트리제이션된다는 결론을 도출한다.

다음으로 (\delta\theta)-베이스에 대한 경우를 다룬다. Lemma 2.8은 국소적 (\delta\theta)-베이스가 전역 (\delta\theta)-베이스로 승격될 수 있음을 보이며, Theorem 2.9는 이를 이용해 동일한 메트리제이션 결과를 얻는다. 여기서 (\delta\theta)-베이스는 각 점에 대해 차수가 유한한 열린 집합들의 체계로 정의되며, 기존의 (\sigma)-디스크리트 베이스보다 약한 조건이다.

또한 저자는 (C)‑세미스트라피블(CSS) 공간과 (\sigma\sharp)-공간을 포함한 보다 일반적인 구조에도 적용 가능한 결과를 제시한다. Theorem 2.11과 Corollary 2.12는 이러한 공간들이 모두 국소적으로 가산 (\pi)-문자수를 만족하면 (G)와 (bG)가 메트리제이션된다는 것을 보여준다.

섹션 3에서는 quasi‑(G_{\delta})-대각선을 갖는 경우를 집중적으로 분석한다. Lemma 3.1은 (p)-공간이면서 모든 콤팩트 부분집합이 메트리제이션 가능한 경우, 적절한 (G_{\delta})-부분집합을 선택해 첫 번째 가산성을 확보할 수 있음을 증명한다. 이를 바탕으로 Theorem 3.2는 (Y)가 quasi‑(G_{\delta})-대각선을 가질 때 두 가지 경우(첫 번째 가산성 혹은 (G)가 파라콤팩트 (p)-공간)로 나누어 각각 메트리제이션을 입증한다. 특히, (Y)가 첫 번째 가산이면 기존 결과(