집합 가족 위의 균등수렴 균일성 연구

초록

본 논문은 Hausdorff 공간 X와 균등 사중공간(Y, U)에서, 포화된 집합 가족 L에 대한 균등수렴 균일성 U|이 유도하는 C(X,Y) 위의 위상이 집합-열린(topology of set-open) 위상과 일치함을 증명한다. 특히, 의사컴팩트 X와 메트리제이션 가능한 토폴로지 벡터 공간 Y에 대해, 균등수렴 위상이 C-콤팩트-열린 위상과 동일하고, 이는 U가 정의하는 Y의 토폴로지에만 의존한다는 점을 보인다. 또한, 폐동질 완비 균등공간 Y에 대해, 위상 일치를 위한 필요조건으로 L의 원소들이 Y-콤팩트해야 함을 제시한다.

상세 분석

논문은 먼저 Hausdorff 공간 X와 균등 구조 U를 가진 위상공간 Y를 고려한다. 여기서 ‘균등 사중공간(quadra space)’이라는 용어는 Y가 완비이며, 모든 두 점 사이에 균등 거리 함수를 정의할 수 있는 구조를 의미한다. 저자는 L을 X의 부분집합들의 ‘포화(family of saturated sets)’라고 정의하고, 이들에 대해 균등수렴을 정의한다. 구체적으로, 함수열 {f_n}⊂C(X,Y)가 L 위에서 균등수렴한다는 것은 임의의 V∈U에 대해, 어느 N이 존재하여 모든 n≥N과 모든 A∈L에 대해 f_n|_A와 f|_A가 V-근접함을 뜻한다.

핵심 정리는 “U|이 유도하는 위상 = 집합-열린 위상”이라는 동등성이다. 이를 증명하기 위해 저자는 두 위상의 기본 열린 집합을 각각 기술한다. 집합-열린 위상은 기본 열린 집합이 {