Maths WorkshopMaths problems with full solutions
Exercise 1414Topology › Topology of Mn(ℝ) › Open, closed, interior, boundaryL3Added 7 Nov 2026

Lower-rank matrices form a closed set, higher-rank an open one

#rank#minors#semicontinuity#nowhere dense

Statement

For an integer rr with 0≤r<n0\le r<n, show that {rank⁡≤r}\{\operatorname{rank}\le r\} is closed with empty interior, and that {rank⁡≥r}\{\operatorname{rank}\ge r\} is open (this holds for all r≥0r\ge0).

Hint

rank⁡A≥r\operatorname{rank}A\ge r iff some r×rr\times r minor of AA 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. rank⁡A\operatorname{rank}A is the largest kk such that some k×kk\times k minor (determinant of a k×kk\times k submatrix) is non-zero. Hence
rank⁡A≤r  ⟺  all (r+1)×(r+1) minors of A vanish.\operatorname{rank}A\le r\iff\text{all }(r+1)\times(r+1)\text{ minors of }A\text{ vanish.}

Step 2: {rank⁡≤r}\{\operatorname{rank}\le r\} is closed. It is a finite intersection of zero sets of the continuous functions "minor", hence closed.

Step 3: {rank⁡≥r}\{\operatorname{rank}\ge r\} is open. If rank⁡A≥r\operatorname{rank}A\ge r, some r×rr\times r minor m(A)≠0m(A)\ne0 (for r=0r=0 the set is everything). Since mm is continuous, m(B)≠0m(B)\neq0 for all BB in a neighbourhood of AA, so rank⁡B≥r\operatorname{rank}B\ge r there. (This is the *lower semicontinuity* of rank: it can jump up, never down, under small perturbation.)

(Note the complement of {rank⁡≥r}\{\operatorname{rank}\ge r\} is {rank⁡≤r−1}\{\operatorname{rank}\le r-1\}, consistent with Step 2 for r−1r-1.)

Step 4: empty interior when r<nr<n. Let rank⁡A≤r<n\operatorname{rank}A\le r<n. Then AA is singular and by the density of GLnGL_n (earlier problem) A+εI∈GLnA+\varepsilon I\in GL_n for small ε≠0\varepsilon\ne0, so rank⁡(A+εI)=n>r\operatorname{rank}(A+\varepsilon I)=n>r. Thus every neighbourhood of AA contains matrices not in {rank⁡≤r}\{\operatorname{rank}\le r\}.

Remark.
- For r≥nr\ge n the set {rank⁡≤r}\{\operatorname{rank}\le r\} is all of MnM_n, which has non-empty interior: the restriction r<nr<n is needed.
- In words: *rank can only go up in a neighbourhood*. The set of rank-exactly-rr matrices is neither open nor closed (next problem).