[論文レビュー] Partitions of unity

Jerzy Dydak|ArXiv.org|Oct 24, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用数 16

ひとこと要約

本稿は、等連続な分割単位を統一的ツールとして用いる、一般位相における新しい枠組みを導入し、Tietze拡張定理、Stoneの定理、Tamanoの定理といった古典的結果を統一的に導出する。分割単位の微積分的枠組みを構築し、重心分割の一般化としての役割を果たし、次元論および距離的単体複体に対する新しい代数的アプローチを提供する。

ABSTRACT

The paper contains an exposition of part of topology using partitions of unity. The main idea is to create variants of the Tietze Extension Theorem and use them to derive classical theorems. This idea leads to a new result generalizing major results on paracompactness (Stone Theorem and Tamano Theorem), a result which serves as a connection to Ascoli Theorem. A new calculus of partitions of unity is introduced with applications to dimension theory and metric simplicial complexes. The geometric interpretation of this calculus is the barycentric subdivision of simplicial complexes. Also, joins of partitions of unity are often used; they are an algebraic version of joins of simplicial complexes.

研究の動機と目的

• 正規性、局所有限性、Tietze拡張定理といった一般位相の基礎的概念を、分割単位を用いて統一すること。
• 重心分割のような幾何的構成を一般化する、新しい代数的分割単位の微積分的枠組みを構築すること。
• 等連続性を介して、分割単位とAscoli型定理との関係を確立すること。
• 開被覆に従属する分割単位を用いた、局所有限性および正規性の新しい特徴づけを示すこと。
• 局所有限または点ごとの有限性の制限を超えて、等連続族を導入することで、分割単位の適用範囲を拡張すること。

提案手法

• 有限開被覆に従属する分割単位の存在を用いて、正規空間および局所有限空間を定義し、分離公理に基づく従来の定義を置き換える。
• 等連続な分割単位をコアツールとして用い、連続関数の拡張を導出し、Tietze拡張定理を一般化する。
• 単体複体の結合を代数的にモデル化する、結合を含む分割単位の微積分的枠組みを導入する。
• 次元論に応用し、分割単位を用いて refining プロセスを通じて次元を定義および計算可能であることを示す。
• 逆極限およびコンパクト化を用いて、等連続関数族をコンパクト因子を持つ積空間上の連続写像に埋め込む。
• 添え字集合の一点コンパクト化を用いて、強い等連続性を定義し、評価写像の連続性と等連続性を結びつける。

実験結果

リサーチクエスチョン

• RQ1 分割単位を用いて、Tietze拡張定理や局所有限性に関するStoneの定理といった、一般位相の古典的定理を統一的に扱うことは可能か？
• RQ2 等連続な分割単位は、次元論および距離的単体複体論の基礎としてどのように機能するか？
• RQ3 分割単位の結合の代数的構造は何か？ また、これは重心分割という幾何的操作とどのように関係するか？
• RQ4 部分空間上の等連続関数族が、等連続性を保ったまま全体空間へ拡張可能となる条件は何か？
• RQ5 空間上の関数族が、コンパクトHausdorff因子を持つ積空間へ連続拡張を許す条件は何か？

主な発見

• 本稿は、Hausdorff空間が正規であるための必要十分条件として、任意の有限開被覆に対して、それに対して従属する分割単位が存在することを示し、正規性の新しい特徴づけを提供する。
• 等連続な分割単位を用いた、Tietze拡張定理の新しい一般化が得られ、閉部分集合からの連続関数が全体空間へ拡張可能である。
• 結合を含む分割単位の微積分的枠組みは、単体複体における重心分割の代数的モデルを提供する。
• 本稿は、正則空間への写像で点ごとの前コンパクト性を持つ、等連続関数族が、コンパクトHausdorff空間を因子とする積空間上の連続写像に埋め込める、と証明する。
• 添え字集合の一点コンパクト化を用いた積空間上で評価写像の連続性が、関数族の強い等連続性を特徴づける。
• 実数値関数からなる、点ごとに有界で等連続な関数族が部分空間上で定義されているとき、それが全体空間へ拡張可能であるための必要十分条件は、部分空間がP-埋め込み可能であることであると示し、Yamazakiの結果を一般化する。