京都大学 情報学研究科 システム科学専攻 2009年8月実施 数学【I】
Author
犬 (finalized by 祭音Myyura with assistance from GPT 6 Astra)
Description
n×n 実行列 A,B について、以下を証明せよ。上付きの −1 は逆行列を表す。
(i) A+B が正則ならば A(A+B)−1B=B(A+B)−1A。
(ii) A,B がともに正則ならば A−1+B−1=A−1(A+B)B−1。
(iii) A,B,A+B がすべて正則ならば (A−1+B−1)−1=A(A+B)−1B。
n≥2 とし、n×n 三重対角行列 An の対角成分は (n,n) 成分だけが 1、残りが 2、隣接する上下の成分は −1、その他の成分は 0 とする。
(i) 次の逆行列を求めよ。
A2=(2−1−11),A3=2−10−12−10−11.
(ii) An−1 を求め、実際に逆行列であることを示せ。
A=(0110) とする。
(i) A=Pdiag(λ1,λ2)P−1、λ1≥λ2 を満たす実数 λ1,λ2 と行列 P を求めよ。P は一つ求めればよい。
(ii) 実数 t について、(i) を用いて次を求めよ。ただし I は単位行列である。
exp(tA)=n→∞lim(I+ntA)n.
题目描述
设 A,B 为 n 阶实矩阵,证明:
(i) 若 A+B 可逆,则 A(A+B)−1B=B(A+B)−1A。
(ii) 若 A,B 都可逆,则 A−1+B−1=A−1(A+B)B−1。
(iii) 若 A,B,A+B 都可逆,则 (A−1+B−1)−1=A(A+B)−1B。
n≥2。三对角矩阵 An 的主对角线除最后一项为 1 外均为 2,紧邻主对角线两侧的元素均为 −1,其余为 0。
(i) 求 A2=(2−1−11) 和 A3=2−10−12−10−11 的逆矩阵。
(ii) 求一般的 An−1,并验证其确为逆矩阵。
设 A=(0110)。
(i) 求 λ1≥λ2 和一个可逆矩阵 P,使 A=Pdiag(λ1,λ2)P−1。
(ii) 对实数 t,利用 (i) 求 exp(tA)=limn→∞(I+tA/n)n,其中 I 为单位矩阵。
Kai
(i) C=A+B とおくと、
AC−1B=(C−B)C−1B=B−BC−1B=BC−1(C−B)=BC−1A.
(ii) 分配法則より A−1(A+B)B−1=B−1+A−1。
(iii) (ii) の右辺は正則行列の積であるから、(i) と併せて
(A−1+B−1)−1=B(A+B)−1A=A(A+B)−1B.
(i)
A2−1=(1112),A3−1=111122123.
(ii) 答えは B=(bij)、bij=min(i,j) である。b0j=0 とすれば、i<n について
(AnB)ij=2bij−bi−1,j−bi+1,j=δij,
最終行では (AnB)nj=bnj−bn−1,j=δnj。よって AnB=I となり、An−1=B。
(i) 固有値は 1,−1 であり、
λ1=1,λ2=−1,P=(111−1),P−1=21P.
(ii) (i) の対角化を用いると
(I+ntA)n=P((1+t/n)n00(1−t/n)n)P−1⟶P(et00e−t)P−1.
したがって
exp(tA)=(coshtsinhtsinhtcosht).