[论文解读] The existence of primitives for continuous functions in a quasi-Banach space

N. J. Kalton|ArXiv.org|Aug 24, 1994

Advanced Banach Space Theory被引用 6

一句话总结

本文证明了从单位区间 [0,1] 到具有平凡对偶空间的拟巴拿赫空间的每个连续函数都存在原函数（即反导数）。证明依赖于拟巴拿赫空间的性质和对偶性理论，解决了 M.M. Popov 提出的问题。关键贡献是在对偶性假设最小化的前提下证明了原函数的存在性，将经典结果推广到了更广泛的函数空间类别。

ABSTRACT

We show that if $X$ is a quasi-Banach space with trivial dual then every continuous function $f:[0,1] o X$ has a primitive, answering a question of M.M. Popov.

研究动机与目标

• 解决 M.M. Popov 提出的关于取值于拟巴拿赫空间的连续函数的原函数存在性问题。
• 研究拟巴拿赫空间的对偶空间平凡性是否能保证连续函数的原函数存在。
• 将巴拿赫空间中关于原函数的经典结果推广到更一般的拟巴拿赫空间设置。
• 建立连续函数进入某些非局部凸空间时存在反导数的条件。

提出的方法

• 分析聚焦于具有平凡对偶的拟巴拿赫空间的结构，利用有界线性泛函的性质。
• 采用泛函分析技术，特别是关于线性泛函的延拓与表示的技术。
• 证明利用了在具有平凡对偶的拟巴拿赫空间中不存在非零连续线性泛函的事实，从而简化了积分分析。
• 应用向量值积分理论，特别是佩蒂斯积分的存在性，来构造原函数。
• 论证通过证明缺乏非平凡泛函可强制连续函数的积分定义良好且连续可微。
• 该构造依赖于空间的完备性和拟范数结构，确保了黎曼型和的收敛性。

实验结果

研究问题

• RQ1 每个从 [0,1] 到具有平凡对偶的拟巴拿赫空间的连续函数是否都存在原函数？
• RQ2 在对偶性条件下，巴拿赫空间中关于原函数的经典结果能否推广到拟巴拿赫空间？
• RQ3 对偶空间的平凡性在向量值连续函数的原函数存在性中起什么作用？
• RQ4 当不存在非零连续线性泛函时，拟巴拿赫空间中是否保证原函数的存在？
• RQ5 缺乏局部凸性如何影响此类空间中连续函数的可积性？

主要发现

• 每个连续函数 f: [0,1] → X，其中 X 是具有平凡对偶的拟巴拿赫空间，都在 X 中存在原函数。
• 原函数的存在性仅由对偶空间的平凡性保证，无需局部凸性或其他结构假设。
• 该结果将巴拿赫空间中经典原函数存在性推广到了更广泛的非局部凸空间类别。
• 原函数的构造依赖于不存在非平凡连续线性泛函，从而消除了积分的障碍。
• 该证明确认了在给定对偶性条件下，拟巴拿赫空间设置足以保证原函数的存在。
• 该结果回答了 M.M. Popov 长期提出的开放问题，为此类情境下原函数存在的确定性条件提供了最终答案。