Math graphic
šŸ“ Concept diagram

08-02 — Linear Independence and Basis

Phase: 8 — Linear Algebra (Rigorous) Subject: 08-02 Prerequisites: 08-01 — Vector Spaces Next subject: 08-03 — Linear Transformations


Learning Objectives

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

  1. Distinguish between linearly independent and linearly dependent sets using the definition and the determinant test (for square systems)
  2. Define a basis, prove a set is a basis using the spanning + independence criteria, and compute the dimension of a vector space
  3. Express vectors in coordinates relative to a given basis and relate different coordinate representations via change-of-basis matrices
  4. Apply basis concepts to concrete spaces: find bases for N(A), C(A), and polynomial spaces
  5. Prove fundamental facts: every linearly independent set extends to a basis, every spanning set contains a basis, and all bases of a finite-dimensional space have the same size

Core Content

1. Linear Independence and Dependence

CRITICAL — Foundational: Linear independence is the most important concept in linear algebra. The test is simple — $c₁v₁ + ... + c_n v_n = 0 ⇒ all c_i = 0$ — but applying it correctly across different spaces (polynomials, functions, matrices) takes practice.

Definition: A set of vectors {v₁, vā‚‚, ..., v_n} in a vector space V is linearly independent if the equation

$c₁v₁ + cā‚‚vā‚‚ + ... + c_n v_n = 0
$

has ONLY the trivial solution c₁ = cā‚‚ = ... = c_n = 0.

The set is linearly dependent if there exist scalars, NOT ALL ZERO, such that the linear combination equals the zero vector.

Equivalent characterizations: - Dependent iff at least one vector in the set is a linear combination of the others - A set containing the zero vector is ALWAYS dependent (take c₁ = 1 for the zero vector, all others 0) - A set of one vector {v} is independent iff v ≠ 0

Geometric intuition (R^n): - 1 vector: independent if nonzero → spans a line - 2 vectors: independent if not collinear → span a plane - 3 vectors: independent if not coplanar → span R^3 - m > n vectors in R^n: ALWAYS dependent (more on this with dimension)

Testing independence (computational approach):

Form a matrix A whose columns are the vectors. Solve Ac = 0: - If the only solution is c = 0, the columns are independent - If nontrivial solutions exist, the columns are dependent (each free variable gives a dependence relation)

Example: Test {(1, 2, 3), (4, 5, 6), (7, 8, 9)} in R^3.

$[1  4  7] [c₁]   [0]
[2  5  8] [cā‚‚] = [0]
[3  6  9] [cā‚ƒ]   [0]
$

Row reduce: Rā‚‚āˆ’2R₁, Rā‚ƒāˆ’3R₁:

$[1  4  7]           [1   4   7]
[0 -3 -6]  Rā‚ƒ/Rā‚‚   [0   1   2]
[0 -6 -12]          [0   0   0]
$

Free variable cā‚ƒ = t → cā‚‚ = āˆ’2t, c₁ = āˆ’4cā‚‚ āˆ’ 7cā‚ƒ = 8t āˆ’ 7t = t. So (t, āˆ’2t, t) is a nontrivial solution for any t ≠ 0. The set is dependent. Indeed, vā‚ƒ = v₁ + vā‚‚.

Theorem: In R^n, a set of n vectors is independent iff det(A) ≠ 0, where A has them as columns.

2. Basis

Definition: A set B = {b₁, bā‚‚, ..., b_n} is a basis for a vector space V if: 1. B spans V: span(B) = V (every v ∈ V is a linear combination of the bįµ¢) 2. B is linearly independent

Key property of a basis (unique representation): Every v ∈ V can be expressed UNIQUELY as v = c₁b₁ + ... + c_n b_n. The scalars (c₁, ..., c_n) are the coordinates of v relative to B, written [v]_B.

Proof of uniqueness: If v = Ī£cįµ¢bįµ¢ = Ī£dįµ¢bįµ¢, then Ī£(cįµ¢āˆ’dįµ¢)bįµ¢ = 0. By independence, all cįµ¢āˆ’dįµ¢ = 0, so cįµ¢ = dįµ¢. āˆŽ

Standard bases: - R^n: e₁ = (1,0,...,0), eā‚‚ = (0,1,0,...,0), ..., e_n = (0,...,0,1) — the standard basis - P_n: {1, x, x², ..., x^n} — the monomial basis - M_{2Ɨ2}: {[1 0; 0 0], [0 1; 0 0], [0 0; 1 0], [0 0; 0 1]}

