계산가능 선택과 볼록 위상에서의 콤팩트성

본 논문은 선택공리 없이 ZF 체계에서 가산 선택공리 AC(N) 또는 의존 선택공리 DC 와 같은 약한 선택 원리를 이용해 함수공간과 Banach 공간에서 콤팩트성 결과를 재구성한다. 1. **배경 및 동기** ZF + AC(N) 하에서는 전통적인 약한 위상 σ(E,E′)이 비정상적인 경우(예: 연속 이중공간이 자명해지는 경우) 충분히 강력하지 않을 수 있다. 이를 보완하기 위해 저자는 “볼록 위상(convex topology)”을 정의한다. 이 위상은 강한 위상(노름 위상)에서 닫힌 볼록 집합들을 기본 폐집합으로 삼아 만든 것으로, 볼록 집합이 약한 위상에서도 닫힌 집합이 되도록 보장한다. 2. **볼록 위상의 기본 성질** - 볼록 위상은 약한 위상보다 강하지만 강한 위상보다 약하다. - 연속 Hahn‑Banach 성질(CHB)을 만족하는 모든 실수 벡터공간에서는 약한 위상과 볼록 위상이 일치한다. 특히, 균일하게 볼록한 Banach 공간은 CHB를 만족하므로 두 위상이 동일하다. - Lusternik‑Schnirelmann 정리를 이용해, 단위 구의 볼록 위상에서의 폐포가 닫힌 단위구와 일치함을 보인다(정리 2). 3. **가산 선택공리를 이용한 콤팩트성 기준** 핵심은 정리 1(“큰 d‑볼과 C‑작음 조건”)이다. 여기서 (X,d) 는 완비 거리공간, T는 d보다 강한 위상, C는 T의 폐집합을 생성하는 부분기저이며, C가 “thin crown” 안에서 직경을 임의로 작게 만들 수 있는 ‘작음’ 속성을 가진다. AC(N) 을 이용해 가산 선택을 수행하면, 필터가 코시가 되고 완비성으로부터 교집합이 단일점임을 얻는다. 이 결과는 다음 두 주요 응용으로 이어진다. a. **균일하게 볼록한 Banach 공간** 균일하게 볼록한 Banach 공간 E의 닫힌 단위구 B_E는 볼록 위상에서 큰 d‑볼에 해당한다. 위의 정리 1을 적용하면, B_E는 볼록 위상에서 콤팩트함을 얻는다(정리 3). 이는 기존에 Hilbert 공간에 한정되었던 결과를 일반 Banach 공간으로 확대한다. 또한, B_E는 (closely) convex‑compact, 즉 C‑콤팩트와 C‑밀접성을 동시에 만족한다(정리 4). b. **