让是一个双射对应,这样顶点, ...,属于跨度a单工属于 若(iff) , ...,跨度a单工属于.然后是诱导简单的地图 是一个同胚和地图被称为简单同胚(Munkres 1993,p.13)。
更多需要尝试的事情:
埃里克·魏斯坦(Eric W.Weisstein)。“单纯形同态。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Simplicial同态.html