所阅读书目：《Cooperative Control of Multi-Agent Systems》

引理 1： 有向图G的拉普拉斯矩阵L： 1.至少有一个零特征值，其对应的右特征向量为1 2.所有非零特征值都有正实部 3.当且仅当G具有一个有向生成树时，0是L的一个简单特征值。 4.L存在一个与零特征值相关的非负的左特征向量r，满足rTL = 0, r1 = 1。而且，如果G有一个有向生成树，r是唯一的。

引理 2： 1.当且仅当无向图是连接的(connected)，0是L的一个简单特征值 2.L的最小的非零特征值λ2： 引理 3： 假设G是强连接的。此时，有一个正的左特征向量r = [r1，··，rN]T与零特征值和RL + LTR≥0有关，其中r = diag(r1，···，rN)。

连接无向图的拉普拉斯矩阵L的最小非零特征值λ2常被称为费德勒特征值（Fiedler eigenvalue），表示了图的代数连通度。 对于有向图： 引理 4： 对于强连接有向图，其代数连通度定义为：（r,R如引理3中定义） 且a(L)>0

对于平衡图，定义为： （λ2仍表示最小非零特征值）

引理 5： z = [z1, · · · , zN]T ， zi ∈ R. 邻接矩阵：A ∈ R^(N×N), 拉普拉斯矩阵： L ∈ R^(N×N)

一致性： 对于闭环系统： 或者： 其中，aij表示A的元素，当且仅当G有一个有向生成树

另外，最终一致性：r^(T) z(0) 其中r为L的归一化左特征向量,与零特征值相关联。

， 由于顶点vi是0入度的，所以这里的矩阵D是奇异的，

为了避免混淆，进行如下定义： 标准化邻接矩阵： 标标准化拉普拉斯矩阵： = 需注意：对于无向图，标准化拉普拉斯矩阵不是必然对称的。