새로운 린델뢰프 위상군의 발견

초록

J. Moore가 만든 L‑공간을 ω₁개의 원형 곱 안에서 생성한 부분반군을 고려한다. 이 부분반군 역시 L‑공간이며, 따라서 비분리이면서도 모든 부분이 린델뢰프인 위상군이 된다. 이로써 기존에 알려진 예와는 다른 새로운 린델뢰프 위상군이 얻어진다. 다만 이 군의 유한한 거듭제곱이 모두 린델뢰프인지 여부는 아직 해결되지 않았다.

상세 분석

본 논문은 J. Moore가 ZFC 내에서 구축한 L‑공간을 출발점으로, ω₁개의 원(S¹)으로 이루어진 곱공간 T^{ω₁} 안에 그 L‑공간이 생성하는 부분반군을 정의한다. T^{ω₁}는 컴팩트하고 아벨 군 구조를 갖는 표준 위상군이며, 여기서 “부분반군”이라 함은 해당 L‑공간을 집합론적 합성으로 닫은 집합을 의미한다. 저자는 먼저 Moore의 L‑공간이 갖는 핵심적인 조합론적 특성—특히 ‘강한 코히런트 시퀀스’와 ‘아론스자크 트리’ 기반의 전이성—을 이용해, 이 집합을 반복적으로 더하면 얻어지는 모든 원소가 여전히 ‘작은’ 지지집합을 가지는 것을 보인다. 구체적으로, 각 원소는 유한 개의 생성원소의 합으로 표현될 수 있으며, 각 생성원소는 ω₁ 차원의 좌표에서 거의 전부가 1(또는 0)인 형태를 띤다. 이러한 구조적 제한은 부분반군이 T^{ω₁} 안에서 ‘희소’하게 퍼져 있음을 의미한다.

다음 단계에서는 이 부분반군이 L‑공간임을 증명한다. L‑공간은 ‘정규·헤리다리히넬델뢰프·비분리’라는 세 가지 조건을 동시에 만족하는 공간이다. 정규성은 T^{ω₁} 자체가 정규이므로 자동으로 물려받는다. 비분리성은 Moore의 원래 L‑공간이 이미 비분리임을 이용해, 생성된 반군이 그 부분집합을 포함하므로 그대로 유지된다. 핵심은 헤리다리히넬델뢰프성, 즉 모든 부분공간이 린델뢰프임을 보이는 것이다. 저자는 임의의 비가산 부분집합 A⊆G(생성된 반군)에서, A가 충분히 큰 경우에는 A의 어느 부분이 이미 원래 Moore의 L‑공간 안에 포함된다는 점을 이용한다. 원래 L‑공간이 헤리다리히넬델뢰프이므로, A는 린델뢰프 부분공간을 갖는다. 또한, 반군 연산이 연속적이므로 합성된 원소들의 집합도 동일한 성질을 보존한다. 이를 통해 G 자체가 헤리다리히넬델뢰프임을 확인한다.

마지막으로, G는 T^{ω₁} 안의 서브그룹(또는 서브반군)으로서 위상군 구조를 갖는다. 연산이 연속이고, 역원 연산 역시 연속이므로 G는 완전한 위상군이다. 기존에 알려진 린델뢰프 위상군 예시들—예컨대 Σ‑곱 Σ(T^{ω₁})—과는 달리, G는 생성원으로 사용된 L‑공간이 비가산 지지집합을 가지고 있음에도 불구하고 린델뢰프성을 유지한다는 점에서 새로운 유형을 제공한다.

논문은 또한 이 군의 유한한 거듭제곱이 린델뢰프인지에 대한 질문을 남긴다. 일반적으로 린델뢰프 위상군의 유한곱이 린델뢰프가 되지 않는 사례가 알려져 있으므로, 이 문제는 현재 위상군 이론에서 중요한 미해결 과제로 남아 있다.