AoZai
AoZai

Reading Notice

These are personal study and translation notes for reference only; the original course materials belong to MIT OpenCourseWare and their respective rights holders.

ZoomNotes for Linear Algebra

Gilbert Strang, MIT 18.06 · Ch.3 / 11

Part 3: Vector Spaces and Subspaces, Basis and Dimension

3.1 Vector Spaces and Four Fundamental Subspaces

A vector space is a set of vectors closed under addition and scalar multiplication (i.e., all linear combinations stay in the set).

Subspaces of Rn\mathbb{R}^n:

  • Any plane through the origin
  • Any line through the origin
  • The zero vector alone {0}\{0\}
  • The entire space Rn\mathbb{R}^n itself

The Four Fundamental Subspaces of an m×nm \times n matrix AA:

  1. Column Space C(A)RmC(A) \subseteq \mathbb{R}^m: all combinations of columns of AA
  2. Row Space C(AT)RnC(A^T) \subseteq \mathbb{R}^n: all combinations of rows of AA
  3. Nullspace N(A)RnN(A) \subseteq \mathbb{R}^n: all solutions to Ax=0Ax = 0
  4. Left Nullspace N(AT)RmN(A^T) \subseteq \mathbb{R}^m: all solutions to ATy=0A^T y = 0

3.2 Basis and Dimension of a Vector Space SS

A basis for a vector space SS is a set of vectors that:

  • Spans SS (every vector in SS is a linear combination of the basis vectors)
  • Is linearly independent (no basis vector is a combination of the others)

Key Property: Every vector in SS can be written as a unique linear combination of the basis vectors.

Dimension = the number of vectors in any basis for SS. All bases for a given space have the same number of vectors.

Examples of dimensions:

  • Rn\mathbb{R}^n has dimension nn (standard basis: e1,,ene_1, \dots, e_n)
  • A plane through the origin in R3\mathbb{R}^3 has dimension 2
  • A line through the origin in R3\mathbb{R}^3 has dimension 1
  • The zero vector space has dimension 0

3.3 Column Space and Row Space: Bases by Elimination

Reduced Row Echelon Form (rref): After elimination, the matrix can be reduced further to:

R0=[IrF00]R_0 = \begin{bmatrix} I_r & F \\ 0 & 0 \end{bmatrix}

(possibly with rows permuted). IrI_r is the r×rr \times r identity, FF is an r×(nr)r \times (n-r) matrix, and there are mrm-r zero rows.

Basis for Column Space: The rr pivot columns of the original matrix AA (not the rref) form a basis for C(A)C(A).

Basis for Row Space: The rr nonzero rows of R0R_0 (the rref) form a basis for the row space C(AT)C(A^T).

These bases are crucial because they give us the dimensions: dimC(A)=dimC(AT)=r\dim C(A) = \dim C(A^T) = r.


3.4 Ax=0Ax = 0 and Ax=bAx = b : xnullspacex_{\text{nullspace}} and xparticularx_{\text{particular}}

Solving Ax=0Ax = 0 (Nullspace):

  1. Reduce AA to rref R0=[Ir  F]R_0 = [I_r \; F]
  2. The special solutions form a basis for N(A)N(A):
Nullspace basis vectors=[FInr]\text{Nullspace basis vectors} = \begin{bmatrix} -F \\ I_{n-r} \end{bmatrix}

There are nrn-r special solutions, one for each free variable.

Solving Ax=bAx = b (Complete Solution):

  1. Check consistency: elimination must yield 0=00 = 0 for the system to have a solution. This means bb must be in C(A)C(A).
  2. Find one particular solution xpx_p (set free variables to 0 and solve for pivot variables).
  3. The complete solution is:
x=xp+xnx = x_p + x_n

where xnx_n is any vector in N(A)N(A). The complete solution is a particular solution plus the entire nullspace.


3.5 Four Fundamental Subspaces: C(A),C(AT),N(A),N(AT)C(A), C(A^T), N(A), N(A^T)

Fundamental Theorem of Linear Algebra (Part 1):

dimC(A)=rdimC(AT)=rdimN(A)=nrdimN(AT)=mr\begin{aligned} \dim C(A) &= r \\ \dim C(A^T) &= r \\ \dim N(A) &= n - r \\ \dim N(A^T) &= m - r \end{aligned}

Counting Theorem: For an m×nm \times n matrix:

  • There are at least nmn-m solutions to Ax=0Ax = 0 (when n>mn > m)
  • If n>mn > m (tall matrix), there is always a nonzero vector in the nullspace

Example: 3×53 \times 5 matrix with rank 2:

  • dimC(A)=2\dim C(A) = 2
  • dimN(A)=52=3\dim N(A) = 5 - 2 = 3
  • dimC(AT)=2\dim C(A^T) = 2
  • dimN(AT)=32=1\dim N(A^T) = 3 - 2 = 1

3.6 Graphs, Incidence Matrices, and Kirchhoff's Laws

A graph consists of nodes (vertices) and edges connecting them. The incidence matrix AA has:

  • Rows = edges
  • Columns = nodes
  • Entry Aij={1if edge i leaves node j+1if edge i enters node j0otherwiseA_{ij} = \begin{cases} -1 & \text{if edge } i \text{ leaves node } j \\ +1 & \text{if edge } i \text{ enters node } j \\ 0 & \text{otherwise} \end{cases}

Example: For a triangle graph with 3 nodes and 3 edges:

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

Kirchhoff's Laws:

  • Current Law: ATy=0A^T y = 0 (currents entering each node sum to zero)
  • Voltage Law: Ax=0Ax = 0 around loops (voltage drops around a closed loop sum to zero)

Trees and Loops:

  • A tree is a graph with no loops (cycles). For a tree with nn nodes, there are n1n-1 edges and the incidence matrix has full column rank n1n-1.
  • Adding edges creates loops: each new edge adds exactly one independent loop.
  • A spanning tree uses rr independent rows, where r=n1r = n-1 for a connected graph.

3.7 Every Matrix AA Has a Pseudoinverse A+A^+

The pseudoinverse (Moore-Penrose inverse) A+A^+ exists for every matrix AA, even when AA is not square or not full rank.

Key Properties:

  • A+AA^+ A = projection onto the row space of AA
  • AA+A A^+ = projection onto the column space of AA
  • A+A^+ satisfies the four Moore-Penrose conditions:
    1. AA+A=AA A^+ A = A
    2. A+AA+=A+A^+ A A^+ = A^+
    3. (AA+)T=AA+(A A^+)^T = A A^+
    4. (A+A)T=A+A(A^+ A)^T = A^+ A

Computation via CR factorization: If A=CRA = CR, then:

A+=R+C+A^+ = R^+ C^+

Computation via SVD: If A=UΣVTA = U \Sigma V^T, then:

A+=VΣ+UTA^+ = V \Sigma^+ U^T

where Σ+\Sigma^+ is the diagonal matrix with reciprocals of the nonzero singular values. This is the most numerically reliable method.

When AA is invertible: A+=A1A^+ = A^{-1}. The pseudoinverse generalizes the inverse to all matrices.

Previous Next
© MIT OpenCourseWare  |  18.06 Linear Algebra  |  Gilbert Strang  |  Spring 2010
ocw.mit.edu  ·  CC BY-NC-SA 4.0