Skip to main content

Pseudoinverse Geometry Lab

Too many equations, too many unknowns, and what A⁺ actually chooses. The pseudoinverse finds the closest reachable output, then chooses the simplest input that reaches it.

Closest valid output. Smallest valid input.

The Moore-Penrose pseudoinverse is the minimum-norm least-squares solution to . When the system is too tall, it projects onto what can reach. When it is too wide, it picks the shortest among infinitely many. The SVD shows why this is the safe universal definition: .

Too tall: project onto

maps one input number into a line in output space. Most targets are not on that line.

x₁x₂Col(A): all reachable AxbAx⁺ = proj_Col(A)(b)residual ⟂ Col(A)Output space R²A maps x ∈ R¹ to a line

TheoremPath route

This lab sits between Matrix Mechanics and SVD. Matrices are maps, projection is closest-point geometry, and SVD is the safe universal way to compute the pseudoinverse.