하우스도르프 폐쇄성은 모든 초필터에 대한 의사콤팩트와 동등하다

초록

이 논문은 임의의 위상공간 X에 대해 (a) 모든 열린 덮개의 유한 부분이 전체를 조밀하게 만든다, (b) X가 모든 초필터 D에 대해 D‑의사콤팩트이다, 라는 두 조건이 동치임을 증명한다. 특히 하우스도르프 공간에서는 이와 H‑폐쇄성, 그리고 모든 무한 기수 λ에 대한 약 초기 λ‑콤팩트성까지 동등함을 보이며, 이러한 성질이 제품에 대해 보존되는 새로운 결과를 얻는다.

상세 분석

논문은 먼저 “약 초기 λ‑콤팩트(weakly initially λ‑compact)”라는 개념을 정의한다. 이는 크기가 ≤λ인 열린 덮개가 있을 때, 그 덮개의 유한 부분이 전체 공간을 조밀하게 만든다는 뜻이다. 이 정의는 전통적인 초기 λ‑콤팩트(initial λ‑compact)와는 달리 ‘조밀함’만을 요구한다는 점에서 일반화된 형태이다. 저자는 이 개념과 초필터 D에 대한 “D‑의사콤팩트(D‑pseudocompact)” 사이의 연결고리를 탐구한다. D‑의사콤팩트는 I‑인덱스된 비공허 열린 집합열 (Oi)i∈I 에 대해, 어떤 점 x가 모든 이웃 U에 대해 {i∈I | U∩Oi≠∅}∈D 를 만족하는 D‑극한점(D‑limit point)을 갖는지를 말한다.

핵심 정리(Theorem 1)는 “X가 약 초기 λ‑콤팩트이고 2^μ ≤ λ이면, |I| ≤ μ인 모든 초필터 D에 대해 X는 D‑의사콤팩트이다”를 증명한다. 증명은 반증법을 사용한다. D‑의사콤팩트가 아니라고 가정하면, 각 점 x∈X에 대해 D‑극한점이 없으므로 적절한 이웃 Ux와 집합 Zx∈D를 잡을 수 있다. 이들 Zx를 이용해 D‑지수 집합 {VZ | Z∈D}를 만든 뒤, 이는 X의 열린 덮개가 된다. 약 초기 λ‑콤팩트성에 의해 유한 개 Z1,…,Zn∈D가 존재하고, 그 교집합 Z=Z1∩…∩Zn∈D가 비어 있지 않음이 모순을 일으킨다. 따라서 X는 D‑의사콤팩트임을 얻는다.

다음으로 Proposition 2는 정규 초필터 D(즉, 무한 교집합이 비어 있는 μ‑원소의 가족을 포함하는 필터) 존재 시, D‑의사콤팩트인 공간이 약 초기 μ‑콤팩트임을 보여준다. 여기서는 기존 결과(