4.5.8Linear Algebra (Full)

Systems of linear equations — matrix form Ax = b

1,740 words8 min readdifficulty · medium6 backlinks

WHAT is Ax=bAx=b?

WHY does packing into AxAx reproduce the equations? (Derive from scratch)

The product AxAx is defined so that its ii-th entry is the dot product of row ii of AA with xx:

(Ax)i  =  j=1naijxj.(Ax)_i \;=\; \sum_{j=1}^{n} a_{ij}\,x_j.

Setting (Ax)i=bi(Ax)_i = b_i for each ii literally writes out equation ii. So Ax=bAx=b is not a new rule — it is the same mm equations, compressed. That's the whole reason matrix multiplication is defined the way it is.


The THREE views (this is the gold)

Column view, derived

Split AxAx by columns. Let a(j)a_{(j)} be the jj-th column of AA. Then

Ax=[a(1)a(2)a(n)][x1xn]=x1a(1)+x2a(2)++xna(n).Ax=\begin{bmatrix} a_{(1)} & a_{(2)} & \cdots & a_{(n)}\end{bmatrix}\begin{bmatrix}x_1\\\vdots\\x_n\end{bmatrix} = x_1 a_{(1)} + x_2 a_{(2)} + \dots + x_n a_{(n)}.

Why this step? Each entry (Ax)i=jaijxj(Ax)_i=\sum_j a_{ij}x_j collects, for fixed jj, the term xjaijx_j a_{ij} — which is exactly xjx_j times the ii-th entry of column a(j)a_{(j)}. Summing over ii as a vector gives xja(j)x_j a_{(j)}.

Figure — Systems of linear equations — matrix form Ax = b

WHEN does a solution exist / is it unique?

WHY rank? Rank counts independent equations. If bb adds a new independent "direction" to the equation block (rank goes up), it's demanding something the columns can't supply → inconsistent. If equations match but there are fewer of them than unknowns, the leftover unknowns float free.

The square case (m=nm=n)


Worked examples


Common mistakes (steel-manned)


Active recall

Recall Forecast then verify

Before reading: predict the solution type of {x+y=22x+2y=5\begin{cases}x+y=2\\ 2x+2y=5\end{cases}. Verify: rank(A)=1(A)=1, rank([Ab])=2([A|b])=2no solution (inconsistent parallel lines).

Recall Feynman: explain to a 12-year-old

Imagine a recipe machine. The columns of AA are jars of ingredients. xx tells you how many scoops of each jar to use. bb is the dish you want. Solving Ax=bAx=b means finding the right number of scoops to make exactly that dish. Sometimes there's one perfect recipe (unique), sometimes many recipes work (infinite), and sometimes the dish needs an ingredient you just don't have on any shelf (no solution).


What does the ii-th entry of AxAx equal?
The dot product of row ii of AA with xx, i.e. jaijxj\sum_j a_{ij}x_j.
In the column view, what is AxAx?
A linear combination of the columns of AA with weights xjx_j: jxja(j)\sum_j x_j a_{(j)}.
When is Ax=bAx=b solvable (existence condition)?
Exactly when bCol(A)b\in\operatorname{Col}(A), i.e. rank(A)=rank([Ab])\operatorname{rank}(A)=\operatorname{rank}([A|b]).
State the Rouché–Capelli condition for a UNIQUE solution.
rank(A)=rank([Ab])=n\operatorname{rank}(A)=\operatorname{rank}([A|b])=n (number of unknowns).
For invertible square AA, what is the solution and why?
x=A1bx=A^{-1}b; left-multiply Ax=bAx=b by A1A^{-1} to get Ix=A1bIx=A^{-1}b.
General solution structure of Ax=bAx=b?
x=xp+xhx=x_p+x_h: one particular solution plus all of the null space (Axh=0Ax_h=0).
Why can a system with more equations than unknowns still be solvable?
If the extra equations are dependent (redundant), rank stays low; solvability depends on rank, not row count.
How many free parameters when rank=r<n\operatorname{rank}=r<n?
nrn-r free parameters.

Connections

Concept Map

packed into

defined by

reproduces

lens 1

lens 2

lens 3

spans

gives

intersection gives

analyzed by

determines

refined by

System of m equations n unknowns

Matrix form Ax = b

Row i dot x equals b_i

Row view: hyperplanes

Column view: combination of columns

Transformation view: x maps to Ax

Column space of A

Solvable iff b in Col A

Rouche-Capelli rank test

Unique / none / infinite

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, Ax=bAx=b ka matlab koi naya jaadu nahi hai — ye sirf bahut saari linear equations ko ek clean form me likhne ka tareeka hai. AA me coefficients aate hain, xx me unknowns, aur bb me right-hand side. Jab tum AxAx ka ii-th element nikaalte ho, wo AA ke row ii aur xx ka dot product hota hai — yaani wahi original equation. Isliye matrix multiplication aise hi define kiya gaya hai, taaki ye trick automatically kaam kare.

Sabse important baat: ek hi equation ke do views hain. Row view me har equation ek line (ya hyperplane) hai, aur solution unka intersection hai. Column view me AxAx matlab columns ka linear combination hai — xjx_j batata hai ki har column ko kitne "scoops" me milana hai taaki bb ban jaaye. Isliye solution tabhi milega jab bb, columns ke span (column space) ke andar ho. Ye column view 80/20 idea hai — isse existence ekdum clear ho jaata hai.

Solution kitne honge, ye rank decide karta hai. Agar rank(A)=rank([Ab])=n\operatorname{rank}(A) = \operatorname{rank}([A|b]) = n (unknowns), to ek unique solution. Agar dono rank equal hain par nn se kam, to infinite solutions (nrn-r free variables). Aur agar augmented matrix ka rank zyada ho gaya, matlab system inconsistent hai — koi solution nahi. Square aur invertible AA ke liye shortcut: x=A1bx=A^{-1}b, lekin yaad rakho — matrix me "divide by AA" jaisa kuch nahi hota, sirf inverse se multiply karo, aur order A1bA^{-1}b hi rahe.

Exam me sabse common galti: det\det ko har system pe lagaa dena. det\det sirf square matrix ke liye hai; non-square ke liye rank use karo. "RACE" mnemonic yaad rakho aur tum classify karne me kabhi nahi phasoge.

Go deeper — visual, from zero

Test yourself — Linear Algebra (Full)

Connections