[논문 리뷰] Algebraic operations on the space of Hausdorff continuous interval functions

Roumen Anguelov, Svetoslav Markov외 1명|ArXiv.org|2005. 12. 13.

Numerical Methods and Algorithms참고 문헌 8인용 수 9

한 줄 요약

이 논문은 연속 실함수의 공간 $ C(\Omega) $에서의 대수 연산—덧셈과 곱셈—을 하우스도르프 연속 구간 함수의 공간 $ \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) $가 점별 연산에 대해 교환 법칙이 성립하는 링을 이룬다는 사실을 바탕으로, 더 큰 공간인 하우스도르프 연속 구간 함수의 공간 $ \mathbb{H}(\Omega) $로 확장한다.
• $ \mathbb{H}(\Omega) $가 확장된 연산 하에서 항등원을 가진 교환 법칙이 성립하는 링의 대수적 구조를 상속함을 확립한다.
• 확장된 연산을 세 가지 등가적이지만 서로 다른 방식으로 정의한다: 구간 산술, 확장 성질, 그리고 $ C(\Omega) $의 완비화에서의 순서 수렴을 통한 방식.
• 확장된 연산의 일관성과 잘 정의됨을 보장하기 위해, $ C(\Omega) $에서의 근사 Cauchy 수열의 선택에 관계없이 성립함을 증명한다.

제안 방법

• 구간에 대한 점별 연산을 사용하여 $ \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 \oplus g $는 $ f_n \to f $, $ g_n \to g $ 이면서 $ C(\Omega) $에서 수렴하는 수열에 대해, 조밀한 집합에서 $ f_n + g_n $와 일치하는 유일한 H-연속 함수이다.
• 순서 수렴을 통한 정의: $ C(\Omega) $의 Cauchy 수열 $ (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) $의 순서 극한이다.
• 순서 수렴 완비화에서 $ C(\Omega) $의 완비화가 $ \mathbb{H}(\Omega) $임과, Cauchy 수열의 단순 혼합이 수렴을 유지한다는 사실을 이용하여 세 정의의 등가성을 증명한다.
• 근사 Cauchy 수열의 선택에 관계없이 순서 극한이 동일함을 보여, 연산의 일관성을 확립한다.
• 그래프 완비화 연산자의 포함 관계 순서 유지 성질과 $ \mathbb{H}(\Omega) $가 $ C(\Omega) $의 순서 수렴 완비화임을 활용하여, 확장된 연산이 잘 정의되어 대수적 공리계를 유지함을 보장한다.

실험 결과

연구 질문

• RQ1 연속 실함수 $ C(\Omega) $에서의 덧셈과 곱셈 대수 연산을 $ \mathbb{H}(\Omega) $로 확장할 수 있는가? 이 경우 항등원을 가진 교환 법칙이 성립하는 링의 구조를 유지하는가?
• RQ2 제안된 세 정의—구간 산술, 확장 성질, 순서 수렴—은 서로 등가적인가?
• RQ3 확장된 덧셈과 곱셈이 $ C(\Omega) $에서의 근사 Cauchy 수열의 선택에 관계없이 동일한 결과를 낳는가?
• RQ4 $ \mathbb{H}(\Omega) $가 확장된 연산을 갖추고 있으면서 항등원을 가진 교환 법칙이 성립하는 링을 이룬다 할 수 있는가?
• RQ5 $ \mathbb{H}(\Omega) $의 구조는 $ C(\Omega) $의 순서 수렴 완비화와 어떻게 관련되어 있는가?

주요 결과

• 확장된 연산—덧셈과 곱셈—은 $ \mathbb{H}(\Omega) $에 항등원을 가진 교환 법칙이 성립하는 링의 구조를 제공하며, $ C(\Omega) $의 대수적 성질을 유지한다.
• 세 가지 연산 정의—점별 구간 산술, 그래프 완비화 연산자를 통한 확장, $ C(\Omega) $의 완비화에서의 순서 수렴—은 상호 등가적이며, 이는 강건성과 일관성을 보장한다.
• 모든 $ C(\Omega) $ 내 Cauchy 수열 $ (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) $ 내 Cauchy 수열로 근사 가능하다.
• 정의 3(구간 산술)과 정의 6(순서 극한)의 등가성은, 증가 수열의 상한과 그래프 완비화 연산자의 포함 관계 순서 유지 성질을 사용하여, $ f_n + g_n $의 순서 극한이 점별 합 $ f \oplus g $와 동일하다는 것을 보여, 증명된다.