对一个n行n列的非零矩阵A，如果存在一个矩阵B使AB=BA=E（E是单位矩阵），则A为非奇异矩阵（或称可逆矩阵），B为A的逆阵......

矩阵非奇异（可逆）当且仅当它的行列式不为零......…

矩阵半正定当且仅当它的每个特征值大于或等于零......

则…

x与y可以是函数也可以是微分......

f何以是多项式，也可以还是微分。在这里我把它们都抽象成为一个符号，一个表达式，或是一类矩阵，合在一起，便满足最终线性关系：f(x+y)=f(x)+f(y)…