[논문 리뷰] Correspondences between model theory and Banach space theory

Karim Khanaki|arXiv (Cornell University)|2015. 12. 29.

Advanced Topology and Set Theory참고 문헌 10인용 수 5

한 줄 요약

이 논문은 모형이론적 분류 개념—안정성, NIP, NSOP—과 고전적 바나흐 공간 성질—반사성, 로젠탈, 약한 순차적 완비성—사이에 깊은 대응 관계를 수립한다. 공식 $\phi(x,y)$ 에 자연스럽게 연관된 바나흐 공간 $V$ 를 정의함으로써, $\phi$ 가 안정적 (또는 NIP, NSOP)임과 동시에 $V$ 가 반사적 (또는 로젠탈, 약하게 순차적으로 완비적)임이 동치임을 증명하며, 라모어 이론을 활용한 모형이론적 접근을 통해 에버라인–슐리안 정리의 새로운 증명을 제시한다.

ABSTRACT

In \cite{K3} we pointed out the correspondence between a result of Shelah in model theory, i.e. a theory is unstable if and only if it has IP or SOP, and the well known compactness theorem of Eberlein and Šmulian in functional analysis. In this paper, we relate a {\em natural} Banach space $V$ to a formula $ϕ(x,y)$, and show that $ϕ$ is stable (resp NIP, NSOP) if and only if $V$ is reflexive (resp Rosenthal, weakly sequentially complete) Banach space. Also, we present a proof of the Eberlein-Šmulian theorem by a model theoretic approach using Ramsey theorems which is illustrative to show some correspondences between model theory and Banach space theory.

연구 동기 및 목표

• 모형이론적 분류(안정성, NIP, NSOP)와 바나흐 공간 성질(반사성, 로젠탈, 약한 순차적 완비성) 사이의 체계적 대응 관계를 수립하기 위해.
• 라모어 정리와 유형의 정의 가능성에 기반한 모형이론적 방법을 사용하여 에버라인–슐리안 정리를 재증명하기 위해.
• 모형이론의 기법이 고전적 함수해석학, 특히 약한 컴 pact성과 순차적 전콤팩트성에 새로운 통찰을 제공할 수 있음을 보여주기 위해.
• 모형이론의 분류와 바나흐 공간의 기하적 구조 사이의 더 깊은 구조적 유사성을 규명함으로써 향후 다학제적 연구의 기초를 마련하기 위해.

제안 방법

• 일阶논리 구조에서 공식 $\phi(x,y)$ 와 자연스럽게 연관된 바나흐 공간 $V$ 를 구성하기.
• 특히 라모어 정리의 강한 형태를 활용한 라모어 이론적 추론을 통해 에버라인–슐리안 정리의 (i) ⇒ (ii) 함의를 증명하기.
• 에어티메이션의 수렴성을 특징짓는 반복한 극한의 성질을 이용해 $C(X)$ 공간에서 전콤팩트성의 기준을 제시한 그로텐디크의 기준을 적용하기.
• 유형의 정의 가능성과 조합론적 보조정리를 활용하여 (iii) ⇒ (i) 함의를 증명함으로써, 가산 전콤팩트성과 순차적 전콤팩트성 사이의 연결 고리를 확립하기.
• 천사 공간의 개념과 티코노프의 정리를 활용하여 $C(X)$ 의 전콤팩트 부분집합이 순차적으로 전콤팩트임을 보여주기.
• 컴 pact 하우스도르프 공간 $X$ 에 대해 $C(X)$ 가 천사 공간임을 이용하여, 전콤팩트 집합의 폐포가 순차적 극한의 집합과 일치함을 보장하기.

실험 결과

연구 질문

• RQ1 모형이론에서 공식 $\phi(x,y)$ 가 반사적 바나흐 공간에 대응하려면 어떤 조건이 필요한가?
• RQ2 모형이론적 성질인 NIP 는 바나흐 공간에서의 로젠탈 성질과 어떻게 관련되는가?
• RQ3 라모어 정리와 같은 모형이론 도구를 사용하여 에버라인–슐리안 정리를 재증명할 수 있는가?
• RQ4 모형이론에서의 NSOP 성질과 바나흐 공간에서의 약한 순차적 완비성 사이의 정확한 대응 관계는 무엇인가?
• RQ5 모형이론의 분류가 바나흐 공간의 기하적 구조에 얼마나 깊이 반영될 수 있는가?

주요 결과

• 공식 $\phi(x,y)$ 가 안정적일 때이고 오직 그 때에만 관련된 바나흐 공간 $V$ 가 반사적이다.
• 공식 $\phi(x,y)$ 가 NIP 를 가진다면이고 오직 그 때에만 관련된 바나흐 공간 $V$ 가 로젠탈 공간이다.
• 공식 $\phi(x,y)$ 가 NSOP 를 가진다면이고 오직 그 때에만 관련된 바나흐 공간 $V$ 가 약하게 순차적으로 완비적이다.
• 에버라인–슐리안 정리는 라모어 정리와 유형의 정의 가능성에 기반한 모형이론적 접근을 통해 재증명되었다.
• $X$ 가 컴 pact 하우스도르프 공간이면 $C(X)$ 는 천사 공간이며, 이는 모든 전콤팩트 부분집합이 순차적으로 전콤팩트임을 의미한다. 이는 에버라인–슐리안 등가성의 근거를 강화한다.
• 모형이론적 성질과 바나흐 공간 성질 사이의 대응 관계는 이전에 인식된 것보다 더 깊은 구조적 이sovorphism 를 드러내며, 이는 다학제적 연구를 위한 새로운 길을 제시한다.