A note on remotal and uniquely remotal sets in normed linear spaces

基本信息

• 论文ID: 2510.10992
• 标题: A note on remotal and uniquely remotal sets in normed linear spaces
• 作者: Uddalak Mukherjee, Sumit Som
• 分类: math.FA (Functional Analysis)
• 发表时间: 2024年10月13日
• 论文链接: https://arxiv.org/abs/2510.10992

摘要

Remotal和uniquely remotal集合在Banach空间中的最远点问题和最近点问题中发挥重要作用。本研究通过αβ-统计收敛性找到了Banach空间中有界子集的remotality和unique remotality的一些充分条件。

研究背景与动机

1. 要解决的问题：本文研究Banach空间中有界子集的remotality和unique remotality性质，即最远点问题（Farthest Point Problem, FPP）。
2. 问题的重要性：
   • Remotal集合是指对于空间中的每一点，都能在该集合中找到最远点
   • Uniquely remotal集合进一步要求最远点是唯一的
   • 这些概念在函数分析中的逼近理论和优化理论中具有重要意义
3. 现有研究的历史脉络：
   • 1940年，B. Jessen首次提出最远点问题
   • 1953年，Motzkin等人研究了Minkowski平面中的uniquely remotal集合
   • 1961年，Klee证明了Banach空间中的紧uniquely remotal子集必须是单点集
   • 近年来，研究者通过各种收敛性概念来研究这些问题
4. 研究动机：现有研究主要使用普通收敛性或统计收敛性，本文引入更一般的αβ-统计收敛性来获得更广泛的结果。

核心贡献

1. 引入αβ-部分统计连续性概念：推广了已有的部分统计连续性定义，使其更加一般化
2. 建立remotality的充分条件：通过函数类M中的严格递增连续函数，给出了集合为remotal的充分条件
3. 引入x-αβ-紧性概念：推广了Sababheh等人的x-紧性概念，并证明其在remotality中的应用
4. 提供具体的构造性证明：通过具体例子展示了新概念的实用性和一般性

方法详解

任务定义

设X是实赋范线性空间，G是X的非空有界子集。对于x ∈ X，定义：

• 最远距离：δ(x,G) = sup{‖x-e‖ : e ∈ G}
• 最远点集：F(x,G) = {e ∈ G : ‖x-e‖ = δ(x,G)}
• G是remotal的，如果r(G) = {x ∈ X : F(x,G) ≠ ∅} = X
• G是uniquely remotal的，如果r(G) = X且对每个x ∈ X，F(x,G)是单点集

核心概念

αβ-统计收敛性

定义2.1：设α = {αₙ}和β = {βₙ}是满足以下条件的正数序列：

• P1: α和β都是非递减的
• P2: βₙ ≥ αₙ对所有n ∈ ℕ成立
• P3: (βₙ - αₙ) → ∞当n → ∞

序列{xₙ}αβ-统计收敛到x，如果对每个ε > 0： $\lim_{n→∞} \frac{1}{βₙ-αₙ+1}|\{k ∈ [αₙ, βₙ] : |x_k - x| ≥ ε\}| = 0$

αβ-部分统计连续性

定义2.2：函数G: M → X在x ∈ M处αβ-部分统计连续，如果存在非最终常数序列{xₙ} ⊂ M，使得{xₙ}αβ-统计收敛到x蕴含{G(xₙ)}αβ-统计收敛到G(x)。

技术创新点

1. 函数类M的引入：考虑函数φ: [0,∞) → [0,∞)，满足严格递增、连续且φ(0) = 0
2. αβ-统计发散到无穷：推广了发散概念到统计意义下
3. x-αβ-紧性：推广了x-紧性概念，使其在统计意义下成立

实验设置

本文主要是理论研究，通过构造具体例子来验证理论结果：

主要例子

例2.4：构造函数f: -1,1 → ℝ：