4.5.12Linear Algebra (Full)

Rank of a matrix — definition, row rank = column rank theorem

1,745 words8 min readdifficulty · medium6 backlinks

WHAT is rank?

WHY define it three ways? Each face is useful in a different situation:

  • Row space tells you about equations / constraints.
  • Column space tells you what outputs AxAx are reachable.
  • Pivots give a computational way to find rank.

HOW to compute rank (worked first, theory after)


WHY does row rank = column rank? (Derivation from scratch)

Let rr = column rank of AA (m×nm\times n). We prove row rank r\le r, then by symmetry get equality.

Step 1 — pick a column basis. Let {c1,,cr}\{c_1,\dots,c_r\} be a basis of the column space. Form C=[c1    cr]C=[c_1\;\cdots\;c_r], an m×rm\times r matrix.

Why? Every column of AA is a combination of these rr vectors — that's what "basis of column space" means.

Step 2 — factor A=CRA=CR. Each column AjA_j equals CC times a coefficient vector. Stack those coefficient vectors as columns of an r×nr\times n matrix RR. Then A=CR,C:m×r,  R:r×n.A = C\,R,\qquad C:m\times r,\; R:r\times n.

Why this is the key trick? We've written AA as a product where the middle dimension is exactly the column rank rr. This factorization is forced to "leak" information about the rows too.

Step 3 — read off the rows. Row ii of AA is row ii of CC times RR: (row i of A)=(row i of C)R.(\text{row } i \text{ of } A) = (\text{row } i \text{ of } C)\,R. So every row of AA is a linear combination of the rr rows of RR.

Why does that finish it? The rows of AA live in the span of just rr vectors (the rows of RR). Therefore row rank(A)r=column rank(A).\text{row rank}(A) \le r = \text{column rank}(A).

Step 4 — symmetry. Apply the same argument to ATA^{T}. Rows of ATA^{T} are columns of AA and vice versa, so: column rank(A)=row rank(AT)column rank(AT)=row rank(A).\text{column rank}(A) = \text{row rank}(A^T) \le \text{column rank}(A^T) = \text{row rank}(A). Combining both inequalities:   row rank(A)=column rank(A)=rank(A)  \boxed{\;\text{row rank}(A) = \text{column rank}(A) = \operatorname{rank}(A)\;}

Figure — Rank of a matrix — definition, row rank = column rank theorem

Forecast-then-Verify


Common mistakes (Steel-manned)


Key bounds (derive, don't memorize)


Recall Feynman: explain to a 12-year-old

Imagine a matrix is a list of toy LEGO instructions, each row tells you how to build one thing. Some instructions are just copies or mixes of others — they don't teach you anything new. The rank is how many genuinely new instructions there are. The magic? Whether you count "new instructions" by looking at the rows OR by looking at the columns, you get the same number every single time. It's like counting people in a room by counting heads or counting pairs of shoes — you trust they match, and here they always do.


Flashcards

What are the three equivalent definitions of rank?
dim(row space) = dim(column space) = number of pivots in echelon form.
State the central theorem of rank.
Row rank = column rank for every matrix; this common value is the rank.
In the proof, what factorization is used?
A=CRA=CR where CC is m×rm\times r (column basis), RR is r×nr\times n; inner dimension rr = rank.
Why does A=CRA=CR prove row rank \le column rank?
Row ii of AA = (row ii of CCRR, so all rows are combinations of the rr rows of RR.
Why is rank invariant under row operations?
Row ops replace rows by linear combinations of rows, never changing the row space (hence its dimension).
Bound on rank of an m×nm\times n matrix?
0rank(A)min(m,n)0\le \operatorname{rank}(A)\le \min(m,n).
rank(AB)\operatorname{rank}(AB) bound?
min(rankA,rankB)\le \min(\operatorname{rank}A,\operatorname{rank}B).
Where do you get a basis of the column space from?
The ORIGINAL columns in the pivot positions (not the reduced ones).
Common false claim about rank and addition?
rank(A+B)=rankA+rankB\operatorname{rank}(A+B)=\operatorname{rank}A+\operatorname{rank}B is FALSE; only \le holds.
Rank–nullity statement?
rank(A)+dimker(A)=n\operatorname{rank}(A)+\dim\ker(A)=n (number of columns).

Connections

Concept Map

maps vectors

measured by

face 1

face 2

face 3

about constraints

about reachable outputs

found via

preserves

pivot columns give basis of

central theorem

central theorem

proved via

rows of A combine r rows of R

Matrix A m x n

Output dimension

Rank of A

Row rank = dim row space

Column rank = dim column space

Number of pivots

Equations

Image of Ax

Gaussian elimination

Row rank = Column rank

Factorization A = C R

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, rank ka matlab simple hai: matrix ek transformation machine hai, aur rank batata hai ki output mein kitni genuinely independent directions bachti hain. Agar do rows ya columns ek doosre ke multiple hain, toh woh koi nayi information nahi dete — unhe count nahi karte. Rank nikaalne ka aasaan tareeka: matrix ko row echelon form mein le jao aur pivots gino. Jitne pivots, utna rank.

Ab sabse khoobsurat baat — row rank = column rank hamesha. Yeh coincidence nahi, ek deep theorem hai. Proof ka dil hai factorization A=CRA = CR, jahan CC ke columns column space ka basis hain (size m×rm\times r) aur RR ki rows independent (size r×nr\times n). Jaise hi humne yeh likha, har row of AA automatically RR ki rr rows ka combination ban jaati hai — matlab row rank bhi rr se zyada nahi ho sakti. Phir same cheez ATA^T pe lagao, aur dono inequalities milke equality de deti hain.

Common galti: log original matrix ki non-zero rows gin lete hain. Galat! Non-zero rows bhi dependent ho sakti hain — echelon form mein laao tabhi sahi count milega. Doosri galti: column space ka basis reduced matrix se uthaana — nahi, pivot positions dekho aur original matrix ke wahi columns lo.

Yeh topic kyun important hai? Rank batata hai system of equations ka solution unique hai, infinite hai ya nahi (rank-nullity), aur square matrix invertible hai ki nahi (full rank ⇔ invertible). Poore Linear Algebra ka backbone hai bhai.

Go deeper — visual, from zero

Test yourself — Linear Algebra (Full)

Connections