加细

加细拓扑学层论中的概念, 指的是把开覆盖换成更细的开覆盖.

1定义

定义 1.1 (拓扑空间中的加细). 拓扑空间, 是其两个开覆盖. 称 加细, 指的是每个 都含在某个 中, 即前者比后者更 “细小”. 换言之, 这就是说存在映射 , 使得 .

定义 1.2 (Grothendieck 拓扑中的加细). , , 是其两个开覆盖. 称 加细, 指的是存在映射 和对每个 的态射 , 使图表交换.

2相关概念

仿紧空间

度量化定理

下降

术语翻译

加细英文 refinement德文 Verfeinerung (f)法文 raffinement (m)