链 (代数拓扑) - 维基百科，自由的百科全书

此條目可参照英語維基百科相應條目来扩充。 (2022年7月21日) 若您熟悉来源语言和主题，请协助参考外语维基百科扩充条目。请勿直接提交机械翻译，也不要翻译不可靠、低品质内容。依版权协议，译文需在编辑摘要注明来源，或于讨论页顶部标记{{Translated page}}标签。

在代数拓扑学中，一个q维链（q-chain)是一个复形K全体定向q单纯形所生成的自由阿貝爾群（英语：free abelian group）C_q(K)中的元素。^[1]

对于一个单纯形K，K的q维链群C_q(K)是由一个复形K的全体定向q单纯形所生成的自由阿貝爾群（英语：free abelian group），即${\displaystyle C_{q}(K)=\{\sum _{i=1}^{s}\lambda _{i}\sigma _{i}:\lambda _{i}\in \mathbb {Z} \}}$，其中${\displaystyle \sigma _{i}}$是K的定向q单纯形，其中，若${\displaystyle \sigma }$和${\displaystyle \tau }$是两个同样的单形，但如果定向相反，那么${\displaystyle \sigma +\tau =0}$. 一个复形K上的q维链是${\displaystyle C_{q}(K)}$中的元素。习惯上，常把链看作定向单形的线性组合，即${\displaystyle c=\sum _{i=1}^{\alpha _{q}}\lambda _{i}\sigma _{i}}$，并称${\displaystyle \lambda _{i}}$为c的系数。^[2]

在链上定义的积分是对链上的单纯形取积分的线性组合（带有整数系数）。包含所有k链的集合构成一个群，这些群的序列称为链复形。