[论文解读] Algebraic operations on the space of Hausdorff continuous interval functions

Roumen Anguelov, Svetoslav Markov+1 more|ArXiv.org|Dec 13, 2005

Numerical Methods and Algorithms参考文献 8被引用 9

一句话总结

本文将代数运算——加法与乘法——从连续实值函数空间 $ C(\Omega) $ 扩展至Hausdorff连续区间函数空间 $ \mathbb{H}(\Omega) $，证明 $ \mathbb{H}(\Omega) $ 继承了具有单位元的交换环结构。这些运算通过三种等价方式定义：基于逐点区间算术、H-连续函数的延拓性质，以及 $ C(\Omega) $ 的完备化中的序收敛，确保了一致性与代数结构的保持。

ABSTRACT

We show that the operations addition and multiplication on the set $C(Ω)$ of all real continuous functions on $Ω\subseteq\mathbb{R}^n$ can be extended to the set $\mathbb{H}(Ω)$ of all Hausdorff continuous interval functions on $Ω$ in such a way that the algebraic structure of $C(Ω)$ is preserved, namely, $\mathbb{H}(Ω)$ is a commutative ring with identity. The operations on $\mathbb{H}(Ω)$ are defined in three different but equivalent ways. This allow us to look at these operations from different points of view as well as to show that they are naturally associated with the Hausdorff continuous functions.

研究动机与目标

• 将连续实值函数 $ C(\Omega) $ 的代数结构——在逐点运算下构成交换环——扩展至更大的Hausdorff连续区间函数空间 $ \mathbb{H}(\Omega) $。
• 建立 $ \mathbb{H}(\Omega) $ 在扩展运算下继承交换环与单位元结构的性质。
• 以三种等价但不同的方式定义扩展运算：通过区间算术、延拓性质，以及 $ C(\Omega) $ 完备化中的序收敛。
• 证明无论选择哪组 $ C(\Omega) $ 中的逼近柯西序列，扩展运算的一致性与良定义性均成立。

提出的方法

• 通过区间上的逐点运算在 $ \mathbb{H}(\Omega) $ 上定义加法与乘法：对 $ f,g \in \mathbb{H}(\Omega) $，有 $ (f \oplus g)(x) = f(x) + g(x) $，$ (f \otimes g)(x) = f(x) \cdot g(x) $，其中区间上的运算为标准区间算术。
• 利用图完成算子 $ F $ 与Baire算子 $ I $ 和 $ S $，通过延拓性质定义运算：$ f \oplus g $ 是唯一满足在稠密集上与 $ f_n + g_n $ 一致的H-连续函数，其中 $ f_n \to f $，$ g_n \to g $ 在 $ C(\Omega) $ 中成立。
• 通过序收敛定义运算：对 $ C(\Omega) $ 中收敛于 $ f,g \in \mathbb{H}(\Omega) $ 的柯西序列 $ (f_n), (g_n) $，$ f \oplus g $ 定义为 $ (f_n + g_n) $ 的序极限，$ f \otimes g $ 定义为 $ (f_n \cdot g_n) $ 的序极限。
• 利用 $ C(\Omega) $ 的序收敛空间完备化即为 $ \mathbb{H}(\Omega) $，且柯西序列的平凡混合保持收敛性，证明三种定义的等价性。
• 通过证明序极限不依赖于 $ C(\Omega) $ 中逼近柯西序列的选择，建立运算的一致性。
• 利用图完成算子的包含保序性，以及 $ \mathbb{H}(\Omega) $ 是 $ C(\Omega) $ 在序收敛下的完备化这一事实，确保扩展运算的良定义性，并保持代数公理。

实验结果

研究问题

• RQ1 能否以保持交换环与单位元结构的方式，将 $ C(\Omega) $ 上的加法与乘法运算扩展至 $ \mathbb{H}(\Omega) $？
• RQ2 所提出的三种扩展运算定义——区间算术、延拓性质与序收敛——是否等价？
• RQ3 在 $ \mathbb{H}(\Omega) $ 上的扩展加法与乘法是否独立于 $ C(\Omega) $ 中逼近柯西序列的选择？
• RQ4 配备扩展运算的 $ \mathbb{H}(\Omega) $ 空间是否构成具有单位元的交换环？
• RQ5 $ \mathbb{H}(\Omega) $ 的结构与 $ C(\Omega) $ 在序收敛下的完备化有何关联？

主要发现

• 在 $ \mathbb{H}(\Omega) $ 上的扩展运算——加法与乘法——赋予该空间交换环与单位元的结构，保持了 $ C(\Omega) $ 的代数性质。
• 三种运算定义——逐点区间算术、通过图完成算子的延拓、以及 $ C(\Omega) $ 完备化中的序收敛——彼此等价，确保了鲁棒性与一致性。
• $ (f_n + g_n) $ 与 $ (f_n \cdot g_n) $ 的序极限对任意在 $ C(\Omega) $ 中收敛于 $ f,g \in \mathbb{H}(\Omega) $ 的柯西序列均存在且唯一，保证了运算的良定义性。
• 运算独立于逼近序列的选择：若 $ f_n^{(1)} \to f $，$ f_n^{(2)} \to f $，且 $ g_n^{(1)} \to g $，$ g_n^{(2)} \to g $，则 $ f_n^{(1)} + g_n^{(1)} $ 与 $ f_n^{(2)} + g_n^{(2)} $ 在 $ \mathbb{H}(\Omega) $ 中收敛至同一极限。
• $ \mathbb{H}(\Omega) $ 是 $ C(\Omega) $ 的序收敛空间完备化，且每个 $ f \in \mathbb{H}(\Omega) $ 均可由 $ C(\Omega) $ 中的柯西序列逼近，且该序列可为单调递增或递减。
• 通过证明 $ f_n + g_n $ 的序极限等于逐点和 $ f \oplus g $，利用递增序列的上确界与图完成算子的包含保序性，证明了定义3（区间算术）与定义6（序极限）的等价性。