arXiv 2106.015932021-06math.AG

On definable open continuous mappings

Si Tiep Dinh, Tien Son Pham

英文摘要：

For a definable continuous mapping $f$ from a definable connected open subset $Ω$ of $\mathbb R^n$ into $\mathbb R^n,$ we show that the following statements are equivalent: (i) The mapping $f$ is open. (ii) The fibers of $f$ are finite and the Jacobian of $f$ does not change sign on the set of points at which $f$ is differentiable. (iii) The fibers of ${f}$ are finite and the set of points at which $f$ is not a local homeomorphism has dimension at most $n - 2.$ As an application, we prove that Whyburn's conjecture is true for definable mappings: A definable open continuous mapping of one closed ball into another which maps boundary homeomorphically onto boundary is necessarily a homeomorphism.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

连续可定义函数芽的双Lipschitz接触等价的不变量

Invariants of the bi-Lipschitz contact equivalence of continuous definable function germs

我们构造了一类可定义在多项式有界o-极小结构中的连续函数芽的双Lipschitz接触等价不变量，如半代数函数.对于芽$f,$，不变量是用$f,$沿$f.$的切簇的连通分支的渐近展开式的首项系数给出的

2019-01-14math.AG

Hensel秩1值域上可定义函数的Hölder和Lipschitz连续性

Hölder and Lipschitz continuity of functions definable over Henselian rank one valued fields

考虑等特征零的Hensel秩一值域$K$，其三排序语言为Denef-Pas的$\mathcal{L}$.设$f: A \to K$是有界闭子集$A \subset K^{n}$上的连续$\mathcal{L}$可定义（带参数）函数.主要目的是证明$f$是Hölder连续的，且具有一定的指数$s\geq 0$和常数$c \geq 0$，更重要的是，$f$是一致连续的.此外，如果$f$是局部Lipschitz连续的，具有常数$c$，则$f$是（全局）Lipschitz连续的，可能具有某个更大的常数$d$。还讨论了Hensel值域上可定义的连续函数和Lipschitz连续函数的一些问题。

2017-02-16math.AG

Hensel秩1值域上可定义函数的分段连续性

Piecewise continuity of functions definable over Henselian rank one valued fields

考虑等特征零的Hensel秩一值域$K$以及Denef-Pas的语言$\mathcal{L}^{P}$。令$f: A \to K$是$K^{n}$的子集$A$上的$\mathcal{L}^{P}$可定义（带参数）函数。我们证明了$f$是分段连续的，更准确地说，有一个有限的分区$A$到$\mathcal{L}^{P}$ -可定义的局部闭子集$A_{1},\ldots,A_{s}$的$K^{n}$，使每个$A_{i}$的限制$f$是一个连续函数。

2017-02-25math.AG

保持像的连续局部可定义映射的可微逼近

Differentiable approximation of continuous locally definable maps that preserves the image

Università di Ferrara（费拉拉大学）

本文将紧可定义集上连续可定义映射的像保持型$\boldsymbol{\textit{C}}^p$逼近结果，推广至局部紧局部可定义集上的连续局部可定义映射，结合o-极小与PL几何，运用去奇异性技术完成论证。

2026-08-20math.AGmath.LO

可微近似连续可定义映射并保持像

Differentiable approximation of continuous definable maps that preserves the image

本文通过 o-最小几何与 PL 几何的结合，证明连续可定义映射可被可微映射近似且保持图像不变。

2024-06-04math.AGmath.LO

弧空间之间的连续映射

Continuous mappings between spaces of arcs

吹-解析同胚是弧-解析子解析同胚，因此它导出解析弧空间之间的双射映射。我们解决的问题，这种诱导映射的空间之间的弧的连续性，给出了积极的和消极的答案取决于所涉及的拓扑结构。我们将结果推广到空间的可定义弧的上下文中的O-最小的结构，特别是获得一致的连续性。

2013-05-29math.AG

更多相关论文收起更多论文

$\mathbb{R}^2$中函数芽的Lipschitz接触等价性

Lipschitz contact equivalence of function germs in $\mathbb{R}^2$

本文研究了可定义在多项式有界o-极小结构中的平面上的连续函数芽的Lipschitz接触等价性，如半代数函数和次解析函数。我们将原点处的平面的芽划分为函数具有显式渐近行为的区域。这样的一个分区被称为比萨饼。我们表明，每个功能芽承认一个最小的比萨饼，唯一的组合等价。证明了两个可定义的连续函数芽是可定义的Lipschitz接触等价的当且仅当它们对应的极小pizza是等价的。

2014-07-10math.AG

可定义族的Gauss-Kronecker曲率和无穷远点的等奇异性

Gauss-Kronecker Curvature and equisingularity at infinity of definable families

假设给定一个展开实数的多项式有界o-极小结构。设$(T_s)_{s\in \mathbb{R}}$是$\mathbb{R}^n$的$C^2$ -超曲面的全局可定义的单参数族.在定义了广义临界值的概念后，我们证明了函数$s \to |K(s)|$和$s\to K(s)$，分别是$T_s$的总绝对Gauss-Kronecker曲率和总Gauss-Kronecker曲率，在任何非广义临界值的邻域内都是连续的.特别是这提供了一个必要的标准equisingularity的家庭的水平的一个真正的多项式。

2019-03-19math.AGmath.LO

Equi-singularity of real families and Lipschitz Killing curvature densities at infinity

Fix an o-minimal structure expanding the ordered field of real numbers. Let $(W_y)_{y\in\mathbb{R}^s}$ be a definable family of closed subsets of $\mathbb{R}^n$ whose total space $W = \cup_y W_y\times y$ is a closed connected $C^2$ definable sub-manifold of $\mathbb{R}^n\times\mathbb{R}^s$. Let $φ:W \to\mathbb{R}^s$ be the restriction of the projection to the second factor. After defining $K(φ)$, the set of generalized critical values of $φ$, showing that they are closed and definable of positive codimension in $\mathbb{R}^s$, contain the bifurcation values of $φ$ and are stable under generic …

2023-03-20math.AGmath.LO

Stability of closedness of semi-algebraic sets under continuous semi-algebraic mappings

Given a closed semi-algebraic set $X \subset \mathbb{R}^n$ and a continuous semi-algebraic mapping $G \colon X \to \mathbb{R}^m,$ it will be shown that there exists an open dense semi-algebraic subset $\mathscr{U}$ of $L(\mathbb{R}^n, \mathbb{R}^m),$ the space of all linear mappings from $\mathbb{R}^n$ to $\mathbb{R}^m,$ such that for all $F \in \mathscr{U},$ the image $(F + G)(X)$ is a closed (semi-algebraic) set in $\mathbb{R}^m.$ To do this, we study the tangent cone at infinity $C_\infty X$ and the set $E_\infty X \subset C_\infty X$ of (unit) exceptional directions at infinity of $X.$ Spe…

2021-04-02math.AG