问题 2022A12
依赖于
被以下题目直接调用
- 无
问题 2022A12
设 V 是有理数域上的 n 维线性空间, 证明: 存在 V 上 n 个线性变换 , 使得对 V 中任意的非零向量 , 向量组 均线性无关.
解答
本题的证明思路类似于例 5.80 的证明思路.任取素数 p,任取 V 的一组基 ,定义线性变换 ,使其在这组基下的表示矩阵为
,即 p-基础循环矩阵(第 2 章解答题 13)或多项式 的 Frobenius 块(例 2.3)。我们断言: 即为满足条件的 n 个线性变换。用反证法,假设存在非零向量 ,使得 线性相关,即存在不全为零的 n 个数 ,使得
即有 . 令 ,则 且 . 另一方面,由 可得 ,即 适合多项式 . 由 Eisenstein 判别法可知 在 Q 上不可约,因此 与 互素,故存在 ,使得 . 在上式中代入 ,并作用于 上可得
这与 矛盾, 从而结论得证.
评论
支持 Markdown 和 LaTeX 数学公式。