정렬 구조에서 차원 함수 집합의 기수

초록

본 논문은 선형 순서를 갖는 구조 𝔐에 정의되는 차원 함수들의 전체 개수 𝔫_dim(𝔐)를 조사한다. d‑minimal한 순서군에서는 𝔫_dim(𝔐)≤1임을 보이고, o‑minimal 구조에서 유한한 경우에는 𝔫_dim(𝔐)=2^m−1 형태의 정수값만 가능함을 증명한다. 또한 임의의 양의 정수 m에 대해 𝔫_dim(𝔐)=m인 약 o‑minimal 확장을 구성한다.

상세 분석

논문은 먼저 차원 함수의 정의를 정리한다. 정의 1.1은 공집합에 대한 −∞, 단일 원소에 대한 0, 전체 집합에 대한 1을 기본값으로 하고, 합집합에 대해 최대값을, 좌표 교환에 대해 불변성을, 그리고 ‘덧셈 성질’이라 불리는 (4) 조건을 요구한다. 이 조건은 𝑋⊂Mⁿ에 대해 각 좌표 투사 π에 대해 섬유의 차원을 고려해 dim X=dim X∩π⁻¹(X(i))+i(i=0,1) 형태를 만족한다.

다음으로 저자는 ‘약한 차원 함수’를 도입한다. 여기서는 2차원 경우에만 좌표 전환에 대한 불변성(3′)과 (4′)라는 약화된 덧셈 성질을 요구한다. Lemma 2.3과 Lemma 2.4를 통해 (4′)이 모든 차원 n에 대해 (4)를 귀납적으로 유도함을 보이고, Proposition 2.5에서 약한 차원 함수가 실제로는 완전한 차원 함수와 동등함을 증명한다. 이 결과는 이후 다양한 구조에서 차원 함수를 검증할 때 큰 편의를 제공한다.

주요 결과는 Section 3에 전개된다. 먼저 비정렬 구조(예: 강하게 최소인 구조)에서는 Morley rank가 유일한 차원 함수가 됨을 보여, 𝔫_dim(𝔐)=1임을 확인한다. 그 다음, 정렬을 갖는 구조에 대해 두 가지 상한을 제시한다.

1. d‑minimal한 순서군(또는 약 o‑minimal한 순서체)에서는 Theorem 3.10이 𝔫_dim(𝔐)≤1임을 증명한다. 핵심 아이디어는 정의된 차원 함수가 bounded definable subsets에 대해 0 또는 1만을 취하고, 무한히 큰 집합에서는 차원이 반드시 1이 되도록 하는 Lemma 3.2와 Corollary 3.3을 이용한다.

2. o‑minimal 구조에서는 유한한 차원 함수 집합이 존재할 경우 반드시 𝔫_dim(𝔐)=2^m−1 형태임을 Theorem 3.23이 보여준다. 여기서는 차원 함수가 정의된 집합들의 내부 구조를 분석해, 차원값이 0과 1 사이에서 이진 선택을 반복하는 형태임을 귀납적으로 증명한다. 또한 Proposition 3.25를 통해, 임의의 m에 대해 𝔫_dim(𝔐)=2^m−1을 만족하는 o‑minimal 이론을 구성한다.

마지막으로 약 o‑minimal한 확장에 대해 Theorem 3.26이 𝔫_dim(𝔐)=m (任意의 m>1)인 구조를 만들 수 있음을 보여준다. 이 구성은 순서가 있는 가법군에 추가적인 정의된 구간과 이산 집합을 적절히 배치함으로써 차원 함수가 정확히 m개의 서로 다른 값을 가질 수 있게 설계된다.

전체적으로 논문은 차원 함수라는 추상적인 개념을 구체적인 모델 이론적 분류와 연결시켜, 구조의 최소성(d‑minimal, o‑minimal, 약 o‑minimal) 정도에 따라 차원 함수의 다양성이 어떻게 제한되는지를 명확히 제시한다. 특히 ‘2^m−1’이라는 정수형식이 o‑minimal 구조에만 나타나는 점은 차원 이론과 순서 구조 사이의 깊은 상호작용을 시사한다.