跳到主要内容

京都大学 情報学研究科 システム科学専攻 2005年8月実施 数学【I】

Author​

犬 (finalized by 祭音Myyura with assistance from GPT 6 Astra)

Description​

問1​

一次独立な三つのベクトル x1,x2,x3x_1,x_2,x_3 に対し、y=λ1x1+λ2x2+λ3x3y=\lambda_1x_1+\lambda_2x_2+\lambda_3x_3 とする。y−x1,y−x2,y−x3y-x_1,y-x_2,y-x_3 が一次独立となるための λ1,λ2,λ3\lambda_1,\lambda_2,\lambda_3 の必要十分条件を求めよ。

問2​

次の行列の固有値をすべて求めよ。

A=(02341/20−3/2−21/3−2/30−4/31/4−1/2−3/40).A=\begin{pmatrix}0&2&3&4\\1/2&0&-3/2&-2\\1/3&-2/3&0&-4/3\\1/4&-1/2&-3/4&0\end{pmatrix}.

問3​

m×nm\times n 実行列 AA に対し、nn 次元実ベクトル xx が ATAx=0A^TAx=0 を満たすとする。任意の mm 次元実ベクトル cc に対して xx と ATcA^Tc が直交することを示せ。

题目描述​

问1​

设 x1,x2,x3x_1,x_2,x_3 线性无关,y=λ1x1+λ2x2+λ3x3y=\lambda_1x_1+\lambda_2x_2+\lambda_3x_3。求 y−x1,y−x2,y−x3y-x_1,y-x_2,y-x_3 线性无关的充要条件。

问2​

求矩阵的全部特征值:

A=(02341/20−3/2−21/3−2/30−4/31/4−1/2−3/40).A=\begin{pmatrix}0&2&3&4\\1/2&0&-3/2&-2\\1/3&-2/3&0&-4/3\\1/4&-1/2&-3/4&0\end{pmatrix}.

问3​

设 AA 为 m×nm\times n 实矩阵,x∈Rnx\in\mathbb R^n 满足 ATAx=0A^TAx=0。证明:对任意 c∈Rmc\in\mathbb R^m,xx 与 ATcA^Tc 正交。

Kai​

問1​

λ=(λ1,λ2,λ3)T\lambda=(\lambda_1,\lambda_2,\lambda_3)^T、1=(1,1,1)T\mathbf1=(1,1,1)^T とおくと、三つのベクトルの x1,x2,x3x_1,x_2,x_3 に関する係数行列は C=λ1T−IC=\lambda\mathbf1^T-I。行列式補題より

det⁡C=(−1)3(1−1Tλ)=λ1+λ2+λ3−1.\det C=(-1)^3(1-\mathbf1^T\lambda)=\lambda_1+\lambda_2+\lambda_3-1.

したがって必要十分条件は λ1+λ2+λ3≠1\boxed{\lambda_1+\lambda_2+\lambda_3\ne1}。

問2​

D=diag⁡(1,1/2,1/3,1/4)D=\operatorname{diag}(1,1/2,1/3,1/4)、v=(−1,1,1,1)Tv=(-1,1,1,1)^T とすると D−1AD=I−vvTD^{-1}AD=I-vv^T。vTv=4v^Tv=4 なので、vv 上の固有値は 1−4=−31-4=-3、v⊥v^\perp 上の固有値は 11。よって

1(重複度 3),−3(重複度 1).\boxed{1\text{(重複度 3)},\quad -3\text{(重複度 1)}}.

問3​

∥Ax∥2=xTATAx=0\|Ax\|^2=x^TA^TAx=0 より Ax=0Ax=0。したがって任意の cc に対し xTATc=(Ax)Tc=0x^TA^Tc=(Ax)^Tc=0。