[논문 리뷰] Sequences in non-commutative L^p-spaces

Narcisse Randrianantoanina|ArXiv.org|2000. 04. 24.

Advanced Banach Space Theory참고 문헌 19인용 수 11

한 줄 요약

이 논문은 비가환 $L^p$-공간으로의 Kadec-Pe{ extbackslash}textendash{}Pelczy{\textbackslash}textendash{}ski 부분수열 분해의 확장으로, 비가환 설정에서의 등적분 가능성(equi-integrability)을 도입하여 수행한다. $E(\mathcal{M},\tau)$에서 유계인 수열이 $E$-등적분 가능성 부분수열과 상호소멸적인 스펙트럴 프로젝션을 가진 부분수열으로 분해됨을 증명한다. 여기서 $E$는 $\alpha$-병진성과 상수 1인 하한 $q$-추정을 갖는 재배열 불변 quasi-Banach 함수 공간이다. 이는 $1\leq p<\infty$에 대해 $L^p(\mathcal{M},\tau)$의 모든 부분공간이 $\ell^p$의 거의 등거리 복사본을 포함하거나 $L^p(\mathcal{M},\tau)$에 강하게 통합됨을 암시한다.

ABSTRACT

Let $\cal M$ be a semi-finite von Neumann algebra equipped with a distinguished faithful, normal, semi-finite trace $τ$. We introduce the notion of equi-integrability in non-commutative spaces and show that if a rearrangement invariant quasi-Banach function space $E$ on the positive semi-axis is $α$-convex with constant 1 and satisfies a non-trivial lower $q$-estimate with constant 1, then the corresponding non-commutative space of measurable operators $E({\cal M}, τ)$ has the following property: every bounded sequence in $E({\cal M}, τ)$ has a subsequence that splits into a $E$-equi-integrable sequence and a sequence with pairwise disjoint projection supports. This result extends the well known Kadec-Pełczyński subsequence decomposition for Banach lattices to non-commutative spaces. As applications, we prove that for $1\leq p

연구 동기 및 목표

• 고전적 Kadec-Pe{\textbackslash}textendash{}Pelczy{\textbackslash}textendash{}ski 부분수열 분해를 가환 측도 공간의 비가환 대칭 공간으로 일반화하는 것.
• 비가환 $L^p$-공간에서 약한 컴acts성의 비가환 대응으로서의 등적분 가능성의 정의 및 활용.
• $1\leq p<\infty$에 대해 비가환 $L^p(\mathcal{M},\tau)$의 부분공간이 $\ell^p$의 거의 등거리 복사본을 포함하거나 강하게 통합됨을 특성화하는 것.
• $\alpha$-병진성과 상수 1인 하한 $q$-추정을 만족하는 quasi-Banach 함수 공간에 대해 분해 성질을 확립하는 것.
• 특히 $0<p<\infty$에 대해 가환 $L^p$-공간의 결과를 비가환 설정으로 확장하는 것.

제안 방법

• von Neumann 대수의 예비공간에서 약한 컴팩트성의 Akemann 특성화에 기반한 비가환 등적분 가능성의 개념을 도입한다.
• 측도 가능한 연산자 $x$의 감소 재배열을 정의하기 위해 일반화된 특이 값 함수 $\mu_t(x)$를 사용한다.
• 측도 위상 $d(x,y) = \inf\{t \geq 0 : \mu_t(x-y) \leq t\}$를 $\widetilde{\mathcal{M}}$에 정의하여 수렴성과 등적분 가능성 분석에 활용한다.
• 스펙트럴 프로젝션 $e^{\vert x\vert}(B)$와 감소하는 프로젝션 수열 $p_n \downarrow 0$을 구성하여 연산자를 소멸성과 등적분 가능성 부분으로 분해한다.
• 부분수열 $\{x_{n_k}\}$을 구성하여 $x_{n_k} = \varphi_k + \zeta_k$로 표현하며, $\{\varphi_k\}$는 $E$-등적분 가능성이고 $\{\zeta_k\}$는 상호소멸적인 스펙트럴 프로젝션을 가진다.
• 분해의 존재성을 보장하기 위해 $E$의 Fatou 성질과 순서 연속성을 활용하며, 이는 Banach 랏 이론의 결과를 일반화한다.

실험 결과

연구 질문

• RQ1 비가환 $L^p$-공간에 대해 $0 < p < \infty$일 때, Kadec-Pe{\textbackslash}textendash{}Pelczy{\textbackslash}textendash{}ski 부분수열 분해를 확장할 수 있는가?
• RQ2 비가환 대칭 공간에서 약한 컴팩트성과 부분수열 분해를 보장하는 비가환 등적분 가능성의 어떤 대응이 존재하는가?
• RQ3 재배열 불변 함수 공간 $E$에 대해 어떤 조건에서 비가환 대칭 공간 $E(\mathcal{M},\tau)$가 등적분 가능성과 소멸성 프로젝션 부분으로 부분수열 분해를 허용하는가?
• RQ4 $1 \leq p < \infty$에 대해 $L^p(\mathcal{M},\tau)$의 모든 부분공간이 $\ell^p$의 거의 등거리 복사본을 포함하거나 강하게 통합되는가?
• RQ5 Kalton과 Rosenthal의 결과(즉, $p < 2$일 때 $\ell^p$는 $L^p[0,1]$에 강하게 통합되지 않음)에 대한 비가환 대응은 존재하는가?

주요 결과

• $E(\mathcal{M},\tau)$에서 $\alpha$-병진성과 상수 1인 하한 $q$-추정을 갖는 재배열 불변 quasi-Banach 함수 공간 $E$를 고려할 때, 모든 유계 수열은 $E$-등적분 가능성 부분과 상호소멸적인 스펙트럴 프로젝션을 가진 부분으로 분해되는 부분수열을 갖는다.
• $1 \leq p < \infty$에 대해 $L^p(\mathcal{M},\tau)$의 모든 부분공간은 $\ell^p$의 거의 등거리 복사본을 포함하거나 $L^p(\mathcal{M},\tau)$에 강하게 통합되며, 이는 가환 경우를 일반화한다.
• 이 결과는 상수 1인 $\alpha$-병진성과 비자명한 하한 $q$-추정을 만족하는 quasi-Banach 공간에 대해 성립하며, Banach 공간을 초월하여 적용된다.
• 분해는 측도 위상에서 안정적이며, 감소하는 프로젝션 수열 $p_n \downarrow 0$을 구성하여 $\|x_{n_k} - (p_{n_k} - p_{n_{k+1}})x_{n_k}(p_{n_k} - p_{n_{k+1}})\|_{E(\mathcal{M},\tau)} \to 0$이 되도록 한다.
• 증명은 $\varphi_k = y_{n_k} + [z_{n_k} - e_k z_{n_k} e_k]$로 정의된 $\{\varphi_k\}$가 $E$-등적분 가능성임을 보이며, $\{e_k\}$는 상호소멸적인 프로젝션임을 보여준다.
• 유한 von Neumann 대수와 $p > 2$에 대해, $L^p(\mathcal{M},\tau)$의 모든 부분공간은 $\ell^p$의 거의 등거리 복사본을 포함하거나 힐베르트 공간과 동형임을 보인다.