Linear Algebra: Vector Spaces, Row Spaces, and Column Spaces
Definition
1. Vector Space
A vector space is a collection of objects (called vectors) that can be added together and multiplied by numbers (called scalars, usually real numbers ) without leaving the set.
Think of a vector space as a “safe zone” with strict boundaries. As long as you follow the allowed operations (adding vectors or scaling them), your resulting vector will always stay inside that space.
2. Subspace
A subspace is simply a smaller vector space sitting inside a larger vector space. To be a valid subspace, it must inherit and obey all the rules of the larger space.
3. Linear Combination
A linear combination is the result of taking a set of vectors, scaling each one by some number, and adding them together:
Here, are real numbers called coefficients.
4. Span
The span of a set of vectors is the set of ALL possible linear combinations you can create using those vectors.
- If you have one vector, its span is a line stretching to infinity in both directions.
- If you have two non-parallel vectors in 3D space, their span forms a flat 2D plane through the origin.
5. Linear Independence and Basis
- Linear Independence: A set of vectors is linearly independent if no vector in the set can be built out of a combination of the others. None of them are “redundant.”
- Basis: A basis for a space is a minimal set of linearly independent vectors that spans the entire space.
- Dimension: The number of vectors in a basis for that space.
6. The Fundamental Spaces of a Matrix
For any matrix (a table with rows and columns):
- Column Space (): The span of all column vectors of . It lives in .
- Row Space (): The span of all row vectors of . It lives in .
- Null Space (): The set of all input vectors that get squished to zero when multiplied by (). It lives in .
Key Points
The 8 Axioms of a Vector Space
To qualify as a vector space, a set with vector addition () and scalar multiplication () must satisfy these 8 rules for all vectors and all real scalars :
| Category | Property | Formula / Rule | Meaning in Plain English |
|---|---|---|---|
| Vector Addition | 1. Commutativity | Order does not matter when adding. | |
| 2. Associativity | Grouping does not matter when adding three vectors. | ||
| 3. Zero Vector (Identity) | There exists a unique zero vector that leaves vectors unchanged. | ||
| 4. Inverse Vector | Every vector has an exact opposite that cancels it out to zero. | ||
| Scalar Multiplication | 5. Distributivity over Scalars | Scaling a vector by is the same as scaling by and separately and adding. | |
| 6. Distributivity over Vectors | Scaling a sum of vectors scales each vector individually. | ||
| 7. Scalar Compatibility | Scaling successively by then is the same as scaling by at once. | ||
| 8. Identity Scalar | Multiplying any vector by leaves it completely unchanged. |
The 3-Step Subspace Test
If you want to check if a subset is a valid subspace of , you do not need to test all 8 axioms. You only need to verify these 3 conditions:
- Contains Zero: Is the zero vector in ? (If not, it fails immediately.)
- Closed under Addition: If and , is ?
- Closed under Scalar Multiplication: If and , is ?
Visualizing Subspaces in Standard Geometry
-
In 1D Space ():
-
The origin (0-dimensional)
-
The entire line (1-dimensional)
-
In 2D Space ():
-
The origin (0-dimensional)
-
Any straight line passing through (1-dimensional)
-
The entire plane (2-dimensional)
-
In 3D Space ():
-
The origin (0-dimensional)
-
Any line passing through (1-dimensional)
-
Any flat plane passing through (2-dimensional)
-
The entire space (3-dimensional)
Important Note: A line or plane that does not pass through the origin is NOT a subspace, because it fails Step 1 (does not contain ).
Matrix Space Rules & Relationships
1. Column Space () and Linear Systems
The system of equations can be written in vector form as:
- This means has a solution if and only if is a linear combination of the columns of .
- In other words: is solvable if and only if .
2. The Rank-Nullity Theorem
For any matrix :
- = = Number of pivot columns.
- = = Number of free variables.
Detailed Step-by-Step Example
Let’s take a full problem from start to finish.
Problem: Given the matrix :
Find:
- The Reduced Row Echelon Form () of .
- A basis and dimension for .
- A basis and dimension for .
- A basis and dimension for .
Step 1: Perform Row Operations to Get RREF
To analyze any matrix space, we first simplify the matrix into Row Echelon Form (REF) or Reduced Row Echelon Form (RREF) using Gaussian Elimination.
- Eliminate entries below the first pivot ( in row 1):
- Row 2 Row 2 Row 1:
- Row 3 Row 3 Row 1:
Now our matrix looks like:
- Eliminate entry in Row 3 using Row 2:
- Row 3 Row 3 Row 2:
- Normalize Row 2 (multiply by ):
- Clear entry above the second pivot ( in Row 1, Column 3):
- Row 1 Row 1 Row 2:
Step 2: Find the Column Space Basis and Dimension
- Look at and find the pivot columns (columns starting with a leading ):
- Column 1 has a pivot in row 1.
- Column 3 has a pivot in row 2.
- Column 2 has no pivot (it corresponds to a free variable).
- CRITICAL STEP: Go back to the ORIGINAL matrix to select the basis vectors corresponding to these pivot positions:
- Write down the answer:
- Dimension (): (since there are 2 vectors in the basis).
Step 3: Find the Row Space Basis and Dimension
- For the row space, take the non-zero rows directly from (or any valid REF matrix):
- Row 1:
- Row 2:
- Write down the answer:
- Dimension: (notice that ).
Step 4: Find the Null Space Basis and Dimension
The null space consists of all vectors that satisfy :
Convert this back into linear equations:
- has no pivot equation, so is a free variable. Let (where ).
Express in parametric form:
Write down the answer:
- Dimension (): (1 free variable).
Explanation
Why Do We Take Column Space Vectors from the Original Matrix, but Row Space Vectors from RREF?
- For Column Space: Row operations add and subtract rows from each other. Doing this changes the direction of column vectors in space, but it preserves the dependency relationships among columns. Therefore, RREF tells us which columns are independent, but we must return to matrix to get the actual vectors that span .
- For Row Space: Performing row operations simply creates new rows that are linear combinations of the existing rows. The span of the rows never changes during row reduction. The non-zero rows in RREF are clean, simplified versions of the original rows that span the exact same space.
Verification using Rank-Nullity Theorem
Output Summary
Here is a full breakdown of what each space represents in our example:
| Subspace | Basis Vectors | Dimension | Lives in Space | Geometry |
|---|---|---|---|---|
| 2 | A 2D plane passing through | |||
| 2 | A 2D plane passing through | |||
| 1 | A 1D line passing through |
Common Mistakes
1. Copying Column Space vectors directly from RREF
- WRONG:
- RIGHT: Use the pivot column positions from RREF, but copy the vectors from the original matrix .
2. Assuming a set is a subspace without checking the zero vector
- Example Question: Is the set a subspace?
- Mistake: Starting complex algebra.
- Quick Check: Plug in (False!). It does not contain the origin, so it cannot be a subspace.
3. Mixing up matrix dimensions
For an matrix :
- Columns have entries, so .
- Rows have entries, so .
- Solution vectors have entries, so .
Short Exam Notes
- Subspace Test Checklist:
- Contains zero vector ()?
- Closed under addition ()?
- Closed under scalar multiplication ()?
- Linear Solvability: is solvable .
- Pivot Columns: Identify linear independence and give the basis for (from original ).
- Non-zero Rows of RREF: Directly form a basis for .
- Free Variables: Indicate the presence of a non-trivial Null Space ().
- Golden Formula: (number of columns).