[论文解读] Structure of local Banach spaces of locally convex spaces

Jari Taskinen|arXiv (Cornell University)|Apr 1, 1992

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

一句话总结

本文建立了连续双线性映射 $ P: C(I) \times C(I) \to C(I) $ 的刻画，该映射可通过有界线性算子通过逐点乘法进行因式分解。证明了这种因式分解成立当且仅当点值双线性形式是积分型的且关于取值点连续，利用了佩尔茨因斯基意义下的正则平均算子的连续满射 $ \phi: I \to I^2 $。

ABSTRACT

We show that a continuous bilinear mapping P: C(I) imes C(I) o C(I) can be presented in the form P(f,g) = B((Af)(Ag)), where A and B are bounded linear operators on C(I) and multiplication is defined pointwise, if and only if for all t in I the bilinear form (f,g) -> P(f,g)(t) is integral on C(I) times C(I) and depends in a sense continuously on t. To this end we construct a continuous surjection phi : I o I^2 admitting a regular averaging operator in the sense of Pelczynski.

研究动机与目标

• 刻画连续双线性映射 $ P: C(I) \times C(I) \to C(I) $ 何时可因式分解为 $ P(f,g) = B((Af)(Ag)) $，其中 $ A, B $ 为有界线性算子。
• 确定点值 $ P $ 的必要与充分条件，以使此类因式分解存在。
• 构造一个连续满射 $ \phi: I \to I^2 $，使其支持佩尔茨因斯基意义下的正则平均算子。
• 将局部凸空间中局部巴拿赫空间的结构与点值双线性形式的积分性质联系起来。
• 为理解 $ C(I) $ 上双线性映射的因式分解提供一个泛函分析框架，结合算子理论与拓扑工具。

提出的方法

• 使用点值映射分析每个 $ t \in I $ 处的双线性形式 $ (f,g) \mapsto P(f,g)(t) $。
• 为 $ C(I) \times C(I) $ 上每个点值双线性形式建立积分表示条件。
• 构造一个连续满射 $ \phi: I \to I^2 $，使其在佩尔茨因斯基意义下具有正则平均算子。
• 应用平均算子以确保双线性形式在参数 $ t \in I $ 上的连续性。
• 使用有界线性算子 $ A $ 和 $ B $ 将双线性映射通过逐点乘法进行因式分解。
• 证明此类因式分解存在的充要条件是点值的积分性与连续依赖性。

实验结果

研究问题

• RQ1 在何种条件下，连续双线性映射 $ P: C(I) \times C(I) \to C(I) $ 可表示为 $ P(f,g) = B((Af)(Ag)) $，其中 $ A, B $ 为有界线性算子？
• RQ2 指标集 $ I $ 的拓扑在 $ C(I) $ 上双线性映射的因式分解中起什么作用？
• RQ3 何时 $ C(I) \times C(I) $ 上双线性映射的点值可表示为积分形式？
• RQ4 如何构造一个连续满射 $ \phi: I \to I^2 $，使其具有佩尔茨因斯基意义下的正则平均算子以支持因式分解？
• RQ5 点值双线性形式的连续性与此类因式分解的存在性之间有何关系？

主要发现

• 连续双线性映射 $ P: C(I) \times C(I) \to C(I) $ 可通过有界线性算子 $ A $ 和 $ B $ 因式分解为逐点乘法，当且仅当每个点值 $ (f,g) \mapsto P(f,g)(t) $ 是 $ C(I) \times C(I) $ 上的积分双线性形式。
• 点值双线性形式族关于 $ t \in I $ 连续，这是因式分解存在的必要且充分条件。
• 存在一个连续满射 $ \phi: I \to I^2 $，其在佩尔茨因斯基意义下具有正则平均算子，这对构造至关重要。
• 因式分解结构与指标集 $ I $ 的拓扑与测度性质密切相关，特别是通过平均算子体现。
• 该刻画通过算子理论与积分条件，为局部凸空间框架下局部巴拿赫空间的结构提供了完整的结构描述。
• 该结果通过纳入点值的连续性与可积性条件，推广了已知的 $ C(I) $ 上双线性映射因式分解定理。