단조 작용 집합의 위상화와 Zariski G‑위상의 비이산성

본 논문은 “G‑topology”라는 개념을 도입하여, 집합 X와 자기함수군 G(단조) 사이의 작용이 연속이 되도록 하는 비이산 Hausdorff 위상의 존재 여부를 연구한다. 이를 위해 먼저 Zariski G‑위상 ζ_G를 정의한다. ζ_G는 기본 집합 {x∈X : f(x)≠g(x)}와 {x∈X : f(x)≠c} (f,g∈G, c∈X) 로 생성되는 위상이며, 언제나 T₁ 성질을 가지고 모든 Hausdorff G‑위상보다 얇다. 논문의 핵심 정리는 가산 단조 G⊂X^X에 대해 다음이 동치임을 보인다. (1) X가 비이산 Hausdorff G‑위상을 가짐. (2) ζ_G가 비이산임. 즉, ζ_G가 이산이면 어떠한 Hausdorff G‑위상도 존재할 수 없고, 반대로 ζ_G가 비이산이면 풍부한 위상 구조를 만들 수 있다. 이를 증명하기 위해 저자는 “판별 필터”(discriminating filter)라는 새로운 도구를 도입한다. 판별 필터는 G‑작용에 의해 생성된 집합들의 필터이며, ζ_G와 일치하는 경우 해당 필터가 수축하지 않아 비이산 위상을 형성한다. 가산 G에 대해 ζ_G가 비이산이면 반드시 판별 필터가 존재함을 보이고, 이를 이용해 ζ_G보다 미세한 Hausdorff G‑위상을 구성한다. 또한, 이러한 위상들을 변형하여 2^{\mathfrak c}개의 서로 다른 헤리다리히 정상 G‑위상을 만든다. 헤리다리히 정상성은 모든 부분공간이 정상(T₅)임을 의미하며, 이는 위상 구조가 매우 풍부함을 나타낸다. 반대 방향도 다룬다. ζ_G가 이산이면, 모든 Hausdorff G‑위상이 ζ_G에 포함되므로 결국 이산 위상밖에 없으며, 따라서 비이산 Hausdorff G‑위상은 존재하지 않는다. 논문은 다양한 구체적 예시를 통해 ζ_G의 성질을 살펴본다. (i) 전치군 G와 그 부분단조 G_l, G_r, G_s 등에 대한 ζ_G는 유한 위상(유한 보조집합 위상)과 일치한다. (ii) 무한 전치군에 대해 ζ_G_s와 ζ_G_q는 비이산이며, 이는 Zelenyuk의 결과와 일치한다. (iii) 다항식 함수군 G_p에 대해서는 ζ_G_p가 일반적인 그룹 Zariski 위상과 동일함을 보이며, 이는 가산 비위상화 가능한 군에 대해 ζ_G_p가 이산임을 의미한다. (iv) 특정 비가산 군에 대해 ζ_G_m(특정 정수 m)에 대해 비이산/이산 여부가 달라지는 현상을 제시한다. 마지막으로, 기존 연구와의 연관성을 논한다. 마르코프가 제시한 “unconditionally closed” 집합과 알제브라적 집합이 동일함을 보인 결과와, “ungebunden” 개념을 통해 ζ_G의 pseudo‑character가 위상화 가능성을 좌우한다는 점을 강조한다. 특히 가산 군에 대한 마르코프 정리와 유사하게, 가산 단조 G에 대해서는 ζ_G의 비이산성이 위상화 가능성의 정확한 기준이 된다. 결론적으로, 논문은 G‑작용을 갖는 집합의 위상화 문제를 Zariski G‑위상의 구조와 직접 연결시켜, 가산 경우 완전한 판정 기준과 2^{\mathfrak c}개의 풍부한 헤리다리히 정상 위상을 제공함으로써 위상학·대수학 사이의 새로운 교차점을 제시한다.