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.
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.
TheoryMatrix Operations and PropertiesThe reference page for the Moore-Penrose definition and least-squares formulasTheorySingular Value DecompositionWhy A⁺ = VΣ⁺Uᵀ and what condition number actually measuresPrereq LabMatrix Mechanics LabDeterminant, rank, row reduction, eigenvectors, and the SVD intuition this lab depends on