Math graphic
๐Ÿ“ Concept diagram

08-01 โ€” Vector Spaces

Phase: 8 โ€” Linear Algebra (Rigorous) Subject: 08-01 Prerequisites: Phase 7 complete; familiarity with vectors in R^n and basic matrix algebra Next subject: 08-02 โ€” Linear Independence and Basis


Learning Objectives

By the end of this subject, you will be able to:

  1. State the eight axioms of a vector space over a field and verify whether a given set with operations satisfies them
  2. Determine whether a subset is a subspace using the subspace test (closed under addition and scalar multiplication)
  3. Express vectors as linear combinations of a given set, and compute the span of a set of vectors
  4. Define and compute the null space and column space of a matrix, and relate them to the solutions of Ax = 0 and Ax = b
  5. Distinguish between concrete vector spaces (R^n, P_n, M_{mร—n}) and abstract vector spaces, recognizing the unifying structure

Core Content

1. Definition: Vector Space

A vector space V over a field F (for us, usually F = R or C) is a set equipped with two operations โ€” addition and scalar multiplication โ€” satisfying eight axioms.

Vector addition: For every u, v โˆˆ V, there is a unique u + v โˆˆ V.

Scalar multiplication: For every c โˆˆ F and v โˆˆ V, there is a unique cv โˆˆ V.

CRITICAL โ€” Foundational: The eight vector space axioms are the bedrock of linear algebra. Every theorem โ€” subspaces, linear transformations, dimension โ€” traces back to these. Master these before proceeding.

The eight axioms: For all u, v, w โˆˆ V and all scalars a, b โˆˆ F:

  1. Associativity of addition: u + (v + w) = (u + v) + w
  2. Commutativity of addition: u + v = v + u
  3. Existence of additive identity: There exists 0 โˆˆ V such that v + 0 = v for all v
  4. Existence of additive inverses: For each v โˆˆ V, there exists โˆ’v โˆˆ V such that v + (โˆ’v) = 0
  5. Compatibility of scalar multiplication with field multiplication: a(bv) = (ab)v
  6. Identity element of scalar multiplication: 1ยทv = v (where 1 is the multiplicative identity in F)
  7. Distributivity of scalar multiplication over vector addition: a(u + v) = au + av
  8. Distributivity of scalar multiplication over field addition: (a + b)v = av + bv

Examples of vector spaces:

Non-examples (common pitfalls):

Theorem: Basic properties of vector spaces. For any v โˆˆ V and scalar c: - 0ยทv = 0 (the zero vector) - cยท0 = 0 - (โˆ’1)ยทv = โˆ’v - If cv = 0, then c = 0 or v = 0

Proof of 0ยทv = 0:

0ยทv = (0+0)ยทv = 0ยทv + 0ยทv     (axiom 8)
Subtract 0ยทv from both sides: 0 = 0ยทv.

2. Subspaces

A subspace W of a vector space V is a subset of V that is itself a vector space under the same operations. Rather than checking all eight axioms, we use:

Subspace Test: W โІ V is a subspace iff: 1. Contains zero: 0 โˆˆ W (or equivalently, W is nonempty) 2. Closed under addition: u, v โˆˆ W โŸน u + v โˆˆ W 3. Closed under scalar multiplication: c โˆˆ F, v โˆˆ W โŸน cv โˆˆ W

Common Pitfall: Always check 0 โˆˆ W FIRST โ€” if it fails, you're done. The most common mistake is forgetting that subspaces must contain the origin.

Examples of subspaces:

Non-examples: A line or plane NOT through the origin is NOT a subspace โ€” it fails the zero vector test. A quadrant in R^2 (e.g., all (x, y) with x โ‰ฅ 0, y โ‰ฅ 0) is NOT a subspace โ€” not closed under scalar multiplication by negative scalars.

Intersection of subspaces: If Wโ‚ and Wโ‚‚ are subspaces, then Wโ‚ โˆฉ Wโ‚‚ is a subspace. Proof: 0 โˆˆ Wโ‚ and 0 โˆˆ Wโ‚‚, so 0 โˆˆ Wโ‚ โˆฉ Wโ‚‚. If u, v โˆˆ Wโ‚ โˆฉ Wโ‚‚, then u+v โˆˆ Wโ‚ and u+v โˆˆ Wโ‚‚, so u+v โˆˆ Wโ‚ โˆฉ Wโ‚‚. Closure under scalar multiplication is similar.

But the UNION of subspaces is generally NOT a subspace (unless one contains the other). Consider the x-axis and y-axis in R^2: (1,0) + (0,1) = (1,1) is in neither axis.

