Crucial caveat: this theorem is only for square matrices. A 3×5 matrix can have independent columns or spanning columns but never both, so the IMT does not apply.
We don't memorize 17 facts. We build a logical loop so that following the arrows proves them all equivalent. We never need a bare formula — each link has a reason.
Suppose A−1 exists and Ax=0. Multiply both sides on the left by A−1:
A−1Ax=A−10⟹Ix=0⟹x=0.Why this step? Left-multiplying by the inverse "undoes" A and isolates x. So no nonzero vector can be killed by A.
Write A=[a1a2⋯an] with columns ai. Then
Ax=x1a1+x2a2+⋯+xnan.Why this step? Matrix–vector multiplication is a linear combination of the columns weighted by entries of x. So Ax=0 means a combination of columns equals zero. "Only x=0 works" is exactly the definition of linear independence.
n independent columns means no column is a free (non-pivot) column, so all n columns are pivot columns. For an n×n matrix, n pivots fill every row and column, and the reduced row echelon form must be In.
Why this step? A free column would give a nonzero null-space vector, contradicting independence.
If A∼I, then a sequence of elementary row operations turns A into I. Each operation = multiply by an invertible elementary matrixEi:
Ek⋯E2E1A=I.
Let B=Ek⋯E1 (a product of invertibles, hence invertible). Then BA=I, so B=A−1.
Why this step? Row operations are reversible — that's why each Ei is invertible — so their product is a genuine inverse.
Loop closed:1⇒4⇒5⇒3⇒2⇒1. All five are equivalent. ✔
6 (injective) ≡4: a linear map is one-to-one iff its kernel is {0} (if Au=Av then A(u−v)=0).
7, 8, 9: "solution for every b" means every b is a column combination ⇒ columns span ⇒ map is onto. For a square matrix, n pivots simultaneously give independence and spanning — that's why injective and surjective coincide here.
13 (det=0): elementary operations scale det by nonzero factors; detI=1. So A∼I⟺detA=0.
14: detA=∏(eigenvalues), so detA=0⟺ no eigenvalue is 0. Also 0 eigenvalue means ∃x=0,Ax=0x=0 — a nonzero null vector, contradicting (4).
12 (AT): row rank = column rank, and detAT=detA.
15, 16, 17: rank =n ⟺ pivots fill columns ⟺ columns are a basis ⟺ dimNulA=0.
Imagine a machine that takes any LEGO model and rearranges its bricks into a new model. A good machine never destroys information: from the output you can always rebuild the exact input — that's an invertible machine. A bad machine sometimes squashes two different inputs into the same output, so you can't undo it. The amazing thing: there are many different ways to test whether the machine is "good," like "does it ever turn a non-empty model into nothing?", "can it produce every possible model?", "do its building rules overlap?" — and for square machines all these tests give the same yes/no answer. So you just pick the easiest test to run.
Dekho, Invertible Matrix Theorem ka asli mazaa yeh hai ki ek square matrix A ke baare mein 15-17 alag-alag sounding cheezein actually ek hi baat hain. Yaani agar matrix invertible hai, toh uska determinant non-zero hoga, rank pura n hoga, columns linearly independent honge, Ax=0 ka sirf trivial solution hoga, columns poora Rn span karenge, aur 0 uski koi eigenvalue nahi hogi. Aur agar invertible nahi hai, toh yeh saari properties ek saath fail ho jaati hain. Koi beech ka raasta nahi.
Iska practical fayda? Tumhe A−1 nikalne ki zaroorat nahi — woh mehnga kaam hai. Bas jo condition sabse aasaan ho woh check kar lo. Chhote matrix ke liye det nikaal lo; agar columns mein koi obvious dependence dikh rahi hai (jaise ek column doosre ka multiple), toh seedha bol do "not invertible". Ek hi test sab kuch bata deta hai.
Proof ka dil yeh hai ki hum ek loop banate hain: invertible ⇒ null space zero ⇒ independent columns ⇒n pivots ⇒ RREF =I⇒ wapas invertible. Yeh loop band ho gaya, matlab saare steps aapas mein equivalent. Yaad rakhna trick: Ax actually columns ka linear combination hota hai, isi liye "Ax=0 ka sirf trivial solution" aur "columns independent" exactly same baat hai.
Sabse important warning: yeh theorem sirf square matrices ke liye hai. 3×5 wale matrix par mat lagana — wahan independence aur spanning dono kabhi saath nahi aate. Toh pehle check karo matrix square hai ya nahi, phir IMT ka jaadu use karo.