東京大学 新領域創成科学研究科 メディカル情報生命専攻 2025年1月実施 問題7
Author
KardeniaPoyu
Description
長さ 1 1 1 の 3 3 3 次元実縦ベクトル u ∈ R 3 \boldsymbol{u} \in \mathbb{R}^3 u ∈ R 3 (∥ u ∥ = u T u = 1 \|\boldsymbol{u}\| = \sqrt{\boldsymbol{u}^T \boldsymbol{u}} = 1 ∥ u ∥ = u T u = 1 ) に対し、3 × 3 3 \times 3 3 × 3 実行列 R u ∈ R 3 × 3 R_u \in \mathbb{R}^{3 \times 3} R u ∈ R 3 × 3 を R u = I − 2 u u T R_u = I - 2\boldsymbol{u}\boldsymbol{u}^T R u = I − 2 u u T と定義する。ここで、I ∈ R 3 × 3 I \in \mathbb{R}^{3 \times 3} I ∈ R 3 × 3 は 3 × 3 3 \times 3 3 × 3 単位行列、u T \boldsymbol{u}^T u T は u \boldsymbol{u} u の転置を表す。以下の問に数学的導出も含め答えよ。
(1) 任意のベクトル x ∈ R 3 \boldsymbol{x} \in \mathbb{R}^3 x ∈ R 3 に対し、y = R u x \boldsymbol{y} = R_u \boldsymbol{x} y = R u x と置くとき、ベクトル x − y \boldsymbol{x} - \boldsymbol{y} x − y はある実数 a ∈ R a \in \mathbb{R} a ∈ R を用いて x − y = a u \boldsymbol{x} - \boldsymbol{y} = a\boldsymbol{u} x − y = a u と書けることを示せ。
(2) y \boldsymbol{y} y と x \boldsymbol{x} x の長さは等しい (∥ y ∥ = ∥ x ∥ \|\boldsymbol{y}\| = \|\boldsymbol{x}\| ∥ y ∥ = ∥ x ∥ ) ことを示せ。
(3) ベクトル x = ( x 1 , x 2 , x 3 ) T ∈ R 3 \boldsymbol{x} = (x_1, x_2, x_3)^T \in \mathbb{R}^3 x = ( x 1 , x 2 , x 3 ) T ∈ R 3 が 1 1 1 つ与えられているとする。y = R u x \boldsymbol{y} = R_u \boldsymbol{x} y = R u x がある実数 b ∈ R b \in \mathbb{R} b ∈ R を用いて y = ( b , 0 , 0 ) T \boldsymbol{y} = (b, 0, 0)^T y = ( b , 0 , 0 ) T の形になるような u \boldsymbol{u} u を全て求めよ。
(4) ベクトル x = ( x 1 , x 2 , x 3 ) T ∈ R 3 \boldsymbol{x} = (x_1, x_2, x_3)^T \in \mathbb{R}^3 x = ( x 1 , x 2 , x 3 ) T ∈ R 3 が 1 1 1 つ与えられているとする。y = R u x \boldsymbol{y} = R_u \boldsymbol{x} y = R u x がある実数 c ∈ R c \in \mathbb{R} c ∈ R を用いて y = ( x 1 , c , 0 ) T \boldsymbol{y} = (x_1, c, 0)^T y = ( x 1 , c , 0 ) T の形になるような u \boldsymbol{u} u を全て求めよ。
(5) A = ( 0 1 0 0 0 1 1 0 1 ) ∈ R 3 × 3 A = \begin{pmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 1 & 0 & 1 \end{pmatrix} \in \mathbb{R}^{3 \times 3} A = 0 0 1 1 0 0 0 1 1 ∈ R 3 × 3 とする。B = R u R v A B = R_u R_v A B = R u R v A がある実数 d , e , f , g , h , i ∈ R d, e, f, g, h, i \in \mathbb{R} d , e , f , g , h , i ∈ R を用いて B = ( d e f 0 g h 0 0 i ) B = \begin{pmatrix} d & e & f \\ 0 & g & h \\ 0 & 0 & i \end{pmatrix} B = d 0 0 e g 0 f h i の形になるような、長さ 1 1 1 のベクトルの組 ( u , v ) (\boldsymbol{u}, \boldsymbol{v}) ( u , v ) を 1 1 1 つ求めよ。またこのときの B B B を答えよ。
Kai
(1)
定義より、y = R u x = ( I − 2 u u T ) x = x − 2 u ( u T x ) \boldsymbol{y} = R_u\boldsymbol{x} = (I - 2\boldsymbol{u}\boldsymbol{u}^T)\boldsymbol{x} = \boldsymbol{x} - 2\boldsymbol{u}(\boldsymbol{u}^T\boldsymbol{x}) y = R u x = ( I − 2 u u T ) x = x − 2 u ( u T x ) である。
これを移項すると、
x − y = 2 ( u T x ) u \boldsymbol{x} - \boldsymbol{y} = 2(\boldsymbol{u}^T\boldsymbol{x})\boldsymbol{u} x − y = 2 ( u T x ) u
となる。ここで、u T x \boldsymbol{u}^T\boldsymbol{x} u T x はベクトルの内積であり、実数のスカラー値である。
したがって、a = 2 u T x ∈ R a = 2\boldsymbol{u}^T\boldsymbol{x} \in \mathbb{R} a = 2 u T x ∈ R とおけば、
x − y = a u \boldsymbol{x} - \boldsymbol{y} = a\boldsymbol{u} x − y = a u
と書けることが示された。
English:
By definition, y = R u x = ( I − 2 u u T ) x = x − 2 u ( u T x ) \boldsymbol{y} = R_u\boldsymbol{x} = (I - 2\boldsymbol{u}\boldsymbol{u}^T)\boldsymbol{x} = \boldsymbol{x} - 2\boldsymbol{u}(\boldsymbol{u}^T\boldsymbol{x}) y = R u x = ( I − 2 u u T ) x = x − 2 u ( u T x ) .
Rearranging this equation yields:
x − y = 2 ( u T x ) u \boldsymbol{x} - \boldsymbol{y} = 2(\boldsymbol{u}^T\boldsymbol{x})\boldsymbol{u} x − y = 2 ( u T x ) u
Here, u T x \boldsymbol{u}^T\boldsymbol{x} u T x is the inner product of two vectors, which evaluates to a real scalar.
Therefore, by letting a = 2 u T x ∈ R a = 2\boldsymbol{u}^T\boldsymbol{x} \in \mathbb{R} a = 2 u T x ∈ R , we can express this as:
x − y = a u \boldsymbol{x} - \boldsymbol{y} = a\boldsymbol{u} x − y = a u
This completes the proof.
(2)
∥ y ∥ 2 = y T y = ( R u x ) T ( R u x ) = x T R u T R u x \|\boldsymbol{y}\|^2 = \boldsymbol{y}^T \boldsymbol{y} = (R_u \boldsymbol{x})^T (R_u \boldsymbol{x}) = \boldsymbol{x}^T R_u^T R_u \boldsymbol{x} ∥ y ∥ 2 = y T y = ( R u x ) T ( R u x ) = x T R u T R u x を計算する。
まず、R u R_u R u の転置は R u T = ( I − 2 u u T ) T = I − 2 u u T = R u R_u^T = (I - 2\boldsymbol{u}\boldsymbol{u}^T)^T = I - 2\boldsymbol{u}\boldsymbol{u}^T = R_u R u T = ( I − 2 u u T ) T = I − 2 u u T = R u であり、R u R_u R u は対称行列である。
次に、R u T R u = R u 2 R_u^T R_u = R_u^2 R u T R u = R u 2 を計算すると、
R u 2 = ( I − 2 u u T ) ( I − 2 u u T ) = I − 4 u u T + 4 u ( u T u ) u T \begin{aligned}
R_u^2 &= (I - 2\boldsymbol{u}\boldsymbol{u}^T)(I - 2\boldsymbol{u}\boldsymbol{u}^T) \\
&= I - 4\boldsymbol{u}\boldsymbol{u}^T + 4\boldsymbol{u}(\boldsymbol{u}^T\boldsymbol{u})\boldsymbol{u}^T
\end{aligned} R u 2 = ( I − 2 u u T ) ( I − 2 u u T ) = I − 4 u u T + 4 u ( u T u ) u T
仮定より ∥ u ∥ = 1 \|\boldsymbol{u}\| = 1 ∥ u ∥ = 1 、すなわち u T u = 1 \boldsymbol{u}^T\boldsymbol{u} = 1 u T u = 1 であるため、
R u 2 = I − 4 u u T + 4 u ( 1 ) u T = I R_u^2 = I - 4\boldsymbol{u}\boldsymbol{u}^T + 4\boldsymbol{u}(1)\boldsymbol{u}^T = I R u 2 = I − 4 u u T + 4 u ( 1 ) u T = I
となり、R u R_u R u は直交行列であることがわかる。
ゆえに、∥ y ∥ 2 = x T I x = x T x = ∥ x ∥ 2 \|\boldsymbol{y}\|^2 = \boldsymbol{x}^T I \boldsymbol{x} = \boldsymbol{x}^T \boldsymbol{x} = \|\boldsymbol{x}\|^2 ∥ y ∥ 2 = x T I x = x T x = ∥ x ∥ 2 となる。
ノルムは非負であるため、∥ y ∥ = ∥ x ∥ \|\boldsymbol{y}\| = \|\boldsymbol{x}\| ∥ y ∥ = ∥ x ∥ が示された。
English:
Calculate ∥ y ∥ 2 = y T y = ( R u x ) T ( R u x ) = x T R u T R u x \|\boldsymbol{y}\|^2 = \boldsymbol{y}^T \boldsymbol{y} = (R_u \boldsymbol{x})^T (R_u \boldsymbol{x}) = \boldsymbol{x}^T R_u^T R_u \boldsymbol{x} ∥ y ∥ 2 = y T y = ( R u x ) T ( R u x ) = x T R u T R u x .
First, note that R u T = ( I − 2 u u T ) T = I − 2 u u T = R u R_u^T = (I - 2\boldsymbol{u}\boldsymbol{u}^T)^T = I - 2\boldsymbol{u}\boldsymbol{u}^T = R_u R u T = ( I − 2 u u T ) T = I − 2 u u T = R u , meaning R u R_u R u is a symmetric matrix.
Next, we calculate R u T R u = R u 2 R_u^T R_u = R_u^2 R u T R u = R u 2 :
R u 2 = ( I − 2 u u T ) ( I − 2 u u T ) = I − 4 u u T + 4 u ( u T u ) u T \begin{aligned}
R_u^2 &= (I - 2\boldsymbol{u}\boldsymbol{u}^T)(I - 2\boldsymbol{u}\boldsymbol{u}^T) \\
&= I - 4\boldsymbol{u}\boldsymbol{u}^T + 4\boldsymbol{u}(\boldsymbol{u}^T\boldsymbol{u})\boldsymbol{u}^T
\end{aligned} R u 2 = ( I − 2 u u T ) ( I − 2 u u T ) = I − 4 u u T + 4 u ( u T u ) u T
By assumption, ∥ u ∥ = 1 \|\boldsymbol{u}\| = 1 ∥ u ∥ = 1 , which means u T u = 1 \boldsymbol{u}^T\boldsymbol{u} = 1 u T u = 1 . Thus:
R u 2 = I − 4 u u T + 4 u ( 1 ) u T = I R_u^2 = I - 4\boldsymbol{u}\boldsymbol{u}^T + 4\boldsymbol{u}(1)\boldsymbol{u}^T = I R u 2 = I − 4 u u T + 4 u ( 1 ) u T = I
This shows R u R_u R u is an orthogonal matrix.
Therefore, ∥ y ∥ 2 = x T I x = x T x = ∥ x ∥ 2 \|\boldsymbol{y}\|^2 = \boldsymbol{x}^T I \boldsymbol{x} = \boldsymbol{x}^T \boldsymbol{x} = \|\boldsymbol{x}\|^2 ∥ y ∥ 2 = x T I x = x T x = ∥ x ∥ 2 .
Since norms are non-negative, it follows that ∥ y ∥ = ∥ x ∥ \|\boldsymbol{y}\| = \|\boldsymbol{x}\| ∥ y ∥ = ∥ x ∥ .
(3)
(2) より ∥ y ∥ = ∥ x ∥ \|\boldsymbol{y}\| = \|\boldsymbol{x}\| ∥ y ∥ = ∥ x ∥ であるため、y = ( b , 0 , 0 ) T \boldsymbol{y} = (b, 0, 0)^T y = ( b , 0 , 0 ) T ならば b 2 = ∥ x ∥ 2 b^2 = \|\boldsymbol{x}\|^2 b 2 = ∥ x ∥ 2 、すなわち b = ± ∥ x ∥ b = \pm \|\boldsymbol{x}\| b = ± ∥ x ∥ である。
(1) より x − y = a u \boldsymbol{x} - \boldsymbol{y} = a\boldsymbol{u} x − y = a u であり、u \boldsymbol{u} u は長さ 1 のベクトルであるため、x − y ≠ 0 \boldsymbol{x} - \boldsymbol{y} \neq \boldsymbol{0} x − y = 0 のとき、u \boldsymbol{u} u は x − y \boldsymbol{x} - \boldsymbol{y} x − y と平行な単位ベクトルとなる。すなわち、u = ± x − y ∥ x − y ∥ \boldsymbol{u} = \pm \frac{\boldsymbol{x} - \boldsymbol{y}}{\|\boldsymbol{x} - \boldsymbol{y}\|} u = ± ∥ x − y ∥ x − y である。
以下の3つの場合に分けて求める。
(i) x ≠ ± ∥ x ∥ ( 1 , 0 , 0 ) T \boldsymbol{x} \neq \pm \|\boldsymbol{x}\| (1, 0, 0)^T x = ± ∥ x ∥ ( 1 , 0 , 0 ) T の場合:
x − y ≠ 0 \boldsymbol{x} - \boldsymbol{y} \neq \boldsymbol{0} x − y = 0 となるため、公式に代入して、
u = ± x ∓ ∥ x ∥ ( 1 , 0 , 0 ) T ∥ x ∓ ∥ x ∥ ( 1 , 0 , 0 ) T ∥ ( 複号任意 ) \boldsymbol{u} = \pm \frac{\boldsymbol{x} \mp \|\boldsymbol{x}\| (1, 0, 0)^T}{\|\boldsymbol{x} \mp \|\boldsymbol{x}\| (1, 0, 0)^T\|} \quad (\text{複号任意}) u = ± ∥ x ∓ ∥ x ∥ ( 1 , 0 , 0 ) T ∥ x ∓ ∥ x ∥ ( 1 , 0 , 0 ) T ( 複号任意 )
(ii) x = k ( 1 , 0 , 0 ) T ( k ≠ 0 ) \boldsymbol{x} = k (1, 0, 0)^T \ (k \neq 0) x = k ( 1 , 0 , 0 ) T ( k = 0 ) の場合:
b = k b = k b = k のとき、y = x \boldsymbol{y} = \boldsymbol{x} y = x となる。このとき R u x = x ⟹ 2 u ( u T x ) = 0 ⟹ u T x = 0 R_u \boldsymbol{x} = \boldsymbol{x} \implies 2\boldsymbol{u}(\boldsymbol{u}^T \boldsymbol{x}) = \boldsymbol{0} \implies \boldsymbol{u}^T \boldsymbol{x} = 0 R u x = x ⟹ 2 u ( u T x ) = 0 ⟹ u T x = 0 。ゆえに u 1 = 0 u_1 = 0 u 1 = 0 を満たす任意の単位ベクトル u = ( 0 , u 2 , u 3 ) T \boldsymbol{u} = (0, u_2, u_3)^T u = ( 0 , u 2 , u 3 ) T (ただし u 2 2 + u 3 2 = 1 u_2^2 + u_3^2 = 1 u 2 2 + u 3 2 = 1 )。
b = − k b = -k b = − k のとき、x − y = 2 k ( 1 , 0 , 0 ) T ≠ 0 \boldsymbol{x} - \boldsymbol{y} = 2k (1, 0, 0)^T \neq \boldsymbol{0} x − y = 2 k ( 1 , 0 , 0 ) T = 0 となるため、u = ± ( 1 , 0 , 0 ) T \boldsymbol{u} = \pm (1, 0, 0)^T u = ± ( 1 , 0 , 0 ) T 。
(iii) x = 0 \boldsymbol{x} = \boldsymbol{0} x = 0 の場合:
b = 0 b = 0 b = 0 となり、y = 0 \boldsymbol{y} = \boldsymbol{0} y = 0 。R u 0 = 0 R_u \boldsymbol{0} = \boldsymbol{0} R u 0 = 0 は常に成り立つため、任意の単位ベクトル u \boldsymbol{u} u が解となる。
English:
From (2), ∥ y ∥ = ∥ x ∥ \|\boldsymbol{y}\| = \|\boldsymbol{x}\| ∥ y ∥ = ∥ x ∥ . If y = ( b , 0 , 0 ) T \boldsymbol{y} = (b, 0, 0)^T y = ( b , 0 , 0 ) T , then b 2 = ∥ x ∥ 2 b^2 = \|\boldsymbol{x}\|^2 b 2 = ∥ x ∥ 2 , which implies b = ± ∥ x ∥ b = \pm \|\boldsymbol{x}\| b = ± ∥ x ∥ .
From (1), x − y = a u \boldsymbol{x} - \boldsymbol{y} = a\boldsymbol{u} x − y = a u . Since u \boldsymbol{u} u is a unit vector, when x − y ≠ 0 \boldsymbol{x} - \boldsymbol{y} \neq \boldsymbol{0} x − y = 0 , u \boldsymbol{u} u must be a unit vector parallel to x − y \boldsymbol{x} - \boldsymbol{y} x − y . Thus, u = ± x − y ∥ x − y ∥ \boldsymbol{u} = \pm \frac{\boldsymbol{x} - \boldsymbol{y}}{\|\boldsymbol{x} - \boldsymbol{y}\|} u = ± ∥ x − y ∥ x − y .
We find all solutions by considering three cases:
(i) If x ≠ ± ∥ x ∥ ( 1 , 0 , 0 ) T \boldsymbol{x} \neq \pm \|\boldsymbol{x}\| (1, 0, 0)^T x = ± ∥ x ∥ ( 1 , 0 , 0 ) T :
Here, x − y ≠ 0 \boldsymbol{x} - \boldsymbol{y} \neq \boldsymbol{0} x − y = 0 . Substituting y \boldsymbol{y} y , we get:
u = ± x ∓ ∥ x ∥ ( 1 , 0 , 0 ) T ∥ x ∓ ∥ x ∥ ( 1 , 0 , 0 ) T ∥ ( signs are independent ) \boldsymbol{u} = \pm \frac{\boldsymbol{x} \mp \|\boldsymbol{x}\| (1, 0, 0)^T}{\|\boldsymbol{x} \mp \|\boldsymbol{x}\| (1, 0, 0)^T\|} \quad (\text{signs are independent}) u = ± ∥ x ∓ ∥ x ∥ ( 1 , 0 , 0 ) T ∥ x ∓ ∥ x ∥ ( 1 , 0 , 0 ) T ( signs are independent )
(ii) If x = k ( 1 , 0 , 0 ) T \boldsymbol{x} = k (1, 0, 0)^T x = k ( 1 , 0 , 0 ) T for k ≠ 0 k \neq 0 k = 0 :
For b = k b = k b = k , we have y = x \boldsymbol{y} = \boldsymbol{x} y = x . This gives R u x = x ⟹ 2 u ( u T x ) = 0 ⟹ u T x = 0 R_u \boldsymbol{x} = \boldsymbol{x} \implies 2\boldsymbol{u}(\boldsymbol{u}^T \boldsymbol{x}) = \boldsymbol{0} \implies \boldsymbol{u}^T \boldsymbol{x} = 0 R u x = x ⟹ 2 u ( u T x ) = 0 ⟹ u T x = 0 . Hence, any unit vector with u 1 = 0 u_1 = 0 u 1 = 0 is a solution: u = ( 0 , u 2 , u 3 ) T \boldsymbol{u} = (0, u_2, u_3)^T u = ( 0 , u 2 , u 3 ) T (where u 2 2 + u 3 2 = 1 u_2^2 + u_3^2 = 1 u 2 2 + u 3 2 = 1 ).
For b = − k b = -k b = − k , we have x − y = 2 k ( 1 , 0 , 0 ) T ≠ 0 \boldsymbol{x} - \boldsymbol{y} = 2k (1, 0, 0)^T \neq \boldsymbol{0} x − y = 2 k ( 1 , 0 , 0 ) T = 0 . Hence, u = ± ( 1 , 0 , 0 ) T \boldsymbol{u} = \pm (1, 0, 0)^T u = ± ( 1 , 0 , 0 ) T .
(iii) If x = 0 \boldsymbol{x} = \boldsymbol{0} x = 0 :
Here b = 0 b = 0 b = 0 and y = 0 \boldsymbol{y} = \boldsymbol{0} y = 0 . Since R u 0 = 0 R_u \boldsymbol{0} = \boldsymbol{0} R u 0 = 0 holds trivially, any unit vector u \boldsymbol{u} u is a solution.
(4)
y = ( x 1 , c , 0 ) T \boldsymbol{y} = (x_1, c, 0)^T y = ( x 1 , c , 0 ) T とする。(1) より、
x − y = ( 0 x 2 − c x 3 ) = a u \boldsymbol{x} - \boldsymbol{y} = \begin{pmatrix} 0 \\ x_2 - c \\ x_3 \end{pmatrix} = a\boldsymbol{u} x − y = 0 x 2 − c x 3 = a u
である。これにより、u \boldsymbol{u} u の第1成分は u 1 = 0 u_1 = 0 u 1 = 0 でなければならない。
また ∥ y ∥ = ∥ x ∥ \|\boldsymbol{y}\| = \|\boldsymbol{x}\| ∥ y ∥ = ∥ x ∥ より、x 1 2 + c 2 = x 1 2 + x 2 2 + x 3 2 x_1^2 + c^2 = x_1^2 + x_2^2 + x_3^2 x 1 2 + c 2 = x 1 2 + x 2 2 + x 3 2 となるため、c = ± x 2 2 + x 3 2 c = \pm \sqrt{x_2^2 + x_3^2} c = ± x 2 2 + x 3 2 である。
(i) x − y ≠ 0 \boldsymbol{x} - \boldsymbol{y} \neq \boldsymbol{0} x − y = 0 の場合(すなわち c ≠ x 2 c \neq x_2 c = x 2 または x 3 ≠ 0 x_3 \neq 0 x 3 = 0 ):
u \boldsymbol{u} u は x − y \boldsymbol{x} - \boldsymbol{y} x − y を正規化したものになるため、
u = ± x − y ∥ x − y ∥ = ± 1 ( x 2 − c ) 2 + x 3 2 ( 0 x 2 − c x 3 ) \boldsymbol{u} = \pm \frac{\boldsymbol{x} - \boldsymbol{y}}{\|\boldsymbol{x} - \boldsymbol{y}\|} = \pm \frac{1}{\sqrt{(x_2 - c)^2 + x_3^2}} \begin{pmatrix} 0 \\ x_2 - c \\ x_3 \end{pmatrix} u = ± ∥ x − y ∥ x − y = ± ( x 2 − c ) 2 + x 3 2 1 0 x 2 − c x 3
(ただし c = ± x 2 2 + x 3 2 c = \pm \sqrt{x_2^2 + x_3^2} c = ± x 2 2 + x 3 2 )。
(ii) x − y = 0 \boldsymbol{x} - \boldsymbol{y} = \boldsymbol{0} x − y = 0 の場合(すなわち x 3 = 0 x_3 = 0 x 3 = 0 かつ c = x 2 c = x_2 c = x 2 ):
x = y = ( x 1 , x 2 , 0 ) T \boldsymbol{x} = \boldsymbol{y} = (x_1, x_2, 0)^T x = y = ( x 1 , x 2 , 0 ) T となる。(3) と同様に R u x = x ⟹ u T x = 0 ⟹ x 1 u 1 + x 2 u 2 = 0 R_u \boldsymbol{x} = \boldsymbol{x} \implies \boldsymbol{u}^T\boldsymbol{x} = 0 \implies x_1 u_1 + x_2 u_2 = 0 R u x = x ⟹ u T x = 0 ⟹ x 1 u 1 + x 2 u 2 = 0 。
これと ∥ u ∥ = 1 \|\boldsymbol{u}\| = 1 ∥ u ∥ = 1 を満たす任意の単位ベクトル u \boldsymbol{u} u が解となる。
English:
Let y = ( x 1 , c , 0 ) T \boldsymbol{y} = (x_1, c, 0)^T y = ( x 1 , c , 0 ) T . From (1), we have:
x − y = ( 0 x 2 − c x 3 ) = a u \boldsymbol{x} - \boldsymbol{y} = \begin{pmatrix} 0 \\ x_2 - c \\ x_3 \end{pmatrix} = a\boldsymbol{u} x − y = 0 x 2 − c x 3 = a u
This implies that the first component of u \boldsymbol{u} u must be u 1 = 0 u_1 = 0 u 1 = 0 .
Additionally, from ∥ y ∥ = ∥ x ∥ \|\boldsymbol{y}\| = \|\boldsymbol{x}\| ∥ y ∥ = ∥ x ∥ , we get x 1 2 + c 2 = x 1 2 + x 2 2 + x 3 2 x_1^2 + c^2 = x_1^2 + x_2^2 + x_3^2 x 1 2 + c 2 = x 1 2 + x 2 2 + x 3 2 , which gives c = ± x 2 2 + x 3 2 c = \pm \sqrt{x_2^2 + x_3^2} c = ± x 2 2 + x 3 2 .
(i) If x − y ≠ 0 \boldsymbol{x} - \boldsymbol{y} \neq \boldsymbol{0} x − y = 0 (i.e., c ≠ x 2 c \neq x_2 c = x 2 or x 3 ≠ 0 x_3 \neq 0 x 3 = 0 ):
u \boldsymbol{u} u is obtained by normalizing x − y \boldsymbol{x} - \boldsymbol{y} x − y :
u = ± x − y ∥ x − y ∥ = ± 1 ( x 2 − c ) 2 + x 3 2 ( 0 x 2 − c x 3 ) \boldsymbol{u} = \pm \frac{\boldsymbol{x} - \boldsymbol{y}}{\|\boldsymbol{x} - \boldsymbol{y}\|} = \pm \frac{1}{\sqrt{(x_2 - c)^2 + x_3^2}} \begin{pmatrix} 0 \\ x_2 - c \\ x_3 \end{pmatrix} u = ± ∥ x − y ∥ x − y = ± ( x 2 − c ) 2 + x 3 2 1 0 x 2 − c x 3
(where c = ± x 2 2 + x 3 2 c = \pm \sqrt{x_2^2 + x_3^2} c = ± x 2 2 + x 3 2 ).
(ii) If x − y = 0 \boldsymbol{x} - \boldsymbol{y} = \boldsymbol{0} x − y = 0 (i.e., x 3 = 0 x_3 = 0 x 3 = 0 and c = x 2 c = x_2 c = x 2 ):
Here x = y = ( x 1 , x 2 , 0 ) T \boldsymbol{x} = \boldsymbol{y} = (x_1, x_2, 0)^T x = y = ( x 1 , x 2 , 0 ) T . Similar to (3), R u x = x ⟹ u T x = 0 ⟹ x 1 u 1 + x 2 u 2 = 0 R_u \boldsymbol{x} = \boldsymbol{x} \implies \boldsymbol{u}^T\boldsymbol{x} = 0 \implies x_1 u_1 + x_2 u_2 = 0 R u x = x ⟹ u T x = 0 ⟹ x 1 u 1 + x 2 u 2 = 0 .
Any unit vector u \boldsymbol{u} u satisfying this equation and ∥ u ∥ = 1 \|\boldsymbol{u}\| = 1 ∥ u ∥ = 1 is a solution.
(5)
この問題は、ハウスホルダー変換を用いて行列 A A A の QR分解を行うプロセスに相当する。
ステップ1:行列 A A A の第1列目を変換する v \boldsymbol{v} v を求める
A A A の第1列 a 1 = ( 0 , 0 , 1 ) T \boldsymbol{a}_1 = (0, 0, 1)^T a 1 = ( 0 , 0 , 1 ) T を、(3) の結果を利用して ( d , 0 , 0 ) T (d, 0, 0)^T ( d , 0 , 0 ) T の形に変換する。
∥ a 1 ∥ = 1 \|\boldsymbol{a}_1\| = 1 ∥ a 1 ∥ = 1 より d = 1 d = 1 d = 1 と選ぶと、y 1 = ( 1 , 0 , 0 ) T \boldsymbol{y}_1 = (1, 0, 0)^T y 1 = ( 1 , 0 , 0 ) T となる。
公式より、
v = a 1 − y 1 ∥ a 1 − y 1 ∥ = 1 ( − 1 ) 2 + 0 2 + 1 2 ( − 1 0 1 ) = 1 2 ( − 1 0 1 ) \boldsymbol{v} = \frac{\boldsymbol{a}_1 - \boldsymbol{y}_1}{\|\boldsymbol{a}_1 - \boldsymbol{y}_1\|} = \frac{1}{\sqrt{(-1)^2 + 0^2 + 1^2}} \begin{pmatrix} -1 \\ 0 \\ 1 \end{pmatrix} = \frac{1}{\sqrt{2}} \begin{pmatrix} -1 \\ 0 \\ 1 \end{pmatrix} v = ∥ a 1 − y 1 ∥ a 1 − y 1 = ( − 1 ) 2 + 0 2 + 1 2 1 − 1 0 1 = 2 1 − 1 0 1
このとき、R v R_v R v を計算すると以下のようになる(これは1行目と3行目を入れ替える置換行列となる)。
R v = I − 2 v v T = ( 0 0 1 0 1 0 1 0 0 ) R_v = I - 2\boldsymbol{v}\boldsymbol{v}^T = \begin{pmatrix} 0 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 0 \end{pmatrix} R v = I − 2 v v T = 0 0 1 0 1 0 1 0 0
R v A = ( 0 0 1 0 1 0 1 0 0 ) ( 0 1 0 0 0 1 1 0 1 ) = ( 1 0 1 0 0 1 0 1 0 ) R_v A = \begin{pmatrix} 0 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 0 \end{pmatrix} \begin{pmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 1 & 0 & 1 \end{pmatrix} = \begin{pmatrix} 1 & 0 & 1 \\ 0 & 0 & 1 \\ 0 & 1 & 0 \end{pmatrix} R v A = 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 1 1 = 1 0 0 0 0 1 1 1 0
ステップ2:R v A R_v A R v A の第2列目を変換する u \boldsymbol{u} u を求める
R v A R_v A R v A の第2列 a 2 ( 1 ) = ( 0 , 0 , 1 ) T \boldsymbol{a}_2^{(1)} = (0, 0, 1)^T a 2 ( 1 ) = ( 0 , 0 , 1 ) T を、第1成分を変えずに ( 0 , g , 0 ) T (0, g, 0)^T ( 0 , g , 0 ) T の形に変換する。これは (4) に対応する。
x = ( 0 , 0 , 1 ) T \boldsymbol{x} = (0, 0, 1)^T x = ( 0 , 0 , 1 ) T とし、g = 1 g = 1 g = 1 と選ぶと y 2 = ( 0 , 1 , 0 ) T \boldsymbol{y}_2 = (0, 1, 0)^T y 2 = ( 0 , 1 , 0 ) T となる。
公式より、
u = x − y 2 ∥ x − y 2 ∥ = 1 0 2 + ( − 1 ) 2 + 1 2 ( 0 − 1 1 ) = 1 2 ( 0 − 1 1 ) \boldsymbol{u} = \frac{\boldsymbol{x} - \boldsymbol{y}_2}{\|\boldsymbol{x} - \boldsymbol{y}_2\|} = \frac{1}{\sqrt{0^2 + (-1)^2 + 1^2}} \begin{pmatrix} 0 \\ -1 \\ 1 \end{pmatrix} = \frac{1}{\sqrt{2}} \begin{pmatrix} 0 \\ -1 \\ 1 \end{pmatrix} u = ∥ x − y 2 ∥ x − y 2 = 0 2 + ( − 1 ) 2 + 1 2 1 0 − 1 1 = 2 1 0 − 1 1
このとき、R u R_u R u を計算すると以下のようになる(これは2行目と3行目を入れ替える置換行列となる)。
R u = I − 2 u u T = ( 1 0 0 0 0 1 0 1 0 ) R_u = I - 2\boldsymbol{u}\boldsymbol{u}^T = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 1 & 0 \end{pmatrix} R u = I − 2 u u T = 1 0 0 0 0 1 0 1 0
最後に B = R u ( R v A ) B = R_u (R_v A) B = R u ( R v A ) を計算する。
B = ( 1 0 0 0 0 1 0 1 0 ) ( 1 0 1 0 0 1 0 1 0 ) = ( 1 0 1 0 1 0 0 0 1 ) B = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 1 & 0 \end{pmatrix} \begin{pmatrix} 1 & 0 & 1 \\ 0 & 0 & 1 \\ 0 & 1 & 0 \end{pmatrix} = \begin{pmatrix} 1 & 0 & 1 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix} B = 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 0 = 1 0 0 0 1 0 1 0 1
これは指定された上三角行列の形を満たしている。
解答:
v = 1 2 ( − 1 0 1 ) \boldsymbol{v} = \frac{1}{\sqrt{2}} \begin{pmatrix} -1 \\ 0 \\ 1 \end{pmatrix} v = 2 1 − 1 0 1
u = 1 2 ( 0 − 1 1 ) \boldsymbol{u} = \frac{1}{\sqrt{2}} \begin{pmatrix} 0 \\ -1 \\ 1 \end{pmatrix} u = 2 1 0 − 1 1
B = ( 1 0 1 0 1 0 0 0 1 ) B = \begin{pmatrix} 1 & 0 & 1 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix} B = 1 0 0 0 1 0 1 0 1
English:
This problem corresponds to the process of QR decomposition of matrix A A A using Householder transformations.
Step 1: Find v \boldsymbol{v} v to transform the first column of A A A
We transform the first column of A A A , a 1 = ( 0 , 0 , 1 ) T \boldsymbol{a}_1 = (0, 0, 1)^T a 1 = ( 0 , 0 , 1 ) T , into the form ( d , 0 , 0 ) T (d, 0, 0)^T ( d , 0 , 0 ) T using the method from (3).
Since ∥ a 1 ∥ = 1 \|\boldsymbol{a}_1\| = 1 ∥ a 1 ∥ = 1 , we can choose d = 1 d = 1 d = 1 , giving y 1 = ( 1 , 0 , 0 ) T \boldsymbol{y}_1 = (1, 0, 0)^T y 1 = ( 1 , 0 , 0 ) T .
Using the formula:
v = a 1 − y 1 ∥ a 1 − y 1 ∥ = 1 ( − 1 ) 2 + 0 2 + 1 2 ( − 1 0 1 ) = 1 2 ( − 1 0 1 ) \boldsymbol{v} = \frac{\boldsymbol{a}_1 - \boldsymbol{y}_1}{\|\boldsymbol{a}_1 - \boldsymbol{y}_1\|} = \frac{1}{\sqrt{(-1)^2 + 0^2 + 1^2}} \begin{pmatrix} -1 \\ 0 \\ 1 \end{pmatrix} = \frac{1}{\sqrt{2}} \begin{pmatrix} -1 \\ 0 \\ 1 \end{pmatrix} v = ∥ a 1 − y 1 ∥ a 1 − y 1 = ( − 1 ) 2 + 0 2 + 1 2 1 − 1 0 1 = 2 1 − 1 0 1
Calculating R v R_v R v , we get a permutation matrix that swaps the 1st and 3rd rows:
R v = I − 2 v v T = ( 0 0 1 0 1 0 1 0 0 ) R_v = I - 2\boldsymbol{v}\boldsymbol{v}^T = \begin{pmatrix} 0 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 0 \end{pmatrix} R v = I − 2 v v T = 0 0 1 0 1 0 1 0 0
R v A = ( 0 0 1 0 1 0 1 0 0 ) ( 0 1 0 0 0 1 1 0 1 ) = ( 1 0 1 0 0 1 0 1 0 ) R_v A = \begin{pmatrix} 0 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 0 \end{pmatrix} \begin{pmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 1 & 0 & 1 \end{pmatrix} = \begin{pmatrix} 1 & 0 & 1 \\ 0 & 0 & 1 \\ 0 & 1 & 0 \end{pmatrix} R v A = 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 1 1 = 1 0 0 0 0 1 1 1 0
Step 2: Find u \boldsymbol{u} u to transform the second column of R v A R_v A R v A
Next, we transform the second column of R v A R_v A R v A , which is a 2 ( 1 ) = ( 0 , 0 , 1 ) T \boldsymbol{a}_2^{(1)} = (0, 0, 1)^T a 2 ( 1 ) = ( 0 , 0 , 1 ) T , into ( 0 , g , 0 ) T (0, g, 0)^T ( 0 , g , 0 ) T without changing the first component, using the method from (4).
Here x = ( 0 , 0 , 1 ) T \boldsymbol{x} = (0, 0, 1)^T x = ( 0 , 0 , 1 ) T . Choosing g = 1 g = 1 g = 1 gives y 2 = ( 0 , 1 , 0 ) T \boldsymbol{y}_2 = (0, 1, 0)^T y 2 = ( 0 , 1 , 0 ) T .
Using the formula:
u = x − y 2 ∥ x − y 2 ∥ = 1 0 2 + ( − 1 ) 2 + 1 2 ( 0 − 1 1 ) = 1 2 ( 0 − 1 1 ) \boldsymbol{u} = \frac{\boldsymbol{x} - \boldsymbol{y}_2}{\|\boldsymbol{x} - \boldsymbol{y}_2\|} = \frac{1}{\sqrt{0^2 + (-1)^2 + 1^2}} \begin{pmatrix} 0 \\ -1 \\ 1 \end{pmatrix} = \frac{1}{\sqrt{2}} \begin{pmatrix} 0 \\ -1 \\ 1 \end{pmatrix} u = ∥ x − y 2 ∥ x − y 2 = 0 2 + ( − 1 ) 2 + 1 2 1 0 − 1 1 = 2 1 0 − 1 1
Calculating R u R_u R u , we get another permutation matrix that swaps the 2nd and 3rd rows:
R u = I − 2 u u T = ( 1 0 0 0 0 1 0 1 0 ) R_u = I - 2\boldsymbol{u}\boldsymbol{u}^T = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 1 & 0 \end{pmatrix} R u = I − 2 u u T = 1 0 0 0 0 1 0 1 0
Finally, we calculate B = R u ( R v A ) B = R_u (R_v A) B = R u ( R v A ) :
B = ( 1 0 0 0 0 1 0 1 0 ) ( 1 0 1 0 0 1 0 1 0 ) = ( 1 0 1 0 1 0 0 0 1 ) B = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 1 & 0 \end{pmatrix} \begin{pmatrix} 1 & 0 & 1 \\ 0 & 0 & 1 \\ 0 & 1 & 0 \end{pmatrix} = \begin{pmatrix} 1 & 0 & 1 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix} B = 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 0 = 1 0 0 0 1 0 1 0 1
This is exactly in the desired upper triangular form.
Final Answer:
v = 1 2 ( − 1 0 1 ) \boldsymbol{v} = \frac{1}{\sqrt{2}} \begin{pmatrix} -1 \\ 0 \\ 1 \end{pmatrix} v = 2 1 − 1 0 1
u = 1 2 ( 0 − 1 1 ) \boldsymbol{u} = \frac{1}{\sqrt{2}} \begin{pmatrix} 0 \\ -1 \\ 1 \end{pmatrix} u = 2 1 0 − 1 1
B = ( 1 0 1 0 1 0 0 0 1 ) B = \begin{pmatrix} 1 & 0 & 1 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix} B = 1 0 0 0 1 0 1 0 1