[논문 리뷰] A Survey on the Complemented Subspace Problem

Mohammad Sal Moslehian|arXiv (Cornell University)|2005. 01. 04.

Advanced Banach Space Theory참고 문헌 35인용 수 6

한 줄 요약

이 종합적 서베이는 범함수 해석학 이론에서 보완 가능한 부분공간 문제에 대한 포괄적인 개요를 제공하며, 그 역사적 발전, 핵심 결과 및 미해결 문제를 추적한다. 이 글은 닫힌 부분공간이 유계 사영을 통해 보완 가능한 조건을 분석하고, $\ell_p$, $c_0$, $\ell^\infty$, $L_p$와 같은 고전적 공간에서 보완 가능한 부분공간에 관한 주요 정리들을 강조하며, 수축 가능한 보완성, 소수 공간, $L_1$-예비공간과 같은 관련 개념들을 논의한다.

ABSTRACT

The complemented subspace problem asks, in general, which closed subspaces $M$ of a Banach space $X$ are complemented; i.e. there exists a closed subspace $N$ of $X$ such that $X=M\oplus N$? This problem is in the heart of the theory of Banach spaces and plays a key role in the development of the Banach space theory. Our aim is to investigate some results on complemented subspaces, to give a history of the subject, and to present some open problems.

연구 동기 및 목표

• 범함수 해석학 이론에서 보완 가능한 부분공간 문제의 역사적 발전과 현재 상태를 서베이하는 것.
• $\ell_p$, $c_0$, $\ell^\infty$, $L_p$와 같은 고전적 수열 및 함수 공간에서 보완 가능한 부분공간에 관한 기초 결과를 제시하는 것.
• 사영, 샤펄 기저, 쌍대성의 역할이 보완성 결정에 어떻게 기여하는지 분석하는 것.
• 미해결 문제를 식별하고 논의하는 것, 특히 $C(S)$, $L_1$-예비공간, 무조건적 기저를 갖는 공간 내 보완 가능한 부분공간에 관한 질문들을 포함한다.
• 보완성, 포함성, 바나흐-폰 노이만 대수와 $L_1$-공간의 구조 간의 연결 고리 탐색

제안 방법

• 유계 사영과 몫 사상과 같은 함수해석학적 도구를 사용하여 보완 가능한 부분공간에 관한 고전적 및 현대적 결과를 체계적으로 검토.
• 닫힌 그래프 정리를 적용하여 닫힌 부분공간에서 대수적 보완성와 위상적 보완성이 동치임을 증명.
• 쌍대성과 수반 연산자를 사용하여 약한 보완성과 수축 가능한 보완성을 분석.
• 메타푸네, 모스카텔리, 옴스트라스키, 치고기즈의 결과를 활용하여 범함수 공간의 곱과 합에서 보완 가능한 부분공간을 분석.
• 보완성의 관점에서 소수 범함수 공간을 조사: 어떤 공간이 모든 무한차원 보완 가능한 부분공간이 자기 자신과 등장하는 경우 소수라고 한다.
• 등장 및 등장형 임bedding을 사용하여 $L_1$-예비공간과 $C(S)$ 공간 내 보완성을 연구하며, 지피닌과 린든스트라우스의 정리를 포함한다.

실험 결과

연구 질문

• RQ1 어떤 범함수 공간의 닫힌 부분공간이 보완 가능한가, 즉 유계 사영의 상인가?
• RQ2 $\ell_p$ ($1 \leq p < \infty$)의 모든 무한차원 보완 가능한 부분공간이 $\ell_p$와 등장하는가?
• RQ3 $L_p$ ($1 < p < \infty$, $p \neq 2$)의 모든 보완 가능한 부분공간이 $\ell_p$, $\ell_2$, $\ell_p \oplus \ell_2$, 또는 $L_p$와 등장하는가?
• RQ4 무조건적 기저를 갖는 공간의 보완 가능한 부분공간이 무조건적 기저를 상속하는가?
• RQ5 모든 포함 공간에서 보완 가능한 모든 범함수 공간이 어떤 스톤 공간 $S$에 대해 $C(S)$와 등장하는가?

주요 결과

• $\ell_1$의 모든 무한차원 보완 가능한 부분공간은 펠츠킨스키의 1960년 증명에 의해 $\ell_1$과 등장한다.
• $\ell^\infty$의 모든 무한차원 보완 가능한 부분공간은 린든스트라우스의 1967년 결과에 의해 $\ell^\infty$와 등장한다.
• $1 < p < \infty$, $p \neq 2$에 대해 $L_p$의 비가산 개의 서로 등장하지 않는 보완 가능한 부분공간이 존재하며, 이는 1981년 보르게인, 로젠탈, 셰크트만에 의해 증명되었다.
• 모든 분리 가능한 무한차원 $L_1$-예비공간은 1969년 지피닌에 의해 $c_0$와 등장하는 수축 가능한 보완 가능한 부분공간을 포함한다.
• 공간 $X$의 닫힌 부분공간 $M$이 약한 보완 가능하다고 할 때, $M^\circ$가 $X^*$에서 유계 사영의 상이면 된다. 모든 보완 가능한 부분공간은 약한 보완 가능하다.
• 만약 $X$가 반사적 또는 약한 컴acts로 생성된 집합을 갖는다면, 린든스트라우스의 1969년 결과에 따라 $X$의 모든 닫힌 부분공간은 $X$에서 보완 가능하다.