[论文解读] 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-邻域满足乘积结构。
• 利用截面——与族中每条曲线至多交于一点的弧——建立 f 沿此类弧的单调性。
• 证明 f 限制在任意截面上严格单调，从而推出在这些弧上为单射。
• 通过将像集可数划分成区间构造全局同胚 φ: ℝ×(a,b) → ℝ²，使得 f∘φ(x,y) = y。
• 利用过渡映射在 [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}) 及其局部平凡化。
• 局部平凡化之间的过渡映射定义良好且连续，确保全局映射 φ 为同胚。
• 该结果推广了先前对曲面上函数的分类，表明等高线的正则性与道路连通性足以保证与投影的拓扑等价，即使不具可微性。