跳到主要内容

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

Author

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

Description

問題1

実数 θ\theta に対して

A(θ)=(cosθsinθsinθcosθ)A(\theta)=\begin{pmatrix}\cos\theta&\sin\theta\\-\sin\theta&\cos\theta\end{pmatrix}

と定義する。

(1) 次の等式を満たす実数 θ\theta をすべて求めよ。存在しない場合は「存在しない」と答えよ。

A(π3)A(π6)A(θ)A(16)A(13)=12(1111).A\left(-\frac\pi3\right)A\left(\frac\pi6\right)A(\theta)A\left(-\frac16\right)A\left(\frac13\right)=\frac1{\sqrt2}\begin{pmatrix}1&1\\-1&1\end{pmatrix}.

(2) A(0),A(π/6),A(π/3)A(0),A(\pi/6),A(\pi/3) がある二次複素正則行列によって同時対角化可能か否かを、証明とともに示せ。

(3) 正の実数 θ\theta と二次元実列ベクトル x0x_0 が与えられている。x(t+1)=θA(θ)x(t)x(t+1)=\theta A(\theta)x(t) (t=0,1,t=0,1,\ldots)、x(0)=x0x(0)=x_0 とするとき、limtx(t)\lim_{t\to\infty}\|x(t)\| を求めよ。正・負の無限大への発散はそれぞれ ,\infty,-\infty、それ以外で極限がない場合は「存在しない」と答えよ。

問題2

R\mathbb R を実数全体とする。基底にはベクトルの順序も含め、(e1,e2,e3)(e_1,e_2,e_3) のように表す。

(1) 次の行列で定まる線形写像それぞれの核の次元を求め、次元が 11 以上ならその基底も求めよ。

T1:R3R4,(112111213220),T2:R3R2,(114668).T_1:\mathbb R^3\to\mathbb R^4,\quad\begin{pmatrix}1&1&2\\1&-1&1\\2&1&3\\2&-2&0\end{pmatrix},\qquad T_2:\mathbb R^3\to\mathbb R^2,\quad\begin{pmatrix}1&1&4\\6&6&8\end{pmatrix}.

(2) T1,T2T_1,T_2 を全射、単射、全単射、いずれでもない、のいずれかに分類せよ。

(3) v1=(1,1,0)T,v2=(1,0,1)T,v3=(1,2,3)Tv_1=(1,-1,0)^{\mathrm T},v_2=(1,0,-1)^{\mathrm T},v_3=(1,2,3)^{\mathrm T} とする。Gram–Schmidt 法で、v1v_1 を正規化して v1v'_1v2v_2v1v'_1 に直交化・正規化して v2v'_2v3v_3v1,v2v'_1,v'_2 に直交化・正規化して v3v'_3 を得る。同様に、v2v_2 を正規化して v2v''_2v1v_1v2v''_2 に直交化・正規化して v1v''_1v3v_3v1,v2v''_1,v''_2 に直交化・正規化して v3v''_3 を得る。基底 (v1,v2,v3)(v'_1,v'_2,v'_3) から基底 (v1,v2,v3)(v''_1,v''_2,v''_3) への変換行列 PP を求めよ。

(4) (3) の PP の行列式を求めよ。

题目描述

问题 1:对实数 θ\theta 定义

A(θ)=(cosθsinθsinθcosθ).A(\theta)=\begin{pmatrix}\cos\theta&\sin\theta\\-\sin\theta&\cos\theta\end{pmatrix}.

(1)求满足下式的全部实数 θ\theta;若不存在则回答“不存在”。

A(π/3)A(π/6)A(θ)A(1/6)A(1/3)=12(1111).A(-\pi/3)A(\pi/6)A(\theta)A(-1/6)A(1/3)=\frac1{\sqrt2}\begin{pmatrix}1&1\\-1&1\end{pmatrix}.

(2)判断 A(0),A(π/6),A(π/3)A(0),A(\pi/6),A(\pi/3) 能否用同一个二阶可逆复矩阵对角化,并证明。

(3)给定正实数 θ\theta 和二维实列向量 x0x_0,令 x(t+1)=θA(θ)x(t)x(t+1)=\theta A(\theta)x(t)t=0,1,t=0,1,\ldots)、x(0)=x0x(0)=x_0,求 limtx(t)\lim_{t\to\infty}\|x(t)\|。向正、负无穷发散分别记作 ,\infty,-\infty,其他无极限情形回答“不存在”。

问题 2:R\mathbb R 为实数集;基是有顺序的向量组。

(1)求下列矩阵定义的线性映射的核维数;若维数至少为 11,求核的一组基。

