Henselian赋值域上的可定义收缩与非阿基米德Tietze–Urysohn定理
代数几何
2019-04-02 v7
摘要
我们证明在Henselian赋值域上，存在到的任意可定义闭子集上的可定义收缩。由此直接得到关于连续可定义函数延拓的Tietze–Urysohn与Dugundji定理的非阿基米德类比。证明的主要要素包括van den Dries对可定义集的描述、奇点解消以及我们的闭性定理。
引用
@article{arxiv.1808.09782,
title = {Definable retractions and a non-Archimedean Tietze--Urysohn theorem over Henselian valued fields},
author = {Krzysztof Jan Nowak},
journal= {arXiv preprint arXiv:1808.09782},
year = {2019}
}