타이코노프 확장으로 구현하는 다양한 해소 가능성

**1. 서론 및 배경** 논문은 해소 가능성(resolvability) 문제의 두 가지 오래된 질문을 재조명한다. (1) 모든 \(\omega\)-해소 가능한 공간이 최대 해소 가능한가? (2) 모든 최대 해소 가능한 공간이 추가 해소 가능한가? 기존에는 Ceder‑Pearson(1967)과 Comfort‑García‑Ferreira(2001)의 개별적인 예시가 존재했지만, 이는 ZFC만으로는 일반화되지 못했다. 저자는 이러한 부정적 답변을 모든 ‘적절히 제한된’ 타이코노프 공간에 적용 가능한 일반적인 방법으로 확장한다. **2. 기본 정의와 기호** - \(\Delta(X)\): 최소 비공집합 열린 집합의 크기(분산수). - \(S(X)\): Souslin 수, 최대 셀룰러 패밀리의 크기. - \(\kappa\)-해소 가능: \(\kappa\)개의 서로 겹치지 않는 조밀 부분집합 존재. - 최대 해소 가능: \(\kappa=\Delta(X)\)인 경우. - 추가 해소 가능(extra‑resolvable): \(|\mathcal D|\ge\Delta(X)^+\)인 조밀 집합군 \(\mathcal D\)가 존재하고, 서로 교차하지만 교차 부분이 전체에 조밀하지 않음. - 강한 추가 해소 가능(strongly extra‑resolvable): 교차 부분의 크기가 이제밀도 \(nwd(X)\)보다 작음. **3. \(\kappa\)-독립 파티션 패밀리와 작은 집합 분리** Lemma 1.6과 Theorem 1.9는 \(|T|=2^\kappa\)인 인덱스 집합 \(T\)와 각 \(t\in T\)에 대해 \(\kappa_t\le\kappa\)인 파티션 \(\mathcal I_t\)를 구성한다. 이 패밀리는 ‘strong small‑set‑separating’ 성질을 만족해, 임의의 작은 집합 \(S\subset\kappa\)와 원소 \(x\notin S\)에 대해 어느 파티션 \(I_t\)가 \(x\)를 포함하고 \(S\)를 다른 파티션에 포함하도록 할 수 있다. 이를 통해 조밀 집합을 만들면서도 특정 작은 집합을 폐집합·이산집합으로 만들 수 있다. **4. \(\mathcal{KID}\) 확장의 정의** Definition 2.2에서 \(\mathcal{KID}\) 확장은 세 가지 핵심 구성요소를 사용한다. - \(\mathcal D\): \(\mathcal T\)‑조밀한 분할 \(\{D_{\gamma\eta}\}\). - \(\mathcal I\): 위에서 만든 \(\kappa\)-독립 파티션 패밀리. - \(\mathcal K\): 선택적 폐집합을 지정하는 \(\{K_\xi\}\). 각 \(t=(x,\xi)\in Z\times2^\kappa\)와 \(\alpha<\kappa_t\)에 대해 \(H_{\alpha}^t = X(I_{\alpha}^t)\)와 \(W_{\alpha}^t\)를 정의한다. \(W_{\alpha}^t\)는 경우에 따라 \(K_\xi\)를 포함하거나 제외함으로써, 특정 점을 제외한 나머지를 클로프(open‑closed) 집합으로 만든다. \(\mathcal T_{ID}\)는 모든 \(H_{\alpha}^t\)를 기본 개방 집합으로, \(\mathcal T_{KID}\)는 모든 \(W_{\alpha}^t\)를 기본 개방 집합으로 하는 최소 토폴로지이다. Lemma 2.5와 Corollary 2.6은 \(\mathcal K\)에 의해 지정된 집합이 \(\mathcal T_{KID}\)와 \(\mathcal T_{KID}\)에서 각각 폐집합·이산집합이 되며, \(\mathcal D\)의 각 조각이 여전히 조밀함을 보인다. 이는 확장 후에도 원래의 \(\Delta\)와 \(S\)를 유지하면서 원하는 해소 성질을 조절할 수 있는 기반을 제공한다. **5. 주요 정리와 구성** Theorem 3.3~3.7에서는 구체적인 \(\mathcal K\)와 \(\mathcal I\)를 선택해 다섯 가지 서로 다른 해소 성질을 구현한다. - **\(\mathcal U_1\)**: \(\mathcal K\)를 이용해 \(\kappa\)개의 파티션 중 \(\omega\)개만을 조밀하게 남기고 나머지는 폐집합화한다. 결과적으로 \(\omega\)-해소 가능하지만 \(\kappa\)-해소 가능성은 파괴된다. - **\(\mathcal U_2\)**: 정규 \(\kappa'\le\kappa\)를 고정하고, \(\kappa'\)보다 작은 모든 \(\tau\)에 대해 \(\tau\)-해소 가능하도록 \(\mathcal K\)를 설계한다. \(\kappa'\) 자체에 대한 해소는 불가능하게 만든다. - **\(\mathcal U_3\)**: \(\mathcal K\)를 비워두고, \(\mathcal I\)만으로 \(\kappa\)-해소 가능한 조밀 집합들을 유지한다. 그러나 추가 해소 가능성을 만들 수 없도록 교차 부분을 전체에 조밀하게 만든다. - **\(\mathcal U_4\)**: \(\mathcal K\)를 선택해 일부 \(\kappa\)-크기의 조밀 집합을 폐집합화해 최대 해소 가능성을 잃게 하면서, \(|\mathcal D|\ge\Delta^+\)인 추가 조밀 집합을 새로 만든다. - **\(\mathcal U_5\)**: \(\mathcal K\)와 \(\mathcal I\)를 정교히 조합해 최대 해소와 추가 해소를 동시에 만족시키지만, 교차 부분이 \(nwd(X)\)보다 작아지지 않게 함으로써 강한 추가 해소 가능성은 배제한다. 각 정리는 \(\Delta(X,\mathcal U_i)=\kappa\)와 \(S(X,\mathcal U_i)\le\kappa\)를 보존함을 증명한다. **6. 결론 및 의의** 이 논문은 ‘\(\mathcal{KID}\) 확장’이라는 새로운 도구를 통해, 기존에 개별적인 예시로만 알려졌던 해소 가능성의 부정적 사례들을 **모든** 적절한 타이코노프 공간에 일반화했다. 특히 ZFC만으로도 가능한 확장 방법을 제시함으로써, 이전에 GCH 의존성을 필요로 했던 결과들을 완전히 독립적인 형태로 끌어올렸다. 또한 \(\kappa\)-독립 파티션과 작은 집합 분리 기법을 결합해, 토폴로지 확장 과정에서 조밀성, 셀룰러성, 분산수 등을 정밀하게 제어할 수 있음을 보여준다. 향후 연구에서는 \(\mathcal{KID}\) 확장을 다른 분리 공리나 대수적 구조와 결합하거나, 비타이코노프 공간에 대한 유사한 확장 이론을 탐구하는 방향이 기대된다.