跳到主要内容

東京大学 情報理工学研究科 2017年8月実施 数学 第1問

Author​

Zero, etsurin, 祭音Myyura

Description​

次の連立一次方程式を解く問題を考える.

Ax=bAx=b

ここで, A∈Rm×n,b∈RmA\in R^{m\times n},b\in R^m は与えられた定数の行列とべクトルであり, x∈Rnx\in R^n は未知ベクトルである.以下の問いに答えよ.

(1)、 Aˉ=(A∣b)\bar{A}=(A|b) のように,行列 AA の最後の列の後ろに1列追加した m×(n+1)m\times (n+1) 行列を作る.例えば, A=(10−1110011),b=(242)A=\left (\begin{array}{cccc} 1&0&-1\\ 1&1&0\\ 0&1&1\\ \end{array}\right), b=\left (\begin{array}{cccc} 2\\ 4\\ 2\\ \end{array}\right) の場合には, Aˉ=(10−1211040112)\bar{A}=\left (\begin{array}{cccc} 1&0&-1&2\\ 1&1&0&4\\ 0&1&1&2\\ \end{array}\right)となる.この例の Aˉ\bar{A} の第 ii 列ベクトルを ai(i=1,2,3,4)a_{i}(i=1,2,3,4) とする.

(i)、a1,a2,a3a_{1},a_{2},a_{3} のうち線形独立なベクトルの最大個数を求めよ.

(ii)、a4a_{4} が a1,a2,a3a_{1},a_{2},a_{3} の線形和で表されることを, a4=x1a1+x2a2+a3a_{4}=x_{1}a_{1}+x_{2}a_{2}+a_{3} となるスカラー x1,x2x_{1},x_{2} を求めることで示せ.

(iii)、a1,a2,a3,a4a_{1},a_{2},a_{3},a_{4} のうち線形独立なベクトルの最大個数を求めよ.

(2)、任意の m,n,A,bm,n,A,b 対して, rank(Aˉ)=rank(A)\text{rank}(\bar{A})=\text{rank}(A) のとき連立一次方程式の解が存在することを示せ.

(3)、rank(Aˉ)>rank(A)\text{rank}(\bar{A})>\text{rank}(A) ならば解は存在しない.m>nm>n, rank(A)=n\text{rank}(A)=n, rank(Aˉ)>rank(A)\text{rank}(\bar{A})>\text{rank}(A) のとき, 連立一次方程式の右辺と左辺と差のノルムの2乗 ∥b−Ax∥2\Vert b-Ax\Vert ^2 を最小にする xx を求めよ.

(4)、m<n,rank(A)=mm<n,\text{rank}(A)=m のとき,どのような bb に対しても連立一次方程式を満たす解が複数存在する.解のうちで ∥x∥2\Vert x \Vert ^2 を最小にする xx を,連立一次方程式を制約条件として,ラグランジュ乗数法を用いて求めよ.

(5)、任意 m,n,Am,n,A に対して,以下の4つの式を満たす P∈Rn×mP\in R^{n\times m} が唯一に決まることを示せ.

APA=APAP=P(AP)T=AP(PA)T=PA\begin{aligned} APA=A \\ PAP=P \\ (AP)^T=AP \\ (PA)^T=PA \end{aligned}

(6)、(3)て求めた xx と(4)で求めた xx が,いずれも x=Pbx=Pb の形で表せることを示せ.

题目描述​

考虑线性方程组

Ax=b,Ax=b,

其中 A∈Rm×nA\in\mathbb R^{m\times n}、b∈Rmb\in\mathbb R^m 已知, x∈Rnx\in\mathbb R^n 未知。把 bb 作为末列接在 AA 后得到增广矩阵 Aˉ=(A∣b)\bar A=(A\mid b)。回答下列问题。

(1)对

A=(10−1110011),b=(242),A=\begin{pmatrix}1&0&-1\\1&1&0\\0&1&1\end{pmatrix}, \qquad b=\begin{pmatrix}2\\4\\2\end{pmatrix},

记 Aˉ\bar A 的列为 a1,a2,a3,a4a_1,a_2,a_3,a_4。

  • (i)求 a1,a2,a3a_1,a_2,a_3 中线性无关向量的最大个数。
  • (ii)求标量 x1,x2x_1,x_2,使 a4=x1a1+x2a2+a3a_4=x_1a_1+x_2a_2+a_3,从而证明 a4a_4 是前三列的线性组合。
  • (iii)求四个列向量中线性无关向量的最大个数。

(2)对任意 m,n,A,bm,n,A,b,证明若 rank⁡(Aˉ)=rank⁡(A)\operatorname{rank}(\bar A)=\operatorname{rank}(A),则方程组有解。

(3)若 m>nm>n、 rank⁡(A)=n\operatorname{rank}(A)=n 且 rank⁡(Aˉ)>rank⁡(A)\operatorname{rank}(\bar A)>\operatorname{rank}(A),方程组无精确解。求使 ∥b−Ax∥2\|b-Ax\|^2 最小的 xx。

(4)若 m<nm<n 且 rank⁡(A)=m\operatorname{rank}(A)=m,则对任意 bb 都有多个解。 以 Ax=bAx=b 为约束,用拉格朗日乘子法求其中使 ∥x∥2\|x\|^2 最小的解。

(5)证明对任意 m,n,Am,n,A,满足

APA=A,PAP=P,(AP)T=AP,(PA)T=PAAPA=A,\quad PAP=P,\quad (AP)^{\mathsf T}=AP,\quad (PA)^{\mathsf T}=PA

的 P∈Rn×mP\in\mathbb R^{n\times m} 唯一确定。

(6)证明第(3)、(4)问所得解均可写成 x=Pbx=Pb。

