LINEAR-ALGEBRA

Why Only Perfect Squares Can Be Truly Inverted

IKey Formulas

For an m×nm \times n matrix AA with rank rr:

Condition Matrix Shape Type of Inverse The Invertible Piece
r=m=nr = m = n Square, full rank Two-sided inverse A1A^{-1} AA itself
r=n<mr = n < m Tall, full column rank Left-inverse (ATA)1AT(A^TA)^{-1}A^T ATAA^TA (n×nn\times n)
r=m<nr = m < n Wide, full row rank Right-inverse AT(AAT)1A^T(AA^T)^{-1} AATAA^T (m×mm\times m)
r<m,nr < m,\,n General Pseudo-inverse A+A^{+} via SVD

Dimensions of the four subspaces:

Row space =r= r, Null space =nr= n - r, Column space =r= r, Left null space =mr= m - r

IIVisualization 1 — Rank and the Four Subspaces

How the rank rr splits Rn\mathbb{R}^n and Rm\mathbb{R}^m into four subspaces — and which inverse that permits.

💡 A true two-sided inverse needs both red regions (nrn-r and mrm-r) to vanish — that happens only when r=m=nr = m = n.

IIIVisualization 2 — What the Map Crushes and Misses

AA sends the row space one-to-one onto the column space; the null space collapses to 00.

IVVisualization 3 — Which Gram Matrix Is Invertible?

For a tall AA, ATAA^TA is invertible while AATAA^T is singular — the smaller Gram matrix wins.

💡 The invertible Gram matrix is always the smaller r×rr \times r one — it builds the one-sided inverse, never AA itself.

VQuiz Questions

Question 1

A matrix AA is 4×44 \times 4 with rank r=4r = 4. Which statement is true?

Correct! Square (m=nm=n) and full rank (r=m=nr=m=n) is exactly the condition for a true inverse.

Not quite. When r=m=nr = m = n, both null spaces are trivial, so a full two-sided inverse exists.

Show solution

Solution:

Here m=n=4m = n = 4 and r=4r = 4, so r=m=nr = m = n. This is Case 1: the matrix is square and full rank. Both the null space (dim=nr=0\dim = n - r = 0) and the left null space (dim=mr=0\dim = m - r = 0) collapse to {0}\{0\}.

With nothing crushed and nothing missed, the map is a perfect bijection, and a genuine two-sided inverse A1A^{-1} exists.

Question 2

Let AA be a tall 5×35 \times 3 matrix with full column rank r=3r = 3. Which matrix is the small invertible one used to build the left-inverse?

Correct! For a tall matrix, ATAA^TA is the small n×nn\times n invertible matrix.

Not quite. For a tall matrix the invertible piece is the smaller ATAA^TA (n×nn\times n), not AATAA^T.

Show solution

Solution:

A tall matrix with r=nr = n has a trivial null space (injective) but a nontrivial left null space, so only a left-inverse exists: Aleft+=(ATA)1AT,(ATA)1ATA=I.A^{+}_{\text{left}} = (A^TA)^{-1}A^T, \qquad (A^TA)^{-1}A^T \cdot A = I.

The actually invertible piece is ATAA^TA, which is n×n=3×3n \times n = 3 \times 3. By contrast AATAA^T is 5×55 \times 5 but has rank only 33, so it is singular. The invertible Gram matrix is always the smaller r×rr \times r one.

Question 3

True or False: Every square matrix has a two-sided inverse.

Correct! A square matrix needs full rank (r=m=nr = m = n); dependent rows leave a nontrivial null space.

Not quite. A square matrix with dependent rows has a null space and therefore no inverse.

Show solution

Solution:

This is False. Being square (m=nm = n) is necessary but not sufficient. The matrix also needs full rank: r=m=nr = m = n.

A square matrix with dependent rows has r<nr < n, which means its null space is nontrivial (dim=nr>0\dim = n - r > 0). Some inputs are crushed to zero, information is lost, and no inverse can recover them. Square alone is not enough — you need r=m=nr = m = n.

Question 4

A matrix AA has rank rr strictly less than both mm and nn. What is the correct statement about inverting it?

Correct! With both null spaces nontrivial, only the SVD-based pseudo-inverse A+A^+ remains.

Not quite. If r<m,nr < m,n both null spaces are nontrivial, so no clean inverse exists — only A+A^+.

Show solution

Solution:

When r<mr < m and r<nr < n, both null spaces are nontrivial:

  • Null space has dimension nr>0n - r > 0: information is destroyed on the input side.
  • Left null space has dimension mr>0m - r > 0: some outputs are never reached.

No one-sided inverse can fix both problems. The best available repair is the pseudo-inverse A+A^{+}, built from the singular value decomposition (SVD). Remember: a one-sided inverse is not a real inverse — it works on only one side and relies on a smaller invertible matrix, never AA itself.

Solved: 0 / 4