3. Linear Combinations and Span

Definition: A linear combination of vectors vโ‚, vโ‚‚, ..., v_n is an expression of the form:

$cโ‚vโ‚ + cโ‚‚vโ‚‚ + ... + c_n v_n
$

where cโ‚, ..., c_n โˆˆ F are scalars.

Definition: The span of a set S = {vโ‚, ..., v_n} is:

span(S) = {cโ‚vโ‚ + ... + c_n v_n : cโ‚, ..., c_n โˆˆ F}

โ€” the set of ALL linear combinations of vectors in S.

Key facts about span:

Example: In R^3, let vโ‚ = (1, 0, 0) and vโ‚‚ = (0, 1, 0). Then span{vโ‚, vโ‚‚} = {(x, y, 0) : x, y โˆˆ R} โ€” the xy-plane through the origin.

Example: Does (2, 6, โˆ’4) โˆˆ span{(1, 2, โˆ’1), (0, 1, 1)}? Solve:

$cโ‚(1,2,-1) + cโ‚‚(0,1,1) = (2,6,-4)
$

This gives the system:

$cโ‚ = 2
2cโ‚ + cโ‚‚ = 6  โ†’  4 + cโ‚‚ = 6  โ†’  cโ‚‚ = 2
-cโ‚ + cโ‚‚ = -4  โ†’  -2 + 2 = 0 โ‰  -4
$

Inconsistent! So (2, 6, โˆ’4) โˆ‰ span{(1,2,โˆ’1), (0,1,1)}.

4. Null Space and Column Space

For an m ร— n matrix A over R:

Null space (kernel): N(A) = {x โˆˆ R^n : Ax = 0}

The null space is the set of all solutions to the homogeneous equation. It is a subspace of R^n.

Column space (range/image): C(A) = {Ax : x โˆˆ R^n} = span{columns of A}

The column space is a subspace of R^m. It tells us which vectors b make Ax = b consistent.

Key relationship: The system Ax = b has a solution iff b โˆˆ C(A).

Finding N(A) by Gaussian elimination:

A = [1  2  1]
    [2  4  2]

Reduce: [1  2  1] โ†’ xโ‚ + 2xโ‚‚ + xโ‚ƒ = 0
        [0  0  0]

Free variables: xโ‚‚ = s, xโ‚ƒ = t
Then xโ‚ = -2s - t

N(A) = {(-2s-t, s, t) : s, t โˆˆ R}
      = span{(-2, 1, 0), (-1, 0, 1)}

Dimension relationships (preview of rank-nullity): dim(N(A)) = number of free variables = n โˆ’ rank(A) dim(C(A)) = rank(A) = number of pivot columns

Common misconception: N(A) is a subspace of the DOMAIN R^n, while C(A) is a subspace of the CODOMAIN R^m. They live in different spaces!



Key Terms

Worked Examples

Example 1: Verifying a Vector Space

Problem: Prove that V = {(x, y, z) โˆˆ R^3 : x + y + z = 0} is a vector space under the usual operations on R^3.

Solution: Since V is a subset of the known vector space R^3, we just need the subspace test.

Step 1 โ€” Contains zero: 0 + 0 + 0 = 0, so (0, 0, 0) โˆˆ V. โœ“

Step 2 โ€” Closed under addition: Let u = (xโ‚, yโ‚, zโ‚), v = (xโ‚‚, yโ‚‚, zโ‚‚) โˆˆ V. Then xโ‚ + yโ‚ + zโ‚ = 0 and xโ‚‚ + yโ‚‚ + zโ‚‚ = 0. u + v = (xโ‚+xโ‚‚, yโ‚+yโ‚‚, zโ‚+zโ‚‚). Sum of components: (xโ‚+xโ‚‚) + (yโ‚+yโ‚‚) + (zโ‚+zโ‚‚) = (xโ‚+yโ‚+zโ‚) + (xโ‚‚+yโ‚‚+zโ‚‚) = 0 + 0 = 0. โœ“

Step 3 โ€” Closed under scalar multiplication: Let c โˆˆ R, v โˆˆ V. cv = (cx, cy, cz). Sum: cx + cy + cz = c(x + y + z) = cยท0 = 0. โœ“

All three conditions satisfied, so V is a subspace (and hence a vector space). Geometrically, this is the plane through the origin with normal vector (1, 1, 1).

Example 2: Span and Linear Combinations

