거의 최소구조의 원소 확장 존재성

초록

본 논문은 거의 최소(o‑minimal) 구조가 항상 자체보다 더 큰 원소적 확장을 가질 수 있음을 증명한다. 이를 위해 유계 울트라파워와 가이프만의 분할 정리를 변형한 방법을 도입하고, 하향·상향 최소성 개념을 활용하여 확장이 역시 거의 최소성을 유지함을 보인다.

상세 분석

거의 최소구조는 Fujita가 제시한 약화된 최소성 개념으로, 모든 유계 정의 가능한 집합이 유한개의 점과 열린 구간의 합으로 표현될 수 있다는 조건만을 요구한다. 이 성질은 전통적인 o‑minimal성보다 약하지만, 지역적 o‑minimal성과 정의 가능한 완비성(DC)을 동시에 만족한다는 점에서 중요한 역할을 한다. 그러나 거의 최소성은 원소 동등성에 대해 보존되지 않는다(예: (ℚ,<,ℤ)와 두 복사로 만든 확장은 동등하지만 후자는 거의 최소가 아니다). 따라서 “모든 거의 최소구조가 적절한 원소적 확장을 갖는가?”라는 질문이 자연스럽게 제기된다.

저자는 두 가지 핵심 도구를 결합한다. 첫 번째는 유계 울트라파워(bounded ultrapower)이다. 일반적인 울트라파워는 모든 공식의 진리값을 보존하지만, 거의 최소성은 유계 구간 내에서만 정의된 공식에 국한될 때만 보존된다. 따라서 인덱스 집합 I와 비주요 울트라필터 U를 이용해 M(I)/U를 구성하고, 모든 ∆₀(즉, 모든 양화사가 유계 구간에 제한된) 공식에 대해 Łos‑type 정리를 입증한다(Lemma 10). 이를 통해 M는 M*에 대해 ∆₀‑원소적 부분구조가 된다.

두 번째 도구는 Gaifman의 분할 정리를 연속적인 순서 구조에 맞게 변형한 것이다. 저자는 조건 (†)을 도입한다. 이는 “모든 유계 구간 (a,b)에서 ∀y∃x φ(x,y) 가 성립하면, 일정한 구간 (d,e) 안에서도 같은 존재성을 보장한다”는 형태의 전형적인 선택 원리를 말한다. 이 조건은 거의 최소구조가 만족한다는 것이 증명된다. 조건 (†)를 전제로 하면, M은 M*에 대해 완전히 코인시덴트(cofinal)하고 코인시탈(coinitial)인 원소적 확장임을 보인다(Theorem 11).

이후 상향·하향 최소성(downward/upward o‑minimal) 개념을 도입해 거의 최소구조를 세 부류로 나눈다. 하향 최소성을 가진 경우, 코인시덴트 확장은 여전히 하향 최소성을 유지하고, 따라서 거의 최소성을 유지한다(정리 16‑1). 상향 최소성에 대해서도 대칭적인 논증이 가능하다(정리 16‑2).

결과적으로, 거의 최소구조 M에 대해 적절히 선택된 비주요 울트라필터와 유계 함수들의 집합을 이용해 만든 M*는 M보다 엄격히 큰 원소적 확장이며, 여전히 거의 최소성을 만족한다. 이는 거의 최소성이라는 약한 최소성 개념이 원소적 확장 하에서도 안정적임을 보여 주는 첫 번째 일반적인 정리이며, 기존에 알려진 o‑minimal·지역 o‑minimal·DC·TC와는 다른 새로운 보존 현상을 제시한다.