완전 집합이 없는 작은 Hurewicz·Menger 집합과 대형 연속 이미지

초록

연속 이미지가 Cantor 공간 전체가 되는, 완전 집합을 포함하지 않는 Hurewicz·Menger 집합을 CH 가정 아래 구축하고, 이를 이용해 Menger와 (S_{1}(\Gamma,\mathcal O)) 성질을 구분하며, 완전하게 PMT (완전하게 완전히 미세)인 집합 존재 여부가 ZFC 로는 독립임을 보인다.

상세 분석

이 논문은 “완전 집합을 포함하지 않는” (totally imperfect) 실수 집합에 대한 두 가지 전통적인 선택적 커버링 성질, Hurewicz와 Menger를 새롭게 조합한다. 저자들은 연속 사상으로 Cantor 공간 (2^{\omega}) 전체에 사상될 수 있는 such 집합을 만들기 위해 연속 이미지와 지배/경계(cardinal invariants) 사이의 알려진 동등성을 활용한다. 핵심은 다음과 같다.

1. 카디널 인바리언트 활용: Hurewicz 성질은 연속 이미지가 (\omega^{\omega})에서 경계(bounded) 이면 만족하고, Menger는 *비지배(non‑dominating)*이면 만족한다는 정리를 이용한다. 따라서 (\mathfrak b=\mathfrak d=\mathfrak c) 와 같은 가정(특히 CH) 하에서, 경계와 지배가 동일한 크기이므로 “큰” 연속 이미지가 가능해진다.

2. λ′‑집합과 완전 집합 회피: Theorem 2.1에서는 (\operatorname{cov}(\mathcal N)=\mathfrak b=\mathfrak c) 를 가정하고, (\lambda’)-집합이면서 Hurewicz인 (X\subseteq2^{\omega}\times2^{\omega}) 를 만든다. λ′‑집합은 모든 가산 부분집합이 (G_{\delta}) 로서 포함되므로 완전 집합을 포함할 수 없으며, 이는 완전 집합이 존재하지 않음을 보장한다.

3. 연속 사상으로 전사: 위에서 만든 (X) 에 대해 투사 (\pi