가중치 ω₁인 가분선 위 연속함수 공간의 동형 유형 계수

본 논문은 “C(K) 공간의 동형 유형을 어떻게 셀 수 있는가?”라는 일반적인 질문을 출발점으로 삼아, 특히 무게가 일정한 컴팩트 공간 K에 대해 연속함수 Banach 공간 C(K)의 동형 분류 문제를 다룬다. 먼저, 무한 정규 기수 κ에 대해, 저자들은 ladder system space 라는 특수한 스캐터드 공간을 정의한다. κ의 카운터블 공코피를 갖는 집합 E_κ^ω 위에 각 α∈E_κ^ω에 대해 사다리 L_α⊂α를 잡고, 이를 이용해 X_S 라는 토폴로지를 만든다. X_S는 κ를 기본 집합으로 하고, S⊂E_κ^ω 에 속한 점들은 사다리 L_α를 통해 비격리점으로, 나머지는 격리점으로 만든다. 이 공간은 locally compact이며, 일점 컴팩트화 K_{L,S}는 무게 κ, 높이 2인 스캐터드 공간이 된다. Lemma 3.3에 의해 C_0(X_S)와 C(K_{L,S})는 동형이며, 이는 이후 논증의 기반이 된다. 핵심 기술은 Lemma 3.5이다. 여기서는 두 집합 R⊂S⊂E_κ^ω 중 S\R가 정지(stationary)하면, C(K_{L,R}) → C(K_{L,S}) 로의 밀도 있는 연산자는 존재하지 않음을 보인다. 증명은 연산자 T의 쌍대 T*가 측도들의 지지집합을 제한하는 비감소 함수 F,G를 정의하고, 이 함수들이 클럽 집합 C를 형성하도록 만든다. 정지성질을 이용해 α∈C∩(S\R)를 선택하고, α에 수렴하는 β_n 열을 재귀적으로 구성한다. 이때 β_n 은 L_α 안에 포함되며, T*(δ_{β_n}) 의 지지집합이 점점 α에 가까워지도록 조절한다. 결국 T*(δ_{β_n}) 가 약* 위에서 0 으로 수렴함을 보이며, 이는 T*가 영이 아님을 모순시켜 T가 밀도 있는 사상이 될 수 없음을 증명한다. 이 결과를 이용해, κ가 무한 정규 기수이면 E_κ^ω 의 부분집합을 2^κ 개 선택해 서로 다른 S 를 만들 수 있다. 각 S 에 대해 C(K_{L,S}) 가 서로 비동형이므로, 무게 κ인 컴팩트 공간들의 C(K) 동형 유형은 정확히 2^κ 개임을 얻는다(정리 1.1). 다음으로 논문은 가분선, 즉 선형 순서가 가능한 가산히 분리된 컴팩트 공간에 초점을 맞춘다. Ostaszewski의 정리(정리 2.2)에 의해 모든 가분선 L 은 K_A 형태로 표현될 수 있다. 여기서 K⊂