첫 번째 가산 연속체, 실수선 나머지가 될 수 없다

논문은 먼저 파로비첸코 정리와 연속체 가설(CH)의 관계를 소개한다. 파로비첸코는 “가중치가 ℵ₁ 이하인 콤팩트 하우스도르프 공간은 N* 이미지”라는 결과를 증명했으며, 연속체 가설이 참이면 N* 이미지와 H* 이미지가 동일한 클래스를 형성한다는 추론을 제시한다. 저자들은 이 동등성이 첫 번째 가산 연속체에서는 깨질 수 있음을 보이고자 한다. 핵심 도구는 Murray G. Bell이 만든 “Bell’s graph”이다. 이 그래프는 ω₂ 위에 정의된 대칭 관계 E⊆ω₂² 로, 어떤 함수 ϕ:ω₂→𝒫(ℕ)도 “α와 β가 E에 속함 ⇔ ϕ(α)∩ϕ(β) 무한”을 만족하도록 만들 수 없다는 특성을 가진다. 이 그래프는 ℵ₂개의 Cohen 실을 추가하는 강제 확장 안에서 언제나 존재한다. 저자들은 이 그래프를 연속적인 위상 구조에 삽입함으로써, 위상적 이미지가 그래프의 비표현성을 반영하도록 설계한다. 구성 단계는 두 부분으로 나뉜다. 첫 번째는 “연결된 콤(connected comb) C”라는 기본 공간을 정의하는 것이다. C는 단위 구간