[論文レビュー] 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) $ における代数的演算（加法と乗法）を、ハウスドルフ連続区間関数の空間 $ \mathbb{H}(\Omega) $ に拡張し、$ \mathbb{H}(\Omega) $ が単位元をもつ可換環の構造を備えていることを証明する。演算は、点ごとの区間演算、H-連続関数の拡張性質、および $ C(\Omega) $ の完備化における順序収束の3通りの同値な定義によって定義され、一貫性と代数的構造の保存が保証される。

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) $ の完備化における順序収束の3通りの別個の方法で定義すること。
• $ 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 $ とバーレ作用素 $ I $、$ S $ を用いて、拡張性質による定義を行う：$ f_n \to f $、$ g_n \to g $ である $ C(\Omega) $ 内の列に対して、$ f \oplus g $ は、稠密な集合上で $ f_n + g_n $ と一致する唯一の H-連続関数として定義される。
• 順序収束による定義：$ C(\Omega) $ 内のコーシー列 $ (f_n) $、$ (g_n) $ が $ f,g \in \mathbb{H}(\Omega) $ に収束するとき、$ f \oplus g $ は $ (f_n + g_n) $ の順序極限として、$ f \otimes g $ は $ (f_n \cdot g_n) $ の順序極限として定義される。
• 順序収束による完備化の空間が $ \mathbb{H}(\Omega) $ であること、およびコーシー列の自明な混合が収束を保存することを根拠に、3通りの定義が同値であることを証明する。
• 近似コーシー列の選択に依存しないことを示すことで、演算の一貫性を確立する。
• グラフ完備化作用素の包含単調性と、$ \mathbb{H}(\Omega) $ が $ C(\Omega) $ の順序収束による完備化であることを利用し、拡張された演算が適切に定義され、代数的公理を保つことを保証する。

実験結果

リサーチクエスチョン

• RQ1 連続関数空間 $ C(\Omega) $ における加法および乗法の代数的演算を、$ \mathbb{H}(\Omega) $ に単位元をもつ可換環の構造を保ちながら拡張できるか。
• RQ2 提案された3通りの拡張された演算の定義（区間算術、拡張性質、順序収束）は同値か。
• RQ3 $ \mathbb{H}(\Omega) $ における拡張された加法および乗法は、$ C(\Omega) $ からの近似コーシー列の選択に依存しないか。
• RQ4 $ \mathbb{H}(\Omega) $ に拡張された演算を備えた空間は、単位元をもつ可換環をなすか。
• RQ5 $ \mathbb{H}(\Omega) $ の構造は、$ C(\Omega) $ の順序収束による完備化とどのように関係しているか。

主な発見

• 拡張された演算（加法および乗法）により、$ \mathbb{H}(\Omega) $ は単位元をもつ可換環の構造を備え、$ C(\Omega) $ の代数的性質が保存される。
• 演算の3通りの定義（点ごとの区間算術、グラフ完備化作用素による拡張、$ C(\Omega) $ の完備化における順序収束）は同値であり、一貫性と頑健性が保証される。
• $ C(\Omega) $ 内のコーシー列 $ (f_n) $、$ (g_n) $ が $ f,g \in \mathbb{H}(\Omega) $ に収束するとき、$ (f_n + g_n) $ および $ (f_n \cdot g_n) $ の順序極限は存在し、一意である。これにより、演算が適切に定義されていることが保証される。
• 演算は近似列の選択に依存しない：$ 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) $ 内のコーシー列によって近似可能である。
• 定義3（区間算術）と定義6（順序極限）の同値性は、$ f_n + g_n $ の順序極限が点ごとの和 $ f \oplus g $ に等しいことを示すことにより証明され、増加列の上限とグラフ完備化作用素の包含単調性を用いる。