[논문 리뷰] Continuity and separation for pointwise-symmetric isotonic closure functions

John M. Harris|ArXiv.org|2005. 07. 12.

Analytic and geometric function theory참고 문헌 1인용 수 4

한 줄 요약

이 논문은 점별 대칭적인 순서 유지 닫힘 함수가 분리하는 쌍의 집합에 의해 유일하게 결정됨을 증명하며, 정의역과 공역의 닫힘 함수가 순서 유지이고 공역이 점별 대칭일 경우, 분리를 보존하는 함수는 연속임을 증명한다. 주요 기여는 일반화된 닫힘 공간에서 분리 성질을 통해 연속성 기준을 일반화한 것이다.

ABSTRACT

In this paper, we show that a pointwise-symmetric isotonic closure function is uniquely determined by the pairs of sets it separates. We then show that when the closure function of the domain is isotonic and the closure function of the codomain is isotonic and pointwise-symmetric, functions which separate only those pairs of sets which are already separated are continuous.

연구 동기 및 목표

• 분리 행동을 통해 점별 대칭적인 순서 유지 닫힘 함수를 특성화하기.
• 분리 공리를 사용하여 닫힘 공간에서 연속성 기준을 일반화하기.
• 순서 유지성과 점별 대칭성 하에서 연속성과 비분리 사상 간의 동치성을 확립하기.
• 이전의 일반화된 닫힘 공간에서의 연속성과 분리에 관한 결과를 통합하고 확장하기.

제안 방법

• 닫힘 분리 정의: 두 집합 A와 B가 A ∩ cl(B) = ∅ 이고 cl(A) ∩ B = ∅ 를 만족할 때, A와 B는 cl-분리된다.
• 외부 점이 cl-분리됨을 정의하며, 이는 점별 대칭성과 R₀ 분리 성질을 함의한다.
• 닫힘 성질과 유전성 조건을 만족하는 부분집합 쌍의 집합 S로부터 닫힘 함수를 구성한다.
• 순서 유지성과 점별 대칭성이 외부 점이 cl-분리됨과 동치임을 증명한다.
• 비분리 사상 정의: f가 비분리이면, 정의역에서 A와 B가 cl-분리되지 않았을 경우, f(A)와 f(B)도 cl-분리되지 않는다.
• 순서 유지 및 점별 대칭성을 만족하는 닫힘 함수에 대해, 비분리 사상은 연속 사상과 일치함을 보인다.

실험 결과

연구 질문

• RQ1 점별 대칭적인 순서 유지 닫힘 함수는 분리하는 쌍의 집합으로부터 유일하게 재구성될 수 있는가?
• RQ2 일반화된 닫힘 공간 간의 사상이 분리 행동을 통해 언제 연속성을 보존하는가?
• RQ3 닫힘 공간에서 순서 유지성, 점별 대칭성, R₀ 분리 공리는 어떻게 관련되어 있는가?
• RQ4 순서 유지 및 점별 대칭성을 갖는 닫힘 함수를 갖는 닫힘 공간에서 연속성과 비분리 사상 간의 관계는 무엇인가?
• RQ5 어떤 조건에서 닫힘을 보존하는 사상이 이러한 공간에서 연속 사상과 일치하는가?

주요 결과

• 점별 대칭적인 순서 유지 닫힘 함수는 분리하는 쌍의 집합에 의해 유일하게 결정된다.
• 닫힘 함수가 순서 유지일 경우, 외부 점이 cl-분리됨은 점별 대칭성과 R₀ 성질과 동치이다.
• 유전성 및 닫힘 조건을 만족하는 순서 없는 부분집합 쌍의 집합 S로부터 닫힘 함수를 명시적으로 구성할 수 있다.
• 사상 f가 비분리임은 정의역과 공역의 닫힘 공간 간의 분리 구조를 보존함과 동치이다.
• 순서 유지 및 점별 대칭성을 갖는 닫힘 함수에 대해, 연속성은 비분리 사상과 동치이다.
• 이러한 공간에서, 닫힘을 보존하는 사상은 공역의 닫힘 함수가 점별 대칭적이고 순서 유지일 경우에만 연속이다.