[论文解读] Revisiting Tietze-Nakajima - Local and Global Convexity for Maps

Yael Karshon, Christina Bjorndahl|arXiv (Cornell University)|Jan 25, 2007

Geometric and Algebraic Topology参考文献 11被引用 3

一句话总结

本文将经典的Tietze-Nakajima定理推广至从拓扑空间到R^n的映射，引入了“凸映射”这一概念——即任意两点可通过一条路径连接，使得该路径在映射下的像为直线线段的单调参数化。在连通性、 properness（恰当性）以及映射的局部凸性和开性条件下，本文证明了全局映射是凸的且开的，其像为凸集，纤维为连通集。

ABSTRACT

A theorem of Tietze and Nakamija, from 1928, asserts that if a subset X of R^n is closed, connected, and locally convex, then it is convex. We give an analogous "local to global convexity" theorem when the inclusion map of X to R^n is replaced by a map from a topological space X to R^n that satisfies certain local properties. We say that a map from a topological space to R^n is convex if every two points in the space can be connected by a path whose composition with the map is a weakly monotone parametrization of a straight line segment. Let X be a connected Hausdorff topological space, let T be a convex subset of R^n, and let Psi: X o T be a continuous proper map. Suppose that every point in X is contained in an open set U such that the map Psi|_U: U o Psi(U) is convex and open. Then the map Psi: X o Ψ(X) is convex and open. Consequently, its image is convex and its level sets are connected. Our motivation comes from the Condevaux-Dazord-Molino proof of the Atiyah-Guillemin-Sternberg convexity theorem in symplectic geometry.

研究动机与目标

• 将Tietze-Nakajima的局部到整体凸性原理从R^n的子集推广至从拓扑空间到R^n的连续映射。
• 定义并分析一类新映射——“凸映射”——其中定义域中的路径在映射下对应于R^n中单调的直线段。
• 建立在何种条件下，映射的局部凸性和开性可推出其全局凸性和开性以及纤维的连通性。
• 为高级本科生提供一种基础且易懂的证明框架，其动机源于辛几何中的应用。
• 通过展示其凸性条件比Birtea-Ortega-Ratiu（2007）的工作更强但结论更清晰、更直观，阐明作者结果与先前工作的关系。

提出的方法

• 定义映射 $\Psi: X \to \mathbb{R}^n$ 为凸映射，若定义域中任意两点均可通过一条路径 $\gamma$ 连接，使得 $\Psi \circ \gamma$ 是 $\mathbb{R}^n$ 中某条线段的单调参数化。
• 假设 $X$ 连通且为Hausdorff空间，$\Psi$ 是恰当映射，且 $X$ 中每一点均存在一个邻域 $U$，使得 $\Psi|_U$ 作为到其像的映射是凸且开的。
• 利用紧集上的统一局部凸性（引理3）控制路径长度并构造中点（引理5），确保路径基凸性结构的存在。
• 通过单位分解与局部凸性构造全局路径，其像为直线，从而证明 $\Psi$ 是全局凸且开的。
• 利用凸映射是局部纤维连通的，并且在Birtea-Ortega-Ratiu（2007）的广义意义下具有局部凸性数据，但假设更强。
• 利用 $\Psi$ 的闭性与恰当性，确保像集闭且凸，并通过路径提升与凸性论证证明纤维连通。

实验结果

研究问题

• RQ1 Tietze-Nakajima的局部到整体凸性原理能否从R^n的子集推广至从拓扑空间到R^n的连续映射？
• RQ2 何种条件可保证映射 $\Psi: X \to \mathbb{R}^n$ 的局部凸性与开性推出其全局凸性与连通纤维？
• RQ3 作者所定义的“凸映射”与Birtea-Ortega-Ratiu（2007）所用的局部凸性数据有何异同？其对结果的强度与清晰度有何影响？
• RQ4 与辛几何及凸性定理中先前方法相比，凸映射条件在哪些方面简化或强化了结论？
• RQ5 能否利用这种基础的、基于路径的凸映射定义，重新推导Atiyah-Guillemin-Sternberg凸性定理的证明？

主要发现

• 若 $X$ 连通且为Hausdorff空间，$\Psi: X \to \mathbb{R}^n$ 是恰当映射，且每一点均存在邻域 $U$ 使得 $\Psi|_U$ 是凸且到其像的映射为开映射，则 $\Psi$ 作为到其像的映射是全局凸且开的。
• 像集 $\Psi(X)$ 在 $\mathbb{R}^n$ 中为凸集，且对所有 $y \in \Psi(X)$，纤维 $\Psi^{-1}(y)$ 均为连通集。
• 该证明对具备基础拓扑知识的高级本科生而言是基础且易懂的，其核心依赖于路径构造、统一局部凸性与紧致性论证。
• 作者的凸映射条件不仅蕴含Birtea-Ortega-Ratiu广义意义下的局部凸性数据，也蕴含局部纤维连通性，但其结构假设更强。
• 将闭球包含于 $\mathbb{R}^n$ 的包含映射在作者的定义下是凸映射，但不满足原始Birtea-Ortega-Ratiu（2007）形式下的局部凸性数据条件。
• 尽管在Birtea-Ortega-Ratiu（2007）的框架下结果并非本质上的新发现，但作者的表述形式使结论与证明更加清晰、直观。