연속 효용으로 전순서 표현하기 위한 위상 조건 – 하우스도르프 가정의 제거와 폴란드 공간 동등성

초록

본 논문은 전순서(preorder)를 연속 효용 함수들의 가족으로 정확히 나타내는 Levin 정리에서 기존에 요구되던 하우스도르프(Hausdorff) 조건을 없애고, 대신 k‑ω 공간, 국소 콤팩트성, 의사거리가능성 등 여러 위상적 가정들을 비교·분석한다. 특히 이러한 가정들이 모두 폴란드 공간 가정과 동등함을 보이며, 두 번째 가산성(second‑countable)과 폐쇄(preclosed) 전순서가 존재할 때 가산 개수의 연속 효용 함수로 전순서를 완전히 재현할 수 있음을 증명한다.

상세 분석

논문은 먼저 전순서가 정의된 위상공간 ((E,T,\le ))에서 효용 함수 (f:E\to