3.128 min read
The Collapse Theorem
The Collapse Theorem for square matrices is really a consequence of counting: for , we have inputs and outputs. If the map doesn't collapse (injective), it must cover everything (surjective) — because a faithful map on a finite-dimensional space from itself to itself can't "miss" anything.
More precisely: . If , then , so the map is also surjective. And vice versa.
This is analogous to: a function from a finite set to itself is injective iff it is surjective (pigeonhole principle). Linearity and finite-dimensionality make this work.
Formal View
Corollary 3.12
For : is bijective.
Why This Matters
The Collapse Theorem dramatically simplifies work with square matrices — checking one property gives all.
- To verify a square system has a unique solution for all : just check the null space
- Matrix invertibility (Chapter 4) is exactly bijectivity of the associated map
Quiz
Question 1
For a square matrix , implies:
Common Mistakes
- Applying "injective implies surjective" to rectangular matrices — only valid for square matrices.