GL_n is dense and its boundary is the singular set
Statement
Show that is dense in , and that its boundary is the set of singular matrices.
Hint
For a fixed , is a polynomial in ; it has finitely many roots.
Show solutionHide solution
Solution
Idea. A matrix can be made invertible by adding a tiny multiple of the identity: this only fails for finitely many values of the multiple.
Step 1: density. Fix . The function is a *monic* polynomial of degree in (it equals , where is the characteristic polynomial). A non-zero polynomial has finitely many roots, so there is such that for . For such , and . Hence .
(Equivalently: is singular iff is an eigenvalue of , and has at most eigenvalues.)
Step 2: the boundary. For any set , . Here is open (previous problem), so , and by Step 1 . Therefore
Remark.
- Equivalently, the singular matrices form a closed set with empty interior (they are the zero set of a non-zero polynomial). This is the key reason "generic matrices are invertible".
- A typical use: to prove an identity between continuous functions of (such as or Cayley-Hamilton) it suffices to prove it on the dense set , or even on the dense set of matrices with distinct eigenvalues.