Invertible rational matrices are dense in the general linear group
Statement
Show that is dense in .
Hint
If is open and is dense in a space , then is dense in .
Show solutionHide solution
Solution
General fact. Let be dense in and open. Take and a neighbourhood of . Then is a nonempty open set, so it meets ; hence .
Application. , is dense (each entry is approximated by rationals), and is open. So is dense in .
Subtlety. The elements of this set are the rational matrices that are invertible over ; their determinant is a nonzero rational number, so they are also invertible over , with inverse in (by the adjugate formula). So the set is exactly the group .
Remark. The same argument shows is dense in any open subset of . It fails for closed subsets such as (see the next problems), where rationality interacts with the constraint . Lesson. Open dense is dense in the open set.