[論文レビュー] Continuity and separation for pointwise-symmetric isotonic closure functions

John M. Harris|ArXiv.org|Jul 12, 2005

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.

研究の動機と目的

• 分離行動を用いて点ごとの対称性を持つ単調な閉包関数を特徴づけること。
• 分離公理を用いて閉包空間における連続性の基準を一般化すること。
• 単調性と点ごとの対称性の下で、連続性と非分離写像の同値性を確立すること。
• 一般化された閉包空間における連続性と分離に関する先行研究を統合・拡張すること。

提案手法

• 閉包分離の定義：2つの集合 A と B が cl-separated であるとは、A ∩ cl(B) = ∅ かつ cl(A) ∩ B = ∅ であることを意味する。
• 外部点が cl-separated であるという概念を導入し、これにより点ごとの対称性と R₀ 分離が導かれる。
• 閉包性および遺伝的性質を満たす、部分集合の無順序対の集合 S から閉包関数を構成する。
• 単調性と点ごとの対称性が、外部点が cl-separated であることと同値であることを証明する。
• 非分離写像の定義：f が非分離写像であるとは、定義域において A と B が cl-separated でない限り、f(A) と f(B) が cl-separated でないことを意味する。
• 単調かつ点ごとの対称性を持つ閉包関数に対して、非分離写像は連続写像と一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 点ごとの対称性を持つ単調な閉包関数は、それらが分離する集合の対から一意に再構成可能か？
• RQ2 一般化された閉包空間間の写像が、分離行動を通じて連続性を保存するための条件は何か？
• RQ3 閉包空間において、単調性、点ごとの対称性、および R₀ 分離公理はどのように関係しているか？
• RQ4 単調かつ点ごとの対称性を持つ閉包関数を備えた閉包空間において、連続性と非分離写像の関係は何か？
• RQ5 このような空間において、閉包を保存する写像が連続写像と一致するのはいつか？

主な発見

• 点ごとの対称性を持つ単調な閉包関数は、それらが分離する集合の対の集合によって一意に決定される。
• 閉包関数が単調であるとき、外部点が cl-separated であることは、点ごとの対称性と R₀ 性質と同値である。
• 遺伝的および閉包条件を満たす無順序対の集合 S から、明示的な閉包関数を構成可能である。
• 写像 f が非分離写像であることは、定義域と値域の閉包空間間の分離構造を保存することと同値である。
• 単調かつ点ごとの対称性を持つ閉包関数に対して、連続性は非分離写像と同値である。
• このような空間において、閉包を保存する写像は、値域の閉包関数が点ごとの対称性と単調である場合に限り連続である。