[论文解读] An Introduction to Some Spaces of Interval Functions

Roumen Anguelov|ArXiv.org|Aug 2, 2004

Mathematical and Theoretical Analysis参考文献 10被引用 7

一句话总结

本文引入并分析了区间值函数的三种广义连续性概念——H-连续性、D-连续性和S-连续性，将实函数的经典连续性概念进行推广。研究证明，H-连续且几乎有限的区间函数空间是Dedekind序完备的，从而解决了传统连续函数空间在有界集上确界与下确界缺失的问题。

ABSTRACT

The paper gives a brief account of the spaces of interval functions defined through the concepts of H-continuity, D-continuity and S-continuity. All three continuity concepts generalize the usual concept of continuity for real (point valued) functions. The properties of the functions in these new spaces are discussed and investigated, preserving essential properties of the usual continuous real functions being of primary interest. Various ways in which the spaces of H-continuous, D-continuous and S-continuous interval functions complement the spaces of continuous real functions are discussed.

研究动机与目标

• 将实函数的经典连续性推广至区间值函数，采用H-、D-和S-连续性概念。
• 解决连续实函数集合无法获得最小连续区间包络的问题，该问题源于C(Ω)中缺乏Dedekind完备性。
• 构建保持连续实函数基本性质的序完备区间函数空间。
• 证明在逐点序下，H-连续且几乎有限的区间函数空间是Dedekind序完备的。
• 为实分析、逼近理论和偏微分方程提供基于稳健区间函数空间的应用框架。

提出的方法

• 定义区间函数 f: Ω → Iℝ̄，其中函数值为扩展实直线 ℝ̄ = ℝ ∪ {±∞} 上的闭区间 [a̲, a̅]。
• 引入三种连续性概念：通过下确界与上确界函数的上半连续性与下半连续性定义H-连续性；通过D-度量定义D-连续性；通过S-度量定义S-连续性。
• 采用逐点偏序 f ≤ g 当且仅当对所有 x ∈ Ω 有 f(x) ≤ g(x)，其中 [a̲, a̅] ≤ [b̲, b̅] 当且仅当 a̲ ≤ b̲ 且 a̅ ≤ b̅。
• 分析函数 f 取非有限值的点集（Γ_nf(f)），并证明对于H-连续且几乎有限的函数，该集合是闭集且无处稠密。
• 通过证明有界子集的上确界与下确界存在于该空间中，证明H-连续且几乎有限函数空间 ℋ_nf(Ω) 是Dedekind序完备的。
• 应用Baire范畴理论，证明H-连续且几乎有限的函数几乎处处有限，即仅在第一类Baire范畴的集合上取非有限值。

实验结果

研究问题

• RQ1 能否在保持关键分析性质的前提下，有意义地将实函数的经典连续性推广至区间值函数？
• RQ2 为何某些连续实函数集合无法获得最小连续区间包络？这一问题如何解决？
• RQ3 H-连续区间函数具有哪些拓扑与序理论性质，特别是其非有限值集合的结构特征？
• RQ4 在逐点偏序下，H-连续且几乎有限的区间函数空间是否为Dedekind序完备？
• RQ5 H-、D-和S-连续性概念在区间分析背景下如何相互关联，又如何与经典连续性关联？

主要发现

• 一组连续实函数的区间包络不一定是连续的，表明C(Ω)缺乏Dedekind完备性。
• H-连续且几乎有限函数取非有限值的点集（Γ_nf(f)）在Ω中是闭集且无处稠密。
• H-连续且几乎有限函数在Ω上除一个第一类Baire范畴集合外处处取有限实数值，即可表示为可数个闭且无处稠密集的并集。
• H-连续且几乎有限区间函数空间 ℋ_nf(Ω) 是Dedekind序完备的：每个非空有界子集在该空间内存在上确界与下确界。
• ℋ_nf(Ω)中非空有界子集的上确界与下确界在逐点偏序下保持不变，确保该空间支持分析中必要的极限运算。
• H-连续性保证了区间值上下确界的上确界与下确界分别为上半连续与下半连续，从而支持稳健的拓扑与序理论分析。