cochain(余链):代数拓扑与同调代数中的概念,指在一个链复形上取值的函数(通常把每个 n-维链映到某个系数群/环,如 (\mathbb{Z})、(\mathbb{R}) 或模),并与余边界算子一起组成余链复形;余链的等价类给出上同调(cohomology)。在具体情境中,n-余链常被理解为“给每个 n-单形/胞腔分配一个数或元素的规则”。
/ˈkoʊ.tʃeɪn/
A cochain assigns a number to each simplex in the complex.
余链会给复形中的每个单形分配一个数。
By applying the coboundary operator to the cochain, we obtain a cocycle that represents a cohomology class.
对余链作用余边界算子后,我们得到一个余循环(cocycle),它代表一个上同调类。
cochain 由前缀 co-(表示“对偶/相对”,常用于与原概念成对的结构,如 chain vs. cochain)和 chain(链)构成。它体现了从“链(chains)”转到其对偶对象“余链(cochains)”的思想:用函数去“测量/读取”链的信息,从而构造上同调理论。