아벨 군의 마르코프 자르키 위상

초록

마르코프가 정의한 ‘초등 대수 집합’(nx = a)의 유한합을 ‘대수 집합’이라 하고, 저자들은 한 아벨 군 G에서 한 부분집합이 모든 전압축(전역 유계) 하우스도프 군 위상에서 닫힌 집합과 동치임을 증명한다. 이를 통해 G에 유일한 Noetherian T₁ 위상, 즉 Zariski(또는 언어) 위상이 존재함을 보이며, 이 위상이 항상 계승적으로 가분가능하고 Frechet‑Urysohn임을 확인한다. 또한 크기가 연속체 이하인 가산 가족에 대해 Zariski 폐쇄와 일치하는 전압축 메트릭 위상을 구성하고, 어떤 부분집합이 어느 하우스도프 군 위상에서 조밀한지의 완전한 특성을 제시한다.

상세 분석

논문은 먼저 아벨 군 G의 ‘초등 대수 집합’을 {x∈G : nx = a}(n∈ℤ, a∈G) 형태로 정의하고, 이러한 집합들의 유한합을 ‘대수 집합’이라 명명한다. 핵심 정리는 “G의 부분집합 A가 대수 집합이면, G에 정의된 모든 전압축(즉, 전역 유계) 하우스도프 군 위상 τ에 대해 A는 τ‑폐쇄이다. 반대로, 모든 전압축 하우스도프 위상에서 폐쇄인 집합은 반드시 대수 집합이다”는 양방향 명제이다. 이 결과는 기존에 마르코프가 제시한 ‘대수적 폐쇄성’과 위상적 폐쇄성 사이의 깊은 연관성을 밝히며, 전압축 위상이 갖는 강력한 제한조건을 활용한다.

이 정리를 토대로 저자들은 G 위에 ‘Zariski 위상’ ζ를 정의한다. ζ는 대수 집합들을 정확히 폐쇄 집합으로 하는 유일한 Noetherian T₁ 위상이다. Noetherian 성질은 모든 폐쇄 집합이 유한히 많은 기본 폐쇄 집합의 합으로 표현될 수 있음을 의미하고, 이는 대수 집합이 유한합으로 구성된다는 정의와 일치한다. ζ가 T₁이면서 Noetherian이므로, G는 언제나 사후적으로 가분가능(hereditarily separable)하고 Frechet‑Urysohn 성질을 가진다. 즉, 각 점의 폐쇄는 그 점을 포함하는 수열(또는 네트)으로부터 얻을 수 있다.

다음 단계에서는 크기가 연속체(𝔠) 이하인 가산 가족 ℱ ⊆ 𝒫(G)에 대해, ℱ의 각 원소에 대해 Zariski 폐쇄와 동일한 폐쇄를 갖는 전압축 메트릭 위상 τℱ를 구성한다. 이 위상은 완전하게 메트릭이며, 전압축이라는 전역 유계 조건을 만족한다. 구성 방법은 일련의 연속적인 사전위상(Pre‑topology)을 정의하고, 이를 완비화하여 메트릭 구조를 부여하는 전형적인 ‘그룹 위상 생성’ 기법을 변형한 것이다.

마지막으로, 논문은 “어떤 부분집합 D⊆G가 어느 하우스도프 군 위상에서 조밀(dense)할 수 있는가?”라는 질문에 대한 완전한 해답을 제시한다. 저자들은 D가 Zariski 위상에서 전체 G와 동일한 폐쇄를 갖는 경우에만, 즉 D가 Zariski‑밀집일 때 조밀한 하우스도프 군 위상이 존재함을 증명한다. 더 나아가, 이러한 위상은 반드시 전압축이며 메트릭으로 선택 가능함을 보여, 마르코프가 오랫동안 제기한 ‘모든 대수 집합은 전압축 위상에서 폐쇄인가’라는 문제에 부분적인 긍정적 답을 제공한다. 전체적으로 이 논문은 대수적 구조와 위상적 구조 사이의 교차점을 정밀히 분석하고, 아벨 군 위상 이론에 새로운 통합적 시각을 제시한다.