跳到主要内容

千葉大学 理学研究科 基盤理学専攻 数学・情報数理学コース 2013年8月実施 専門 A1

Author​

祭音Myyura (co-authored with GPT 6 Astra)

Description​

実 44 次正方行列 AA により f:R4→R4f:\mathbb R^4\to\mathbb R^4 を f(x)=Axf(x)=Ax と定め、ker⁡f≠ker⁡f2\ker f\ne\ker f^2 と仮定する。

(1) ff は単射でないことを示せ。(2) rank⁡A2≤2\operatorname{rank}A^2\le2 を示せ。(3) AA は対角化できないことを示せ。

(4) さらに一次独立な a,b,c∈R4a,b,c\in\mathbb R^4 が存在して f(a)−f(b)=a−bf(a)-f(b)=a-b、f(b)−f(c)=b−cf(b)-f(c)=b-c を満たすとき、AA の固有多項式とジョルダン標準形を求めよ。

题目描述​

设 AA 为实 44 阶方阵,f(x)=Axf(x)=Ax 且 ker⁡f≠ker⁡f2\ker f\ne\ker f^2。

(1) 证明 ff 不是单射。(2) 证明 rank⁡A2≤2\operatorname{rank}A^2\le2。(3) 证明 AA 不可对角化。

(4) 若另有线性无关的 a,b,ca,b,c 满足 f(a−b)=a−bf(a-b)=a-b、f(b−c)=b−cf(b-c)=b-c,求特征多项式和 Jordan 标准形。

Kai​

(1), (2)​

v∈ker⁡f2∖ker⁡fv\in\ker f^2\setminus\ker f をとる。f(v)≠0f(v)\ne0 かつ f(f(v))=0f(f(v))=0 より ker⁡f≠{0}\ker f\ne\{0\}、したがって ff は単射でない。また v,f(v)v,f(v) は一次独立である。実際、av+bf(v)=0av+bf(v)=0 に ff を作用させると af(v)=0af(v)=0、ゆえに a=b=0a=b=0 となる。よって

dim⁡ker⁡f2≥2,rank⁡A2=4−dim⁡ker⁡f2≤2.\dim\ker f^2\ge2,\qquad \operatorname{rank}A^2=4-\dim\ker f^2\le2.

(3)​

対角行列 DD では ker⁡D=ker⁡D2\ker D=\ker D^2 である。対角化可能ならば AA についても同じ等式が成り立ち、仮定に反する。

(4)​

a−b,b−ca-b,b-c は一次独立な固有値 11 の固有ベクトルである。一方、v,f(v)v,f(v) は固有値 00 の長さ 22 のジョルダン鎖をなす。両者の張る空間の交わりは {0}\{0\} なので、これらで全空間が尽くされる。したがって

det⁡(tI−A)=t2(t−1)2,J=(0100000000100001).\det(tI-A)=t^2(t-1)^2,\qquad J=\begin{pmatrix}0&1&0&0\\0&0&0&0\\0&0&1&0\\0&0&0&1\end{pmatrix}.