[論文レビュー] Recursively squeezable sets are squeezable

Fredric D. Ancel|arXiv (Cornell University)|Sep 6, 2020

Logic, Reasoning, and Knowledge参考文献 4被引用数 33

ひとこと要約

この論文は、コンパクト計量空間の部分集合に対する squeezability の概念が一致することを示す：squeezable iff squashable、そして再帰的に squeezable な要素は uniform upper bound の仮定なしに shrinkable null decompositions を導く。

ABSTRACT

In work by Freedman [F2] and Freedman-Quinn [FQ] on the topology of 4-manifolds, null decompositions whose non-singleton elements are, in the terminology of [MOR], recursively starlike-equivalent sets of filtration length 1 arise and are shown to be shrinkable. The main result of [MOR] is a general theorem covering these types of decompositions. It establishes the shrinkability of null decompositions whose non-singleton elements are recursively starlike-equivalent sets whose filtration lengths have a uniform finite upper bound. That result is the inspiration for this article. Here it is shown that the hypothesis of a uniform finite upper bound on filtration lengths is unnecessary. In outline: notions of squeezable subsets and squashable subsets of a compact metric space are defined. It is observed that starlike-equivalent sets are squeezable, and that any null decomposition of a compact metric space whose non-singleton elements are squeezable is shrinkable. It is also proved that a set is squeezable if and only if it is squashable, and that every recursively squashable set is squashable. It follows that any null decomposition of a compact metric space whose non-singleton elements are recursively squeezable is shrinkable. The latter theorem has as a corollary the main result of [MOR] with the hypothesis of a uniform finite upper bound on filtration lengths removed.

研究の動機と目的

• コンパクト測地空間における squeezable および squashable な部分集合を定義する。
• starlike-equivalent な集合は squeezable であることを示す。
• squeezable な非単元要素をもつ null decomposition は shrinkable であることを証明する。
• squeezable と squashable 集合の間の同値性を確立する。
• 再帰的に squeezable な元素は squashable であると帰結し、既存の定理における uniform bound の仮定を除去する適用を行う。

提案手法

• squeezable および squashable な部分集合の概念を導入し、比較する。
• starlike-equivalent な集合は squeezable であることを証明する。
• squeezable な非単元要素をもつ null decomposition は shrinkable であることを証明する。
• 集合が squeezable であることと squashable であることは同値であることを証明する。
• すべての再帰的に squashable な集合は squashable であることを証明する。
• これらの結果を null decompositions に適用し、filtration lengths の有限な上限がない場合でも MOR-type の結論を回復する。

実験結果

リサーチクエスチョン

• RQ1 squeezable と squashable な集合の正確な関係は何か？
• RQ2 uniform finite upper bound を取り除いた場合、既知の shrinkability の結果は拡張されるか？
• RQ3 再帰的に squeezable な集合は必ず squashable であるのか、そしてそれが null decompositions に対してどのような意味を持つか？

主な発見

• squeezable と squashable 集合は同値の概念である。
• starlike-equivalent な集合は squeezable である。
• 非単元要素が squeezable であるコンパクト計量空間の null decomposition は shrinkable である。
• 集合が squeezable であることは、squashable であることと必ずしも同値である。
• すべての再帰的に squashable な集合は squashable である。
• filtration lengths の uniform finite upper bound を除去しても、対応する null decompositions に対する shrinkability の結論は保持される。