[论文解读] Cone Normed Linear Spaces

T. K. Samanta, Sanjay Roy+1 more|arXiv (Cornell University)|Sep 11, 2010

Approximation Theory and Sequence Spaces被引用 3

一句话总结

本文通过在巴拿赫空间中的锥定义实线性空间上的锥范数，引入了锥赋范线性空间，建立了锥收敛与柯西序列的概念，并证明在具有正规锥的有限维锥赋范线性空间中，一个子集是紧致的当且仅当它是闭集且有界——将经典拓扑性质推广至基于锥的范数。

ABSTRACT

In this paper, we introduce cone normed linear space, study the cone convergence with respect to cone norm. Finally, we prove the completeness of a finite dimensional cone normed linear space.

研究动机与目标

• 通过在巴拿赫空间中使用锥来推广范数的概念，以形式化锥赋范线性空间的概念。
• 在新框架下定义并研究锥收敛与锥柯西序列。
• 研究锥赋范线性空间的拓扑性质，特别是有界性、闭性与紧致性。
• 在具有正规锥的有限维锥赋范线性空间中，建立紧致性与闭性及有界性之间的等价性。
• 将经典泛函分析结果（如完备性与序列紧致性）推广至锥赋范设定。

提出的方法

• 在实线性空间 $V$ 上定义锥范数 $\|\cdot\|_c: V \to E$，其中 $E$ 为巴拿赫空间，$C \subseteq E$ 为正规锥。
• 引入锥收敛：若对任意 $\epsilon \gg \theta$，存在 $n_0$，使得对所有 $n \geq n_0$，有 $\|x_n - x\|_c \ll \epsilon$，则称 $x_n \to x$。
• 类似地定义锥柯西序列：对所有 $m,n \geq n_0$，有 $\|x_n - x_m\|_c \ll \epsilon$。
• 利用锥的正规常数 $K$，通过 $\|\|x_n - x\|_c\| \leq K\|\epsilon\|$ 将锥范数收敛性与底层巴拿赫空间范数的收敛性联系起来。
• 通过在基下表示向量，利用锥范数有界系数，并应用波尔查诺-魏尔斯特拉斯定理，证明有限维空间中的序列紧致性。
• 在有限维空间中，利用锥的内部性质与锥范数，证明紧致性等价于闭集与有界性。

实验结果

研究问题

• RQ1 如何通过巴拿赫空间中的锥来推广范数概念，以定义锥赋范线性空间？
• RQ2 在何种条件下，锥收敛蕴含底层巴拿赫空间范数的收敛，反之亦然？
• RQ3 在有限维锥赋范线性空间中，子集在何种条件下是紧致的？
• RQ4 在有限维锥赋范线性空间中，闭集与有界性是否足以保证紧致性？
• RQ5 与标准范数相比，代数与拓扑性质（如完备性、连续性）在锥范数下如何表现？

主要发现

• 在锥赋范线性空间中，锥收敛等价于锥范数值在底层巴拿赫空间中收敛至零元素 $\theta$。
• 在具有正规锥的有限维锥赋范线性空间中，一个子集是紧致的当且仅当它是闭集且有界。
• 锥赋范线性空间中的每个柯西序列都是有界的，这推广了赋范空间中的经典结果。
• 锥范数满足三角不等式与齐次性，且在锥诱导的序关系下，反向三角不等式成立：$|\|x\|_c - \|y\|_c| \leq \|x - y\|_c$。
• 在锥赋范空间中，收敛或柯西序列的和与数乘仍分别为收敛或柯西序列，从而保持了序列结构。
• 锥范数诱导的拓扑与锥的序结构相容，且锥的内部在定义开球与收敛性中起关键作用。