Problem: Determine whether the polynomial p(x) = 2xยฒ โˆ’ 3x + 1 belongs to span{1, x, xยฒ โˆ’ x} in Pโ‚‚.

Solution: We need scalars a, b, c such that:

$a(1) + b(x) + c(xยฒ โˆ’ x) = 2xยฒ โˆ’ 3x + 1
$

Equating coefficients of like powers:

$xยฒ: c = 2
xยน: b โˆ’ c = โˆ’3  โ†’  b โˆ’ 2 = โˆ’3  โ†’  b = โˆ’1
xโฐ: a = 1
$

We found a = 1, b = โˆ’1, c = 2. So:

$1ยท(1) + (โˆ’1)ยท(x) + 2ยท(xยฒ โˆ’ x) = 1 โˆ’ x + 2xยฒ โˆ’ 2x = 2xยฒ โˆ’ 3x + 1 โœ“
$

Yes, p(x) โˆˆ span{1, x, xยฒ โˆ’ x}.

Example 3: Null Space Computation

Problem: Find the null space of A = [1 2 3; 2 4 6; 1 1 1].

Solution (step-by-step):

Step 1 โ€” Row reduce A:

$[1  2  3]    Rโ‚‚-2Rโ‚    [1  2  3]
[2  4  6]  ---------->  [0  0  0]
[1  1  1]    Rโ‚ƒ-Rโ‚     [0 -1 -2]
$

Step 2 โ€” Swap Rโ‚‚โ†”Rโ‚ƒ and eliminate:

$[1  2  3]    Rโ‚+2Rโ‚‚    [1  0 -1]
[0 -1 -2]  ---------->  [0  1  2]
[0  0  0]               [0  0  0]
$

Step 3 โ€” Read from RREF: xโ‚ โˆ’ xโ‚ƒ = 0 โ†’ xโ‚ = xโ‚ƒ xโ‚‚ + 2xโ‚ƒ = 0 โ†’ xโ‚‚ = โˆ’2xโ‚ƒ xโ‚ƒ = free = t

So x = (t, โˆ’2t, t) = t(1, โˆ’2, 1).

N(A) = span{(1, โˆ’2, 1)}. It's a 1-dimensional subspace of R^3 โ€” a line through the origin.

Step 4 โ€” Verify: A(1, โˆ’2, 1)^T = (1โˆ’4+3, 2โˆ’8+6, 1โˆ’2+1)^T = (0, 0, 0)^T. โœ“

Example 4: Column Space and Consistency

Problem: Does Ax = b where A = [1 2; 3 6] and b = (3, 9)^T have a solution?

Solution: We check whether b โˆˆ C(A).

The columns of A are vโ‚ = (1, 3)^T and vโ‚‚ = (2, 6)^T. Note vโ‚‚ = 2vโ‚, so C(A) = span{(1, 3)^T}.

We need b = cยท(1, 3)^T for some c: (3, 9)^T = 3ยท(1, 3)^T. Yes! So b โˆˆ C(A), and the system is consistent.

Indeed: xโ‚ + 2xโ‚‚ = 3, 3xโ‚ + 6xโ‚‚ = 9. The second is 3ร— the first, so one equation. Solutions: xโ‚ = 3 โˆ’ 2t, xโ‚‚ = t (infinitely many).

Edge case: If b = (3, 10)^T, then b is not a scalar multiple of (1, 3)^T, so b โˆ‰ C(A), and the system is inconsistent.

Quiz

Q1: Which of the following is NOT one of the eight vector space axioms?

A) u + v = v + u (commutativity of addition) B) a(u + v) = au + av (distributivity) C) u ยท v = v ยท u (commutativity of dot product) D) There exists 0 โˆˆ V such that v + 0 = v

Correct: C)


Q2: To verify that a subset W โІ V is a subspace, you must check:

A) W is nonempty, and W is closed under addition B) W contains the zero vector, is closed under addition, and is closed under scalar multiplication C) W satisfies all eight vector space axioms D) W is closed under scalar multiplication only

Correct: B)


Q3: The span of vectors {vโ‚, ..., v_k} is:

A) The set of all scalar multiples of vโ‚ B) The set of all linear combinations cโ‚vโ‚ + ... + c_k v_k C) The set of all vectors perpendicular to each v_i D) The dot product of all v_i

Correct: B)


Q5: The null space of a matrix A is:

A) The set of all vectors b such that Ax = b has a solution B) The set of all vectors x such that Ax = 0 C) The set of all columns of A D) The set of all rows of A

Correct: B)


Q6: Which set is NOT a vector space (over R)?

