可定义完备局部 o-极小结构中的可定义函数的逼近与零点集
逻辑
2026-01-09 v4
摘要
我们考虑一个有序域的可定义完备局部 o-极小扩张。本文处理两个主题。第一个主题是在可定义 拓扑下，可定义 子流形之间的可定义 映射的可定义 逼近。第二个主题是可定义紧可定义 流形的嵌入定理。我们证明一个可定义正规可定义 流形可定义 微分同胚于一个可定义 子流形。这使得我们能够证明可定义紧可定义 群模其可定义子群的可定义商的存在性。
引用
@article{arxiv.2301.04264,
title = {Approximation and zero set of definable functions in a definably complete locally o-minimal structure},
author = {Masato Fujita and Tomohiro Kawakami},
journal= {arXiv preprint arXiv:2301.04264},
year = {2026}
}