高等代数学
V1 ← → F ← → V 2n
∴ V1 ← → V 2
定理：数域 F上两个有限维线性空间 V1与 V2同构 dim V1 = dim V2 . exp1 : 次数 ≤ n 1的多项式 Fn [ x] a0 exp 2 : f ( x) = an1x n1 + + a1x + a0 a n阶对角阵 n 1 n1 在基 1, x , , x . 1 a11 a11 A= a ann nn 在基Eii (i = 1,2, , n)下. α1 , , α n 线性无关 X 1 , , X n 线性无关 . 7