약한 외연과 부분계량성 및 대각선 차수의 새로운 관계

본 논문은 위상수학에서 대각선의 구조와 공간의 외연(extent) 및 약한 외연(weak extent) 사이의 관계를 심도 있게 탐구한다. 서론에서는 부분계량화(submetrizability)의 정의와 대각선 종류—제로셋 대각선(zero‑set diagonal)과 정규 Gδ‑대각선(regular Gδ‑diagonal)—를 소개하고, 기존 연구에서 제로셋 대각선을 가진 공간이 분리가능하거나 제곱 공간이 가산 외연을 가질 때 부분계량화된다는 결과들을 정리한다. 저자들은 이 두 결과를 하나의 더 일반적인 가정인 ‘제곱 공간 X²가 가산 약한 외연(we(X²))을 가진다’는 전제로 통합하고, 이를 위해 ‘약한 이중 외연(weak double extent, wee(X))’이라는 새로운 개념을 도입한다. wee(X)는 모든 열린 커버 𝓤 of X²에 대해 |A|≤κ인 A⊂X가 존재해 St(X×A,𝓤)=X²가 되도록 하는 최소 카디널 κ이다. Proposition 3.1을 통해 we(X) ≤ wee(X) ≤ we(X²)임을 보이며, 이 관계가 이후 증명에 핵심적인 역할을 한다. 첫 번째 주요 정리(Theorem 3.3)는 “X가 제로셋 대각선을 가지고 wee(X)=ℵ₀이면 X는 부분계량화된다”는 내용이다. 증명은 연속 함수 f:X²→