진동자 위상과 파라위상군의 새로운 수 불변량

본 논문은 파라위상군(paratopological group)의 구조를 보다 정밀하게 분석하기 위해 ‘진동자 위상(oscillator topology)’이라는 새로운 위상 계열을 도입한다. 파라위상군 (G,τ)에서 단위 원소 e의 이웃 U에 대해 (±U)ⁿ과 (∓U)ⁿ을 귀납적으로 정의하고, 이들 집합을 이용해 τₙ이라는 n‑진동자 위상을 만든다. τ₁=τ이며 τₙ₊₁⊂τₙ이므로 점점 약해지는 위상들의 체인이 형성된다. 일반적으로 (G,τₙ)은 연산이 각각 연속인 반위상군(semitopological group)일 뿐이지만, 특정 n에 대해 τₙ이 실제 군 위상(group topology)이 되면 τₙ은 그룹 반사 τ♭와 일치한다. Theorem 1은 네 가지 조건—(1) (G,τₙ)이 군 위상, (2) τₙ=τ♭, (3) τ_k=τ♭=(τ⁻¹)_{k+1} (k≥n), (4) τₙ⊂(τ⁻¹)ₙ—이 서로 동치임을 증명한다. 특히 (4)가 성립하면 τₙ은 군 위상이 되고, n이 짝수이면 (G,τₙ) 자체가 파라위상군이 된다. 분리성 측면에서는 Theorem 2가 핵심 역할을 한다. τₙ이 Hausdorff(T₂)이면 τ_{2n}과 τ_{2n+1}이 T₁이 되고, 반대로 τ_{2n+1}이 T₁이면 τₙ이 Hausdorff가 된다. 이를 바탕으로 두 개의 수 불변량을 정의한다. T₁(G)=sup{n | τₙ은 T₁}, T₂(G)=sup{n | τₙ은 T₂}. Corollary 1은 T₁(G)=2·T₂(G)+1이라는 관계를 도출하고, 따라서 Hausdorff 파라위상군이면 최소 T₁(G)≥3임을 보여준다. 저자는 Ra