I‑의사컴팩트와 mⁱ·uⁱ 위상: 일계수성·계산가능성·경계성의 새로운 연결고리

초록

본 논문은 이상 I⊂C(X) 에 대해 정의된 mⁱ‑위상과 uⁱ‑위상의 구조적 특성을 조사한다. mⁱ‑위상이 첫 번째 계수성을 갖는 경우와 uⁱ‑위상이 mⁱ‑위상과 일치하는 경우가 정확히 X가 I‑의사컴팩트(pseudocompact)일 때와 동치임을 보인다. 또한 mⁱ‑위상이 두 번째 계수성(또는 ℵ₀‑bounded)일 때는 X가 컴팩트·메트릭이며 I=C(X)임을, mⁱ‑위상이 hemicompact·σ‑compact·H‑bounded일 때는 X가 유한 집합이며 I=C(X)임을 각각 성립한다. 마지막으로 I‑의사컴팩트와 Cₘⁱ(X)의 Čech‑완비성 사이의 동등성을 제시한다.

상세 분석

논문은 먼저 C(X) 위의 두 전통적인 위상인 u‑위상(균등수렴 위상)과 m‑위상(점별 위상)을 I라는 이상에 의해 일반화한 uⁱ‑위상과 mⁱ‑위상을 소개한다. 정의는 각각
Bᵤ(f,I,ε)= {g∈C(X): supₓ|f(x)−g(x)|<ε, f−g∈I}와
Bₘ(f,I,u)= {g∈C(X): |f(x)−g(x)|<u(x) ∀x, f−g∈I}
를 기본 개방집합으로 하는 것이다. 여기서 u∈C⁺(X) 은 양의 연속함수이며, I는 임의의 이상이다.

핵심 개념인 I‑의사컴팩트성은 “X\⋂_{g∈I}Z(g) 가 모든 연속함수에 대해 유계(bounded)이다” 로 정의한다. 이 정의는 I=C(X) 일 때 기존의 의사컴팩트와 일치한다. 논문은 기존 문헌에서 요구되던 I의 convex성 가정을 제거하고, I‑의사컴팩트와 위상들의 동등성을 완전하게 증명한다. 구체적으로

1. mⁱ‑위상이 첫 번째 계수성을 가짐 ⇔ uⁱ‑위상 = mⁱ‑위상 ⇔ X가 I‑의사컴팩트
   가 성립한다. 이는 m‑위상이 u‑위상보다 미세하다는 일반적 사실을 이용하면서도, I‑의사컴팩트가 없으면 mⁱ‑위상은 절대로 첫 번째 계수성을 가질 수 없음을 보여준다.

2. mⁱ‑위상이 두 번째 계수성(=ℵ₀‑bounded)일 경우, 이는 곧 X가 컴팩트·메트릭이며 I=C(X)임을 의미한다. 여기서 ℵ₀‑bounded는 모든 이웃집합 V에 대해 X=AV·V (A는 가산) 로 표현될 수 있음을 뜻한다. 논문은 이 조건이 mⁱ‑위상의 기저가 실질적으로 ‘전역적인’ ε‑볼록 집합들로 구성될 때만 가능함을 증명한다.

3. mⁱ‑위상이 hemicompact 혹은 σ‑compact, 혹은 H‑bounded일 때는 X가 유한 집합이고 I=C(X)이어야 함을 보인다. H‑bounded는 “각 이웃집합 V에 대해, 모든 점이 거의 모든 Vₙ·Vₙ에 포함된다”는 강한 제한조건이며, 이를 만족하려면 Cₘⁱ(X)의 토폴로지가 사실상 이산적이어야 함을 논증한다.

4. I‑의사컴팩트와 Čech‑완비성 사이의 새로운 연결고리를 제시한다. I가 균등극한에 대해 닫혀 있을 때, X가 I‑의사컴팩트이면 Cₘⁱ(X) 가 βCₘⁱ(X) 안에서 G_δ‑집합이 되므로 Čech‑완비가 된다. 반대 방향도 동일한 가정 하에 성립한다. 이는 기존에 알려진 “X가 의사컴팩트 ⇔ C(X)의 u‑위상이 Čech‑완비” 결과를 I‑이상으로 일반화한 것이다.

논문 전반에 걸쳐 다양한 카디널 함수(문자수, 무게, 밀도, 셀러리티, Lindelöf 수 등)가 Cₘⁱ(X) 에서 서로 일치함을 보이며, 이는 mⁱ‑위상이 메트릭 위상과 매우 유사한 행동을 함을 시사한다. 특히 I=C(X) 일 때는 기존 결과와 정확히 일치한다는 점에서 일반화의 적절성을 확인한다.

이러한 결과들은 함수공간 위상의 미세한 구조를 이상 I에 따라 조절할 수 있음을 보여주며, 특히 위상학적 군·환 구조를 동시에 고려한 연구가 드물던 분야에 새로운 도구와 관점을 제공한다. 다만, I‑의사컴팩트성을 판정하는 구체적인 방법론이나, 자유이상·필수이상에 대한 보다 세밀한 분류가 향후 연구 과제로 남는다.