抽屉原理证明线性空间中存在向量在不同线性变换下的像不同

问题

设V为数域K上的有限维线性空间。${A\text{A}A}_1,{A\text{A}A}_2,\cdots ,{A\text{A}A}_k$是V内k个两两不同的线性变换。证明V内存在向量$\alpha$，使${A\text{A}A}_1\alpha ,{A\text{A}A}_2\alpha ,\cdots ,{A\text{A}A}_k\alpha$两两不同。

引理

设M是数域K上有限维线性空间V的子空间，如果$M\ne V$,则M称为V的真子空间。V的有限个真子空间的并集不能填满V。

引理证明

考虑n维线性空间V的k个真子空间$M_1,M_2,\cdots ,M_k$，不妨设这些真子空间的维数均为n-1(维数低于n-1的真子空间均可看作n-1维真子空间的真子空间）。

可令$M_i(i=1,2,\cdots ,k)$具有如下性质：$\exists \alpha \in M_i,\alpha \notin {\bigcup }_{\begin{array}{c}j=1\\ i\ne j\end{array}}^k{M}_j$(否则去掉$M_i$并不影响这k个真子空间的并集）。

取定 i , j , i ≠ j , i , j ∈ { 1 , 2 , ⋯   , k } , i,j,i\neq j,i,j\in\{1,2,\cdots,k\}, i,j,i​=j,i,j∈{1,2,⋯,k},取$\alpha \in M_i,\alpha \notin {\bigcup }_{\begin{array}{c}j=1\\ i\ne j\end{array}}^k{M}_j$，$\beta \in M_j,\beta \notin {\bigcup }_{\begin{array}{c}i=1\\ i\ne j\end{array}}^k{M}_i$.

采用反证法。
考虑以下(k+1)个向量$\alpha +\beta ,\alpha +2\beta ,\cdots ,\alpha +(k+1)\beta$,若${\bigcup }_{m=1}^k{M}_m$填满V，则对 ∀ l ∈ { 1 , 2 , ⋯   , k } , ∃ p \forall l \in \{1,2,\cdots,k\},\exists p ∀l∈{1,2,⋯,k},∃p,满足$\alpha +l\beta \in M_p$。
根据抽屉原理，必有 s ≠ t , s , t , m ∈ { 1 , 2 , ⋯   , k } , α + s β ∈ M m , α + t β ∈ M m s\neq t, s,t,m \in \{1,2,\cdots,k\},\alpha+s\beta \in M_m,\alpha+t\beta \in M_m s​=t,s,t,m∈{1,2,⋯,k},α+sβ∈Mm​,α+tβ∈Mm​.
若$m=j$,则$\alpha =\alpha +s\beta -s\beta \in M_j$,这与$\alpha \notin {\bigcup }_{\begin{array}{c}j=1\\ i\ne j\end{array}}^k{M}_j$矛盾。
若$m\ne j$, 则$\beta =\frac{1}{s-t}[(\alpha +s\beta )-(\alpha +t\beta )]\in M_m$,这与$\beta \notin {\bigcup }_{\begin{array}{c}i=1\\ i\ne j\end{array}}^k{M}_i$矛盾。
从而V的有限个真子空间的并集不能填满V。引理得证。

证明

取定V的一组基${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n$,记线性变换${A\text{A}A}_i(i=1,2,\cdots ,k)$在这组基下的矩阵为$A_i$(为$n\times n$矩阵)。

反证。
若对$\forall \alpha \in V$, ∃ i , j ∈ { 1 , 2 , ⋯   , k } \exists i,j\in\{1,2,\cdots,k\} ∃i,j∈{1,2,⋯,k},$i\ne j$,满足${A\text{A}A}_i\alpha ={A\text{A}A}_j\alpha$,即$(A_i-A_j)\alpha =0$.

将由V中所有满足${A\text{A}A}_i\alpha ={A\text{A}A}_j\alpha$的向量$\alpha$组成的集合记作$V_{ij},i<j$,则不难验证$V_{ij}$为数域K上的线性空间。同时$V_{ij}$为方程组$(A_i-A_j)\alpha =0$的解空间。

由假设，对$\forall \alpha \in V$, ∃ i , j ∈ { 1 , 2 , ⋯   , k } \exists i,j\in\{1,2,\cdots,k\} ∃i,j∈{1,2,⋯,k},$i\ne j$，满足$\alpha \in V_{ij}$.

若所有上述的$V_{ij}$的维数均小于n，则由引理，所有上述的$V_{ij}$的并集不能填满V，即$\exists \alpha \in V,\alpha \notin V_{ij}$,对$\forall i<j,i,j=1,2,\cdots ,k$.这与假设矛盾。

从而必有一$V_{ij}$维数为n.那么矩阵$(A_i-A_j)$的秩为0，从而$(A_i-A_j)$为零矩阵，即$A_i=A_j$，从而${A\text{A}A}_i={A\text{A}A}_j$，这与题目中的条件矛盾。
命题得证。

出处

本题出自蓝以中《高等代数简明教程》第二版上册第四章习题三第19题。
引理出自同一本书第四章习题二第8题。