跳到主要内容

京都大学 理学研究科 数学・数理解析専攻 2022年8月実施 基礎科目 [1] ~[3]

Author

Miyake

Description

[2]

aa を実数とし, 実 2×42 \times 4 行列 A,BA, B

A=(10aa+10111),   B=(0011133a0)A = \begin{pmatrix} 1 & 0 & a & a+1 \\ 0 & 1 & 1 & 1 \end{pmatrix}, \ \ \ B = \begin{pmatrix} 0 & 0 & 1 & 1 \\ -1 & 3 & 3-a & 0 \end{pmatrix}

と定める. これらを用いて, 線形写像 f:R4R2f: \mathbb{R}^4 \rightarrow \mathbb{R}^2, g:R4R2g: \mathbb{R}^4 \rightarrow \mathbb{R}^2f(x)=Axf(x) = Ax, g(x)=Bx  (xR4)g(x) = Bx \ \ (x \in \mathbb{R}^4 ) と定義する. このとき,

dim(Ker(f)Ker(g)), dim(Ker(f)+Ker(g))\text{dim}(\text{Ker}(f) \cap \text{Ker}(g)),\ \text{dim}(\text{Ker}(f) + \text{Ker}(g))

を求めよ.

[3]

VV を有限次元複素ベクトル空間とし、S,T:VVS,T : V \rightarrow V を対角化可能な線形写像で ST=TSST = TS が成り立つものとする. r2r \geq 2 を整数, α,βC\alpha, \beta \in \mathbb{C} を複素数, λ1,,λrC\lambda_1, \ldots, \lambda_r \in \mathbb{C} を相異なる複素数とする. 零ベクトルでない VV の元 v,u1,u2,,urv, u_1, u_2, \ldots, u_r

v=u1+u2++urv = u_1 + u_2 + \cdots + u_r

を満たし, かつ 1jr1 \leq j \leq r なるすべての整数 jj について uju_j は固有値 λj\lambda_j に属する SS の固有ベクトルとする. さらに vv は固有値 α\alpha に属する TT の固有ベクトルであり、u1u_1 は固有値 β\beta に属する TT の固有ベクトルとする. このとき α=β\alpha = \beta が成り立つことを示せ.

Kai

[2]

Ker(f)\mathrm{Ker}(f) を求めるため

(10aa+10111)(αβγδ)=(00)\begin{aligned} \begin{pmatrix} 1 & 0 & a & a+1 \\ 0 & 1 & 1 & 1 \end{pmatrix} \begin{pmatrix} \alpha \\ \beta \\ \gamma \\ \delta \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \end{pmatrix} \end{aligned}

とおくと、

α=aγ(a+1)δ,β=γδ\begin{aligned} \alpha &= -a \gamma - (a+1) \delta , \\ \beta &= - \gamma - \delta \end{aligned}

となるので、

u1=(a110),  u2=((a+1)101)\begin{aligned} u_1 = \begin{pmatrix} -a \\ -1 \\ 1 \\ 0 \end{pmatrix} , \ \ u_2 = \begin{pmatrix} -(a+1) \\ -1 \\ 0 \\ 1 \end{pmatrix} \end{aligned}

Ker(f)\mathrm{Ker}(f) の基底であることがわかる。

また、 Ker(g)\mathrm{Ker}(g) を求めるため

(0011133a0)(αβγδ)=(00)\begin{aligned} \begin{pmatrix} 0 & 0 & 1 & 1 \\ -1 & 3 & 3-a & 0 \end{pmatrix} \begin{pmatrix} \alpha \\ \beta \\ \gamma \\ \delta \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \end{pmatrix} \end{aligned}

とおくと、

δ=γ,α=3β+(3a)γ\begin{aligned} \delta &= - \gamma , \\ \alpha &= 3 \beta + (3-a) \gamma \end{aligned}

となるので、

v1=(3100),  v2=(3a011)\begin{aligned} v_1 = \begin{pmatrix} 3 \\ 1 \\ 0 \\ 0 \end{pmatrix} , \ \ v_2 = \begin{pmatrix} 3-a \\ 0 \\ 1 \\ -1 \end{pmatrix} \end{aligned}

Ker(g)\mathrm{Ker}(g) の基底であることがわかる。

そこで、実数 r,s,tr,s,t について ru1=sv1+tv2r u_1 = s v_1 + t v_2 が成り立つとすると r=s=t=0r=s=t=0 を得るので、 u1Ker(g)u_1 \notin \mathrm{Ker}(g) がわかる。

同様に、 ru2=sv1+tv2r u_2 = s v_1 + t v_2 が成り立つとすると r=s=t=0r=s=t=0 を得るので、 u2Ker(g)u_2 \notin \mathrm{Ker}(g) もわかる。

よって、

dim(Ker(f)Ker(g))=0,dim(Ker(f)+Ker(g))=4\begin{aligned} \mathrm{dim} \left( \mathrm{Ker}(f) \cap \mathrm{Ker}(g) \right) &= 0 , \\ \mathrm{dim} \left( \mathrm{Ker}(f) + \mathrm{Ker}(g) \right) &= 4 \end{aligned}

がわかる。

[3]

第三問Video : 院試数学解説(京大2023年度)線形代数:固有ベクトル