Lower-rank matrices form a closed set, higher-rank an open one
Statement
For an integer with , show that is closed with empty interior, and that is open (this holds for all ).
Hint
iff some minor of is non-zero.
Show solutionHide solution
Solution
Idea. Rank is characterised by the vanishing of minors, which are polynomials in the entries.
Step 1: minors and rank. is the largest such that some minor (determinant of a submatrix) is non-zero. Hence
Step 2: is closed. It is a finite intersection of zero sets of the continuous functions "minor", hence closed.
Step 3: is open. If , some minor (for the set is everything). Since is continuous, for all in a neighbourhood of , so there. (This is the *lower semicontinuity* of rank: it can jump up, never down, under small perturbation.)
(Note the complement of is , consistent with Step 2 for .)
Step 4: empty interior when . Let . Then is singular and by the density of (earlier problem) for small , so . Thus every neighbourhood of contains matrices not in .
Remark.
- For the set is all of , which has non-empty interior: the restriction is needed.
- In words: *rank can only go up in a neighbourhood*. The set of rank-exactly- matrices is neither open nor closed (next problem).