다이아몬드 가정 하에 D 공간이 아닌 헤리다리히 린델öf 공간의 새로운 예시

논문은 먼저 D‑공간의 정의와 이와 관련된 역사적 배경을 소개한다. D‑공간은 모든 열린 이웃집합 할당 {U_x : x∈X}에 대해, 그 중에서 닫히고 이산인 부분집합 D⊆X를 선택하면 {U_x : x∈D}가 전체 공간을 덮는 성질을 가진다. van Douwen과 Pfeffer는 “만족스러운 D‑공간이 아닌 예시”가 아직 없으며, 특히 메타컴팩트성이나 서브파라컴팩트성 같은 강한 커버링 성질을 동시에 만족하는 예시가 부재함을 강조했다. 본 연구는 이 문제에 대해 ♦(다이아몬드) 가정을 이용해 새로운 반례를 만든다. 구체적인 구성은 다음과 같다. 1. **기본 구조 설정** ω₁ 위에 부분기저 {U_γ : γ<ω₁}를 정의한다. 각 U_γ는 γ를 포함하고, γ보다 큰 모든 점을 포함하도록 설계한다(즉, U_γ⊆γ+1, U_γ(γ)=γ+1). 2. **Δ‑시스템과 가산 초모델** Lemma 2.2와 Fact 2.1을 이용해, 주어진 무한 집합 패밀리 F⊆