[논문 리뷰] Banach spaces with small spaces of operators

W. T. Gowers, B. Maurey|ArXiv.org|1994. 07. 20.

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

한 줄 요약

이 논문은 모든 유계 연산자가 특정한 작은 대수에 가까운 바나흐 공간을 구성하는 방법을 제시하며, 연산자 구조가 최소화된 공간의 생성을 가능하게 한다. 주요 결과로는 새로운 소수 바나흐 공간의 도입, 여수 2의 부분공간과는 동형이지만 초평면과는 동형이 아닌 공간, 그리고 제곱과는 동형이 아니지만 세제곱과는 동형인 공간이 있다.

ABSTRACT

For a certain class of algebras $\cal A$ we give a method for constructing Banach spaces $X$ such that every operator on $X$ is close to an operator in $\cal A$. This is used to produce spaces with a small amount of structure. We present several applications. Amongst them are constructions of a new prime Banach space, a space isomorphic to its subspaces of codimension two but not to its hyperplanes and a space isomorphic to its cube but not to its square.

연구 동기 및 목표

• 제한된 연산자 대수를 갖는 바나흐 공간을 일반적으로 구성하는 방법을 개발하기 위해.
• 바나흐 공간의 연산자에 대한 구조적 복잡도를 최소화하는 데 오랫동안 남아있던 문제를 해결하기 위해.
• 예를 들어 제곱과는 동형이 아니지만 세제곱과는 동형인 공간과 같은 특이한 동형 성질을 보이는 공간의 예를 생성하기 위해.
• 즉, 어떤 진부분공간과도 동형이 아닐 정도의 새로운 소수 바나흐 공간의 존재를 입증하기 위해.
• 통제된 연산자 근사화를 통해 바나흐 공간 이론에서의 동형의 한계를 탐색하기 위해.

제안 방법

• 모든 연산자가 주어진 대수 𝒜에 균일하게 가까운 바나흐 공간 X를 구성하기 위해 연산자 대수의 클래스 𝒜를 활용한다.
• 공간 X가 최소한의 연산자 구조를 갖도록 보장하기 위해 반복적이고 거의 등거리적인 구성 기법을 사용한다.
• 공간의 쌍대공간과 이중공간의 대수적·위상적 복잡도를 제어하기 위해 '작은' 연산자 공간의 개념을 사용한다.
• 주어진 연산자 대수를 공간 X의 전체 연산자 대수에 통합하기 위해 유한차원 근사 과정을 적용한다.
• 비자명한 프로젝션이나 분해가 존재하지 않도록 보장하기 위해 고어스-모리에 구성 방법의 변종을 이용한다.
• 모든 연산자가 𝒜에 가까우면, 공간이 풍부한 연산자 이론적 구조를 지닐 수 없다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 모든 연산자가 주어진 작은 연산자 대수에 임의로 가까운 바나흐 공간을 구성할 수 있는가?
• RQ2 여수 2의 부분공간과는 동형이지만 초평면과는 동형이 아닌 바나흐 공간을 구성할 수 있는가?
• RQ3 제곱과는 동형이 아니지만 세제곱과는 동형인 바나흐 공간이 존재할 수 있는가?
• RQ4 모든 진부분공간과도 동형이 아닐 정도의 소수 바나흐 공간이 존재하는가?
• RQ5 바나흐 공간 위의 연산자 공간이 위상적으로 작을 경우 어떤 구조적 제약이 발생하는가?

주요 결과

• 저자들은 오랫동안 열려있던 바나흐 공간 이론의 열린 문제에 답하기 위해 새로운 소수 바나흐 공간을 구성한다.
• 여수 2의 부분공간과는 동형이지만 초평면과는 동형이 아닌 바나흐 공간이 생성되며, 이는 동형 유형 간의 엄격한 계층성을 보여준다.
• 제곱과는 동형이 아니지만 세제곱과는 동형인 공간이 구성되며, 이는 세제곱 동형성에서 제곱 동형성이 유추되지 않음을 보여준다.
• 이 방법은 유계 연산자 공간이 위상적으로 작은 바나흐 공간을 성공적으로 생성하며, 이는 최소한의 연산자 이론적 복잡도를 의미한다.
• 구성 과정은 이러한 바나흐 공간의 연산자 공간이 뿐만 아니라 구조적으로 제약을 받으며, 풍부한 분해나 프로젝션 행동을 방지함을 확인한다.
• 결과적으로, 바나흐 공간의 동형 유형이 부분공간의 여수에 민감할 수 있음을 보여주며, 이는 공간이 고차원 곱과 동형이더라도 성립한다.