MIT18.06 Linear Algebra (12)

lec12

Graph

Graph : Node, Edge

https://s2.loli.net/2022/03/03/NAMjh9YdnCwl2QZ.png

nodes:n=4edges:m=5nodes : n = 4 \\ edges : m = 5

e.g. An electrical network.

Incidence Matrix (关联矩阵)

A=[11000110101010010011]A = \begin{bmatrix} -1 & 1 & 0 & 0 \\ 0 & -1 & 1 & 0 \\ -1 & 0 & 1 & 0 \\ -1 & 0 & 0 & 1 \\ 0 & 0 & -1 & 1 \end{bmatrix}

1,2,3 is a loop. (loop means linear dependent)

A and N(A)

x=[x1x2x3x4]x = \begin{bmatrix} x_1 \\ x_2 \\ x_3 \\ x_4 \end{bmatrix}, the potential at nodes.

Ax=[x2x1x3x2x3x1x4x1x4x3]Ax = \begin{bmatrix} x_2 - x_1 \\ x_3 - x_2 \\ x_3 - x_1 \\ x_4 - x_1 \\ x_4 - x_3 \end{bmatrix} , the potential differences.

Ax=0x=c[1111]Ax = 0 \Rightarrow x = c\begin{bmatrix} 1 \\ 1 \\ 1 \\ 1 \end{bmatrix}

$rank(A)=n-1 (groundonenodetosettleallothernodes,(ground one node to settle all other nodes, rank(A)+rank(N(A))=n$).

ATA^T and N(AT)N(A^T)

ATy=0dim(N(AT))=mr=53=2A^Ty=0\\dim (N(A^T))=m − r = 5 − 3 = 2

ATy=[10110110000110100011][y1y2y3y4y5]=[0000]A^T y= \begin{bmatrix} -1 & 0 & -1 & -1 & 0 \\ -1 & -1 & 0 & 0 & 0 \\ 0 & 1 & 1 & 0 & -1 \\ 0 & 0 & 0 & 1 & 1 \end{bmatrix} \begin{bmatrix} y_1 \\ y_2 \\ y_3 \\ y_4 \\ y_5 \end{bmatrix} = \begin{bmatrix} 0 \\ 0 \\ 0 \\ 0 \end{bmatrix}

https://s2.loli.net/2022/03/03/sHoz8QTmVdUX2x5.png

Implies KCL, with y being current :

first row :

[10110][y1y2y3y4y5]=[0]\begin{bmatrix} -1 & 0 & -1 & -1 & 0 \end{bmatrix} \begin{bmatrix} y_1 \\ y_2 \\ y_3 \\ y_4 \\ y_5 \end{bmatrix} = \begin{bmatrix} 0 \end{bmatrix}

    y1y3y4=0\iff − y1 − y3 − y4 = 0

Basis for N(AT)N(A^T) : [11100],[00111]\begin{bmatrix} 1\\1\\-1\\0\\0 \end{bmatrix},\begin{bmatrix} 0\\0\\1\\-1\\1 \end{bmatrix}

pivot columns of ATA^T ( rr independent edges) is a tree (a graph with no loops).

dimN(AT)=mr#loops=#edges(#nodes1)\begin{aligned} \dim N(A^T) &= m-r \\ \#loops &= \#edges - (\#nodes-1) \\ \end{aligned}

Euler’s Law:

#nodes#edges+#loops=1\#nodes − \#edges + \#loops = 1

Summarize

e=Axy=CeAT=0ATCAx=fe=Ax\\ y = Ce\\ A^T=0 \\ \Rightarrow A^TCAx = f

ee: potential difference

cc: constant

ff: current source (0 if no source)

note: ATCAA^TCA is symmetric.


MIT18.06 Linear Algebra (12)
https://yzzzf.xyz/2022/09/27/MIT16.08-lec12/
Author
Zifan Ying
Posted on
September 27, 2022
Licensed under