因\(S\subseteq\mathbb{F}^{n\times n}\),且\(\dim\mathbb{F}^{n\times n}<\infty\),所以存在\(A_1,A_2,\cdots ,A_s\in S\),使得\(\forall A\in S\),\(A\)可由\(A_1,A_2,\cdots ,A_s\)线性表出。
下证存在\(n\)阶可逆矩阵\(P\),使得\(\forall 1\leq k\leq s\),\(P^{-1}A_kP\)为对角矩阵即可。对阶数\(n\)用第二归纳法。
(1). 当\(n=1\)时,结论显然成立。
(2). 假设对于小于\(n\)阶的矩阵结论成立,以下考虑\(n\)阶矩阵的情形。因为\(A_s\)可对角化,所以存在可逆矩阵\(P_1\),使得
\begin{equation*}
P_1^{-1}A_sP_1={{\rm {diag}}}\{\lambda_1E_{r_1},\lambda_2E_{r_2},\cdots ,\lambda_mE_{r_m}\},
\end{equation*}
其中\(\lambda_1,\lambda_2,\cdots ,\lambda_m\)互不相同。对任意\(1\leq i\leq s-1\),由\(A_i A_s=A_s A_i\)知
\begin{equation*}
(P_1^{-1}A_iP_1)(P_1^{-1}A_sP_1)=(P_1^{-1}A_sP_1)(P_1^{-1}A_iP_1),
\end{equation*}
则\(P_1^{-1}A_iP_1={{\rm {diag}}}\{B_{i1},B_{i2},\cdots ,B_{im}\}\)。故\(\forall 1\leq j\leq s\),
\begin{equation*}
P_1^{-1}A_jP_1={{\rm {diag}}}\{B_{j1},B_{j2},\cdots ,B_{jm}\}\mbox{。}
\end{equation*}
于是,对任意\(1\leq k\neq l\leq s\),由\(A_kA_l=A_lA_k\)不难推出
\begin{equation*}
B_{kt}B_{lt}=B_{lt}B_{kt},\forall 1\leq t\leq m,
\end{equation*}
其中\(B_{kt},B_{lt}\)是\(r_t\)阶方阵。由归纳假设,存在\(r_t\)阶可逆矩阵\(Q_t\),使得\(\forall 1\leq k\leq s,\ Q_t^{-1}B_{kt}Q_t\)为对角矩阵。令
\begin{equation*}
P=P_1 \begin{pmatrix}
Q_1&&&\\
&Q_2&&\\
&&\ddots&\\
&&&Q_m
\end{pmatrix},
\end{equation*}
则\(P\)为\(n\)阶可逆矩阵,且\(\forall 1\leq k\leq s,\ P^{-1}A_kP\)均为对角矩阵。 因此\(\forall X\in S\),\(P^{-1}XP\)为对角矩阵。