1 基本概念

転置は、行列の要素配置を行方向から列方向へ、またはその逆へと対応づける操作である。線形代数では最も基本的な変換の一つに数えられ、記号上の扱いだけでなく、方程式の整理や対称性の把握にも役立つ。

1.1 転置の定義

行列の各要素について、もとの第 i 行第 j 列の成分を、第 j 行第 i 列へ移したものを転置という。これにより、長方形行列でも定義でき、元の大きさが m×n なら転置後は n×m になる。

1.2 行列の行と列の入れ替え

転置では、各行が各列に、各列が各行に対応し直す。たとえば横に並んでいた成分は縦に並び、縦に積まれていた成分は横方向に展開される。この入れ替えは、単なる見た目の変更ではなく、行列の演算規則に直接関わる。

1.3 転置行列の記法

転置された行列は、もとの行列に上付き文字 T を付して表すことが多い。たとえば A の転置は A^T と書かれる。文脈によっては別の記法が用いられることもあるが、A^T が標準的である。

2 基本的な性質

転置は、代数的な操作として整った性質をもつ。とくに、二重に適用した場合、和や積との関係、定数倍との整合性などが体系的に成り立つため、計算の簡略化に利用しやすい。

2.1 二重転置

行列を一度転置し、さらにもう一度転置すると、もとの行列に戻る。これは、行と列の交換を二回行えば元の対応が復元されることに対応する。

2.2 和に関する性質

二つの行列が同じ大きさであれば、その和の転置は各項の転置の和に等しい。つまり、転置は加法に対して分配的に働く。これにより、複雑な和式も成分ごとに扱いやすくなる。

2.3 スカラー倍に関する性質

行列に定数を掛けてから転置しても、先に転置してから定数を掛けても結果は同じである。したがって、転置は数値係数の処理と自然に両立する。

2.4 積に関する性性

行列の積に対して転置を施すと、各因子の順序が重要になる。一般に、積全体の転置は、各因子をそれぞれ転置したうえで、並び順を逆にしたものになる。

2.4.1 積の順序の反転

二つの行列 A、B について、積 AB の転置は B^T A^T となる。順序が逆転する点が本質であり、転置を用いた計算では見落としやすい注意点でもある。

2.5 逆行列との関係

正方行列が逆行列をもつとき、その転置もまた逆行列をもち、元の行列の逆の転置に一致する。すなわち、(A^-1)^T は (A^T)^-1 に等しい。これは、可逆性と転置の相性のよさを示す代表的な性質である。

3 特殊な行列との関係

転置は、特定の種類の行列を特徴づける基準としても使われる。対称行列や反対称行列は、その定義自体が転置との関係によって与えられ、行列の構造を理解するうえで重要である。

3.1 対称行列

対称行列は、転置しても変わらない行列として定義される。この性質は、成分の配置が主対角線を境に鏡映的であることを意味する。

3.1.1 対称行列の定義

正方行列 A が A^T = A を満たすとき、A は対称行列である。つまり、主対角線をはさんで上下の対応成分が等しい。

3.1.2 対称性の判定

ある行列が対称かどうかは、各成分が主対角線に関して対になって一致するかを確認すればよい。計算上は、転置を作って元の行列と比較する方法が直接的である。

3.2 反対称行列

反対称行列は、転置によって符号が反転する行列である。対称行列とは対照的に、成分の対応関係に符号の変化が伴う。

3.2.1 反対称行列の定義

正方行列 A が A^T = -A を満たすとき、A は反対称行列、または歪対称行列と呼ばれる。主対角成分は自動的に 0 になる。

3.2.2 反対称行列の性質

反対称行列では、主対角線に対して対応する成分が互いに符号反対になる。偶然に零でない値をとる場合でも、左右の位置で正負が逆になるため、全体の構造が制約される。

3.3 正方行列における転置

転置の性質は一般の長方形行列にも適用できるが、対称性や反対称性の議論は正方行列でのみ意味をもつ。正方行列では、転置後も同じサイズを保つため、元の行列と直接比較できる。

4 応用

転置は抽象的な定義にとどまらず、具体的な計算や理論の整理で頻繁に使われる。連立方程式内積二次形式分解法など、多くの分野で基礎的な道具として機能する。

4.1 連立一次方程式

連立一次方程式を行列で表すとき、転置は式の並べ替えや係数の構造理解に役立つ。特に、係数行列の行と列の関係を把握する際に有用である。

4.2 内積と直交

ベクトルの内積は、行ベクトルと列ベクトルの組み合わせとして記述されることが多い。転置はこの表現を支え、直交条件の記述にも用いられる。二つのベクトルが直交するかどうかは、転置を含む積の値で判定しやすい。

4.3 二次形式

二次形式は、ベクトルと行列を用いて表される二次的な式であり、転置はその左右対称な表現に関与する。対称行列を用いることで、同じ式を簡潔に記述できる場合が多い。

4.4 行列分解への利用

転置は、行列分解の各段階でも重要である。対称性を保つ分解や、正規性に関係する分解では、転置が構造の保存条件として現れる。これにより、行列の性質を保ったまま別の形へ整理しやすくなる。