[논문 리뷰] Weakly countably determined spaces of high complexity

Antonio Avilés|ArXiv.org|2009. 03. 04.

Advanced Topology and Set Theory참고 문헌 6인용 수 4

한 줄 요약

이 논문은 Reznichenko 트리 가족을 사용하여 기술적 집합 이론적 복잡도가 코아날리틱 집합을 초월하는 약하게 가산적으로 결정된 (WCD) 바나흐 공간의 존재를 확립한다. 이는 Talagrand의 적합한 가족 기법이 코아날리틱 복잡도로만 제한되지만, Reznichenko 가족은 프로젝티브 계층의 임의로 높은 수준에서 WCD 공간을 구성할 수 있음을 보여주며, WCD 공간이 코아날리틱 복잡도를 초월할 수 있는지에 대한 열린 문제를 해결한다.

ABSTRACT

We prove that there exist weakly countably determined spaces of complexity higher than coanalytic. On the other hand, we also show that coanalytic sets can be characterized by the existence of a cofinal adequate family of closed sets. Therefore the Banach spaces constructed by means of these families have at most coanalytic complexity.

연구 동기 및 목표

• 약하게 가산적으로 결정된 (WCD) 바나흐 공간이 코아날리틱을 초월하는 기술적 집합 이론적 복잡도를 가질 수 있는지 조사하는 것.
• Talagrand의 적합한 가족 기법이 높은 복잡도의 WCD 공간을 구성하는 데서 가지는 한계를 규명하는 것.
• Argyros, Arvanitakis, 및 Mercourakis의 기법을 응용한 Reznichenko 트리 가족이 이러한 한계를 극복하고 프로젝티브 계층의 임의로 높은 수준에서 WCD 공간을 생성할 수 있음을 보여주는 것.
• 프로젝티브 클래스 Σ₁ⁿ⁺¹ 및 Π₁ⁿ를 활용하여 WCD 공간의 기술적 복잡도를 특성화하는 것.
• WCD 공간이 코아날리틱 복잡도를 초월할 수 있는지에 대한 열린 문제를 해결하며, 이러한 공간이 프로젝티브 계층의 모든 수준에서 존재함을 보여주는 것.

제안 방법

• 논문은 C가 분리 가능 메트릭 공간의 집합일 때, ω<ω를 인덱스로 사용하는 이중이중의 약한* 컴팩트 집합의 가족을 통해 WCD 공간을 정의하는 약하게 C-결정된 바나흐 공간의 프레임워크를 도입한다.
• Talagrand의 적합한 가족 기법을 분석하고, 이러한 가족이 오직 코아날리틱 복잡도의 WCD 공간만 생성할 수 있음을 증명하며, 코아날리틱 집합의 위상적 특성화를 확립한다.
• Argyros, Arvanitakis, 및 Mercourakis의 기법에서 유래한 Reznichenko 트리 가족을 활용하여 더 높은 복잡도의 WCD 공간을 구성한다.
• 트리 F에 대해 결정 함수 f: T → A를 정의하고, A가 Π₁ⁿ⁻¹-보편 집합일 경우 이러한 함수가 존재하지 않음을 모순을 통해 증명함으로써, 공간이 약하게 Σ₁ⁿ-결정되지 않음을 시사한다.
• 증명은 트리 T를 닫힌 열린 집합 D_s로 분해하고, 연속적 밀도에 관한 보조정리를 적용하여 결정 함수가 존재할 경우 모순을 이끌어낸다.
• wf(A) = Tr \ S로 정의되는 집합(여기서 S는 지점 관계의 사영)은 Π₁ⁿ에 속하며, 이는 C(R[F_A])가 약하게 Σ₁ⁿ⁺¹-결정됨을 의미한다.

실험 결과

연구 질문

• RQ1 약하게 가산적으로 결정된 바나흐 공간이 코아날리틱 수준을 엄밀히 초월하는 기술적 집합 이론적 복잡도를 가질 수 있는가?
• RQ2 Talagrand의 적합한 가족 기법은 코아날리틱을 초월하는 복잡도의 WCD 공간을 구성하는 데에 충분한가?
• RQ3 Reznichenko 트리 가족은 프로젝티브 계층의 임의로 높은 수준에서 WCD 공간을 구성하는 데에 사용될 수 있는가?
• RQ4 모든 n ≥ 1에 대해, 약하게 Σ₁ⁿ-결정된 공간과 약하게 Σ₁ⁿ⁺¹-결정된 공간의 클래스 사이에 분리가 존재하는가?
• RQ5 A가 보편 Π₁ⁿ⁻¹ 집합일 때, 공간 C(R[F_A])의 기술적 복잡도는 무엇인가?

주요 결과

• 코아날리틱 집합을 초월하는 복잡도를 가진 약하게 가산적으로 결정된 바나흐 공간이 존재하며, 이는 WCD 공간이 코아날리틱 복잡도를 초월할 수 있음을 보여준다.
• Talagrand의 적합한 가족 기법은 본질적으로 코아날리틱 복잡도의 WCD 공간 생성에만 제한되며, 코아날리틱 집합의 위상적 특성화를 통해 이를 입증한다.
• Reznichenko 트리 가족은 프로젝티브 계층의 임의로 높은 수준에서 WCD 공간을 구성할 수 있다.
• 모든 n ≥ 1에 대해, 약하게 Σ₁ⁿ⁺¹-결정이지만 약하게 Σ₁ⁿ-결정이 아닌 바나흐 공간이 존재함을 보여주며, 프로젝티브 클래스 간의 완전한 분리를 입증한다.
• A가 보편 Π₁ⁿ⁻¹ 집합일 때, 공간 C(R[F_A])는 약하게 Σ₁ⁿ⁺¹-결정되며, 그 복잡도는 wf(A) ∈ Π₁ⁿ에 의해 기술된다.
• Reznichenko 가족 F_A에 대해 결정 함수 f: T → A의 존재가 불가능함은 공간 C(R[F_A])가 약하게 Σ₁ⁿ-결정되지 않음을 의미하며, 이는 분리 결과를 확인한다.