[论文解读] Compact operators on spaces with asymmetric norm

Ştefan Cobzaş|ArXiv.org|Aug 1, 2006

Fixed Point Theorems Analysis参考文献 29被引用 4

一句话总结

本文引入了非对称范数空间上紧算子的概念，定义了共轭（对偶）算子，并建立了非对称版本的Schauder紧致性定理。证明了若一个算子是紧的，则其共轭算子在原空间非对称范数所诱导的拟一致结构下，将对偶单位球映射到一个预紧集。

ABSTRACT

The aim of the present paper is to define compact operators on asymmetric normed spaces and to study some of their properties. The dual of a bounded linear operator is defined and a Schauder type theorem is proved within this framework. The paper contains also a short discussion on various completeness notions for quasi-metric and for quasi-uniform spaces.

研究动机与目标

• 在范数缺乏对称性的非对称范数空间背景下，定义紧算子。
• 通过在对偶空间上引入共轭算子 $ A^\flat $，建立有界线性算子的对偶理论。
• 通过证明对偶单位球在 $ A^\flat $ 下的像的预紧性，将经典的Schauder紧致性定理推广到非对称情形。
• 分析非对称拓扑结构中拟一致结构、完备性与紧致性之间的相互作用。
• 阐明非对称空间中预紧性、总有界性与完备性之间的区别，这些性质与对称情形存在显著差异。

提出的方法

• 使用满足正性、齐次性和次可加性的泛函 $ p: X \to [0,\infty) $ 定义非对称范数空间 $ (X,p) $，但不满足对称性。
• 引入相关的拟度量 $ \rho(x,y) = p(y - x) $，其生成拓扑 $ \tau_p $ 和拟一致结构 $ \mathcal{U}_p $。
• 通过不等式 $ q(Ax) \leq \|A\| p(x) $ 定义有界（半-Lipschitz）线性算子 $ A: X \to Y $，其中 $ \|A\| $ 为半-Lipschitz范数。
• 在 $ p $-有界线性泛函的对偶空间上构造共轭算子 $ A^\flat: Y^\flat \to X^\flat $，定义为 $ A^\flat(\varphi)(x) = \varphi(Ax) $。
• 在对偶空间 $ X^\flat $ 上赋予 $ w^\flat $-拓扑和由周边 $ U_\epsilon = \{ (\varphi_1,\varphi_2) : \varphi_2(x) - \varphi_1(x) \leq \epsilon \; \forall x \in B_p \} $ 生成的拟一致结构 $ \mathcal{U}_p^\flat $。
• 证明 $ A^\flat $ 关于 $ \mathcal{U}_p^\flat $ 和 $ \mathcal{U}_q^\flat $ 的拟一致连续性，并利用Alaoglu-Bourbaki定理证明对偶单位球 $ B_q^\flat $ 的 $ w^\flat $-紧致性。

实验结果

研究问题

• RQ1 在范数缺乏对称性的非对称范数空间中，紧算子的概念应如何有意义地推广？
• RQ2 在非对称情形下，对偶（共轭）算子 $ A^\flat $ 的合适定义是什么？它与原算子 $ A $ 的关系如何？
• RQ3 是否存在非对称版本的Schauder定理，即 $ A(B_p) $ 的预紧性是否蕴含在诱导拟一致结构下 $ A^\flat(B_q^\flat) $ 的预紧性？
• RQ4 在非对称空间中，完备性、总有界性和预紧性等概念与对称范数空间相比有何不同？
• RQ5 为了确保对偶空间中连续性和紧致性，需要哪些拓扑与一致结构（如 $ w^\flat $-拓扑、$ \mathcal{U}_p^\flat $）？”

主要发现

• 本文将 $ (p,q) $-紧算子定义为满足 $ A(B_p) $ 在拟一致结构 $ \mathcal{U}_q $ 下于 $ Y $ 中预紧的算子，避免依赖对称紧致性概念。
• 证明了共轭算子 $ A^\flat $ 关于拟一致结构 $ \mathcal{U}_p^\flat $ 和 $ \mathcal{U}_q^\flat $ 是拟一致连续的，从而保证了拓扑一致性。
• 对偶算子 $ A^\flat $ 将 $ w^\flat $-紧致单位球 $ B_q^\flat $ 映射到 $ \mathcal{U}_p^\flat $ 下的预紧集，从而证明了非对称Schauder定理。
• 证明依赖于 $ B_q^\flat $ 的 $ w^\flat $-紧致性（由Alaoglu-Bourbaki定理）以及通过 $ A(B_p) $ 上有限个评价泛函构造有限 $ \epsilon $-网。
• 关键不等式 $ \psi(Ax) - \psi_k(Ax) \leq 3\epsilon $ 对所有 $ x \in B_p $ 成立，表明 $ A^\flat(B_q^\flat) \subset U_{3\epsilon}[\{A^\flat\psi_1, \dots, A^\flat\psi_m\}] $，从而确认了预紧性。
• 本文指出，在非对称空间中，预紧性与相对紧致性并不等价，且缺乏对称性使得完备性与总有界性之间的关系更加复杂。