[논문 리뷰] On the undefinability of Tsirelson's space and its descendants

Peter G. Casazza, José Iovino|arXiv (Cornell University)|2018. 12. 06.

Advanced Banach Space Theory참고 문헌 13인용 수 4

한 줄 요약

이 논문은 티르셀슨 공간이 $\ell_p$ 또는 $c_0$와 같은 고전적 바나흐 수열 공간들로부터 명시적으로 구성될 수 없다고 밝힌다. 또한, $\ell_p$ 또는 $c_0$를 포함하는 클래스로부터 명시적으로 정의 가능한 어떤 바나흐 공간이라도 그 자체로 $\ell_p$ 또는 $c_0$를 포함해야 한다는 것을 증명하여, 비고전적 바나흐 공간들을 고전적 공간들로부터 정의하는 데 있어 근본적인 논리적 장벽을 제시한다.

ABSTRACT

We prove that Tsirelson's space cannot be defined explicitly from the classical Banach sequence spaces. We also prove that any Banach space that is explicitly definable from a class of spaces that contain $\ell_p$ or $c_0$ must contain $\ell_p$ or $c_0$ as well.

연구 동기 및 목표

• 티르셀슨 공간이 $\ell_p$ 또는 $c_0$와 같은 고전적 바나흐 수열 공간들로부터 명시적으로 구성될 수 있는지 조사하는 것.
• 기존의 알려진 고전적 클래스들로부터 바나흐 공간을 구성할 때의 논리적 및 정의적 제약 조건을 규명하는 것.
• 명시적 정의 가능성과 $\ell_p$ 또는 $c_0$의 존재 사이의 일반 원칙을 설정하는 것.

제안 방법

• 바나흐 공간 이론의 프레임워크 내에서 모형 이론적 및 정의 가능성 논증을 활용하는 것.
• 주어진 바나흐 공간 클래스들로부터의 명시적 구성의 논리적 구조를 분석하는 것.
• $\ell_p$ 또는 $c_0$를 포함하는 바나흐 공간의 클래스 성질을 이용하여 명시적 정의 가능성에 대한 닫힘성을 도출하는 것.
• 만약 어떤 공간이 그러한 클래스로부터 명시적으로 정의 가능하다면, 그 공간은 $\ell_p$ 또는 $c_0$의 존재를 물려받아야 한다는 것을 증명하는 것.
• 티르셀슨 공간에 이러한 결과를 적용하여, 고전적 수열 공간들로부터의 정의 불가능성을 보여주는 것.
• 티르셀슨 공간이 $\ell_p$ 또는 $c_0$의 등장하는 사영을 포함하지 않기 때문에, 명시적 정의 가능성에 필요한 조건을 위반한다는 사실을 활용하는 것.

실험 결과

연구 질문

• RQ1 티르셀슨 공간은 고전적 바나흐 수열 공간인 $\ell_p$ 또는 $c_0$로부터 명시적으로 정의될 수 있는가?
• RQ2 기존의 알려진 클래스들로부터의 명시적 정의를 통한 바나흐 공간 구성에 있어 논리적 제약 조건은 무엇인가?
• RQ3 어떤 클래스가 $\ell_p$ 또는 $c_0$를 포함한다면, 그로부터의 명시적 정의 가능성은 결과 공간이 반드시 $\ell_p$ 또는 $c_0$를 포함해야 한다는 것을 의미하는가?
• RQ4 정의 가능성 측면에서 고전적 공간과 비고전적 공간 사이에 근본적인 차이가 존재하는가?
• RQ5 티르셀슨 공간이 $\ell_p$ 또는 $c_0$를 포함하지 않는다는 점은 그 정의 상태에 대해 어떤 함의를 갖는가?

주요 결과

• 티르셀슨 공간은 고전적 바나흐 수열 공간인 $\ell_p$ 또는 $c_0$로부터 명시적으로 정의될 수 없다.
• 고전적 공간들 중 $\ell_p$ 또는 $c_0$를 포함하는 클래스로부터 명시적으로 정의 가능한 어떤 바나흐 공간이라도, 그 자체로 $\ell_p$ 또는 $c_0$를 부분공간으로 포함해야 한다.
• 이 결과는 고전적 수열 공간들만을 사용하여 티르셀슨 유형의 공간을 구성하는 데 있어 근본적인 논리적 장벽을 설정한다.
• 이 증명은 티르셀슨 공간이 $\ell_p$ 또는 $c_0$의 등장하는 사영을 포함하지 않기 때문에, 그러한 클래스들로부터의 명시적 정의 가능성을 차단한다는 사실에 기반한다.
• 이 논문은 일반 원칙을 제시한다: $\ell_p$ 또는 $c_0$를 포함하는 클래스로부터의 명시적 정의 가능성은 결과 공간에 $\ell_p$ 또는 $c_0$의 존재를 암시한다.
• 이 결과는 고전적 공간과 비고전적 공간 간의 정의 복잡성에 있어 근본적인 차이를 드러낸다.