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 :
- Any plane through the origin
- Any line through the origin
- The zero vector alone
- The entire space itself
The Four Fundamental Subspaces of an matrix :
- Column Space : all combinations of columns of
- Row Space : all combinations of rows of
- Nullspace : all solutions to
- Left Nullspace : all solutions to
3.2 Basis and Dimension of a Vector Space
A basis for a vector space is a set of vectors that:
- Spans (every vector in 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 can be written as a unique linear combination of the basis vectors.
Dimension = the number of vectors in any basis for . All bases for a given space have the same number of vectors.
Examples of dimensions:
- has dimension (standard basis: )
- A plane through the origin in has dimension 2
- A line through the origin in 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:
(possibly with rows permuted). is the identity, is an matrix, and there are zero rows.
Basis for Column Space: The pivot columns of the original matrix (not the rref) form a basis for .
Basis for Row Space: The nonzero rows of (the rref) form a basis for the row space .
These bases are crucial because they give us the dimensions: .
3.4 and : and
Solving (Nullspace):
- Reduce to rref
- The special solutions form a basis for :
There are special solutions, one for each free variable.
Solving (Complete Solution):
- Check consistency: elimination must yield for the system to have a solution. This means must be in .
- Find one particular solution (set free variables to 0 and solve for pivot variables).
- The complete solution is:
where is any vector in . The complete solution is a particular solution plus the entire nullspace.
3.5 Four Fundamental Subspaces:
Fundamental Theorem of Linear Algebra (Part 1):
Counting Theorem: For an matrix:
- There are at least solutions to (when )
- If (tall matrix), there is always a nonzero vector in the nullspace
Example: matrix with rank 2:
3.6 Graphs, Incidence Matrices, and Kirchhoff's Laws
A graph consists of nodes (vertices) and edges connecting them. The incidence matrix has:
- Rows = edges
- Columns = nodes
- Entry
Example: For a triangle graph with 3 nodes and 3 edges:
Kirchhoff's Laws:
- Current Law: (currents entering each node sum to zero)
- Voltage Law: 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 nodes, there are edges and the incidence matrix has full column rank .
- Adding edges creates loops: each new edge adds exactly one independent loop.
- A spanning tree uses independent rows, where for a connected graph.
3.7 Every Matrix Has a Pseudoinverse
The pseudoinverse (Moore-Penrose inverse) exists for every matrix , even when is not square or not full rank.
Key Properties:
- = projection onto the row space of
- = projection onto the column space of
- satisfies the four Moore-Penrose conditions:
Computation via CR factorization: If , then:
Computation via SVD: If , then:
where is the diagonal matrix with reciprocals of the nonzero singular values. This is the most numerically reliable method.
When is invertible: . The pseudoinverse generalizes the inverse to all matrices.