선형 순서 위상 공간의 임베딩 구조

초록

이 논문은 선형 순서 위상 공간(LOTS)의 임베딩 관계를 부분 순서로 삼아, 가산 및 비가산 경우의 최대 원소 존재 여부와 기저 크기를 조사한다. 가산 LOTS에서는 보편적(최대) 원소와 유한 기저가 존재함을 보이고, 크기 κ ≥ 연속체인 비가산 LOTS에서는 최대 원소가 없으며 지배수는 2^κ 임을 증명한다. 또한 PFA 가정 하에 비가산 LOTS와 밀집 비가산 LOTS에 각각 11·6개의 원소로 이루어진 기저가 존재함을 제시한다.

상세 분석

논문은 먼저 LOTS(선형 순서 위상 공간)를 정의하고, 두 공간 X, Y 사이에 X가 Y에 임베드될 수 있으면 X ≤ Y라 두는 부분 순서를 설정한다. 이 관계는 반사적이고 전이적이지만 반대 방향이 항상 존재하지 않으므로 ‘준순서(quasi‑order)’라 부른다. 가산 크기의 LOTS에 대해서는 기존의 보편적 선형 순서인 ℚ (유리수)와 그 변형들을 활용한다. 저자는 ℚ에 적절한 순서형 토폴로지를 입혀 만든 ‘표준 가산 LOTS’를 보편 원소로 삼고, 모든 가산 LOTS가 이 표준 구조에 연속적으로 삽입될 수 있음을 증명한다. 이 과정에서 사전 순서(lexicographic) 곱과 합을 이용해 복잡한 임베딩을 구성하고, 결국 가산 LOTS 전체에 대해 유한한 기저(예: ℚ, ℚ + 1, 1 + ℚ 등 몇 개의 기본 형태)만 있으면 충분함을 보여준다.

비가산 경우는 크게 두 가지 구간으로 나뉜다. 첫째, |X| = κ ≥ 2^{ℵ₀}인 경우, 저자는 임베딩 관계가 ‘지배수(dominating number)’가 2^κ임을 보인다. 이는 임의의 집합 𝔽⊆