#rst2hooktail_source ============================================================ 行列Aと逆行列A^{-1}の積を入れ替えるとどうなるか? ============================================================ 今回の話は短いです。気楽にお読みください。 逆行列は左から掛けても右から掛けても同じ? ============================================= n次の正則な(つまり、逆行列を持つ)行列 $ A $ とその逆行列 $ A^{-1} $ の積は定義から、 <tex> A^{-1}A=I \tag{##} </tex> です。 $I$ はn次の単位行列です。 ここで、私が気になったのは、 <tex> AA^{-1}=? \tag{##} </tex> の値はどうなるかです。ここで、左からの逆行列を $L$ 右からの逆行列を $R$ とします [*]_ 。 .. [*] ここで、注意しておくと、 $A$ が正則な時、 列基本変形のみ、もしくは、行基本変形のみで単位行列に変形できるので、 $L$ が存在するなら $R$ も存在 するし、 $R$ が存在するなら $L$ も存在します。 つまり、 <tex> LA=AR=I </tex> です。すると、 <tex> L=LI=L(AR)=LAR=(LA)R=IR=R </tex> となり、結局、 $L=R$ が結論されます。 よって、これを $A^{-1}$ と呼べるわけです。 直交行列での実例 ==================== 例えば、 $A^{-1}A=I$ となるように作られた、 <tex> A = \begin{pmatrix} \dfrac{1}{\sqrt{2}} & \dfrac{1}{\sqrt{3}} & \dfrac{1}{\sqrt{6}} \\ 0 & \dfrac{1}{\sqrt{3}} & -\dfrac{2}{\sqrt{6}} \\ -\dfrac{1}{\sqrt{2}} & \dfrac{1}{\sqrt{3}} & \dfrac{1}{\sqrt{6}} \end{pmatrix} \tag{##} </tex> という直交行列に対し、 <tex> AA^{-1} &= \begin{pmatrix} \dfrac{1}{\sqrt{2}} & \dfrac{1}{\sqrt{3}} & \dfrac{1}{\sqrt{6}} \\ 0 & \dfrac{1}{\sqrt{3}} & -\dfrac{2}{\sqrt{6}} \\ -\dfrac{1}{\sqrt{2}} & \dfrac{1}{\sqrt{3}} & \dfrac{1}{\sqrt{6}} \end{pmatrix} \begin{pmatrix} \dfrac{1}{\sqrt{2}} & 0 & -\dfrac{1}{\sqrt{2}} \\ \dfrac{1}{\sqrt{3}} & \dfrac{1}{\sqrt{3}} & \dfrac{1}{\sqrt{3}} \\ \dfrac{1}{\sqrt{6}} & -\dfrac{2}{\sqrt{6}} & \dfrac{1}{\sqrt{6}} \end{pmatrix} \\ &= \begin{pmatrix} \dfrac{1}{2}+\dfrac{1}{3}+\dfrac{1}{6} & \dfrac{1}{3} - \dfrac{2}{6} & -\dfrac{1}{2}+\dfrac{1}{3}+\dfrac{1}{6} \\ \dfrac{1}{3} - \dfrac{2}{6} & \dfrac{1}{3} + \dfrac{4}{6} & \dfrac{1}{3} - \dfrac{2}{6} \\ -\dfrac{1}{2}+\dfrac{1}{3}+\dfrac{1}{6} & \dfrac{1}{3} - \dfrac{2}{6} & \dfrac{1}{2}+\dfrac{1}{3}+\dfrac{1}{6} \end{pmatrix} \\ &=\begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix}\\ &=I \tag{##} </tex> と確かに $AA^{-1} =I$ が成立しています。 これは、私は理屈では分かるのですが、 とても不思議だと思っています。 それでは、今日はこの辺で。 @@author:クロメル@@ @@accept:2012-07-24@@ @@category:物理数学@@ @@id:comAA-1@@