[论文解读] Representation of Uniform Boundedness Principle and Hahn-Banach Theorem in linear n-normed space

Prasenjit Ghosh, T. K. Samanta|arXiv (Cornell University)|Jan 12, 2021

Fixed Point Theorems Analysis参考文献 5被引用 3

一句话总结

本文通过引入有界 b-线性泛函及其连续性类型，将一致有界性原理和哈恩-巴拿赫定理推广至线性 n-范数空间。在 n-巴拿赫空间的背景下建立了这些基本定理，证明了范数表示和分离定理等关键应用，并引入了有界 b-线性泛函序列的弱*收敛，将经典泛函分析结果推广至高阶范数结构。

ABSTRACT

The concept of b-linear functional and its different types of continuity in linear n-normed space are presented and some of their properties are being established. We derive the Uniform Boundedness Principle and Hahn-Banach extension Theorem with the help of bounded b-linear functionals in the case of linear n-normed spaces and discuss some examples and applications. Finally, we present the concept of weak*convergence for the sequence of bounded b-linear functionals in linear n-normed space.

研究动机与目标

• 将经典的泛函分析定理——一致有界性原理和哈恩-巴拿赫延拓定理——推广至线性 n-范数空间。
• 在 n-范数空间中定义并分析 b-线性泛函及其连续性类型。
• 在 n-巴拿赫空间中为有界 b-线性泛函建立一致有界性原理和哈恩-巴拿赫定理。
• 提供范数表示、分离定理和对偶性结果等应用。
• 在 n-范数空间中引入并表征有界 b-线性泛函序列的弱*收敛。

提出的方法

• 在线性 n-范数空间中引入 b-线性泛函及其连续性类型的概念。
• 通过 X 和 Y 的 n-范数定义笛卡尔积 X × Y 上的 n-范数，并证明若 X 和 Y 是 n-巴拿赫空间，则 X × Y 也是 n-巴拿赫空间。
• 为 n-巴拿赫空间子空间上的有界 b-线性泛函建立哈恩-巴拿赫延拓定理。
• 为 n-巴拿赫空间上一族有界 b-线性泛函证明一致有界性原理。
• 引入有界 b-线性泛函序列的弱*收敛，并通过序列收敛性对其进行表征。
• 利用 b-正交补和对偶空间结构，推导出范数表示和分离定理。

实验结果

研究问题

• RQ1 如何将哈恩-巴拿赫延拓定理推广至线性 n-范数空间中的有界 b-线性泛函？
• RQ2 在 n-巴拿赫空间中，一族有界 b-线性泛函满足一致有界性原理的条件是什么？
• RQ3 如何在 n-范数空间中定义并表征有界 b-线性泛函序列的弱*收敛？
• RQ4 涉及对偶泛函上确界的范数表示公式在 n-范数空间中的含义是什么？
• RQ5 能否利用有界 b-线性泛函和 b-正交补概念在 n-巴拿赫空间中建立分离定理？

主要发现

• 在 n-巴拿赫空间的子空间上，为有界 b-线性泛函建立了哈恩-巴拿赫延拓定理，确保其延拓后范数保持不变。
• 为 n-巴拿赫空间上一族有界 b-线性泛函证明了一致有界性原理，表明逐点有界性蕴含一致有界性。
• 推导出一个范数表示公式：∥x, b₂, ..., bₙ∥ = sup{ |T(x, b₂, ..., bₙ)| / ∥T∥ : T ∈ X*F, T ≠ 0 }，该公式对任意实线性 n-范数空间中的 x 成立。
• 对于子空间 W 和 x₁ ∉ W 满足 h = infₓ∈W ∥x₁ − x, b₂, ..., bₙ∥ > 0，存在一个范数为 1 的有界 b-线性泛函 T，使得 T(x₁, b₂, ..., bₙ) = h 且对所有 x ∈ W 有 T(x, b₂, ..., bₙ) = 0。
• 利用 b-正交补 SₐF 及其单位球 SθF，证明了 inf{∥x − s, b₂, ..., bₙ∥ : s ∈ S} = sup{ T(x, b₂, ..., bₙ) : T ∈ SθF }，建立了对偶性结果。
• 有界 b-线性泛函序列的弱*收敛通过其在固定 n-元组上的泛函收敛性被表征，推广了经典巴拿赫空间中的弱*收敛。