직접극한의 위상·균등구조와 연속성 조건에 대한 심층 고찰

초록

폐포함을 이루는 균등공간들의 열(sequence) ( (X_n) )에 대해, 직접극한 (u!-!\lim X_n) 의 위상과 균등성을 명시적으로 기술한다. 각 (X_n) 에 대한 제한함수의 연속성과 “(X_{n-1}) 에 대한 정규성”이라는 추가 조건이 전체 함수의 연속성을 보장함을 보이며, 이를 다른 범주(위상공간, 선형공간 등)에서의 직접극한 위상과 비교한다.

상세 분석

논문은 먼저 균등공간 (X_n) 가 다음 단계 (X_{n+1}) 에 폐집합으로 포함된다는 가정 하에, 범주 (\mathbf{Unif}) 에서의 직접극한 (u!-!\lim X_n) 을 정의한다. 이때 최종 균등구조(final uniformity)를 이용해 엔트라지 (U\subseteq (u!-!\lim X_n)^2) 를 구성한다. 구체적으로, 각 (n) 에 대해 주어진 엔트라지 (U_n\in\mathcal U_{X_n}) 를 선택하고,
\