[論文レビュー] Infinite pointwise lineability: general criteria and applications

M. C. Calderón-Moreno, P. J. Gerlach-Mena+1 more|arXiv (Cornell University)|Jul 20, 2023

Advanced Banach Space TheoryMathematics参考文献 14被引用数 3

ひとこと要約

本稿は関数解析における新しい概念として無限点付き線形性（infinite pointwise lineability）および稠密線形性（dense lineability）を導入し、代数的線形性から位相的稠密性を導く一般基準を提示する。実数空間 ℝᴺ 上で無限回微分可能で可積分かつ有界でない関数の集合が、最大無限点付き稠密線形性および空間的可分性（spaceability）を有することを確立し、既存の有界でない可積分関数に関する結果を拡張する。

ABSTRACT

In this paper we introduce the concept of infinite pointwise dense lineability (spaceability), and provide a criterion to obtain density from mere lineability. As an application, we study the linear and topological structures within the set of infinite differentiable and integrable functions, for any order $p \geq 1$, on $\mathbb{R}^N$ which are unbounded in a prefixed set.

研究の動機と目的

• 位相的ベクトル空間における線形性から稠密線形性への昇格の一般基準を構築すること。
• 無限次元構造と無限個の部分空間族を含む線形性理論を無限次元に拡張すること。
• ℝᴺ 上の有界でないが無限回微分可能かつ可積分な関数の線形的および位相的構造を分析すること。
• 有界でない可積分関数の空間的可分性および線形性に関する先行結果を、高階微分可能性およびより広い関数クラスへ一般化すること。
• C∞(ℝᴺ) ∩ Lp(ℝᴺ)（p ≥ 1）のような関数空間における無限点付き稠密線形性を確立すること。

提案手法

• 各関数 x ∈ M に対して、無限個の α 次元部分空間族 {Wₖ} が存在し、x ∈ Wₖ ⊂ M ∪ {0} かつ k ≠ l のとき Wₖ ∩ Wₗ = span{x} を満たすような、無限点付き α-線形性（infinite pointwise α-lineability）の概念を導入する。
• 無限大の α に対する点付き α-線形性が、無限点付き α-線形性を含むことを示し、無限インデックス集合を同じ濃度の可算無限個の互いに素な部分集合に分解することを用いて証明する。
• 非相対コンパクト集合 A に属する点列を中心とする局所化されたバンプ関数と分割の単位を用いて、構成的技法により有界でないが滑らかで可積分な関数を構築する。
• 適切な稠密部分空間 N が存在する場合、一般基準（定理 2.3）を適用して点付き線形性を無限点付き稠密線形性に移す。
• 目標関数の成長率に依存する係数を用いてバンプ関数をスケーリングすることで、所望の成長特性を持つ関数族を構成する。
• 開集合 Ω ⊂ ℝᴺ 上の関数空間に適応し、局所可積分性および滑らかさを保証するように構成を調整する。

実験結果

リサーチクエスチョン

• RQ1 点付き線形性は、無限次元部分空間の無限族に拡張可能であり、同時に位相的稠密性を保つことができるか？
• RQ2 関数空間において、代数的線形性を位相的稠密線形性に昇格させるために、どのような一般的条件が必要か？
• RQ3 固定された非相対コンパクト集合 A で無限回微分可能で有界でない関数の集合は、無限点付き稠密線形性および空間的可分性を有するか？
• RQ4 有界でない滑らかで可積分な関数の構成法は、与えられた集合 A を通じて所望の成長率を持つ関数を含むように一般化可能か？
• RQ5 無限点付き稠密線形性の結果は、ℝᴺ の開部分集合へどの程度一般化可能か？

主な発見

• 固定された非相対コンパクト集合 A で無限回微分可能で有界でない関数の集合は、C∞(ℝᴺ) 内で無限点付き 𝔠-稠密線形性を有する。
• 同じ集合は点付き 𝔠-空間的可分性（pointwise 𝔠-spaceability）を有する。つまり、各関数に対して 𝔠 次元の閉部分空間を含む。
• 任意の連続的増加関数 α: [0,∞) → [1,∞) に対して、A を通じて成長が α に一致する C∞(ℝᴺ) の関数の集合は、点付き 𝔠-空間的可分かつ無限点付き 𝔠-稠密線形性を有する。
• 結果は開集合 Ω ⊂ ℝᴺ に対しても拡張可能であり、XΩ = C∞(Ω) ∩ ⋂ₚ≥₁ Lᵖ(Ω) は、Ω の非相対コンパクト部分集合上で無限大に発散する関数に対して無限点付き稠密線形性を有する。
• 本手法は、既知の点付き線形性を有する集合（例：ℓₚ(X) igcup_{q<p} ℓ_q(X)）に対しても適用可能であり、ℓₚ(X) においても無限点付き稠密線形性を導く。
• 構成法により、任意の有界でない関数 f に対して、𝔠 次元部分空間 V_f が存在し、span{f} ⊕ V_f が有界でない C∞ かつ可積分関数の空間で稠密であることが保証される。