底拓扑空间underlying topological space
凝聚态集的底拓扑空间
- 定义
- 依赖深度 layer 16
- 凝聚态数学
- 凝聚态集
def.underlying-topological-space · 凝聚态 · 拓扑空间
又称底拓扑空间·underlying topological space·Definition 4.2.3·Exercise 4.4
陈述
凝聚态集 的底拓扑空间 取集合 (在单点空间处的截面),并赋予使所有映射
都连续的最细拓扑。
说明
等价刻画: 是开集 对每个 与每个 , 在 中开。
所以「 的底空间」记下了 能看见的全部拓扑信息,但一般会丢掉 自己的精细结构 —— 除非 来自一个紧生成空间。
它指向谁(出边)
定义引用 4
-
函子 就是「底拓扑空间」。
-
公式两边的 就是底拓扑空间。
-
单态射的靶就是底拓扑空间代表的凝聚态集。
-
公式两边是同一条函子的取值。
谁指向它(入边)
定义引用 1
-
底空间的拓扑由「从紧 Hausdorff 空间进来的映射」定出来。
参考
- Le Stum, An introduction to condensed mathematics, §4
常见问法 2 条
- 凝聚态集合普通拓扑空间什么关系也看 Top 与 Cond 的伴随、紧生成空间
- 什么是紧生成空间也看 紧生成空间、紧生成空间是余反射子范畴
同一星团的其他概念 29 个
- Cond 有足够多投射对象layer 15
- 开覆盖给出覆盖layer 15
- CHaus 是预拓扑斯layer 16
- 凝聚态集layer 16
- Hom 预层是层layer 16
- 拟分离即含入的滤过余极限layer 17
- 拟分离 推出 底空间弱 Hausdorfflayer 17
- 弱 Hausdorff 推出 拟分离layer 17
- 紧生成:弱 Hausdorff ⟺ 拟分离layer 17
- 凝聚态集满态射的判据layer 17
- Cond 的满态射都是正则的layer 17
- Cond 的等价关系有效layer 17
- 内部 Hom 的函数空间刻画layer 17
- Cond 的极限与余极限layer 17
- 凝聚态集的刻画layer 17
- 可数递增余极限是拟分离的layer 17
- 离散即常layer 17
- FCHaus 上的预拓扑layer 17
- FCHaus 上层的判据layer 17
- 底函子保不交并layer 17
- qc 与 qcqs 的判定layer 17
- 底空间保有限积layer 18
- 开满射是满态射layer 18
- 拟分离嵌入底空间layer 18
- Cond 即 FCHaus 上的层layer 18
- Cond 是拓扑斯layer 18
- 投影公式layer 19
- Top 与 Cond 的伴随layer 19
继续
在星图里打开「底拓扑空间」 · 全部 709 个概念 · Markdown 原文 · English entry · 读图指南与记号表