[논문 리뷰] Universal objects and associations between classes of Banach spaces and classes of compact spaces

Piotr Koszmider|arXiv (Cornell University)|2012. 09. 19.

Advanced Banach Space Theory참고 문헌 43인용 수 5

한 줄 요약

이 논문은 다양한 클래스 내에서 보편 바나흐 공간과 컴팩트 공간의 존재성 및 비존재성을, C(K)와 쌍대 단위 구의 이중성에 기반한 컴팩트 하우스도르프 공간과 바나흐 공간 간의 이중성에 의해 조사한다. 비존재성의 증명이 바나흐 공간에 비해 컴팩트 공간에서 더 쉽다는 것이 입증되었으며, 특정 집합론적 가정 하에서 $\ell_\infty/c_0$가 밀도 $2^\omega$를 갖는 모든 바나흐 공간을 등장사상으로 포함하지 않을 수 있음을 보여준다. 이는 일부 보편 객체가 일致적으로 존재할 수 있음에도 불구하고 성립한다.

ABSTRACT

In the context of classical associations between classes of Banach spaces and classes of compact Hausdorff spaces we survey known results and open questions concerning the existence and nonexistence of universal Banach spaces and of universal compact spaces in various classes. This gives quite a complex network of interrelations which quite often depend on additional set-theoretic assumptions.

연구 동기 및 목표

• 바나흐 공간의 클래스와 컴팩트 하우스도르프 공간의 클래스 간 상호작용을 C(K)와 쌍대 단위 구를 통한 이중성에 의해 분석한다.
• 이들 클래스 내에서 등장사상, 등장사상, 상사, 포함 사상 등의 보편성 개념 간 관계를 명확히 한다.
• 다양한 집합론적 가정 하에서 Eberlein, Corson, 그리고 Asplund 생성 공간 등의 클래스에 대해 보편 객체의 일치성 여부를 조사한다.
• $\ell_\infty/c_0$가 밀도 $2^\omega$를 갖는 바나흐 공간의 클래스에 대해 보편 공간이 되는지, 그리고 실패하는 조건을 규명한다.
• 보편 컴팩트 공간의 존재성에 관한 열린 문제를 특정하고, 이들이 보편 바나흐 공간에 미치는 영향을 규명한다.

제안 방법

• 바나흐 공간과 컴팩트 공간 간의 이중성에 대한 기본 유사성으로서 불리안 대수와 완전히 분리된 컴팩트 공간 간의 스톤 이중성을 활용한다.
• 컴팩트 공간의 클래스와 바나흐 공간의 클래스 간 연관성 개념을 정의하고 비교한다: $K$-연관, $B$-연관, 강한 연관, 연관.
• 함수해석학적 기법을 적용하며, $C(K)$ 공간과 약한* 위상이 부여된 쌍대 단위 구 $B_{X^*}$를 연구한다.
• 강제 모델을 활용한 집합론적 방법을 통해 $\ell_\infty/c_0$로의 임베딩에 대한 일치성 결과를 확립한다.
• 쿠넨 기수와 $n$-쿠넨 기수를 사용하여 $\kappa = 2^\omega$의 조합적 성질에 기반해 $C(K)$ 공간이 $\ell_\infty/c_0$로 등장사상으로 임베드되지 않는 조건을 특성화한다.
• 홀슈티니의 정리와 측도 대수에 관한 결과를 적용하여 $\ell_\infty/c_0$로의 등장사상 및 등장사상 임베딩을 분석한다.

실험 결과

연구 질문

• RQ1 [$0,2^\omega$]가 $\mathbb{N}^*$의 연속적 상이 아닐 때도, $\ell_\infty/c_0$가 밀도 $2^\omega$를 갖는 바나흐 공간의 클래스에 대해 보편적일 수 있는지 일치하는가?
• RQ2 [$0,2^\omega$]가 $\mathbb{N}^*$의 연속적 상이 아닐 때도, $C([0,2^\omega])$가 등장사상으로 $\ell_\infty/c_0$에 임베드될 수 있는가?
• RQ3 [$\mathbb{N}^*$]가 밀도 $2^\omega$를 갖는 컴팩트 공간의 클래스에 대해 보편적이지 않지만, $\ell_\infty/c_0$가 해당 바나흐 공간 클래스에 대해 보편적일 수 있는지 일치하는가?
• RQ4 Corson 또는 균일 Eberlein 컴팩트 공간 $K$에 대해 $C(K)$가 등장사상으로 $\ell_\infty/c_0$로 임베드되지 않는 조건은 무엇인가?
• RQ5 측도 대수의 스톤 공간 $K$가 $\mathbb{N}^*$의 연속적 상이 아닐 수 있지만, $C(K) \cong L_\infty([0,1])$가 여전히 $\ell_\infty/c_0$로 등장사상으로 임베드될 수 있는 조건은 무엇인가?

주요 결과

• 밀도 $2^\omega$를 갖는 공간의 클래스에 대해 보편 바나흐 공간이 존재할 수 있음이 일치하지만, $\ell_\infty/c_0$는 그 중에 포함되지 않을 수 있다.
• 비존재성의 증명이 일반적으로 컴팩트 공간에 대해 바나흐 공간에 비해 더 쉽다. 이는 더 강력한 위상적 제약 조건 때문이기 때문이다.
• 모든 $n$에 대해 $2^\omega$가 $n$-쿠넨 기수가 아닐 경우, $C(K)$가 $\ell_\infty/c_0$로 등장사상으로 임베드되지 않는 균일 Eberlein 컴팩트 공간 $K$가 존재한다. 이는 일부 모델에서는 임베딩이 가능하더라도 성립한다.
• 밀도 $2^\omega$를 갖는 $[0,2^\omega]$가 $K$의 연속적 상이 아닐 수 있는 0차원 컴팩트 공간 $K$가 존재하지만, $C([0,2^\omega])$는 등장사상으로 $C(K)$에 임베드된다. 이는 위상적 보편성과 바나흐 공간 보편성 사이의 격차를 보여준다.
• 측도 대수의 스톤 공간(등장사상으로 $L_\infty([0,1])$와 동형)은 $\mathbb{N}^*$의 연속적 상일 수 없지만, 펠체스키의 정리에 의해 $C(K)$는 여전히 등장사상으로 $\ell_\infty/c_0$로 임베드된다.
• [$0,2^\omega$]가 $\mathbb{N}^*$의 연속적 상이 아닐 때도, $\ell_\infty/c_0$가 밀도 $2^\omega$를 갖는 바나흐 공간의 클래스에 대해 보편적일 수 있음이 일치한다. 이는 $\ell_\infty/c_0$가 위상적 보편성 없이도 보편적 성질을 포착할 수 있음을 시사한다.