Vector Spaces - Deep Dive
Mathematical Foundations
Detailed mathematical treatment of vector spaces with proofs, theorems, and rigorous definitions.
Formal Definitions
Vector Space Axioms
A vector space V over a field F is a set with two operations:
- Vector addition: V × V → V
- Scalar multiplication: F × V → V
Satisfying 8 axioms...
Subspace Theorem
Theorem: A subset W of vector space V is a subspace if and only if:
- The zero vector is in W
- W is closed under addition
- W is closed under scalar multiplication
Proof: (To be completed)
Theorems and Proofs
Linear Independence
Definition: Vectors v₁, v₂, ..., vₙ are linearly independent if...
Theorem: (To be completed)
Basis and Dimension
Theorem: All bases of a vector space have the same number of elements.
Proof: (To be completed)
The Four Fundamental Subspaces
Detailed Analysis
(Mathematical treatment to be completed)
Fundamental Theorems
Row Rank = Column Rank
The number of independent rows in a matrix is always equal to the number of independent columns. This number is the rank .
Intuition: For a matrix, We have , therefore:
- Basis of :
- : 2
Let's look at the columns,
- and are independent. All the columns ( and ) can be built from and .
- Basis for the :
- = 2 So we found that Column and Row spaces share the same dimension, but why?
Look at our basis rows and
The "recipe" to build the dependent columns ( and ) is written directly into the non-basis columns of the basis rows ( and ).
- To make , the recipe is . Those numbers, , are sitting right there in the position of our basis rows.
- To make , the recipe is . Those numbers, , are sitting right there in the position of our basis rows.
Look at our basis columns and
Simultaneously, the "recipe" to build the dependent rows () is written directly into the non-basis rows of the basis columns ( and ).
- To make , the recipe is . Those numbers, , are sitting right there in the position of our basis columns ( and ).
You can't add an independent row without also creating an independent column. You can't add a dependent column without it perfectly matching a dependency that already exists in the rows.
The rank is the true number of "independent ingredients" you have. This number dictates both how many independent rows you can form and how many independent columns you can form. They are two sides of the exact same coin.
Rank-Nullity Theorem
Intuition: Let this matrix be a transform 3D space into 2D space (). This means our matrix is , and our input dimension is 3, and output dimension is 2. An input vector is in , so . Our total input dimension is .
The Column Space is the output space. The rank is, by definition, the dimension of . The output is just a combination of the columns of : It's obvious that . The third column is totally redundant; it doesn't add a new direction. The entire output space can be described by and .
- Basis for :
So, among our 3 input dimensions, 2 dimensions "survive" to create the 2D output space. These are the pivot columns (columns 1 and 2).
The Null Space is the input space. The nullity is the dimension of . Let's find them by solving :
This gives us two equations:
The variable is "free variable". It can be anything, and it corresponds to the non-pivot column (column 3). Let . Any vector in the null space looks like:
This is a line in . A line has one dimension.
- Basis for :
- So, 1 dimension of our input space gets completely "lost" or collapsed to zero.
In sum,
- Total Input Dimensions (): 3 (from the 3 columns)
- Dimensions that "Survive" (Rank): 2 (the pivot columns)
- Dimensions that "Get Lost" (Nullity): 1 (the free variable column)
The number of pivot columns (rank) plus the number of free columns (nullity) must equal the total number of columns ().
Every single one of the dimensions of your input space is accounted for. It either contributes to the output (a pivot column) or it gets nullified (a free column).
Exercises
(Advanced problems to be completed)