Maths WorkshopMaths problems with full solutions
Exercise 1360Topology › Topology of Mn(ℝ) › Density and closuresL3Added 6 Nov 2026

Nonderogatory matrices form an open dense set

#minimal polynomial#nonderogatory#density

Statement

Show that the set C\mathcal{C} of matrices A∈Mn(R)A\in M_n(\mathbb{R}) for which I,A,…,An−1I,A,\dots,A^{n-1} are linearly independent (equivalently, the minimal polynomial equals the characteristic polynomial) is open and dense.

Hint

Vectorise the powers: put I,A,…,An−1I,A,\dots,A^{n-1} as columns of an n2×nn^2\times n matrix. Linear independence means it has rank nn, i.e. some n×nn\times n minor is nonzero.

Show solutionHide solution

Solution

Open. Let V(A)=[vec⁡I ∣ vec⁡A ∣…∣vec⁡An−1]∈Mn2,n(R)V(A)=\bigl[\operatorname{vec}I\,|\,\operatorname{vec}A\,|\dots|\operatorname{vec}A^{n-1}\bigr]\in M_{n^2,n}(\mathbb{R}). The columns are independent iff rank⁡V(A)=n\operatorname{rank}V(A)=n iff at least one of the n×nn\times n minors mS(A)m_S(A) of V(A)V(A) (one for each choice SS of nn rows) is nonzero. Each mSm_S is a polynomial in the entries of AA, hence continuous. So
C=⋃S{mS≠0}\mathcal{C}=\bigcup_S\{m_S\ne0\}
is a union of open sets.

Dense. If AA has nn distinct eigenvalues λi\lambda_i then I,A,…,An−1I,A,\dots,A^{n-1} are independent: a relation ∑jcjAj=0\sum_jc_jA^j=0 means the polynomial q=∑cjXjq=\sum c_jX^j, of degree <n<n, satisfies q(A)=0q(A)=0; in an eigenbasis this gives q(λi)=0q(\lambda_i)=0 for all ii, i.e. nn roots for a polynomial of degree <n<n, so q=0q=0. The set of matrices with distinct eigenvalues is dense, hence so is C\mathcal{C}.

Equivalence with the minimal polynomial. Independence of I,…,An−1I,\dots,A^{n-1} means no nonzero polynomial of degree <n<n annihilates AA, i.e. deg⁡μA≥n\deg\mu_A\ge n; since μA∣χA\mu_A\mid\chi_A and deg⁡χA=n\deg\chi_A=n, this means μA=χA\mu_A=\chi_A.

Remark. Matrices in C\mathcal{C} are called nonderogatory (or cyclic): they have a cyclic vector. The complement, e.g. the scalar matrices, is a closed subset with empty interior. Lesson. "Some minor ≠0\ne0" is a typical way to see openness of a rank condition.