위상군에서 선택적 스크리너빌리티와 하버 성질의 관계

본 논문은 위상군 G에서 선택적 스크리너빌리티(S_c)와 관련된 여러 선택 원리를 체계적으로 연구한다. 서두에서 O는 G의 모든 열린 덮개, Ω는 ω‑덮개, O_gpb는 groupable 열린 덮개, Λ는 large 덮개, O_cgp는 c‑groupable 열린 덮개 등을 정의한다. 특히 O_nbd는 단위 원소 e의 좌측 불변 이웃집합 U에 대해 O(U)= {x∗U : x∈G} 로 만든 열린 덮개들의 집합이다. 선택 원리 S_c(A, B)는 A의 열린 덮개열 (A_n)에 대해 각 n마다 서로 분리된 refinement B_n을 선택하고, 그 합이 B에 속하도록 하는 조건이다. Smirnov‑S_c는 유한 단계 k까지만 선택을 요구한다. 논문은 기존 결과(정리 1)를 인용해 메트리자블 공간 X에서 S_c(O, O)와 모든 등가 메트릭에 대한 하버(Haver) 성질이 동치임을 상기한다. 그 다음, 위상군 G가 메트리자블일 때 S_c(O_nbd, O)와 좌측 불변 메트릭에 대한 하버 성질이 동치임을 정리 2에서 증명한다. 증명은 Kakutani의 정리를 이용해 주어진 이웃집합 기저 {U_k}로부터 좌측 불변 메트릭 d를 구성하고, d‑diameter가 ε_n보다 작은 서로 분리된 열린 집합들을 선택해 하버 성질을 얻는다. 반대 방향에서는 하버 성질을 이용해 ε_n에 대응하는 분리된 열린 집합들을 찾아 O_nbd에 대한 S_c를 만족시킨다. 정리 4에서는 Smirnov‑S_c(O_nbd, O)와 유한 하버 성질이 동치임을 보인다. 이어서 Hurewicz 성질을 도입해, 위상군이 Hurewicz를 만족하면 S_c(O_nbd, O)와 S_c(O, O)가 동치가 됨을 정리 5에서 증명한다. 여기서는 Hurewicz가 각 열린 덮개열에 대해 유한 부분집합을 선택해 거의 전부를 커버하도록 하는 특성을 활용한다. 그러나 역은 일반적으로 성립하지 않는다. 정리 6은 R×C^ℕ (실수군과 복소 단위 원군의 무한 직곱)에서 S_c(O_nbd, O)와 S_c(O, O) 사이의 불일치를 보여준다. 이 군은 Hurewicz‑bounded이지만,