行列の乗法

数学において、行列の対から別の行列を作り出す二項演算としての行列の乗法は、実数や複素数などの数が初等的な四則演算でいうところの乗法を持つことと対照的に、そのような「数の配列」の間の乗法として必ずしも一意的な演算を指しうるものではない。そのような意味では、一般に「行列の乗法」は幾つかの異なる二項演算を総称するものと考えることができる。行列の乗法の持つ重要な特徴には、与えられた行列の行および列の数が関係して、得られる行列の成分がどのように特定されるかが述べられるということが挙げられる。

例えば、ベクトルの場合と同様に、任意の行列に対してスカラーを掛けるという操作が、その行列の全ての成分に同じ数を掛けるという方法で与えられる。また、行列の加法の場合と同様に、同じサイズの行列に対して成分ごとの乗法を入れることによって定まる行列の積はアダマール積と呼ばれる。それ以外にも、二つの行列のクロネッカー積は区分行列として得られる。

このようにさまざまな乗法が定義できるという事情の中にあっても、しかし最も重要な行列の乗法は連立一次方程式やベクトルの一次変換に関するもので、応用数学や工学へも広く応用がある。これは通例、行列の積と呼ばれるもので、A}} が //n// × //m//}} 行列で、B}} が //m// × //p//}} 行列ならば、それらの行列の積 AB}} が //n// × //p//}} 行列として与えられ、その成分は A}} の各行の m}} 個の成分がそれぞれ順番に B}} の各列の m}} 個の成分と掛け合わされる形で与えられる。

この通常の積は可換ではないが、結合的かつ行列の加法に対して分配的である。この行列の積に関する単位元は単位行列であり、正方行列は逆行列を持ち得る。行列の積に関して行列式は乗法的である。一次変換や行列群あるいは群の表現などの理論を考える上において行列の積は重要な演算となる。

行列のサイズが大きくなれば、二つあるいはそれ以上の行列の積の計算を定義に従って行うには、非常に膨大な時間が掛かるようになってしまうため、効果的に行列の積を計算できるアルゴリズムが考えられてきた。

1. スカラー倍
--------

行列に付随するもっとも単純な形の乗法としてスカラー乗法が挙げられる。

行列 A}} のスカラー λ}} による左スカラー倍は、

で与えられる A}} と同じサイズの行列 λ//A//}} となる。つまり、

同様に、行列 A}} のスカラー λ}} による右スカラー倍は

で定義される。

基礎とする環が可換環ならば、左及び右スカラー倍の概念は一致して、単にスカラー倍と呼ばれる。より一般の環では非可換であるから左右が異なれば異なる乗法である。

2. 通常の行列の積
----------

2.1. 二つの行列の積
------------

まずは二つの行列を掛け合わせることを考える。

//n// × //m//}} 行列 A}} と //m// × //p//}} 行列 B}} を

とするとき、これらの行列の積 AB}}は、 各 }} 成分 csub が A}} の第 i}} 行に横に並ぶ成分 aik}} と B}} の第 j}} 列に縦に並ぶ成分 bkj}} を //k// =}} 1, 2, ..., //m//}} に亙って足し合わせた和

で与えられる //n// × //p//}} 行列

である。従って、積 AB}} が定義されるのは A}} の列の本数と B}} の行の本数が一致している場合に限られる。

2.2. 多数の行列の積
------------

二つ以上の個数の行列に対しても、それらの連続する各対に関してサイズの条件が満たされるならば、行列の積を定義することができる。

//n//}}-個の行列 A1, A2, ..., A//n//}} がそれぞれサイズ //s//0 × //s//1, //s//1 × //s//2, ..., //s////n// − 1 × //s////n//}} であるとき、これら行列の積

は //s//0 × //s////n//}} 行列であり、その任意の (//i//sub-成分は

で与えられる。

2.3. 行列の冪
---------

正方行列に関しては、行の本数と列の本数が常に等しいから、通常の数と同様に自分自身を繰り返し掛けることができて、この行列の積の特別の場合としての反復乗積は行列の冪を定義することができる。行の本数と列の本数が一致しない一般の矩形行列では冪を考えることができない。即ち、//n// × //n//}} 行列 A}} と正整数 //k//}} に対して

冪の逆として行列の冪根を考えたり、また冪級数として行列の指数函数やその逆写像として行列の対数函数などを定義したりすることもできる。

3. その他の乗法
---------

二つの行列に対して定義されるその他の乗法を以下にいくつか挙げる。実は通常の乗法よりも定義としては単純なものもいくつかある。

3.1. アダマール積
-----------

同じサイズの二つの行列に対し、アダマール積、要素ごとの積、点ごとの積、成分ごとの積あるいはシューア積などと呼ばれる積を定義することができる。同じサイズの二つの行列 A}}, B}} のアダマール積 A ○ B}} はもとと同じサイズの行列で、その }}-成分は A}} の }}-成分と B}} の }}-成分との積で与えられる。つまり、

全部書けば、

この演算は通常の数の積を一斉に行うことに他ならない。故にアダマール積は可換、結合的、かつ成分ごとの和に対して分配的になる。これはまた、クロネッカー積の主小行列でもある。

3.2. フロベニウス積
------------

フロベニウス積は行列を単にベクトルと見做してとった成分ごとの内積で、//A// : //B//}} などと書かれることもある。これはアダマール積の成分の和でもあり、具体的に書けば

となる。ただし "tr}}" は行列の蹟であり、"vec}}" は行列の一列化である。この内積からフロベニウスノルムが誘導される。

3.3. クロネッカー積
------------

二つの行列 A}}, B}} のサイズがそれぞれ //m// × //n//}}, //p// × //q//}} であるとき、これらがどのようなサイズであったとしても、この二つの行列のクロネッカー積は

で与えられるサイズ //mp// × //nq//}} の行列である。これはより一般のテンソル積を行列に対して適用したものになっている。

4. 注
----

5. 参考文献
-------

Henry Cohn, Robert Kleinberg, Balazs Szegedy, and Chris Umans. Group-theoretic Algorithms for Matrix Multiplication. math.GR/0511460}}. //Proceedings of the 46th Annual Symposium on Foundations of Computer Science//, 23–25 October 2005, Pittsburgh, PA, IEEE Computer Society, pp.   379–388.
Henry Cohn, Chris Umans. A Group-theoretic Approach to Fast Matrix Multiplication. math.GR/0307321}}. //Proceedings of the 44th Annual IEEE Symposium on Foundations of Computer Science//, 11–14 October 2003, Cambridge, MA, IEEE Computer Society, pp.   438–449.
Coppersmith, D., Winograd S., //Matrix multiplication via arithmetic progressions//, J. Symbolic Comput. 9, p.   251-280, 1990.
Knuth, D.E., //The Art of Computer Programming Volume 2: Seminumerical Algorithms//. Addison-Wesley Professional; 3 edition . ISBN 978-0-201-89684-8. pp.   501.
last1=Press .
Ran Raz. On the complexity of matrix product. In Proceedings of the thirty-fourth annual ACM symposium on Theory of computing. ACM Press, 2002. 10.1145/509907.509932}}.
Robinson, Sara, //Toward an Optimal Algorithm for Matrix Multiplication,// SIAM News 38, November 2005. [1]
Strassen, Volker, //Gaussian Elimination is not Optimal//, Numer. Math. 13, p.   354-356, 1969.
Vassilevska Williams, Virginia, //Multiplying matrices faster than Coppersmith-Winograd//, Manuscript, May 2012. [2]

6. 関連項目
-------

写像の合成
関係の合成