하위 준연속성 공동 연속성 및 관련 개념

초록

본 논문은 $X$, $Y$가 위상공간이고 $Z$가 거리공간일 때, $f:X\times Y\to Z$에 대해 $Y$가 가산 기저를 가질 경우, 각 기저 원소 $B\in\mathcal B$에 대한 집합값 함수 $x\mapsto f_x(B)$가 일정한 일반적 조건을 만족하면, $X$의 잔여집합 $R$이 존재하여 모든 $(a,b)\in R\times Y$에 대해 $f$가 $(a,b)$에서 연속인 것이 $f_a$가 $b$에서 연속인 것과 동치임을 보인다. 또한 연속성 대신 준연속성·클리키성(클리시성)으로 바꾸어도 유사한 결과를 얻는다.

상세 분석

논문은 먼저 $X$, $Y$, $Z$를 각각 위상공간, 위상공간, 완비 거리공간으로 설정하고, $f:X\times Y\to Z$를 임의의 함수로 두었다. 핵심 가정은 $Y$가 가산 기저 $\mathcal B={B_n:n\in\mathbb N}$를 갖는다는 점이다. 저자는 각 기저 원소 $B\in\mathcal B$에 대해 $f_x(B)={f(x,y):y\in B}$라는 집합값 함수를 정의하고, 이 함수가 “하위 준연속성(lower quasicontinuity)”이라는 새로운 개념을 만족하면 원하는 잔여집합이 존재한다는 명제를 증명한다. 하위 준연속성은 전통적인 연속성보다 약하지만, $x$가 $X$의 어느 잔여점에 접근할 때 $f_x(B)$가 $Z$에서 적절히 수렴한다는 조건을 의미한다. 구체적으로, 임의의 열린 집합 $U\subset Z$와 $x\in X$에 대해 $f_x(B)\cap U\neq\varnothing$이면, $x$의 어느 근방 $V$가 존재하여 모든 $x’\in V$에 대해 $f_{x’}(B)\cap U\neq\varnothing$가 된다. 이는 집합값 함수의 상하한이 동시에 제어되는 형태이며, 기존의 “점별 연속성”이나 “준연속성”과는 구별된다.

이러한 가정을 바탕으로 저자는 Baire 범주론을 활용한다. $X$가 Baire 공간이면, 하위 준연속성을 만족하는 집합값 함수들의 역상은 $F_\sigma$ 집합이 되며, 그 보완은 잔여집합이 된다. 따라서 $R=\bigcap_{n\in\mathbb N}R_n$ 형태의 잔여집합을 구성할 수 있다. 여기서 $R_n$은 $B_n$에 대한 하위 준연속성 조건을 만족하는 $x$들의 집합이다.

주요 정리는 다음과 같다. $a\in R$이고 $b\in Y$일 때, $f$가 $(a,b)$에서 연속이려면 그리고 오직 $f_a:Y\to Z$가 $b$에서 연속이어야 한다. 즉, $X$의 “큰” 부분에서는 $f$의 공동 연속성이 $x$-편 연속성에 완전히 귀속된다. 이는 기존의 “Kelley’s theorem”이나 “Kuratowski–Ulam theorem”을 일반화한 형태이며, 특히 $Y$가 가산 기저를 가질 때만 필요 조건이 완화된다는 점이 새롭다.

또한 저자는 연속성 대신 준연속성(quasicontinuity)과 클리시성(cliquishness)이라는 약한 연속 개념을 도입한다. 준연속성은 임의의 열린 집합 $U$와 점 $p$에 대해 $U$와 $f(p)$가 겹치면, $p$의 근방에서 $f$가 $U$와 교차하는 작은 열린 집합이 존재함을 의미한다. 클리시성은 $f$가 임의의 열린 집합 $U$에 대해 $U$와 교차하는 점들의 집합이 조밀하고 $G_\delta$임을 요구한다. 논문은 하위 준연속성 가정 하에, $R$을 동일하게 정의하면 $f$가 $(a,b)$에서 준연속이거나 클리시한 경우에도 $f_a$가 해당 점에서 같은 성질을 가질 필요충분조건이 성립함을 보인다.

기술적인 핵심은 집합값 함수의 하위 준연속성을 이용해 $X$의 잔여집합을 구축하고, 그 위에서 $Y$에 대한 점별 연속성(또는 준연속성·클리시성)이 공동 연속성(또는 해당 약한 연속성)으로 승격되는 구조를 명확히 하는 것이다. 이는 위상수학, 함수해석, 그리고 선택 이론 사이의 교차점에 위치한 문제들을 통합적으로 다루는 새로운 프레임워크를 제공한다.