[논문 리뷰] An ordinal index characterizing weak compactness of operators

Ryan M. Causey|arXiv (Cornell University)|2015. 08. 09.

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

한 줄 요약

이 논문은 바나흐 공간 간의 유계 선형 연산자의 약한 컴팩트성을 특징짓기 위해 $χ(A)$로 표기되는 순서수 인덱스를 도입한다. 슈레른크 지표에 영감을 받아, 단위 구 내의 수열들의 볼록 분리 성질을 통해 정의되며, 수반 연산자의 단위 구에서 이러한 수열들의 복잡도를 측정한다. 주요 결과는 각 순서수 $ξ$에 대해 클래스 $ؤ_{ω^{ω^{\xi}}}$가 닫힌 연산자 아이디얼을 이룬다는 것이며, $ؤ_\omega$는 초약한 약한 컴팩트 연산자들의 클래스와 정확히 일치한다.

ABSTRACT

We introduce an ordinal index which characterizes weak compactness of operators between Banach spaces. We study when classes consisting of operators having bounded index form a closed ideal, the distinctness of the classes, and the descriptive set theoretic properties of this index.

연구 동기 및 목표

• 바나흐 공간 간의 연산자에 대한 약한 컴팩트성을 특징짓는 새로운 순서수 인덱스를 개발하기.
• 이 인덱스의 기술적 집합론적 성질, 특히 분리 가능 공간에서의 코분석적 성격을 규명하기.
• 유계 인덱스로 정의된 클래스 $\mathscr{J}_\xi$의 구조를 조사하여, 그 닫힘성과 진부분집합 관계를 밝혀내기.
• 이 인덱스 $\mathcal{J}(A)$와 기존의 연산자 아이디얼, 예를 들어 초약한 약한 컴팩트 연산자들과의 관계를 명확히 하기.

제안 방법

• 인덱스 $\mathcal{J}(A)$는 도메인 공간의 단위 구 내에서 수열들의 나무의 순서형을 사용하여 정의되며, 이는 수반 연산자의 단위 구에서 볼록적으로 분리되는 성질을 갖는다.
• 이러한 정의는 슈레른크 지표의 프레임워크를 응용하여, 쌍대 공간의 $w^*$-콤���, 대칭, 볼록 부분집합을 사용해 분리 조건을 정의한다.
• 수열이 $(K,\varepsilon)$-cs일 조건은, 그 초기 및 최종 부분의 볼록 코일이 $K$에 의해 유도된 세미노름에서 적어도 $\varepsilon$만큼 분리되어 있음을 의미한다.
• 인덱스 $j(K,\varepsilon)$는 이러한 $(K,\varepsilon)$-cs 수열들의 나무의 순서이며, $\mathcal{J}(A)$는 $\varepsilon > 0$에 대해 $j(A^*B_{Y^*}, \varepsilon)$의 상한이다.
• 나무의 순서수를 정의하기 위해 순서수 유도를 사용하며, 나무가 불완전한 경우 $\mathcal{J}(A) = \infty$가 된다.
• 클로저드니스 증명은 단조적 사상의 구성과 분리 성질을 이용해 인덱스의 하한을 유도하는 데 기반한다.

실험 결과

연구 질문

• RQ1 스플루드 연산자에 대한 슈레른크 지표와 유사하게, 바나흐 공간 간의 연산자에 대한 약한 컴팩트성을 완전히 특징짓는 순서수 인덱스를 정의할 수 있는가?
• RQ2 어떤 순서수 $\xi$에 대해, $\mathcal{J}(A) \leq \xi$를 만족하는 연산자 클래스 $\mathscr{J}_\xi$가 닫힌 연산자 아이디얼이 되는가?
• RQ3 인덱스 $\mathcal{J}(A)$와 초약한 약한 컴팩트 연산자 클래스 사이의 정확한 관계는 무엇인가?
• RQ4 클래스 $\mathscr{J}_\xi$는 포함 관계와 엄밀성 측면에서 어떻게 상호작용하는가?
• RQ5 인덱스 $\mathcal{J}$는 분리 가능 바나흐 공간 간의 연산자 공간 위에서 코분석적 랭크인가?

주요 결과

• 모든 순서수 $\xi$에 대해 클래스 $\mathscr{J}_{\omega^{\omega^{\xi}}}$는 닫힌 연산자 아이디얼을 이룬다.
• $\mathscr{J}_\omega$는 정확히 모든 초약한 약한 컴팩트 연산자들의 집합이다.
• 모든 가산 순서수 $\xi$에 대해, 분리 가능 도메인을 가진 약한 컴팩트 연산자 $A$가 존재하여 $\mathcal{J}(A) > \xi$임을 보여, 클래스들의 엄밀한 계층적 구조를 입증한다.
• 인덱스 $\mathcal{J}$는 분리 가능 바나흐 공간 간의 연산자 공간 위에서 코분석적 랭크이다.
• 모든 순서수 $\xi$에 대해 $\bigcup_{\xi \in \text{Ord}} \mathscr{J}_\xi$는 모든 약한 컴팩트 연산자들의 아이디얼과 같다.
• $\mathcal{J}(A) > \omega^{\omega^{\xi}}$ 및 $\mathcal{J}(B) > \omega^{\omega^{\xi}}$를 만족하는 연산자 $A$와 $B$가 있을 경우, $\mathcal{J}(A+B) > \omega^{\omega^{\xi}}$임을 보여, 인덱스가 강한 의미에서 가환성보다 더 강한 방식으로 부분합성을 갖는다.