拓扑, 拓扑学中, 图指拓扑空间, 由通常的图g, displaystyle, 将顶点替换为点, 将边e, displaystyle, 替换为单位区间i, displaystyle, 当中0为与x相关的点, 1为与y相关的点, 作为拓扑空间, 图恰恰是1维单纯复形, 也是1维cw复形, 于是, 在用于胶合的商映射下, 它具有集合的商拓扑, displaystyle, sqcup, bigsqcup, 当中x, displaystyle, 是0骨架, 对每个顶点x, displaystyle, 含一个点, displ. 拓扑学中 图指拓扑空间 由通常的图G E V displaystyle G E V 将顶点替换为点 将边e x y E displaystyle e xy in E 替换为单位区间I 0 1 displaystyle I 0 1 当中0为与x相关的点 1为与y相关的点 即 作为拓扑空间 图恰恰是1维单纯复形 也是1维CW复形 1 于是 在用于胶合的商映射下 它具有集合的商拓扑 X 0 e E I e displaystyle X 0 sqcup bigsqcup e in E I e 当中X 0 displaystyle X 0 是0骨架 对每个顶点x V displaystyle x in V 含一个点 I e displaystyle I e 是与之胶合的闭区间 每个边e E displaystyle e in E 有一个 displaystyle sqcup 是不交并 1 这空间上的拓扑即称作图拓扑 目录 1 子图与树 2 性质 3 另见 4 参考文献子图与树 编辑图X的子图是子空间Y X displaystyle Y subseteq X nbsp 也是图 且节点都包含在X的0骨架中 Y是子图 当且仅当其包含来自X的顶点和边 且封闭 1 若子图T X displaystyle T subseteq X nbsp 作为拓扑空间可收缩 则称作树 1 这等同于图论中树的通常定义 即无环连通图 性质 编辑当且仅当原图是连通图 图的关联拓扑空间才连通 关于图拓扑 每个连通图X至少包含一棵极大树T X displaystyle T subseteq X nbsp 即就集合包含在X的子树上诱导的阶来说 此树是最大的 1 若X是图 T X displaystyle T subseteq X nbsp 是极大树 则基本群p 1 X displaystyle pi 1 X nbsp 等于由元素 f a a A displaystyle f alpha alpha in A nbsp 生成的自由群 当中 f a displaystyle f alpha nbsp 双射对应于X T displaystyle X setminus T nbsp 的边 事实上 X与圆的楔和同伦等价 1 按上述方式形成与图关联的拓扑空间 相当于图范畴到拓扑空间范畴的函子 每个投影到图的覆叠空间也是图 1 另见 编辑图同调 拓扑图论 尼尔森 施赖埃尔定理 其标准证明使用了这一概念 参考文献 编辑 1 0 1 1 1 2 1 3 1 4 1 5 1 6 Hatcher Allen Algebraic Topology Cambridge University Press 2002 83ff ISBN 0 521 79540 0 取自 https zh wikipedia org w index php title 图 拓扑 amp oldid 80419861, 维基百科,wiki,书籍,书籍,图书馆,