비분리 연결성을 가진 밀도 높은 그래프 공간

초록

실수선 위에서 코시 방정식을 만족하는 비연속 가법 함수의 그래프를 이용해, 연결되어 있으면서도 비자명한 가산 연결 부분공간을 전혀 포함하지 않는 메트릭 공간을 구성한다.

상세 요약

논문은 “비분리 연결(non‑separably connected)”이라는 개념을 중심으로 전개된다. 비분리 연결이란, 전체 공간은 연결되어 있지만, 임의의 가산(또는 더 일반적으로 분리 가능한) 부분공간은 연결성을 잃는 성질을 말한다. 기존에는 이러한 성질을 가진 예가 위상적·집합론적 구조를 이용해 복잡하게 구축된 경우가 많았으며, 메트릭 공간 차원에서의 간단한 예는 알려지지 않았다. 저자는 실수선 ℝ 위에 정의된 가법 함수 f:ℝ→ℝ를 선택한다. 여기서 f는 코시 방정식 f(x+y)=f(x)+f(y)를 만족하지만 연속이 아니며, 따라서 Hamel 기저를 이용해 임의로 정의된 ‘비연속 가법 함수’이다. 이러한 함수의 그래프 G={(x,f(x))|x∈ℝ}는 ℝ² 안에서 두 가지 핵심적인 성질을 가진다. 첫째, G는 ℝ² 전체에 대해 밀집(dense)한다. 이는 f가 연속이 아니므로, 임의의 열린 사각형 안에 그래프의 점이 존재함을 보이는 전통적인 논증에 의해 얻어진다. 둘째, G는 연결된 집합이다. 연결성을 증명하기 위해 저자는 두 점 (x₁,f(x₁)),(x₂,f(x₂)) 사이에 유리수 q₁,q₂를 적절히 선택해 선형 결합 q₁·(x₁,f(x₁))+q₂·(x₂,f(x₂))가 다시 G 안에 놓이도록 구성한다. 이 과정에서 가법성 f(q·x)=q·f(x) (q∈ℚ) 를 이용해 G가 유리선분들의 합으로 닫혀 있음을 보이며, 이러한 유리선분들의 연속적인 합이 전체 G를 연결시킨다.

다음으로, 논문은 G의 모든 가산 부분공간 S가 ‘완전히 분리(disconnected)’임을 보인다. S가 가산이면, 투사 π₁(S)⊂ℝ 역시 가산이다. 가산 집합은 ℝ에서 폐쇄된 구간을 포함하지 않으므로, 각 x∈π₁(S)에 대해 f는 고정된 값 f(x)만을 갖는다. 따라서 S는 서로 다른 x값을 갖는 점들의 집합으로 분리될 수 있다. 더 구체적으로, 서로 다른 x₁,x₂∈π₁(S) 사이에 열린 구간 (x₁,x₂)가 존재하고, 그 구간에 해당하는 그래프 점이 S에 없으므로 S는 두 개 이상의 열린-폐(clopen) 부분으로 나뉜다. 결과적으로 S는 연결성을 상실한다.

이러한 두 가지 결과를 종합하면, G는 ‘비분리 연결’이라는 특성을 만족하는 메트릭 공간의 가장 단순한 예가 된다. 즉, 전체 공간은 연결되어 있으면서도, 어떠한 가산(분리 가능한) 부분공간도 비자명한 연결 성분을 갖지 않는다. 이는 기존에 알려진 비분리 연결 공간이 복잡한 위상 구조를 필요로 했던 것과 달리, ℝ² 안의 단순한 그래프 형태로 구현될 수 있음을 보여준다. 논문은 또한 이 구성법이 다른 비연속 가법 함수들에 대해서도 동일하게 적용될 수 있음을 언급하며, 비분리 연결 공간의 풍부한 예시를 제공한다는 점에서 위상수학·측도론·함수해석 사이의 흥미로운 교차점을 제시한다.