麻省理工大学线性代数导论笔记 - Lecture 12 图和网络

学习视频来源：麻省理工公开课_线性代数导论 讲师：Gilbert Strang

http://open.163.com/special/opencourse/daishu.html

---

Lecture 12 图和网络

今天我们进一步讨论（老师认为）在applied math 应用数学中最重要的模型 ——graph 图。我们画出一个图，写出对应的矩阵，这便是矩阵产生的重要来源。 一个图包括nodes 结点和edges 边。

这个图里包含 4 个结点，5 条边，我们可以将每条边都指定参考方向用于区分正负，比如可以考虑为一个电路网络。 在这个例子中，将使用电势、回路、电流之类的词汇（当然这个模型还可以表示为液压系统、建筑结构等）。我们通过构造一个incidence matrix 关联矩阵来解析这个图的含义。

矩阵的一行相当于图的一条边，矩阵的一列相当于图的一个结点。

$A=\left(\begin{array}{cccc}-1& 1& 0& 0\\ 0& -1& 1& 0\\ -1& 0& 1& 0\\ -1& 0& 0& 1\\ 0& 0& -1& 1\end{array}\right)$

根据关联矩阵的主要结构，我们可以回答一些关于矩阵的主要问题。

• 矩阵的零空间$A\vec{x}=0$（$x_1$、$x_2$、$x_3$、$x_4$为各结点的电势）

  $Ax=\left(\begin{array}{c}{x}_2-x_1\\ x_3-x_2\\ x_3-x_1\\ x_4-x_1\\ x_4-x_3\end{array}\right)=\left(\begin{array}{c}0\\ 0\\ 0\\ 0\\ 0\end{array}\right)$

  通过矩阵$A$可以算出各边上的差值，即结点间的电势差。易见$\vec{x}=c\left(\begin{array}{c}1\\ 1\\ 1\\ 1\end{array}\right)$，$c$为常数，即等电势。$dim(N(A))=1$，$rank(A)=n-1=3$。

  在这个例子中，我们先确定一个结点的电势，典型方法是将它接地，令其电势为 0，作为求其他电势的基础，这意味着最后一列不起任何作用。

• 矩阵转置后的零空间$A^T\vec{y}=0$（$y_1$、$y_2$、$y_3$、$y_4$、$y_5$为各边上的电流）

  $A^{T}y=\left(\begin{array}{c}-y_1-y_3-y_4\\ y_1-y_2\\ y_2+y_3-y_5\\ y_4+y_5\end{array}\right)=\left(\begin{array}{c}0\\ 0\\ 0\\ 0\end{array}\right)$
  
  $A^T\vec{y}=0$ 有一个著名的名字：Kirchoff’s Current Law 基尔霍夫电流定律，简称KCL，它是平衡方程，守恒定律。假设$y_1$、$y_3$、$y_4$是从结点 1 流出的电流，则$-y_1-y_3-y_4=0$说明结点 1 的净电流为 0。

  回到线性代数，由前文的课可知，$dim(N(A^T))=m-rank(A^T)=5-3=2$。 $A^T$零空间的基可以表示为$\left(\begin{array}{c}1\\ 1\\ -1\\ 0\\ 0\end{array}\right)+\left(\begin{array}{c}0\\ 0\\ 1\\ -1\\ 1\end{array}\right)$。第一个向量是左边回路内的电流，第二个向量是右边回路内的电流。

• $A$的主列
  

  这个矩阵的主列（线性无关）为第 1、2、4列。我们得到了一个同样有 4 个结点，只有 3 条边的小图，且它没有回路。如果再加一条边，必然会得到回路。没有回路的图我们把它叫作tree 树。

综上，$dim(N(A^T))=m-r$ <=> 相互无关的回路数量$=$ 边的数量$-$(结点数量$-1$)。即结点的数量减去边的数量加上回路的数量等于 1。此公式对任意的图都成立，这就是Euler’s Formula 欧拉公式。