[논문 리뷰] Extending Mappings between Posets

Elemér E Rosinger|ArXiv.org|2006. 09. 08.

Mathematical and Theoretical Analysis참고 문헌 6인용 수 4

한 줄 요약

이 논문은 부분순서집합(POS) 간의 사상에 대한 여러 자연스러운 확장을 Dedekind 순서 완비화로 확장하여 순서 구조를 유지하고 비선형 편미분방정식(PDE)의 해를 구하는 데 기여한다. 코프라탈 부분집합, 일반화된 사상, 교차 기반 구성 방법을 통한 여러 확장 방법을 제안하며, 이들 간의 관계를 증명하고, 특히 $\varphi^\sharp$ 확장이 초기/경계 조건이 있는 광범위한 비선형 PDE 클래스를 해결하는 데 최적임을 보여준다.

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.

연구 동기 및 목표

• POS 간의 사상이 그들의 Dedekind 순서 완비화로 자연스럽고 순서 이론적으로 일관된 방식으로 확장되도록 개발하는 것.
• 비선형 PDE에의 응용을 위해 특히 중요한 순서 이론적 구조를 유지하는 사상의 확장 프레임워크를 제공하는 것.
• 코프라탈 부분집합 및 이미지 교차 기반 확장 방법을 포함한 여러 확장 방법을 비교하고 관계를 규명하는 것.
• 이러한 확장이 단조성 및 순서 동형성 성질을 유지하는 조건을 설정하는 것.
• 특정 확장 방법($\varphi^\sharp$)이 초기 조건 및 경계 조건이 있는 광범위한 비선형 PDE 클래스를 해결하는 데의 유용성을 입증하는 것.

제안 방법

• 순서 완비화에서의 상한-하한 닫힘을 사용하여 $\varphi^\sharp: \mathcal{P}(X) \to Y^\#$ 를 $\varphi^\sharp(A) = (\varphi(A))^{ul}$ 로 정의함으로써 주요 확장을 정의한다.
• 정보 손실을 줄이기 위해 $A \subseteq X$ 의 코프라탈 부분집합을 기반으로 한 $\widetilde{\varphi}$, $\varphi^L$, $\overline{\varphi}$ 와 같은 대체 확장을 도입한다.
• 모든 $A$ 에서 코프라탈성을 만족하는 $L: \mathcal{P}(X) \to \mathcal{P}(X)$ 를 사용하여 $\varphi^L(A) = \bigcap_{a \in L(A)} (\varphi([a> \cap A))^{ul}$ 로 정의한다.
• 모든 $A$ 의 코프라탈 부분집합을 사용하여 일반화된 확장인 $\overline{\varphi}(A) = \bigcap_{B \text{ cofinal in } A} (\varphi(B))^{ul}$ 를 정의한다.
• 사상 $X \xrightarrow{\varphi} Y$ 와 $X^\# \xrightarrow{\varphi^\diamondsuit} Y^\#$ 간의 교환 다이어그램을 확립하여 $\varphi^\diamondsuit$ 가 $\varphi$ 를 확장함을 보장한다.
• 확장 간의 단조성 및 포함 관계와 같은 순서 이론적 성질을 증명하며, 특히 $\overline{\varphi}(A) \subseteq \widetilde{\varphi}(A) \subseteq \varphi^\sharp(A)$ 를 포함한다.

실험 결과

연구 질문

• RQ1 POS $X$ 와 $Y$ 간의 사상 $\varphi: X \to Y$ 가 그들의 Dedekind 순서 완비화인 $X^\#$ 와 $Y^\#$ 로 자연스럽게 어떻게 확장될 수 있는가?
• RQ2 코프라탈 부분집합, 이미지 교차, 일반화된 사상 기반의 다양한 확장 방법은 정보 유지 및 순서 구조 보존 측면에서 어떻게 비교될 수 있는가?
• RQ3 비선형 PDE의 초기 조건 또는 경계 조건이 있는 경우, 확장 $\varphi^\sharp$ 가 최적임이 보장되는 조건은 무엇인가?
• 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$ 는 $X^\#$ 로의 $\varphi$ 의 확장이며, $X \to X^\#$ 와 $Y \to Y^\#$ 간의 다이어그램은 교환 가능하다.
• $\varphi$ 가 순서 동형 임bedding(OIE) 이라면, $\varphi^\sharp$ 가 $X^\#$ 에 제한될 경우에도 OIE 이며, 완비화에서 순서 구조를 유지한다.
• $\varphi^\sharp$ 확장은 이전 연구 [4,1,5–7] 에서도 성공적으로 비선형 PDE의 초기 및/또는 경계 조건 문제를 해결하는 데 사용되었다.