정렬이 닫힌 k₍ω₎ 공간은 정상 전순서 공간이며, 2차 가산 정규 전순서 공간은 완전 정상 및 가산 효용표현을 가짐

본 논문은 위상 전순서 공간의 정상성(normality)과 효용 표현에 관한 두 가지 핵심 정리를 제시한다. 먼저, 전순서가 닫힌(closed) 경우, 즉 전순서 관계의 그래프 G(≤)가 위상 공간 E×E에서 폐쇄인 경우를 고려한다. 전순서가 닫힌다는 가정은 전순서와 위상 구조가 강하게 결합되어 있음을 의미한다. 논문은 이러한 전순서가 정의된 k₍ω₎-공간—즉, 가산 개수의 컴팩트 부분집합 K₁⊂K₂⊂…이 전체 공간을 포괄하고, 열린 집합이 각 Kₙ와의 교집합으로 판정되는 위상 공간—에 대해 정상 전순서 공간임을 증명한다. 정리 2.4는 “컴팩트 + 닫힌 전순서 ⇒ 정상 전순서”를 보여준다. 여기서는 폐쇄 감소집합 A와 폐쇄 증가집합 B가 서로 겹치지 않을 때, 각 점 x∈A와 y∈B에 대해 감소 이웃 U(x,y)와 증가 이웃 V(y,x)를 선택하고, 컴팩트성으로부터 유한 부분 커버를 얻어 전체 A와 B를 각각 포함하는 열린 감소·증가 집합 U와 V를 구성한다. 이때 U∩V=∅이 보장된다. 이 정리는 전순서가 닫힌 경우에만 필요하며, Hausdorff 가정은 필요치 않다. 그 다음, 정리 2.7은 k₍ω₎-공간에 대한 귀납적 확장을 수행한다. 각 Kₙ는 정리 2.4에 의해 정상 전순서이므로, Aₙ=A∩Kₙ와 Bₙ=B∩Kₙ에 대해 열린 감소·증가 집합 Uₙ, Vₙ를 얻는다. 이후 i(Iₙ(Vₙ))와 d(Dₙ(Uₙ))를 이용해 다음 단계 Kₙ₊₁에서 새로운 폐쇄 감소·증가 집합을 정의하고, 다시 정상성을 적용한다. 이렇게 구성된 Uₙ, Vₙ의 증가·감소 연쇄는 결국 전체 공간 E에서 열린 감소 집합 U=⋃Uₙ와 열린 증가 집합 V=⋂Vₙ를 만든다. 이 두 집합은 각각 A와 B를 포함하고 서로 겹치지 않으므로, (E,T,≤)는 정상 전순서 공간이다. 논문은 이 과정에서 k₍ω₎-공간이 k-공간보다 강한 조건임을 강조하고, 이 조건이 없으면 (예: 이산 순서) 정상성을 보장할 수 없음을 예시로 제시한다. 두 번째 주요 결과는 2차 가산(second countable)이며 정규(regular) 전순서 공간에 대한 것이다. 정규 전순서 공간은 폐쇄 감소집합과 점, 혹은 폐쇄 증가집합과 점을 각각 열린 감소·증가 집합으로 분리할 수 있다. 2차 가산성을 이용하면 전순서의 증가·감소 집합을 기저(open base)로 근사화할 수 있고, 이를 통해 Urysohn Lemma의 전순서 버전을 적용한다. 구체적으로, 폐쇄 증가집합 B와 폐쇄 감소집합 A가 서로 겹치지 않을 때, 연속 함수 f:E→