[论文解读] Directed embeddings: a short proof of Gromov's theorem

Colin Rourke, Brian Sanderson|arXiv (Cornell University)|Mar 3, 2000

Homotopy and Cohomology in Algebraic Topology参考文献 1被引用 1

一句话总结

本文提出了一种简洁的、无需积分的证明方法，利用初等几何证明了关于定向嵌入的Gromov定理。通过运用简单的几何论证，以简明的方式建立了定向嵌入的存在性，为先前方法提供了一种更易理解的替代方案。

ABSTRACT

Abstract We give a short new proof of Gromov’s theorem on directed embeddings [1; 2.4.5 (C ′)]. The proof uses no integration and very simpleminded geometry. AMS Classification 57R40, 57R42; 57A05

研究动机与目标

• 提供Gromov定向嵌入定理的新证明，简洁明了。
• 消除证明中对积分的依赖，使其更具可及性。
• 仅使用初等几何推理来建立结果。
• 为先前依赖高级分析工具的证明提供一种简化的替代方法。

提出的方法

• 证明仅使用基本的几何构造，不涉及积分。
• 应用直接的拓扑与几何推理于定向嵌入。
• 论证依赖于嵌入的组合性质与度量性质。
• 避免使用复杂的分析技术，专注于几何直觉。
• 证明结构基于归纳性与构造性的几何步骤。

实验结果

研究问题

• RQ1 Gromov关于定向嵌入的定理能否在不使用积分的情况下证明？
• RQ2 哪些初等几何时工具足以证明定向嵌入的存在性？
• RQ3 是否可以仅使用基本几何，获得该定理更直接且直观的证明？
• RQ4 如何在保持正确性的前提下，降低先前证明的复杂性？

主要发现

• 建立了Gromov定向嵌入定理的新且简短的证明。
• 该证明完全避免了积分，仅依赖于初等几何时。
• 该方法提供了结果更清晰透明且更易理解的推导。
• 几何方法表明，该结果并不需要深奥的分析工具。