[논문 리뷰] Some new characterizations of Banach spaces containing $\ell^1$

Haskell P. Rosenthal|ArXiv.org|2007. 10. 31.

Advanced Banach Space Theory참고 문헌 25인용 수 9

한 줄 요약

이 논문은 $\ell^1$에 동형인 부분공간을 포함하는 바나흐 공간에 대한 새로운 특성화를 제시하며, 적분 및 덴포드-페티스 연산자, 약한*-컴팩트 집합, 쌍대 공간의 기수 조건을 포함한 등가성을 확립한다. 주요 기여는 $\ell^1$-부분공간의 부재성과 연산자들의 컴팩트성 성질 및 쌍대 공간의 구조적 제약 조건을 연결하는 종합적인 등가 체인을 제공하는 것으로, 이를 통해 단순화된 텐서 곱과 펠리츠-페르드의 일반화에 적용된다.

ABSTRACT

Several new characterizations of Banach spaces containing a subspace isomorphic to $\ell^1$, are obtained. These are applied to the question of when $\ell^1$ embeds in the injective tensor product of two Banach spaces.

연구 동기 및 목표

• 이 논문은 기존 결과를 확장하고 산만한 조건들을 통합함으로써, $\ell^1$에 동형인 부분공간을 포함하는 바나흐 공간에 대한 새로운 종합적 특성화를 제공하고자 한다.
• $\ell^1$의 임베딩 부재성과 쌍대 공간의 다양한 연산자 이론적 성질 및 위상적 성질 사이의 완전한 등가 체인을 수립하고자 한다.
• 이러한 특성화를 바탕으로 두 바나흐 공간의 단순화된 텐서 곱에 $\ell^1$이 언제 임베딩되는지 규명하고자 한다.
• 제임스의 정리에서 $\ell^1$-왜곡에 대한 일반화를 비가чёт수 경우로 확장하여, 모든 $\varepsilon > 0$에 대해 $\ell^1_{\kappa}$-부분공간이 $ (1+\varepsilon) $-동형임을 보여주고자 한다.

제안 방법

• $\ell^1$이 임베딩되지 않는 것과 임의의 바나흐 공간 $Y$ 에서 $X^*$로의 모든 적분 연산자가 컴팩트함을 등가로 설정하는 것.
• $\ell^1$-정리와 하인-반하우젠 분離 정리를 사용하여 약한-카우시 수열을 구성하고, $\ell^1$이 임베딩될 경우 모순을 이끌어내는 것.
• 약한*-컴팩트 집합 $ K \subset X^* $ 상에서 수열 $ (\hat{x}_n) $ 의 점별 클러스터 점을 분석하고, 이를 바이어 클래스 및 보편 가측성과 연결하는 것.
• 페르드지스키의 정리와 그 일반화를 적용하여, $ X $ 가 $ \ell^1_{\kappa} $ 를 포함하면, 밀도가 $ \leq \kappa $ 인 임의의 $ L^1$-예비공간 $ Z $ 에 대해 $ X^* $ 가 $ Z^* $ 의 $ (1+\varepsilon) $-동형 사본을 포함함을 보이는 것.
• $X$ 내의 유한 선형 조합의 가족 $ (f_\alpha) $ 를 구성하여, $\delta_\alpha$ 의 최소 노름 상수에 대한 극한 논증을 통해 $\ell^1_{\kappa}$-부분공간이 $ (1+\varepsilon) $-동형임을 보이는 것.
• $X^{**}$, $\mathcal{L}(X^*, \ell^\infty)$, $\mathcal{L}(X^*)$ 의 기수 제약 조건을 사용하여, 분리 가능한 바나흐 공간에서 $\ell^1$-부분공간이 존재하지 않는 조건을 특성화하는 것.

실험 결과

연구 질문

• RQ1 쌍대 공간 $ X^* $ 에서 어떤 연산자 이론적 및 위상적 조건들이 $ X $ 가 $\ell^1$에 동형인 부분공간을 포함하지 않는 것과 등가인가?
• RQ2 두 바나흐 공간의 단순화된 텐서 곱 $ X \mathop{\otimes}\limits^{\vee} Y $ 에서 $\ell^1$ 이 언제 임베딩되는가?
• RQ3 제임스의 정리에서 $\ell^1$-왜곡에 대한 일반화를 비가산적 $\ell^1_{\kappa}$-공간으로 확장할 수 있는가?
• RQ4 $X^{**}$, $\mathcal{L}(X^*)$ 의 기수와 분리 가능한 바나흐 공간에서 $\ell^1$-부분공간의 부재성 사이의 관계는 무엇인가?
• RQ5 약한*-컴팩트 집합 $ K \subset X^* $ 상에서 $ \hat{x}_n(k) = k(x_n) $ 의 점별 클러스터 점은 바이어 클래스 및 보편 가측성과 어떻게 관련되는가?

주요 결과

• 등가 (1) 성립: $\ell^1$ 이 $X$ 의 부분공간에 동형이 아니면, 임의의 $Y$ 에 대해 $Y$ 에서 $X^*$ 로의 모든 적분 연산자가 컴팩트하다.
• 등가 (11) 성립: 분리 가능한 $X$ 에서, $X^*$ 내의 모든 무조건적 가족은 가 countable이면, $X$ 는 $\ell^1$ 을 포함하지 않는다.
• 등가 (19) 성립: $X$ 가 $\ell^1$ 을 포함하지 않으면, 점별 클러스터 점의 집합 기수는 $ 2^{\frak{c}} $ 보다 작고, 이는 약한*-컴팩트이고, 등장하는 노름으로서의 $K \subset X^*$ 가 존재한다.
• 정리 17: $X$ 가 $\ell^1_{\kappa}$ 에 동형인 부분공간을 포함하면, 모든 $\varepsilon > 0$ 에 대해 $X$ 는 $\ell^1_{\kappa}$ 와 $ (1+\varepsilon) $-동형인 부분공간을 포함한다. 이는 제임스의 정리를 일반화한다.
• 계량 16: $X$ 가 $\ell^1_{\kappa}$ 를 포함하면, 모든 $\varepsilon > 0$ 에 대해 $X^*$ 는 $ [C(\{0,1\}^\kappa)]^* $ 의 $ (1+\varepsilon) $-동형 사본을 포함한다.
• 정리 15: 임의의 밀도가 $ \leq \kappa $ 인 $L^1$-예비공간 $Z$ 에 대해, 모든 $\varepsilon > 0$ 에 대해 $X^*$ 는 $Z^*$ 의 $ (1+\varepsilon) $-동형 사본을 포함한다.