ノルム線形空間における遠点集合と一意遠点集合に関する注記

基本情報

• 論文ID: 2510.10992
• タイトル: A note on remotal and uniquely remotal sets in normed linear spaces
• 著者: Uddalak Mukherjee, Sumit Som
• 分類: math.FA（関数解析）
• 発表日: 2024年10月13日
• 論文リンク: https://arxiv.org/abs/2510.10992

要約

遠点集合（remotal set）と一意遠点集合（uniquely remotal set）はBanach空間における最遠点問題と最近点問題において重要な役割を果たす。本研究ではαβ-統計収束性を用いて、Banach空間における有界部分集合の遠点性と一意遠点性に関するいくつかの十分条件を導出した。

研究背景と動機

1. 解決すべき問題：本論文はBanach空間における有界部分集合の遠点性と一意遠点性の性質、すなわち最遠点問題（Farthest Point Problem, FPP）を研究する。
2. 問題の重要性：
   • 遠点集合とは、空間内のすべての点に対して、その集合内に最遠点が存在する集合である
   • 一意遠点集合はさらに最遠点が一意であることを要求する
   • これらの概念は関数解析における近似理論と最適化理論において重要な意義を持つ
3. 既存研究の歴史的背景：
   • 1940年、B. Jessenが最遠点問題を初めて提起
   • 1953年、Motzkinらがミンコフスキー平面における一意遠点集合を研究
   • 1961年、KleeがBanach空間におけるコンパクト一意遠点部分集合は単一点集合であることを証明
   • 近年、研究者らは様々な収束性概念を用いてこれらの問題を研究
4. 研究動機：既存研究は主に通常の収束性または統計収束性を使用しているが、本論文ではより一般的なαβ-統計収束性を導入して、より広範な結果を得ることを目指す。

核心的貢献

1. αβ-部分統計連続性概念の導入：既存の部分統計連続性の定義を推広し、より一般化した
2. 遠点性の十分条件の確立：関数類Mの厳密単調増加連続関数を通じて、集合が遠点的であるための十分条件を与えた
3. x-αβ-コンパクト性概念の導入：Sababhehらのx-コンパクト性概念を推広し、遠点性における応用を証明した
4. 具体的な構成的証明の提供：具体例を通じて新概念の実用性と一般性を示した

方法の詳細

問題設定

Xを実ノルム線形空間、GをXの空でない有界部分集合とする。x ∈ Xに対して、以下を定義する：

• 最遠距離：δ(x,G) = sup{‖x-e‖ : e ∈ G}
• 最遠点集合：F(x,G) = {e ∈ G : ‖x-e‖ = δ(x,G)}
• Gが遠点的：r(G) = {x ∈ X : F(x,G) ≠ ∅} = X
• Gが一意遠点的：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 → ℝを構成：