LINEAR-ALGEBRA Β· Unit 8 Β· Video 2 Β· Interactive Practice

Every Solution at Once: The Complete Solution to Ax = b

IKey Formulas

Formula Name Description
x=xp+xn\mathbf{x} = \mathbf{x}_p + \mathbf{x}_n Complete solution Particular solution + null space vector
Axp=bA\mathbf{x}_p = \mathbf{b} Particular solution Found by setting all free variables to 0
xn=c1xs1+c2xs2+β‹―\mathbf{x}_n = c_1\mathbf{x}_{s1} + c_2\mathbf{x}_{s2} + \cdots Null space component Linear combination of null space basis vectors
#Β freeΒ variables=nβˆ’rank(A)\text{\# free variables} = n - \text{rank}(A) Dimension of null space nn = number of columns

IIVisualization 1 β€” Assembling the Complete Solution

As c1c_1 and c2c_2 sweep every value, does AxA\mathbf{x} ever leave b\mathbf{b}?

πŸ’‘ With xp=(βˆ’2,0,32,0)\mathbf{x}_p = (-2, 0, \tfrac{3}{2}, 0) and null basis s1=(βˆ’2,1,0,0),Β s2=(2,0,βˆ’2,1)\mathbf{s}_1 = (-2, 1, 0, 0),\ \mathbf{s}_2 = (2, 0, -2, 1), each Asi=0A\mathbf{s}_i = \mathbf{0}, so adding any c1s1+c2s2c_1\mathbf{s}_1 + c_2\mathbf{s}_2 moves x\mathbf{x} but never AxA\mathbf{x}.

IIIVisualization 2 β€” Shifting the Null Space

The solution set of x1+2x2=4x_1 + 2x_2 = 4 is the null-space line lifted off the origin β€” by how much?

πŸ’‘ The fully shifted line is an affine subspace (a "flat"): same direction and dimension as N(A)N(A), but because it misses the origin when bβ‰ 0\mathbf{b} \neq \mathbf{0} it is not a subspace.

IVVisualization 3 β€” Existence vs Uniqueness

Two independent switches β€” does a solution exist, and is it unique β€” decide the entire solution structure.

πŸ’‘ The column space governs existence; the null space governs uniqueness β€” two independent tests, and only when both pass is the solution a single point.

VQuiz Questions

Question 1

The video's system row-reduces to echelon form: [122200240000][x1x2x3x4]=[130]\begin{bmatrix} 1 & 2 & 2 & 2 \\ 0 & 0 & 2 & 4 \\ 0 & 0 & 0 & 0 \end{bmatrix} \begin{bmatrix} x_1 \\ x_2 \\ x_3 \\ x_4 \end{bmatrix} = \begin{bmatrix} 1 \\ 3 \\ 0 \end{bmatrix}

Using the "set free variables to zero" recipe, what is the particular solution xp\mathbf{x}_p?

βœ… Correct! Set free variables (x2,x4x_2, x_4) to zero, then back-substitute to get x3=3/2x_3 = 3/2 and x1=βˆ’2x_1 = -2.

❌ Not quite. Remember: the recipe sets all free variables (columns without pivots) to zero first, then solves for pivot variables by back-substitution.

Show solution

Solution:

Step 1: Identify free variables. Pivots are in columns 1 and 3, so x2x_2 and x4x_4 are free.

Step 2: Set free variables to zero: x2=0x_2 = 0, x4=0x_4 = 0.

Step 3: Back-substitute from the bottom row up.

From row 2: β€…β€Š2x3+4(0)=3β€…β€ŠβŸΉβ€…β€Š2x3=3β€…β€ŠβŸΉβ€…β€Šx3=32\;2x_3 + 4(0) = 3 \implies 2x_3 = 3 \implies x_3 = \frac{3}{2}

From row 1: β€…β€Šx1+2(0)+2 ⁣(32)+2(0)=1β€…β€ŠβŸΉβ€…β€Šx1+3=1β€…β€ŠβŸΉβ€…β€Šx1=βˆ’2\;x_1 + 2(0) + 2\!\left(\frac{3}{2}\right) + 2(0) = 1 \implies x_1 + 3 = 1 \implies x_1 = -2

