本书暂定概念:尚未进入正式概念库。下面是本书给出的定义原文。
定义 · 4.4 多面体的基本群
给定一个弧连通的单纯复形 ,总存在满足这些条件的子复形 。一个弧连通且单连通的一维单纯复形称为树(tree)。若树 不是其他树的真子集,则称它为 的极大树(maximal tree)。
英文原文
Given an arcwise-connected simplicial complex , there always exists a subcomplex that satisfies these conditions. A one-dimensional simplicial complex that is arcwise connected and simply connected is called a tree. A tree is called the maximal tree of if it is not a proper subset of other trees.
出处:4.4 多面体的基本群 · node a-13e30d04239a9381fe7ce6a0 · 源节点 SHA-256 2cc4b198f368788f…