T1:R3R4,(112111213220),T2:R3R2,(114668).T_1:\mathbb R^3\to\mathbb R^4,\quad\begin{pmatrix}1&1&2\\1&-1&1\\2&1&3\\2&-2&0\end{pmatrix},\qquad T_2:\mathbb R^3\to\mathbb R^2,\quad\begin{pmatrix}1&1&4\\6&6&8\end{pmatrix}.

(2)分别判断 T1,T2T_1,T_2 是满射、单射、双射,还是二者都不是。

(3)令 v1=(1,1,0)T,v2=(1,0,1)T,v3=(1,2,3)Tv_1=(1,-1,0)^{\mathrm T},v_2=(1,0,-1)^{\mathrm T},v_3=(1,2,3)^{\mathrm T}。按 v1,v2,v3v_1,v_2,v_3 的顺序作 Gram–Schmidt 正交归一化,得到 (v1,v2,v3)(v'_1,v'_2,v'_3)。再先归一化 v2v_2 得到 v2v''_2,把 v1v_1v2v''_2 正交归一化得到 v1v''_1,把 v3v_3v1,v2v''_1,v''_2 正交归一化得到 v3v''_3。求从基 (v1,v2,v3)(v'_1,v'_2,v'_3) 到基 (v1,v2,v3)(v''_1,v''_2,v''_3) 的变换矩阵 PP

(4)求 detP\det P

Kai

問題1

(1) 加法定理より A(s)A(t)=A(s+t)A(s)A(t)=A(s+t)、右辺は A(π/4)A(\pi/4) である。従って

θπ6+16=π4+2kπ,θ=5π212+2kπ(kZ).\theta-\frac\pi6+\frac16=\frac\pi4+2k\pi, \qquad\boxed{\theta=\frac{5\pi-2}{12}+2k\pi\quad(k\in\mathbb Z)}.

(2) S=(11ii)S=\begin{pmatrix}1&1\\i&-i\end{pmatrix} とすれば detS=2i0\det S=-2i\ne0 であり、任意の実数 tt について

S1A(t)S=diag(eit,eit).S^{-1}A(t)S=\operatorname{diag}(e^{it},e^{-it}).

従って三行列は同時対角化可能である。

(3) A(θ)A(\theta) は直交行列なので x(t)=θtx0\|x(t)\|=\theta^t\|x_0\|。従って極限は

{0,x0=0 または 0<θ<1,x0,θ=1,+,θ>1, x00.\boxed{\begin{cases}0,&x_0=0\ \text{または}\ 0<\theta<1,\\\|x_0\|,&\theta=1,\\+\infty,&\theta>1,\ x_0\ne0.\end{cases}}

問題2

(1) T1T_1 の最初の三行の行列式は 11 なので階数は 33dimkerT1=0\dim\ker T_1=0T2T_2 の核では二式の差から x3=0x_3=0x1+x2=0x_1+x_2=0 となる。従って

dimkerT2=1,kerT2=span{(1,1,0)T}.\boxed{\dim\ker T_2=1,\qquad\ker T_2=\operatorname{span}\{(1,-1,0)^{\mathrm T}\}}.

(2) T1T_1 は単射で全射ではない。T2T_2 は階数 22 より全射で、単射ではない。

(3) Gram–Schmidt 法により

E=(v1,v2,v3)=((1,1,0)T2,(1,1,2)T6,(1,1,1)T3),E=(v'_1,v'_2,v'_3)=\left(\frac{(1,-1,0)^{\mathrm T}}{\sqrt2},\frac{(1,1,-2)^{\mathrm T}}{\sqrt6},\frac{(1,1,1)^{\mathrm T}}{\sqrt3}\right),
F=(v1,v2,v3)=((1,2,1)T6,(1,0,1)T2,(1,1,1)T3).F=(v''_1,v''_2,v''_3)=\left(\frac{(1,-2,1)^{\mathrm T}}{\sqrt6},\frac{(1,0,-1)^{\mathrm T}}{\sqrt2},\frac{(1,1,1)^{\mathrm T}}{\sqrt3}\right).

EP=FEP=F を満たす基底変換行列は

P=ETF=(3/21/201/23/20001).\boxed{P=E^{\mathrm T}F=\begin{pmatrix}\sqrt3/2&1/2&0\\-1/2&\sqrt3/2&0\\0&0&1\end{pmatrix}}.

座標列の変換は [x]F=P1[x]E=PT[x]E[x]_F=P^{-1}[x]_E=P^{\mathrm T}[x]_E である。

(4) detP=3/4+1/4=1\boxed{\det P=3/4+1/4=1}