Non-standard basis example for R^2: B = {(1, 1), (1, āˆ’1)}. - Independence: c₁(1,1) + cā‚‚(1,āˆ’1) = (0,0) → (c₁+cā‚‚, cā‚āˆ’cā‚‚) = (0,0) → c₁ = cā‚‚ = 0 āœ“ - Spanning: For any (a, b), solve c₁(1,1) + cā‚‚(1,āˆ’1) = (a,b) → c₁ = (a+b)/2, cā‚‚ = (aāˆ’b)/2 āœ“

So [v]_B = ((a+b)/2, (aāˆ’b)/2) for v = (a, b).

3. Dimension

Theorem: If a vector space V has a finite basis, then ALL bases of V have the same number of vectors.

Common Pitfall: Students confuse 'a basis' (any set satisfying spanning + independence) with 'the standard basis' (the familiar one). There are infinitely many bases — the standard basis is just one choice.

Definition: The dimension of V, denoted dim(V), is the number of vectors in any basis. V is finite-dimensional if it has a finite basis.

Key facts: - dim(R^n) = n - dim(P_n) = n + 1 - dim(M_{mƗn}) = mn - dim({0}) = 0 (the empty set is a basis)

Theorems about dimension: 1. If V is finite-dimensional with dim(V) = n, then any independent set has ≤ n vectors, and any spanning set has ≄ n vectors 2. Any independent set of n vectors in V is automatically a basis 3. Any spanning set of n vectors in V is automatically a basis 4. Every independent set can be extended to a basis 5. Every spanning set can be reduced to a basis

4. Bases for Fundamental Subspaces

Basis for N(A): From RREF, assign each free variable to be 1 in turn (and all others 0), solve for pivot variables. These vectors form a basis. Size = n āˆ’ rank(A).

Basis for C(A): The pivot columns of the ORIGINAL matrix A (not the RREF) form a basis. Size = rank(A).

Example: A = [1 2 1; 2 4 3]

RREF: [1  2  0]
      [0  0  1]

Cols 1 and 3 are pivot columns → basis of C(A): {(1,2)^T, (1,3)^T}. Free variable xā‚‚ = t → x₁ = āˆ’2t, xā‚ƒ = 0 → basis of N(A): {(āˆ’2, 1, 0)}.

5. Change of Basis

Given two bases B = {b₁, ..., b_n} and C = {c₁, ..., c_n} of V, the change-of-basis matrix P_{C←B} maps coordinates relative to B to coordinates relative to C:

$[v]_C = P_{C←B} [v]_B
$

Construction: The i-th column of P_{C←B} is [b_i]_C — the coordinates of the i-th basis vector of B expressed in C.

Properties: - P_{B←B} = I (the identity) - P_{B←C} = (P_{C←B})⁻¹ - P_{D←B} = P_{D←C} P_{C←B} (chain rule)

Example (R^2): B = {(1, 1), (1, āˆ’1)}, C = standard basis {e₁, eā‚‚}.

P_{C←B}: column 1 = [(1,1)]_C = (1,1), column 2 = [(1,āˆ’1)]_C = (1,āˆ’1).

$P_{C←B} = [1   1]
           [1  -1]
$

If [v]B = (3, 1), then [v]_C = P{C←B} [v]_B = [1 1; 1 āˆ’1][3; 1] = (4, 2). Indeed, 3(1,1) + 1(1,āˆ’1) = (4,2). āœ“

Common misconception: The change-of-basis matrix does NOT change the vector; it changes the coordinate REPRESENTATION of the same vector. The vector v = (4, 2) is the same point in R^2 regardless of basis.



Key Terms

Worked Examples

Example 1: Testing Independence in Pā‚‚

Problem: Are p₁(x) = 1 + x, pā‚‚(x) = 1 āˆ’ x, pā‚ƒ(x) = x² linearly independent in Pā‚‚?

Solution: Check c₁(1+x) + cā‚‚(1āˆ’x) + cā‚ƒ(x²) = 0 (the zero polynomial).

Expand: (c₁ + cā‚‚) + (c₁ āˆ’ cā‚‚)x + cā‚ƒ x² = 0 + 0x + 0x².

Equate coefficients:

$c₁ + cā‚‚ = 0     (constant term)
c₁ āˆ’ cā‚‚ = 0     (x term)
cā‚ƒ = 0          (x² term)
$

From equations 1 and 2: c₁ + cā‚‚ = 0 and c₁ āˆ’ cā‚‚ = 0 → add: 2c₁ = 0 → c₁ = 0 → cā‚‚ = 0. So c₁ = cā‚‚ = cā‚ƒ = 0. The set is linearly independent.