A) All polynomials of degree exactly 3 B) All 2 ร— 2 matrices with real entries C) All continuous functions on [0, 1] D) R^n with componentwise operations

Correct: A)


Q4: If vectors vโ‚, ..., v_k span a vector space V, then:

A) Every vector in V can be written as a linear combination of vโ‚, ..., v_k B) vโ‚, ..., v_k are linearly independent C) k is the dimension of V D) The vectors are orthogonal

Correct: A)


Practice Problems

(Answers are below. Try each problem before checking.)

Problem 1: Determine whether W = {(x, y) โˆˆ R^2 : x โ‰ฅ 0} is a subspace of R^2.

Problem 2: Prove that the set of all 2ร—2 symmetric matrices is a subspace of M_{2ร—2}.

Problem 3: In R^3, does v = (4, โˆ’1, 8) belong to span{(1, 2, โˆ’1), (2, โˆ’1, 3)}?

Problem 4: Find N(A) and C(A) for A = [1 1 0; 2 1 1; 3 2 1].

Problem 5: Show that span{u, v} = span{u+v, uโˆ’v} when u, v are vectors in a vector space over F where 2 โ‰  0.

Problem 6: Determine whether the set of all polynomials p in Pโ‚ƒ satisfying p(1) = 0 is a subspace of Pโ‚ƒ.

Problem 7: Express (7, 7, 7) as a linear combination of (1, 2, 3), (3, 2, 1), and (1, 1, 1).

Answers (click to expand) **Problem 1:** W is NOT a subspace. While it contains (0, 0), it is not closed under scalar multiplication: (โˆ’1)ยท(1, 0) = (โˆ’1, 0) โˆ‰ W because โˆ’1 < 0. Geometrically, it's a closed half-plane, which is not a subspace because subspaces extend in all directions. **Problem 2:** Let S = {A โˆˆ M_{2ร—2} : A^T = A}. A symmetric 2ร—2 matrix has form [a b; b c]. Contains zero: The zero matrix [0 0; 0 0] is symmetric. โœ“ Closed under addition: If A = [a b; b c] and B = [d e; e f] are symmetric, then A+B = [a+d b+e; b+e c+f] is also symmetric (the off-diagonal entries match). โœ“ Closed under scalar multiplication: If A is symmetric, cA = [ca cb; cb cc] is symmetric. โœ“ So S is a subspace. Its dimension is 3 (basis: [1 0; 0 0], [0 1; 1 0], [0 0; 0 1]). **Problem 3:** Solve cโ‚(1, 2, โˆ’1) + cโ‚‚(2, โˆ’1, 3) = (4, โˆ’1, 8):
$cโ‚ + 2cโ‚‚ = 4
2cโ‚ โˆ’ cโ‚‚ = โˆ’1
โˆ’cโ‚ + 3cโ‚‚ = 8
$
From eq1: cโ‚ = 4 โˆ’ 2cโ‚‚. Substitute into eq2: 2(4โˆ’2cโ‚‚) โˆ’ cโ‚‚ = โˆ’1 โ†’ 8 โˆ’ 4cโ‚‚ โˆ’ cโ‚‚ = โˆ’1 โ†’ โˆ’5cโ‚‚ = โˆ’9 โ†’ cโ‚‚ = 9/5. Then cโ‚ = 4 โˆ’ 2(9/5) = 4 โˆ’ 18/5 = 2/5. Check eq3: โˆ’(2/5) + 3(9/5) = โˆ’2/5 + 27/5 = 25/5 = 5 โ‰  8. Inconsistent! So v โˆ‰ span. **Problem 4:** Row reduce A:
$[1  1  0]    Rโ‚‚-2Rโ‚    [1  1  0]    Rโ‚‚/(-1)    [1  1  0]
[2  1  1]  ---------->  [0 -1  1]  ---------->  [0  1 -1]  Rโ‚-Rโ‚‚  [1  0  1]
[3  2  1]    Rโ‚ƒ-3Rโ‚    [0 -1  1]                [0  0  0]          [0  0  0]
$
RREF: xโ‚ + xโ‚ƒ = 0, xโ‚‚ โˆ’ xโ‚ƒ = 0. Let xโ‚ƒ = t: xโ‚ = โˆ’t, xโ‚‚ = t. N(A) = {t(โˆ’1, 1, 1) : t โˆˆ R} = span{(โˆ’1, 1, 1)}. C(A) = span{columns 1 and 2 of original A} = span{(1, 2, 3)^T, (1, 1, 2)^T}. Dimension = rank(A) = 2. **Problem 5:** We need to show each set is contained in the span of the other. First, u+v โˆˆ span{u, v} (coefficients 1, 1) and uโˆ’v โˆˆ span{u, v} (coefficients 1, โˆ’1), so span{u+v, uโˆ’v} โІ span{u, v}. Conversely, u = (1/2)(u+v) + (1/2)(uโˆ’v) and v = (1/2)(u+v) โˆ’ (1/2)(uโˆ’v) โ€” but this requires 2 โ‰  0 in F (i.e., char(F) โ‰  2). Since both u and v are linear combinations of u+v and uโˆ’v, span{u, v} โІ span{u+v, uโˆ’v}. Hence span{u, v} = span{u+v, uโˆ’v}. **Problem 6:** Let W = {p โˆˆ Pโ‚ƒ : p(1) = 0}. Contains zero: The zero polynomial p(x) โ‰ก 0 satisfies p(1) = 0. โœ“ Closed under addition: If p(1) = 0 and q(1) = 0, then (p+q)(1) = p(1) + q(1) = 0 + 0 = 0. โœ“ Closed under scalar multiplication: If p(1) = 0, then (cp)(1) = cยทp(1) = cยท0 = 0. โœ“ Yes, W is a subspace (the set of polynomials with root x=1 has dimension 3 in Pโ‚ƒ). **Problem 7:** Solve a(1,2,3) + b(3,2,1) + c(1,1,1) = (7,7,7):
$a + 3b + c = 7
2a + 2b + c = 7
3a + b + c = 7
$
Subtract eq2 โˆ’ eq1: a โˆ’ b = 0 โ†’ a = b. Subtract eq3 โˆ’ eq2: a โˆ’ b = 0 โ†’ consistent with a = b. With a = b, eq1 becomes: a + 3a + c = 7 โ†’ 4a + c = 7. eq2: 2a + 2a + c = 7 โ†’ 4a + c = 7. Same equation. So c = 7 โˆ’ 4a, a free. One solution: let a = 1, then b = 1, c = 3: (1,2,3) + (3,2,1) + 3(1,1,1) = (1+3+3, 2+2+3, 3+1+3) = (7,7,7). โœ“

