“若人们不相信数学简单,只因为他们未意识到生命之复杂。”
——Johnvon Neumann
DEC主要讨论离散情况下的外积分,它在计算机领域有重要用途。我们知道,使用计算机来处理几何图形的时候是不可能完全光滑的(计算机是只有0和1组成的离散化世界),利用DEC的概念也给我们提供了一种刻画离散几何的更好的工具。比如在几何分析中常用的“有限元分析(Finite Element Method)”中使用基于DEC的方法可以使用未uniform的曲面,更加方便简单。
外代数(Exterior Algebra)
首先谈谈外微积分(Exterior Calculus),它也叫外代数。
外代数是一类关于外积分(Exterior Product)的代数,外积分也叫楔形积分(Wedge Product),因为它的运算符号是楔形的。传统的线性代数涉及代数加法和标量乘法,但是不足以满足实际需求,于是定义了具有特色的外积分和内积分。
外积有独特的运算法则,例如在矩阵乘法中:
A = [a1, a2, a3, a4]^T
B = [b1, b2, b3]
C是A和B的外积,则
C = [b1a1, b2a1,b3a1]
[b1a2, b2a2, b3a2]
[b1a3, b2a3, b3a3]
[b1a4, b2a4, b3a4]
外积分还有其他的特点及性质,可以参阅相关教科书。外积分在不同的情况中有很多不同的用途,所以它就独自成为了一个体系,叫外代数。<