本文运用非交换微分运算，模仿[1]中的连续变分复形，在格点空间上引入变分复形并使用代数拓扑的方法证明它的正合性。 文章首先定......

由介绍 noncommutative 在无限 / 有限的集合和构造的函数空格的微分演算一个 homotopy 操作符，一个证明 Poincar 的类似物？？......

运用非交换微分运算，在正规格点空间上给出差分复形的定义并构造同伦映射证明其正合性，这正是经典deRham复形及Poincare引理的差分离......

运用非交换微分运算,结合经典微分几何,在正规格点空间上引入微分形式及外微分算子并讨论其性质.......