可定义集的切锥与 $C^1$ 正则性
几何拓扑
2017-03-17 v1 微分几何
摘要
设 为 o-minimal 结构中的连通局部闭可定义集。我们证明以下三个命题等价: 是 流形, 的切锥与抛切锥在 的每一点处重合, 对于每个 , 在点 处的切锥是 的 维线性子空间( 不依赖于 )随 连续变化,且密度 。
引用
@article{arxiv.1703.05421,
title = {Tangent cones and $C^1$ regularity of definable sets},
author = {Krzysztof Kurdyka and Olivier Le Gal and Nhan Nguyen},
journal= {arXiv preprint arXiv:1703.05421},
year = {2017}
}
备注
11 pages