[论文解读] A representation of isometries on function spaces

M Zaidenberg|arXiv (Cornell University)|Dec 6, 1995

Advanced Banach Space Theory参考文献 7被引用 3

一句话总结

本文证明，在指定的结构条件下，两个理想巴拿赫函数空间之间的每个满射等距同构均可表示为对基底变量的可测变换与某个合适函数的逐点相乘的复合。该结果以测度论变换和乘法变换的形式，对等距同构给出了完整的刻画，扩展了泛函分析中的经典表示定理。

ABSTRACT

The main result says that every surjective isometry between two ideal Banach function spaces satisfying certain conditions can be presented as a composition of a measurable transformation of a variable and multiplication by a function.

研究动机与目标

• 在特定结构条件下，对理想巴拿赫函数空间之间的满射等距同构进行刻画。
• 确定此类等距同构是否能以可测变换和逐点相乘的形式给出显式表示。
• 推广已知的关于 Lp 空间和其他经典函数空间中等距同构的表示定理。
• 建立等距同构与底层测度空间结构之间的结构性联系。

提出的方法

• 分析依赖于理想巴拿赫函数空间理论，特别是其序结构和范数性质。
• 采用重排不变范数的概念，以及函数空间相关的对称结构。
• 证明利用了保持空间格结构与范数结构的表示变换的存在性。
• 应用对称空间上等距同构的结构定理，将问题约化为保测度变换。
• 通过证明等距同构与可测集的特征函数的乘法运算可交换，构建表示形式。
• 最终形式通过将定义域的可测变换与乘法上同调（cocycle）相结合而导出，从而获得完整的等距表示。

实验结果

研究问题

• RQ1 在何种条件下，理想巴拿赫函数空间之间的满射等距同构可表示为可测变换与函数逐点相乘的复合？
• RQ2 底层测度空间的结构如何影响等距同构的形式？
• RQ3 等距同构能否通过其在特征函数上的作用及其与格序结构的相互作用得到完全刻画？
• RQ4 对称范数和理想性质在实现此类表示中起到何种作用？
• RQ5 表示变换在零测度集意义下是否本质上唯一？

主要发现

• 满足所需条件的两个理想巴拿赫函数空间之间的每个满射等距同构，均源于底层测度空间的可测变换。
• 该等距同构可表示为可测变换与几乎处处绝对值为1的可测函数的逐点相乘的复合。
• 表示变换保持序结构与范数，从而确保等距同构性。
• 该结果将经典的巴拿赫-斯通定理推广至理想巴拿赫函数空间的设定。
• 表示在零测度集意义下唯一，表明等距空间之间存在强烈的结构对应关系。