기본 함수족의 최소 크기

초록

연속 실함수들의 기본족(basic family)을 정의하고, 그 최소 크기 basic (X)를 연구한다. 가산 메트릭스 공간 X에 대해 X가 국소 컴팩트·유한 차원이면 basic (X)는 유한하고, 그렇지 않으면 연속체 크기 𝔠가 된다. 또한 컴팩트 공간 K에 대해 가중치 w(K)의 공코피가 비가산이거나 w(K)와 같은 크기의 이산 부분집합을 갖는 경우, K가 유한 차원이면 basic (K)=cof(

상세 분석

논문은 연속 실함수들의 조합으로 모든 연속함수를 생성할 수 있는 함수 집합 𝔅를 ‘기본족(basic family)’이라 정의하고, 이러한 집합의 최소 가능한 크기를 basic (X)라 명명한다. 기본적인 질문은 “어떤 위상공간 X에 대해 basic (X)의 크기는 어느 정도인가?”이다. 저자는 먼저 가산 메트릭스 공간 X에 대해 두 가지 경우로 나눈다. X가 국소 컴팩트이며 유한 차원인 경우, 차원 이론과 Stone‑Weierstrass 정리를 활용해 유한 개수의 좌표함수와 연속 변환 g_i∈C(ℝ)만으로 모든 연속함수를 표현할 수 있음을 보인다. 따라서 basic (X) 는 어떤 유한 수 n 에 의해 제한된다. 반대로 X가 국소 컴팩트가 아니거나 무한 차원을 가질 경우, 연속함수 공간 C(X)의 기수는 연속체 𝔠와 동형이며, 이를 이용해 basic (X) ≥𝔠임을 증명한다. 여기서 중요한 도구는 Baire 범주 정리와 연속함수의 대수적 독립성이다.

다음으로 저자는 컴팩트 공간 K에 대해 가중치 w(K)와 그 공코피(cofinality)를 고려한다. w(K)의 공코피가 비가산이거나 K가 w(K)와 같은 크기의 이산 부분집합 D를 포함하면, K의 연속함수 공간 C(K)의 크기는 w(K)^{ℵ₀}가 된다. 이때 K가 유한 차원이면 차원 이론에 따라 기본족을 구성하는 좌표함수들의 집합이