4.5.1.0.2 別証明

$A$ の二つの QR 分解

$$A=Q_1 R_1, \quad A=Q_2 R_2$$

があれば、 $Q_1 R_1=Q_2 R_2$ から

$$Q_2^\ast Q_1=R_2 R_1^{-1}.$$ (4.8)

この等式の左辺は unitary 行列である。実際

$$(Q_2^\ast Q_1) (Q_2^\ast Q_1)^\ast =Q_2^\ast Q_1 Q_1^\ast Q_2^{\ast\ast}=Q_2^\ast Q_2=I.$$

また (4.8) の右辺は上三角行列で、 対角成分はすべて正である。

unitary かつ上三角かつ対角成分がすべて正という行列は単位行列に限られる ことは容易に証明できる。ゆえに

$$Q_2^\ast Q_1=R_2 R_1^{-1}=I.$$

これから

$$Q_1=Q_2, \quad R_1=R_2. \qed$$