Since dim(Pā‚‚) = 3 and we have 3 independent vectors, {1+x, 1āˆ’x, x²} is a basis for Pā‚‚!

Example 2: Extending to a Basis

Problem: Extend {(1, 2, 1)} to a basis of R^3.

Solution: dim(R^3) = 3, so we need 2 more independent vectors. We add standard basis vectors and discard any that become dependent.

Start with B = {(1, 2, 1)}.

Try e₁ = (1, 0, 0): Are (1,2,1) and (1,0,0) independent? Yes — they're not scalar multiples. Add e₁: B = {(1,2,1), (1,0,0)}.

Try eā‚‚ = (0, 1, 0): Check if (0,1,0) is in span{(1,2,1), (1,0,0)}. Solve:

$a(1,2,1) + b(1,0,0) = (0,1,0)
→ (a+b, 2a, a) = (0,1,0)
→ a = 0, b = 0, but 2a = 0 ≠ 1. No solution. Independent!
$

So B = {(1,2,1), (1,0,0), (0,1,0)} is a basis of R^3.

The determinant check: |1 1 0; 2 0 1; 1 0 0| = 1(0āˆ’0) āˆ’ 1(0āˆ’1) + 0 = 1 ≠ 0. āœ“

Example 3: Coordinates and Change of Basis

Problem: In R^2, B = {(2, 1), (1, 1)} and C = {(1, 2), (2, 1)}. Find the change-of-basis matrix P_{C←B}.

Solution:

Step 1: Find [b₁]_C = coordinates of (2, 1) in C. Solve α(1,2) + β(2,1) = (2,1):

$α + 2β = 2
2α + β = 1
$

From eq2: β = 1 āˆ’ 2α. Substitute into eq1: α + 2(1āˆ’2α) = 2 → α + 2 āˆ’ 4α = 2 → āˆ’3α = 0 → α = 0, β = 1. So [b₁]_C = (0, 1).

Step 2: Find [bā‚‚]_C = coordinates of (1, 1) in C. Solve α(1,2) + β(2,1) = (1,1):

$α + 2β = 1
2α + β = 1
$

From eq1: α = 1 āˆ’ 2β. Substitute: 2(1āˆ’2β) + β = 1 → 2 āˆ’ 4β + β = 1 → āˆ’3β = āˆ’1 → β = 1/3, α = 1 āˆ’ 2/3 = 1/3. So [bā‚‚]_C = (1/3, 1/3).

Step 3: Assemble:

$P_{C←B} = [[b₁]_C  [bā‚‚]_C] = [0   1/3]
                              [1   1/3]
$

Verification: For v = (2,1) = 1Ā·b₁ + 0Ā·bā‚‚: [v]B = (1, 0). Then [v]_C = P{C←B} (1,0)^T = (0, 1). Indeed, (2,1) = 0Ā·(1,2) + 1Ā·(2,1) = (2,1). āœ“

Example 4: Finding a Basis for N(A) from RREF

Problem: Find a basis for N(A) where A = [1 3 0 2; 0 0 1 4; 0 0 0 0].

Solution: A is already in RREF. Pivot columns: 1 and 3. Free variables: xā‚‚, xā‚„.

$x₁ + 3xā‚‚ + 0xā‚ƒ + 2xā‚„ = 0  →  x₁ = āˆ’3xā‚‚ āˆ’ 2xā‚„
0x₁ + 0xā‚‚ + xā‚ƒ + 4xā‚„ = 0  →  xā‚ƒ = āˆ’4xā‚„
$

Set (xā‚‚, xā‚„) = (1, 0): x = (āˆ’3, 1, 0, 0) → basis vector v₁. Set (xā‚‚, xā‚„) = (0, 1): x = (āˆ’2, 0, āˆ’4, 1) → basis vector vā‚‚.

Basis for N(A): {(āˆ’3, 1, 0, 0), (āˆ’2, 0, āˆ’4, 1)}. dim(N(A)) = 2 = 4 āˆ’ rank(A) = 4 āˆ’ 2. āœ“

Quiz

Q1: A set of vectors {v₁, ..., v_k} is linearly independent if:

A) None of the vectors is the zero vector B) The only solution to c₁v₁ + ... + c_k v_k = 0 is c₁ = ... = c_k = 0 C) The vectors are all orthogonal to each other D) The vectors span the space

Correct: B)


Q2: A basis of a vector space V is a set of vectors that is:

