[論文レビュー] Topological equivalence to a projection

Volodymyr Sharko, Yuliia Soroka|arXiv (Cornell University)|Jul 14, 2016

Digital Filter Design and Implementation参考文献 4被引用数 3

ひとこと要約

本稿では、平面上の連続な実数値関数が座標射影と位相的に同値であるための必要十分条件を確立する：その等高線が正則な曲線族をなし、各等高線が路連結であれば、関数はy座標への射影と位相的に同値である。この結果は、等高線の位相的構造と断面の存在に依拠し、ℝ×(a,b)へのホメオモルフィズムによる関数のグローバルな自明化をもたらす。

ABSTRACT

We present a necessary and sufficient condition for the topological equivalence of a continuous function on a plane to a projection onto one of coordinates.

研究の動機と目的

• 連続関数 f: ℝ² → ℝ が (x,y) ↦ y への射影と位相的に同値となる条件を同定すること。
• 関数 f の等高線に課される位相的条件を特定し、ホメオモルフィズムによるグローバルな自明化を保証すること。
• 臨界点の不在と等高線の正則性に注目した、曲面上の実数値関数の分類を一般化すること。
• f の像が開区間であり、f がグローバルな座標系をもつことを保証する位相的基準を提供すること。

提案手法

• ホメオモルフィズム h: ℝ² → ℝ² および k: ℝ → ℝ を用いて、k∘f = g∘h が成り立つことで位相的同値性を定義する。
• 局所的に平行な曲線からなる正則な曲線族の概念を導入：r-近傍が積構造を満たす。
• 各曲線族に高々1回交わるような断面（弧）を導入し、f がその弧に沿って単調増加であることを確立する。
• f が任意の断面に制限されたとき、厳密に単調増加であることを証明し、その弧上での単射性を示す。
• 像の分割を可算個の区間へ行い、f∘φ(x,y) = y を満たすグローバルなホメオモルフィズム φ: ℝ×(a,b) → ℝ² を構成する。
• 区間 [c_k, c_{k+1}] 上での局所的自明化 φ_k を、移行写像を用いて結合し、位相的カテゴリーにおける微分同相写像に類似したグローバル構造を定義する。

実験結果

リサーチクエスチョン

• RQ1 連続関数 f: ℝ² → ℝ の等高線にどのような位相的条件が課されると、f はy座標への射影と位相的に同値になるか？
• RQ2 等高線族の正則性と関数のグローバルな自明化の関係は何か？
• RQ3 臨界点の不在は、等高線に課されるより弱い位相的条件に置き換え可能か？ その場合、射影との位相的同値性が保証されるか？
• RQ4 等高線が路連結で正則な場合、断面が関数 f のグローバル構造をどのように確立するか？
• RQ5 与えられた条件下で f の像は必然的に開区間か？ その性質は、グローバルな自明化ホメオモルフィズムの構成にどのように影響するか？

主な発見

• f のすべての等高線が路連結であり、等高線族が正則であれば、f(ℝ²) は開区間 (a,b) であるか、±∞ に拡張される。
• ホメオモルフィズム φ: ℝ×(a,b) → ℝ² が存在し、f∘φ(x,y) = y を満たす。これにより、f が (x,y) ↦ y への射影と位相的に同値であることが証明される。
• 等高線族に対する各断面は、f に関して厳密に単調増加であり、f がその弧上に単射であることを保証する。
• グローバルな自明化ホメオモルフィズムの構成は、f の像を可算個のネストされた区間 (c_k, c_{k+1}) に分割し、局所的自明化を用いる。
• 局所的自明化間の移行は適切に定義され、連続であるため、グローバル写像 φ はホメオモルフィズムである。
• 従来の曲面上の関数の分類を一般化し、等高線の正則性と路連結性が、微分可能性を仮定しなくても、射影との位相的同値性を保証することを示している。