Summary

  1. A vector space is defined by eight axioms; verifying a set is a vector space means checking each one (unless the set is a subset of a known vector space, where the 3-condition subspace test suffices)
  2. The subspace test (contains zero, closed under addition, closed under scalar multiplication) is the primary tool for identifying subspaces โ€” a line through the origin is a subspace, a line not through the origin is not
  3. The span of a set of vectors is the vector space of ALL linear combinations; determining membership in span reduces to solving a linear system
  4. The null space N(A) = {x : Ax = 0} is a subspace of the domain R^n; the column space C(A) = {Ax : x โˆˆ R^n} is a subspace of the codomain R^m โ€” they exist in different universes
  5. Ax = b is consistent iff b โˆˆ C(A); the general solution is x_particular + N(A)

Pitfalls

  1. Forgetting to check for closure before verifying the other axioms. A set that doesn't contain the zero vector or isn't closed under addition/scalar multiplication is immediately not a vector space. Always do the subspace test (zero, closed under addition, closed under scalar multiplication) before checking the eight axioms individually.

  2. Confusing the domain and codomain when identifying N(A) and C(A). The null space N(A) is a subspace of R^n (the domain, where x lives). The column space C(A) is a subspace of R^m (the codomain, where Ax lives). They exist in different spaces with possibly different dimensions.

  3. Assuming a set is a vector space just because it's a subset of one. Subsets of vector spaces are not automatically subspaces. A line in R^2 is a subspace only if it passes through the origin. The first quadrant of R^2 is not a subspace because it fails closure under scalar multiplication by negative numbers.

  4. Misapplying the span test. Determining whether a vector w belongs to span{vโ‚, โ€ฆ, v_n} requires solving a linear system. A common error is to check only one or two equations instead of all of them. The system must be consistent for EVERY component, not just some.

  5. Confusing "span" with "basis." The span of a set of vectors is the subspace of all linear combinations. A basis is a linearly independent spanning set. An arbitrary spanning set may be redundant (dependent); converting a spanning set to a basis requires removing dependent vectors.



Next Steps

Move on to 08-02 โ€” Linear Independence and Basis to learn how to identify when vectors are independent, how to construct bases โ€” minimal spanning sets โ€” and how to define the dimension of a vector space, including coordinate representations and change-of-basis transformations.