[论文解读] Dedekind order completion of C(X) by Hausdorff continuous functions

Roumen Anguelov|ArXiv.org|Jul 15, 2004

Numerical Methods and Algorithms参考文献 3被引用 5

一句话总结

本文提出了一种对拓扑空间 $X$ 上连续实值函数空间 $C(X)$ 的 Dedekind 顺序完备化的构造性刻画，方法是利用有限 Hausdorff 连续区间值函数。研究证明，此类函数的集合 $\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 连续区间值函数的概念从单变量函数推广至一般拓扑空间。
• 在 Hausdorff 连续函数的框架下，刻画 $C(X)$ 与 $C_b(X)$ 的 Dedekind 顺序完备化。
• 提供一种无需有界性假设的构造性、函数论表示方法，与以往结果形成对比。
• 通过证明非线性 PDE 的解可表示为 Hausdorff 连续函数，实现对解的正则性结果的改进。

提出的方法

• 定义拓扑空间 $X$ 上所有有限 Hausdorff 连续区间值函数的集合 $\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)$（即 $X$ 上所有区间值函数的集合）上诱导出逐点序关系，并将 $C(X)$ 与 $C_b(X)$ 嵌入该空间。
• 证明 $\mathbb{H}_{ft}(X)$ 是 Dedekind 顺序完备的，即每个有上界的子集都有上确界，每个有下界的子集都有下确界。
• 在 $X$ 为完全正则空间时，将 $C_b(X)$ 的顺序完备化刻画为 $\mathbb{H}_b(X)$，即有界 Hausdorff 连续函数的集合。
• 在 $X$ 为完全正则空间时，将 $C(X)$ 的顺序完备化刻画为 $\mathbb{H}_{cm}(X)$，即具有连续上界与下界函数的 Hausdorff 连续函数的集合。

实验结果

研究问题

• RQ1 能否在不依赖有界性条件的前提下，将 $C(X)$ 的 Dedekind 顺序完备化构造为定义在相同空间 $X$ 上的函数集合？
• RQ2 Hausdorff 连续区间值函数在表示 $C(X)$ 的顺序完备化中起什么作用？
• RQ3 从函数空间结构的角度看，$C_b(X)$ 的顺序完备化与 $C(X)$ 的顺序完备化有何异同？
• RQ4 在何种拓扑条件下，$\mathbb{H}_{ft}(X)$ 与 $C(X)$ 的顺序完备化一致？
• RQ5 与以往方法相比，Hausdorff 连续函数能否为非线性 PDE 的解提供更优的正则性？

主要发现

• 任意拓扑空间 $X$ 上所有有限 Hausdorff 连续函数的集合 $\mathbb{H}_{ft}(X)$ 是 Dedekind 顺序完备的。
• 当 $X$ 为完全正则拓扑空间时，$C_b(X)$ 的 Dedekind 顺序完备化同构于 $\mathbb{H}_b(X)$，即有界 Hausdorff 连续函数的集合。
• 当 $X$ 为完全正则拓扑空间时，$C(X)$ 的 Dedekind 顺序完备化同构于 $\mathbb{H}_{cm}(X)$，即具有连续上界与下界函数的 Hausdorff 连续函数的集合。
• 若 $X$ 为度量空间，则 $C(X)^\# = \mathbb{H}_{ft}(X)$，即 $C(X)$ 的顺序完备化恰好等于所有有限 Hausdorff 连续函数的集合。
• 该结果提供了一种构造性、无有界性限制的替代方案，以替代 Dilworth 对 $C_b(X)^\#$ 通过正规上半连续函数的刻画。
• 该框架使得非线性 PDE 解的正则性结果得到改进，表明这些解可表示为 Hausdorff 连续函数，包括如无粘性 Burgers 方程中的激波解。