o-极小结构中的正规三角剖分
逻辑
2007-10-31 v1
摘要
我们在实闭域 R 的 o-极小扩张上开展工作。给定一个闭单纯复形 K 及其在 R 中的实现 |K| 的有限个可定义子集,我们证明了存在一个与这些可定义子集相容的 |K| 的三角剖分 (K',f),使得 K' 是 K 的一个细分,且 f 在 |K| 上可定义同伦于恒等映射。
引用
@article{arxiv.0710.5718,
title = {Normal triangulations in o-minimal structures},
author = {Elias Baro},
journal= {arXiv preprint arXiv:0710.5718},
year = {2007}
}