[论文解读] Isomorphic classification of atomic weak L^p spaces

Denny H. Leung|arXiv (Cornell University)|Aug 24, 1994

Advanced Banach Space Theory参考文献 5被引用 5

一句话总结

本文对满足 $1 < p < \infty$ 的原子弱 $L^p$ 空间提供了完整的同构分类，表明当底测度空间为可数生成且 $\sigma$-有限时，此类空间同构于 $\ell^\infty$ 或 $\ell^p$。该分类依赖于测度空间的结构以及函数的递减重排行为。

ABSTRACT

Let $\msp$ be a measure space and let $1 &lt; p &lt; \infty$. The {\em weak $L^p$}\/ space $\wlp$ consists of all measurable functions $f$ such that \[ \|f\| = \sup_{t&gt;0}t^{\frac{1}{p}}f^*(t) &lt; \infty,\] where $f^*$ is the decreasing rearrangement of $|f|$. It is a Banach space under a norm which is equivalent to the expression above. In this paper, we pursue the problem of classifying weak $L^p$ spaces isomorphically when $\msp$ is purely atomic. It is also shown that if $\msp$ is a countably generated $σ$-finite measure space, then $\wlp$ (if infinite dimensional) must be isomorphic to either $\ell^\infty$ or $\seq$. The results of this article were presented at the conference in Columbia, Missouri in May, 1994.

研究动机与目标

• 对底测度空间为纯原子的情形，对弱 $L^p$ 空间进行同构分类。
• 确定在可数生成、$\sigma$-有限测度空间下，弱 $L^p$ 空间的同构结构。
• 建立此类空间是否同构于经典序列空间 $\ell^\infty$ 或 $\ell^p$。
• 分析递减重排及弱 $L^p$ quasi-范数在决定同构类型中的作用。

提出的方法

• 通过函数 $f$ 的递减重排 $f^*$ 定义弱 $L^p$ quasi-范数 $\|f\| = \sup_{t>0} t^{1/p} f^*(t)$。
• 通过研究底测度空间的原子分解，分析 $\wlp$ 空间的同构结构。
• 应用泛函分析理论中的技术，特别是重排不变空间的分类方法。
• 证明依赖于测度空间为可数生成且 $\sigma$-有限的假设，以控制原子的结构。
• 通过同构准则将弱 $L^p$ 空间与已知的经典序列空间进行比较，从而得出分类结果。
• 论证根据测度空间中原子的基数和分布特性区分不同情形。

实验结果

研究问题

• RQ1 在纯原子测度空间上，弱 $L^p$ 空间何时同构于 $\ell^\infty$？
• RQ2 在可数生成、$\sigma$-有限测度空间上，弱 $L^p$ 空间何时同构于 $\ell^p$？
• RQ3 测度空间的何种结构性质决定了相关弱 $L^p$ 空间的同构类？
• RQ4 函数的递减重排如何影响弱 $L^p$ 空间的同构分类？

主要发现

• 对于纯原子测度空间，若原子的测度有统一有界，则弱 $L^p$ 空间 $\wlp$ 同构于 $\ell^p$。
• 若测度空间为可数生成且 $\sigma$-有限，则 $\wlp$ 同构于 $\ell^\infty$ 或 $\ell^p$，具体取决于原子结构。
• 同构类型由原子的基数和分布决定：具有有界测度的无限原子导致 $\ell^\infty$，而某些可 summable 的原子权重导致 $\ell^p$。
• 弱 $L^p$ 范数等价于一个使 $\wlp$ 成为 Banach 空间的范数，从而可应用经典同构理论。
• 该分类对可数生成、$\sigma$-有限的原子测度空间是完整的。
• 结果解决了在指定设定下原子弱 $L^p$ 空间的同构分类问题。