xp=(βˆ’203/20)\mathbf{x}_p = \begin{pmatrix} -2 \\ 0 \\ 3/2 \\ 0 \end{pmatrix}

Question 2

True or False: When b≠0\mathbf{b} \neq \mathbf{0}, the solution set of Ax=bA\mathbf{x} = \mathbf{b} is a subspace of Rn\mathbb{R}^n.

βœ… Correct! The zero vector doesn't satisfy Ax=bA\mathbf{x} = \mathbf{b} when bβ‰ 0\mathbf{b} \neq \mathbf{0}, so the solution set is NOT a subspace β€” it's an affine subspace.

❌ Not quite. Does the zero vector satisfy Ax=bA\mathbf{x} = \mathbf{b} when bβ‰ 0\mathbf{b} \neq \mathbf{0}? Every subspace must contain 0\mathbf{0}.

Show solution

Solution: False

A subspace must contain the zero vector 0\mathbf{0}. But when b≠0\mathbf{b} \neq \mathbf{0}:

A0=0β‰ bA\mathbf{0} = \mathbf{0} \neq \mathbf{b}

So 0\mathbf{0} is not in the solution set β€” it fails the most basic subspace test.

The solution set is an affine subspace (or "flat"): it has the same shape and dimension as the null space, but it is translated away from the origin by xp\mathbf{x}_p. A flat is only a subspace when it passes through the origin (i.e., when b=0\mathbf{b} = \mathbf{0}).

Question 3

A 4Γ—74 \times 7 matrix AA has rank 3 (three pivot columns). Assuming the system Ax=bA\mathbf{x} = \mathbf{b} is consistent, what is the dimension of the solution set?

βœ… Correct! With 7 columns and rank 3, there are 7βˆ’3=47 - 3 = 4 free variables, so the solution set is 4-dimensional.

❌ Not quite. The dimension equals the number of free variables: (number of columns) βˆ’ (rank). Try again!

Show solution

Solution: 4

Step 1: Count unknowns. The matrix has 7 columns, so there are 7 unknowns.

Step 2: Count free variables. freeΒ variables=nβˆ’rank(A)=7βˆ’3=4\text{free variables} = n - \text{rank}(A) = 7 - 3 = 4

Step 3: Each free variable contributes one basis vector to the null space. dim⁑(N(A))=4\dim(N(A)) = 4

Step 4: The solution set is xp\mathbf{x}_p + (4-dimensional null space), which is a 4-dimensional flat (affine subspace) in R7\mathbb{R}^7.

The dimension of the solution set always equals the number of free variables.

Question 4

Which pair of conditions guarantees that Ax=bA\mathbf{x} = \mathbf{b} has exactly one solution?

βœ… Correct! Existence needs b∈C(A)\mathbf{b} \in C(A); uniqueness needs a trivial null space. Together they guarantee exactly one solution.

❌ Not quite. Remember: the column space governs existence and the null space governs uniqueness. You need both conditions for exactly one solution.

Show solution

Solution: b in C(A) and N(A) = {0}

For exactly one solution, both conditions must hold simultaneously:

Column Space Check Null Space Check Result
b∈C(A)\mathbf{b} \in C(A) and N(A)={0}N(A) = \{\mathbf{0}\} βœ… Exists βœ… Unique Exactly one
b∈C(A)\mathbf{b} \in C(A) and N(A)β‰ {0}N(A) \neq \{\mathbf{0}\} βœ… Exists ❌ Not unique Infinitely many
bβˆ‰C(A)\mathbf{b} \notin C(A) ❌ Doesn't exist Irrelevant No solution
  • Existence requires b∈C(A)\mathbf{b} \in C(A) β€” otherwise there's no xp\mathbf{x}_p at all.
  • Uniqueness requires N(A)={0}N(A) = \{\mathbf{0}\} β€” so the complete solution x=xp+xn\mathbf{x} = \mathbf{x}_p + \mathbf{x}_n reduces to just x=xp\mathbf{x} = \mathbf{x}_p.

Both conditions are needed; neither alone is sufficient.

Solved: 0 / 4