Maths WorkshopMaths problems with full solutions
Exercise 1432Topology › Topology of Mn(ℝ) › Continuity of matrix mapsL3Added 7 Nov 2026

Rank is lower but not upper semicontinuous

#rank#semicontinuity#minors#open sets

Statement

Show that rank is lower semicontinuous (for every AA there is a neighbourhood on which rank⁡≥rank⁡A\operatorname{rank}\ge\operatorname{rank}A) but not upper semicontinuous.

Hint

The rank is the size of the largest nonvanishing minor.

For the failure of upper semicontinuity, test on 1kI→0\frac1kI\to0.

Show solutionHide solution

Solution

Idea. Having rank ≥r\ge r is an *open* condition (some r×rr\times r minor is nonzero), while having rank ≤r\le r is *closed*.

Step 1: minors. rank⁡A≥r\operatorname{rank}A\ge r iff some r×rr\times r minor of AA is nonzero. (If some minor is nonzero, the corresponding rr rows are independent. Conversely, if the rank is ≥r\ge r, one finds rr independent rows, and among the columns rr independent ones of the resulting r×nr\times n matrix.)

Step 2: lower semicontinuity. Let r=rank⁡Ar=\operatorname{rank}A and choose an r×rr\times r minor m(A)≠0m(A)\ne0. Minors are polynomials in the entries, hence continuous, so m(B)≠0m(B)\ne0 for all BB in a neighbourhood UU of AA. For B∈UB\in U: rank⁡B≥r=rank⁡A\operatorname{rank}B\ge r=\operatorname{rank}A. Equivalently, {rank⁡≥r}\{\operatorname{rank}\ge r\} is open for every rr.

Step 3: not upper semicontinuous. Upper semicontinuity at AA would mean that rank⁡B≤rank⁡A\operatorname{rank}B\le\operatorname{rank}A for all BB near AA. At A=0A=0, B=1kI→0B=\frac1kI\to0 has rank n>0n>0. So it fails at 00. More generally it fails at every singular AA, since A+εIA+\varepsilon I is invertible for small ε≠0\varepsilon\ne0 (Part 2).

Consequences.
- The *maximal* rank nn is attained on an open dense set, which is why "generic" matrices are invertible.
- {rank⁡≤r}\{\operatorname{rank}\le r\} is closed, and by Step 3 has empty interior for r<nr<n.

Remark. Rank is continuous exactly on GLnGL_n (the set where it is constant on a neighbourhood, being maximal). More precisely, the points of continuity of rank⁡\operatorname{rank} are the matrices of rank nn: at a matrix of rank r<nr<n, perturbation by εI\varepsilon I raises the rank.