Kai​

(1)​

(i)​

(10−1110011)→(10−1011011)→(10−1011000)\left (\begin{array}{cccc} 1&0&-1\\ 1&1&0\\ 0&1&1\\ \end{array}\right) \rightarrow \left (\begin{array}{cccc} 1&0&-1\\ 0&1&1\\ 0&1&1\\ \end{array}\right) \rightarrow \left (\begin{array}{cccc} 1&0&-1\\ 0&1&1\\ 0&0&0\\ \end{array}\right)

There are 2 linearly independent vectors in a1,a2,a3a_{1},a_{2},a_{3}

(ii)​

a4=3a1+a2+a3a_{4}=3a_{1}+a_{2}+a_{3}
x1=3,x2=1x_{1}=3,x_{2}=1

(iii)​

a4=2a1+2a2, rank(A‾)=2a_4 = 2a_1 + 2a_2, \ \text{rank}(\overline{A}) = 2

(2)​

Assuming that rank(A‾)=rank(A)=r\text{rank}(\overline{A}) = \text{rank}(A)=r and there is no solution with Ax=bAx=b.

Hence the vector bb, i.e. an+1a_{n+1}, cannot be represented as a linear combination of (a1,a2,…,an)(a_{1},a_{2},\ldots,a_{n}).

Hence,

rank(A‾)=r+1>rank(A)\text{rank}(\overline{A}) =r+1> \text{rank}(A)

which is contradictory to the fact that rank(Aˉ)=rank(A)\text{rank}(\bar{A}) = \text{rank}(A).

Therefore, for any m,n,A,bm,n,A,b, when rank(A‾)=rank(A)\text{rank}(\overline{A}) = \text{rank}(A) the equation Ax=bAx=b has a solution.

(3)​

L=∥Ax−b∥2=(b−Ax)T(b−Ax)=bTb−xTATb−bTAx+xTATAx\begin{aligned} \mathcal{L} &= \| Ax - b \|^2 = (b-Ax)^T(b-Ax) \\ &= b^Tb - x^TA^Tb - b^TAx + x^T A^T A x \end{aligned}
∂L∂x=−ATb−ATb+(ATA+(ATA)T)x=2ATAx−2ATb=0\begin{aligned} \frac{\partial \mathcal{L}}{\partial x} &= -A^Tb - A^Tb + (A^TA + (A^TA)^T)x \\ &= 2A^T Ax - 2A^Tb \\ &= 0 \end{aligned}

Therefore,

x=(ATA)−1ATb.x=(A^TA)^{-1}A^Tb.

Since AA has full column rank, ATAA^TA is positive definite. The objective has positive-definite Hessian 2ATA2A^TA, so this stationary point is the unique global minimum.

(4)​

L(x,λ)=xTx−λT(Ax−b)\mathcal{L}(x,\lambda)=x^Tx-\lambda^T(Ax-b)
∂L(x,λ)∂x=2x−ATλ=0\begin{aligned} \frac{\partial L(x,\lambda)}{\partial x} &= 2x-A^T\lambda = 0 \\ \end{aligned}
∂L(x,λ)∂λ=−(Ax−b)=0\begin{aligned} \frac{\partial L(x,\lambda)}{\partial \lambda} &= -(Ax-b) =0 \end{aligned}
∴x=ATλ2AATλ=2b\therefore x = \frac{A^T \lambda}{2} \qquad AA^T \lambda = 2b

Hence

λ=2(AAT)−1b\lambda = 2(AA^T)^{-1}b

Finally

x=AT(AAT)−1b.x=A^T(AA^T)^{-1}b.

The matrix AATAA^T is positive definite because AA has full row rank. Every other solution is x+zx+z with Az=0Az=0. As xx lies in the range of ATA^T, xTz=0x^Tz=0, and ∥x+z∥2=∥x∥2+∥z∥2\|x+z\|^2=\|x\|^2+\|z\|^2. Thus this is the unique minimum-norm solution.

(5)​

Let A=UΣVTA=U\Sigma V^T be a singular value decomposition and define

P=VΣ+UT,P=V\Sigma^+U^T,

where Σ+∈Rn×m\Sigma^+\in\mathbb R^{n\times m} is the transposed rectangular diagonal matrix with every nonzero singular value replaced by its reciprocal and all other entries zero. Direct substitution gives all four equations, so such a matrix exists.

For uniqueness, let both PP and QQ satisfy the equations. The matrices APAP and AQAQ are symmetric idempotents, and

range⁡(AP)=range⁡(AQ)=range⁡(A).\operatorname{range}(AP)=\operatorname{range}(AQ)=\operatorname{range}(A).

Thus they are the same orthogonal projector, so AP=AQAP=AQ. Similarly, PAPA and QAQA are symmetric idempotents with

ker⁡(PA)=ker⁡(QA)=ker⁡(A),\ker(PA)=\ker(QA)=\ker(A),

so PA=QAPA=QA. Hence

P=PAP=P(AQ)=(PA)Q=(QA)Q=QAQ=Q.P=PAP=P(AQ)=(PA)Q=(QA)Q=QAQ=Q.

Therefore, PP is unique.

(6)​

For (3), rank(A)=n\text{rank}(A)=n and we have x=(ATA)−1ATbx=(A^TA)^{-1}A^Tb, hence

P=(ATA)−1ATP=(A^TA)^{-1}A^T

which satisfies the four equations in (5).

For (4), rank(A)=m\text{rank}(A)=m and we have x=AT(AAT)−1bx=A^T(AA^T)^{-1}b, hence

P=AT(AAT)−1P=A^T(AA^T)^{-1}

which also satisfies the four equations in (5).