[논문 리뷰] Dedekind order completion of C(X) by Hausdorff continuous functions

Roumen Anguelov|ArXiv.org|2004. 07. 15.

Numerical Methods and Algorithms참고 문헌 3인용 수 5

한 줄 요약

이 논문은 위상공간 $X$ 위의 연속 실함수 공간 $C(X)$의 Dedekind 순서 완비화를 유한한 하우스도르프 연속 구간값 함수를 이용하여 구성적으로 기술한다. 이는 $\mathbb{H}_{ft}(X)$로 표기되는 이러한 함수들의 집합이 Dedekind 순서 완비이면서, $C(X)$와 $C_b(X)$의 순서 완비화를 모두 포함함을 입증하며, 완비성 및 거리공간 가정 하에 명시적인 기술을 제공한다.

ABSTRACT

The concept of Hausdorff continuous interval valued functions, developed within the theory of Hausdorff approximations and originaly defined for interval valued functions of one real variable is extended to interval valued functions defined on a topological space X. The main result is that the set of all finite Hausdorff continuous functions on any topological space X is Dedekind order complete. Hence it contains the Dedekind order completion of the set C(X) of all continuous real functions defined on X as well as the Dedekind order completion of the set C_b(X) of all bounded continuous functions on X. Under some general assumptions about the topological space X the Dedekind order completions of both C(X) and C_b(X) are characterised as subsets of the set of all Hausdorff continuous functions. This solves a long outstanding open problem about the Dedekind order completion of C(X). In addition, it has major applications to the regularity of solutions of large classes of nonlinear PDEs.

연구 동기 및 목표

• 연속 실함수 공간 $C(X)$의 Dedekind 순서 완비화를 동일한 공간 $X$ 위에 정의된 함수들의 집합으로 구성하는 데 오랜 동안 미해결이었던 문제를 해결한다.
• 일변수 함수에서의 하우스도르프 연속 구간값 함수 개념을 일반 위상공간으로 확장한다.
• Hausdorff 연속 함수의 프레임워크 내에서 $C(X)$와 $C_b(X)$의 Dedekind 순서 완비화를 기술한다.
• 이전 결과들과 달리 유계성 조건을 필요로 하지 않는 구성적이고 함수론적인 순서 완비화 표현을 제공한다.
• 비선형 PDE의 해에 대한 정규성 결과를 향상시키기 위해, 이러한 해들이 하우스도르프 연속 함수로 표현될 수 있음을 보여준다.

제안 방법

• 위상공간 $X$ 위의 모든 유한한 하우스도르프 연속 구간값 함수들의 집합인 $\mathbb{H}_{ft}(X)$를 정의하며, 이를 일변수 함수에서의 개념으로부터 확장한다.
• 확장된 실수 구간 $\mathbb{I}\overline{\mathbb{R}}$에 점별 부분순서 $[\underline{a},\overline{a}] \leq [\underline{b},\overline{b}]$를 $\underline{a} \leq \underline{b}$ 및 $\overline{a} \leq \overline{b}$일 때 정의한다.
• 모든 구간값 함수들의 집합인 $\mathbb{A}(X)$에 점별 순서를 유도하고, $C(X)$ 및 $C_b(X)$를 이 공간에 매립한다.
• 모든 위상공간 $X$에 대해 $\mathbb{H}_{ft}(X)$가 Dedekind 순서 완비임을 증명한다. 즉, 위로 유계인 모든 부분집합이 상한을 가지며, 아래로 유계인 모든 부분집합이 하한을 가진다.
• 완전정규 위상공간 $X$에 대해 $C_b(X)$의 순서 완비화를 $\mathbb{H}_b(X)$, 즉 유계 하우스도르프 연속 함수들의 집합으로 기술한다.
• 완전정규 위상공간 $X$에 대해 $C(X)$의 순서 완비화를 $\mathbb{H}_{cm}(X)$, 즉 연속적인 상한과 하한을 가지는 하우스도르프 연속 함수들의 집합으로 기술한다.

실험 결과

연구 질문

• RQ1 유계성 조건 없이, $C(X)$의 Dedekind 순서 완비화를 동일한 공간 $X$ 위에 정의된 함수들의 집합으로 구성할 수 있는가?
• RQ2 하우스도르프 연속 구간값 함수는 $C(X)$의 순서 완비화를 표현하는 데 어떤 역할을 하는가?
• RQ3 $C_b(X)$의 순서 완비화와 $C(X)$의 순서 완비화는 함수공간의 구조 측면에서 어떻게 비교되는가?
• RQ4 어떤 위상공간 조건에서 $\mathbb{H}_{ft}(X)$가 $C(X)$의 순서 완비화와 일치하는가?
• RQ5 이전 방법들과 비교해 하우스도르프 연속 함수는 비선형 PDE의 해에 대해 향상된 정규성을 제공할 수 있는가?

주요 결과

• 모든 위상공간 $X$에 대해, 유한한 하우스도르프 연속 함수들의 집합 $\mathbb{H}_{ft}(X)$는 Dedekind 순서 완비이다.
• 완전정규 위상공간 $X$에 대해, $C_b(X)$의 Dedekind 순서 완비화는 $\mathbb{H}_b(X)$, 즉 유계 하우스도르프 연속 함수들의 집합과 순서형으로 이sovolumetric이다.
• 완전정규 위상공간 $X$에 대해, $C(X)$의 Dedekind 순서 완비화는 $\mathbb{H}_{cm}(X)$, 즉 연속적인 상한과 하한을 가지는 하우스도르프 연속 함수들의 집합과 순서형으로 이sovolumetric이다.
• 만약 $X$가 거리공간이라면, $C(X)^\# = \mathbb{H}_{ft}(X)$이다. 즉, $C(X)$의 순서 완비화는 정확히 모든 유한한 하우스도르프 연속 함수들의 집합이다.
• 이 결과는 유계성 조건이 필요한 Dilworth의 $C_b(X)^\#$에 대한 정규상위반연속 함수 기반 기술에 대한 구성적이고 비유계적 대체 방법을 제공한다.
• 이 프레임워크는 비선형 PDE의 해에 대한 정규성 결과를 향상시키며, 충격파 해(예: 점성 없는 버거스 방정식)를 포함하여 이러한 해들이 하우스도르프 연속 함수로 표현될 수 있음을 보여준다.