A) Orthogonal B) Both linearly independent and spanning C) Linearly dependent but spanning D) Any collection of dim(V) vectors

Correct: B)


Q3: The dimension of a vector space is:

A) The number of vectors in any set B) The number of vectors in any spanning set C) The number of vectors in any basis D) Always infinite

Correct: C)


Q4: If {v₁, vā‚‚, vā‚ƒ} is a basis of V, then any vector w ∈ V can be expressed as:

A) w = v₁ + vā‚‚ + vā‚ƒ only B) w = c₁v₁ + cā‚‚vā‚‚ + cā‚ƒvā‚ƒ for unique scalars c₁, cā‚‚, cā‚ƒ C) w = c₁v₁ only D) w cannot be expressed as a combination

Correct: B)


Q5: The standard basis of R³ is:

A) {(1, 0, 0), (0, 1, 0), (0, 0, 1)} B) {(1, 1, 1), (0, 1, 1), (0, 0, 1)} C) {(1, 0, 0), (0, 2, 0), (0, 0, 3)} D) Any three orthogonal vectors

Correct: A)


Q6: If a set of 5 vectors spans a 3-dimensional space, what must be true?

A) The vectors form a basis B) The vectors are linearly independent C) At least 2 vectors are redundant (the set is linearly dependent) D) The dimension must be at least 5

Correct: C)


Practice Problems

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

Problem 1: Determine whether {(1, 2, 3), (4, 5, 6), (7, 8, 9)} is independent in R^3. If dependent, find the dependence relation.

Problem 2: Show that B = {1+x, 1āˆ’x, x²} is a basis for Pā‚‚ by proving it is both independent and spanning.

Problem 3: In R^3, let fan = {(1, 2, 1), (2, 1, āˆ’1)}. Is this a basis for R^3? If not, why not? Extend it to a basis.

Problem 4: Find [v]_B for v = (5, 7) and B = {(1, 1), (2, 3)}.

Problem 5: Given bases B = {e₁, eā‚‚} (standard) and C = {(1, 1), (1, āˆ’1)} for R^2, compute P_{C←B} and P_{B←C}, then verify they are inverses.

Problem 6: Determine whether {sin x, cos x, sin(2x)} is linearly independent in C[0, 2Ļ€] (continuous functions on [0, 2Ļ€]).

Problem 7: Find a basis for the column space of A = [1 2 3 4; 2 4 6 8; 1 1 1 1].

Answers (click to expand) **Problem 1:** From earlier: (7,8,9) = 1Ā·(1,2,3) + 1Ā·(4,5,6), so (1,2,3) + (4,5,6) āˆ’ (7,8,9) = (0,0,0). The set is dependent. Verifying with determinant: |1 4 7; 2 5 8; 3 6 9| = 0. **Problem 2:** Independence: c₁(1+x) + cā‚‚(1āˆ’x) + cā‚ƒ(x²) = 0 → (c₁+cā‚‚) + (cā‚āˆ’cā‚‚)x + cā‚ƒx² = 0 → c₁+cā‚‚ = 0, cā‚āˆ’cā‚‚ = 0, cā‚ƒ = 0 → c₁ = cā‚‚ = cā‚ƒ = 0. āœ“ Spanning: For any p(x) = ax² + bx + c, we need coefficients α, β, γ: α(1+x) + β(1āˆ’x) + γ(x²) = ax² + bx + c → γ = a, α+β = c, Ī±āˆ’Ī² = b. Solve: α = (b+c)/2, β = (cāˆ’b)/2. These always exist over R. āœ“ **Problem 3:** Only 2 vectors; dim(R^3) = 3, so any basis must have 3 vectors. This set can be extended. Add eā‚ƒ = (0,0,1): check if (0,0,1) ∈ span{(1,2,1), (2,1,āˆ’1)}. Solve a(1,2,1) + b(2,1,āˆ’1) = (0,0,1): a+2b=0, 2a+b=0, aāˆ’b=1. From first two: a=āˆ’2b, āˆ’4b+b=0 → āˆ’3b=0 → b=0 → a=0. But 0āˆ’0=0≠1. So independent. Basis: {(1,2,1), (2,1,āˆ’1), (0,0,1)}. **Problem 4:** Solve α(1,1) + β(2,3) = (5,7): α + 2β = 5 α + 3β = 7 Subtract: β = 2, α = 5 āˆ’ 4 = 1. So [v]_B = (1, 2). Check: 1Ā·(1,1) + 2Ā·(2,3) = (1+4, 1+6) = (5,7). āœ“ **Problem 5:** B is standard, so [v]_B = v itself. P_{C←B}: Column i is [(e_i)]_C. For e₁ = (1,0): solve α(1,1) + β(1,āˆ’1) = (1,0) → α+β=1, Ī±āˆ’Ī²=0 → α=β=1/2. So [(1,0)]_C = (1/2, 1/2). For eā‚‚ = (0,1): α+β=0, Ī±āˆ’Ī²=1 → α=1/2, β=āˆ’1/2. So [(0,1)]_C = (1/2, āˆ’1/2).
$P_{C←B} = [1/2   1/2]
           [1/2  -1/2]
