[论文解读] Extending Mappings between Posets

Elemér E Rosinger|ArXiv.org|Sep 8, 2006

Mathematical and Theoretical Analysis参考文献 6被引用 4

一句话总结

本文提出了偏序集（posets）之间映射到其戴德金序完备化的多个自然扩展，重点在于保持序结构并支持非线性偏微分方程（PDEs）的求解。文章提出了几种扩展方法——通过共终子集、广义映射以及基于交集的构造——证明了它们之间的关系，并表明其中一种扩展 $\varphi^\sharp$ 对于求解包含初值/边值条件的大量非线性PDEs是最优的。

ABSTRACT

A variety of possible extensions of mappings between posets to their Dedekind order completion is presented. One of such extensions has recently been used for solving large classes of nonlinear systems of partial differential equations with possibly associated initial and/or boundary value problems.

研究动机与目标

• 开发偏序集之间映射到其戴德金序完备化的自然且序理论一致的扩展。
• 提供一种保持关键序理论结构的映射扩展框架，尤其适用于非线性PDEs的应用。
• 比较并关联多种扩展方法，包括基于共终子集和像交集的方法。
• 建立这些扩展保持单调性和序同构性质的条件。
• 展示一种扩展方法（$\varphi^\sharp$）在求解包含初值和边值条件的大量非线性PDEs中的实用性。

提出的方法

• 通过 $\varphi^\sharp(A) = (\varphi(A))^{ul}$ 定义主要扩展 $\varphi^\sharp: \mathcal{P}(X) \to Y^\#$，利用序完备化中的上-下闭包。
• 引入基于 $A \subseteq X$ 的共终子集的替代扩展 $\widetilde{\varphi}$、$\varphi^L$ 和 $\overline{\varphi}$，以减少信息损失。
• 使用满足 $L(A) \subseteq A$ 且在 $A$ 中共终的共终映射 $L: \mathcal{P}(X) \to \mathcal{P}(X)$，定义 $\varphi^L(A) = \bigcap_{a \in L(A)} (\varphi([a> \cap A))^{ul}$。
• 定义 $\overline{\varphi}(A) = \bigcap_{B \text{ 在 } A \text{ 中共终}} (\varphi(B))^{ul}$ 作为使用 $A$ 的所有共终子集的广义扩展。
• 建立包含 $X \xrightarrow{\varphi} Y$ 和 $X^\# \xrightarrow{\varphi^\diamondsuit} Y^\#$ 的交换图，确保 $\varphi^\diamondsuit$ 扩展了 $\varphi$。
• 证明序理论性质，如单调性和扩展之间的包含关系，包括 $\overline{\varphi}(A) \subseteq \widetilde{\varphi}(A) \subseteq \varphi^\sharp(A)$。

实验结果

研究问题

• RQ1 在偏序集 $X$ 和 $Y$ 及其戴德金序完备化 $X^\#$ 和 $Y^\#$ 之间，有哪些自然方式可将映射 $\varphi: X \to Y$ 扩展？
• RQ2 基于共终子集、像交集或广义映射的多种扩展方法，在信息保留和序结构保持方面如何比较？
• RQ3 在何种条件下，扩展 $\varphi^\sharp$ 对于求解具有初值或边值条件的非线性PDEs是最优的？
• RQ4 扩展 $\widetilde{\varphi}$、$\varphi^L$、$\overline{\varphi}$ 和 $\varphi^\sharp$ 之间存在何种关系？
• RQ5 扩展 $\varphi^\diamondsuit$ 在何种情况下保持原始映射 $\varphi$ 的单调性或序同构性质？

主要发现

• 扩展 $\varphi^\sharp(A) = (\varphi(A))^{ul}$ 是所提出扩展中最大的，对所有 $A \subseteq X$ 满足 $\overline{\varphi}(A) \cup \widetilde{\varphi}(A) \cup \varphi^L(A) \subseteq \varphi^\sharp(A)$。
• 对于任意共终映射 $L$，扩展 $\varphi^L$ 与 $\widetilde{\varphi}$ 一致，证明了 $\widetilde{\varphi} = \varphi^L$。
• 若 $A \subseteq X$ 是定向的，则 $\overline{\varphi}(A) \subseteq \widetilde{\varphi}(A)$，表明在定向性条件下，广义扩展 $\overline{\varphi}$ 小于 $\widetilde{\varphi}$。
• 若 $\varphi$ 是递增的，则 $\varphi^\sharp$ 是 $\varphi$ 到 $X^\#$ 的扩展，且图 $X \to X^\#$ 和 $Y \to Y^\#$ 交换。
• 若 $\varphi$ 是序同构嵌入（OIE），则 $\varphi^\sharp$ 限制在 $X^\#$ 上也是OIE，保持完备化中的序结构。
• 扩展 $\varphi^\sharp$ 在求解包含初值和/或边值问题的大量非线性PDEs中已被成功应用，如先前工作 [4,1,5–7] 所确立。