$
P_{B←C}: Column i is [(c_i)]_B. But c_i are already in standard coordinates, so columns are just c_i:
$P_{B←C} = [1   1]
           [1  -1]
$
Check: P_{C←B} Ā· P_{B←C} = [1/2 1/2; 1/2 āˆ’1/2] [1 1; 1 āˆ’1] = [1 0; 0 1] = I. āœ“ **Problem 6:** Suppose a sin x + b cos x + c sin(2x) = 0 for all x ∈ [0, 2Ļ€]. Evaluate at x = 0: b = 0. So a sin x + c sin(2x) = a sin x + 2c sin x cos x = sin x(a + 2c cos x) = 0 for all x. For x where sin x ≠ 0, we need a + 2c cos x = 0. But this must hold for multiple x values, which forces a = c = 0 (otherwise it's an equation with finitely many solutions). So the set is independent. Alternatively: These are orthogonal under the inner product āˆ«ā‚€^{2Ļ€} f(x)g(x)dx, and orthogonal nonzero vectors are independent. **Problem 7:** Row reduce A:
$[1 2 3 4]           [1 2 3  4]           [1 2 0 -2]
[2 4 6 8]  Rā‚‚-2R₁  [0 0 0  0]  R₁-3Rā‚ƒ  [0 0 0  0]
[1 1 1 1]  Rā‚ƒ-R₁   [0 -1 -2 -3]           [0 1 2  3]
$
Pivot columns: 1 and 2. Basis of C(A): {(1,2,1)^T, (2,4,1)^T}. These are columns 1 and 2 of the original A.

Summary

  1. A set is linearly independent if the only linear combination yielding zero is trivial; geometrically, no vector is in the span of the others — at most n vectors in R^n can be independent
  2. A basis is a minimal spanning set (equivalently, a maximal independent set); every v ∈ V has unique coordinates relative to a basis, enabling us to identify any n-dimensional vector space with R^n
  3. ALL bases of a finite-dimensional vector space have the same size, which defines dim(V); this ties together all the structural properties of the space
  4. RREF gives bases for N(A) and C(A) algorithmically: N(A) from free variables, C(A) from pivot columns of the original matrix
  5. Change-of-basis matrices convert coordinate vectors between bases; P_{C←B} has columns [bįµ¢]C, and P{B←C} = P_{C←B}⁻¹

Pitfalls

  1. Confusing linear independence with "no vector is a scalar multiple of another." This test only works for sets of two vectors. For three or more vectors, independence means NO nontrivial linear combination yields zero — pairs may be independent while the whole set is dependent (e.g., (1,0,0), (0,1,0), (1,1,0)).

  2. Thinking any spanning set of n vectors in an n-dimensional space is automatically a basis. This is true ONLY if the vectors are also independent. A set of n vectors that spans an n-dimensional space IS automatically a basis (and therefore independent), but you should verify spanning — not just count vectors.

  3. Using pivot columns from the RREF instead of the original matrix for C(A). The column space basis comes from the pivot columns of the ORIGINAL matrix A, not the RREF. Row operations preserve the null space but change the column space. Using RREF columns for C(A) is a classic error.

  4. Forgetting that change-of-basis matrices act on coordinates, not vectors. P_{C←B} converts [v]B to [v]_C — it operates on coordinate vectors relative to B, not on the vector v itself. Multiplying P{C←B} by v (instead of [v]_B) gives a meaningless result.

  5. Assuming a set of more than n vectors in R^n must be a spanning set. More than n vectors in R^n are always linearly dependent, but they may or may not span R^n. For example, three vectors all lying in the same plane in R^3 are dependent but do NOT span R^3.



Next Steps

Move on to 08-03 — Linear Transformations to learn the formal definition of linear transformations, their properties (kernel, range, injectivity, surjectivity), matrix representations, and how they compose and invert — the core machinery connecting vector spaces.