行列

テンプレート:代表的なトピック テンプレート:Otheruses 数学の線型代数学周辺分野における行列（ぎょうれつ、テンプレート:Lang-en-short）は、数や記号や式などを縦と横に矩形状に配列したものである。

概要

行・列

横に並んだ一筋を行(row)、縦に並んだ一筋を列(column)と呼ぶ。

例えば、下記のような行列

$\left[\begin{array}{ccc}1& 9& -13\\ 20& 5& -6\end{array}\right]$

は2つの行と3つの列によって構成されているため、(2,3)型または2×3型の行列と呼ばれる。

成分

書き並べられた要素は行列の成分と呼ばれ、行列の第 テンプレート:Mvar 行目、テンプレート:Mvar 列目の成分を特に行列の テンプレート:Math 成分と言う。行列の テンプレート:Math 成分はふつう テンプレート:Mvar のように二つの添字を単に横並びに書くが、誤解を避けるために添字の間にコンマを入れることもある。また略式的に、行列 テンプレート:Mvar の テンプレート:Math 成分を指定するのに テンプレート:Mvar という記法を用いることもある。

和・積

行列の和は、行の数と列の数が同じ行列において、成分ごとの計算によって与えられる。

行列の積の計算はもっと複雑で、2つの行列がかけ合わせられるためには、積の左因子の列の数と右因子の行の数が一致していなければならない。

行列の応用

一次変換

行列の応用として代表的なものは一次変換の表現で、これは テンプレート:Math のような一次関数を一般化したものである。例えば、三次元空間におけるベクトルの回転は一次変換にあたり、テンプレート:Mvar が回転行列で テンプレート:Math が空間の点の位置を表す列ベクトル（1 列しかない行列）であるとき、それらの積 テンプレート:Math は回転後の点の位置を表す列ベクトルを表現している。また 2つの行列の積は、2つの一次変換の合成を表現するものとなる。

線型方程式系

また、その他の応用としては、線型方程式系の解法が挙げられる。行列が正方行列であるとき、そのいくつかの性質は、行列式を計算することによって知ることができる。例えば、正方行列において、行列式の値が非零となることは、それが正則であるための必要十分条件である。固有値と固有ベクトルは一次変換の幾何学に対する洞察を与える。

科学

行列の応用は科学的な分野の大半に及ぶ。

特に物理学において行列は、古典力学、光学、電磁気学、量子力学などにおける様々な物理現象のモデル化と研究に利用される。

運動学やロボット工学では座標変換や姿勢制御などに行列が使われる。特にテンプレート:仮リンク変換のため、2次元の座標変換では3×3行列が、3次元の座標変換では4×4行列が使われることが多い。コンピュータグラフィックスにも応用されている（後述）。

確率論や統計学、確率行列において行列は確率の組を表現するのに用いられ、例えば、これはGoogle検索におけるページランクのアルゴリズムで使われている。

テンプレート:仮リンクは、古典的な解析学における微分や指数関数の概念を高次元へ一般化するものである。

経済学では経済上の関係のシステムを説明するのに行列が用いられる。

アルゴリズム

行列計算の効率的なアルゴリズムの研究は数値解析における主要な分野であり、これは何世紀にもわたるもので、今日でも研究領域が広がっている。

行列の分解は、理論的にも実用的にも計算を簡単化するもので、そのアルゴリズムは正方行列や対角行列などといった行列の特定の構造に合わせて仕立てられており、有限要素法やそのほかの計算を効率的に処理させる。

惑星運動論や原子論では無限次行列が現れる。

無限次行列の簡単な例としては、関数のテイラー級数に対して作用する微分作用素を表す行列がある。

素朴な定義

記法

行列は数または数を表わす文字から成る要素 (テンプレート:Lang-en-short) を矩形状に書き並べて、大きな丸括弧（あるいは角括弧）で括った形に書かれる。ここで文字送りの方向（横）の並びを行 (テンプレート:Lang-en-short) といい、行送りの方向（縦）の並びを列 (テンプレート:Lang-en-short) と呼ぶ。例えば

$\left[\begin{array}{ccc}{a}_{11}& a_{12}& a_{13}\\ a_{21}& a_{22}& a_{23}\end{array}\right],\left(\begin{array}{ccc}{a}_{11}& a_{12}& a_{13}\\ a_{21}& a_{22}& a_{23}\end{array}\right),\left[\begin{array}{ccc}3& -4& 6\\ 0& 1& -2\end{array}\right],\left(\begin{array}{ccc}3& -4& 6\\ 0& 1& -2\end{array}\right)$

は 2 つの行と 3 つの列を持つ行列である。行列自身は、ふつうはアルファベットの大文字イタリック（しばしば太字テンプレート:Efn）で表し、その要素は対応する小文字に二つの添字を付けたもので表す（略式的に行列を表す大文字に添字を付けたものを用いることもあるが、その場合小行列の記号と紛らわしい）。つまり一般の m 行 n 列の行列を

$A=𝐀=\left[\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ ⋮& ⋮& \ddots & ⋮\\ a_{m1}& a_{m2}& \cdots & a_{mn}\end{array}\right]=\left(\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ ⋮& ⋮& \ddots & ⋮\\ a_{m1}& a_{m2}& \cdots & a_{mn}\end{array}\right)=[{𝐚}_{ij}{]}_{m\times n,(1\le i\le m,1\le j\le n)}=({𝐚}_{ij}{)}_{m\times n,(1\le i\le m,1\le j\le n)}$

のように書く。

成分

テンプレート:Main 書き並べられた要素は行列の成分 (テンプレート:Lang-en-short) と呼ばれる。成分が取り得る値は（さまざまな対象を想定できるが）大抵の場合はある体または可換環 テンプレート:Mvar の元であり、このとき テンプレート:Mvar 上の行列 (テンプレート:Lang-en-short) という。特に、テンプレート:Mvar が実数全体の成す体 テンプレート:Math であるとき実行列と呼び、複素数全体の成す体 テンプレート:Mathbf のとき複素行列と呼ぶ。

一つの成分を特定するには、二つの添字が必要である。行列の第 テンプレート:Mvar 行目、テンプレート:Mvar 列目の成分を特に行列の テンプレート:Math 成分と呼ぶ。例えば上記行列 テンプレート:Mvar の テンプレート:Math 成分は テンプレート:Math である。行列の テンプレート:Math 成分はふつう テンプレート:Mvar のように二つの添字を単に横並びに書くが、誤解を避けるために添字の間にコンマを入れることもある。例えば テンプレート:Math 行 テンプレート:Math 列目の成分を テンプレート:Math と書いてよい。また略式的には、行列 テンプレート:Mvar の テンプレート:Math 成分を指定するのに テンプレート:Mvar という記法を用いることがある。この場合、例えば積（後述）テンプレート:Mvar の テンプレート:Math 成分を テンプレート:Math と指定したりできるので、これで記述の簡素化を図れる場合もある。

型

行列に含まれる行の数が テンプレート:Mvar, 列の数が テンプレート:Mvar である時に、その行列を テンプレート:Mvar 行 テンプレート:Mvar 列行列や テンプレート:Math 行列、テンプレート:Mvar 行列などと呼ぶ。行列を構成する行の数と列の数の対を型 (テンプレート:Lang-en-short) あるいはサイズという。したがって テンプレート:Mvar 行 テンプレート:Mvar 列行列のことを テンプレート:Math 型行列などと呼ぶこともある。テンプレート:Mvar 上の テンプレート:Math 行列の全体は テンプレート:Math, テンプレート:Mvar や テンプレート:Math, テンプレート:Math などで表される。

1つの列を持つ行列を列ベクトル、1つの行をもつ行列を行ベクトルと呼ぶ。例えば行列

$A=\left[\begin{array}{cc}{a}_{11}& a_{12}\\ a_{21}& a_{22}\end{array}\right]$

に対して、テンプレート:Math はその列ベクトル、テンプレート:Math はその行ベクトルである。

行と列の数が同じである行列は正方行列と呼ばれる。無限の行または列をもつ行列を無限次行列と呼ぶ。プログラミングにおいて行または列を持たない行列を考えると便利となることがしばしばあるが、このような行列を空行列と呼ぶ。

名前	型	例	説明
行ベクトル	1 × n	$\left[\begin{array}{ccc}3& 7& 2\end{array}\right]$	1つの行を持つ行列。ベクトルを表すのに使われることがある。
列ベクトル	n × 1	$\left[\begin{array}{c}4\\ 1\\ 8\end{array}\right]$	1つの列を持つ行列。ベクトルを表すのに使われることがある。
正方行列	n × n	$\left[\begin{array}{ccc}9& 13& 5\\ 1& 11& 7\\ 2& 6& 3\end{array}\right]$	行と列の数が同じである行列。鏡映や回転、せん断のようなベクトル空間の線形変換を表すのに使われることがある。

厳密な定義

行列は二重に添字づけられた族であり、添字の各対 テンプレート:Math に成分 テンプレート:Mvar を割り当てる二変数写像

$A:\{1,\dots ,m\}\times \{1,\dots ,n\}\to K;(i,j)\mapsto a_{ij}$

である。例えば添字の対 テンプレート:Math には写像の値として テンプレート:Math が割り当てられる。値 テンプレート:Mvar は行列の テンプレート:Mvar-行 テンプレート:Mvar-列成分であるといい、テンプレート:Mvar および テンプレート:Mvar はそれぞれ行および列の数を意味する。写像としての行列の定義と行列が表す線型写像とを混同してはならない。

テンプレート:Mvar に成分を持つ テンプレート:Math 行列の全体は、したがって配置集合

$\mathrm{map}(\{1,\dots ,m\}\times \{1,\dots ,n\},K)=K^{\{1,\dots ,m\}\times \{1,\dots n\}}$

であり、省略形として テンプレート:Math（あるいはやや稀だが テンプレート:Mvar）や テンプレート:Math などと書くことの一つの根拠になる。

行の数と列の数が一致するような行列は正方行列と呼ばれる。

ただ一つの列を持つ行列は列ベクトル、ただ一つの行を持つ行列は行ベクトルと呼ばれる。テンプレート:Mvar のベクトルは、文脈によって行ベクトル空間 テンプレート:Math または列ベクトル空間 テンプレート:Math の元を表すのにも用いられる。

歴史

線型方程式の解法における応用に関して、行列は長い歴史を持つ。紀元前10世紀から紀元前2世紀の間に書かれた中国の書物『九章算術』は連立方程式の解法に行列を用いた最初の例であるといわれ、それには行列式の概念が含まれていた。1545年にイタリアの数学者ジェロラモ・カルダーノは『偉大なる術（アルス・マグナ）』を著し、この方法をヨーロッパに持ち込んだ。日本の関孝和は1683年に連立方程式の解法として同様に行列による方法を用いている。ドイツのヨハン・デ・ウィットは1659年の著書 Elements of Curves において行列の変形について説明している。1700年から1710年にかけてドイツのライプニッツは50以上の異なる体系を用いて行列の使い方を発表した。クラメルが有名な公式を生み出すのは1750年のことである。

行列論の初期においては、行列よりも行列式のほうに非常に重きが置かれており、行列式から離れて現代的な行列の概念と同種のものが浮き彫りにされるのは1858年、ケイリーの歴史的論文 Memoir on the theory of matrices（「行列論回想」）においてであるテンプレート:Sfnテンプレート:Sfn。用語 "matrix"（ラテン語で「生み出すもの」の意味の語に由来）はシルベスターが導入した。シルベスターは行列を、（今日小行列式と呼ばれる）もとの行列から一部の行や列を取り除いて得られる小行列の行列式として、たくさんの行列式を生じるものとして理解していたテンプレート:Efn。1851年の論文でシルベスターは テンプレート:Quotation と説明している。 行列式の研究はいくつかの流れから生じてきたものであるテンプレート:Sfn。数論的な問題はガウスが二次形式（つまり、$x^2+xy-2y^2$のような数式）の係数と三次元の線型写像を行列に結び付けたことに始まり、アイゼンシュタインがこれらの概念をさらに進めて、現代的な用語でいえば行列の積が非可換であることなどを指摘した。コーシーは行列 $A=(a_{ij})$ の行列式として、多項式

$a_1{a}_2\cdots a_n\prod _{i<j}(a_j-a_i)$

（ここで ∏ は条件を満たす項の総乗を表す）の冪 テンプレート:Mvar を テンプレート:Mvar で置き換えたものという定義を採用し、それを用いて行列式についての一般的な主張を証明した最初の人である。コーシーは1829年に、対称行列の固有値が全て実数であることも示しているテンプレート:Sfn。ヤコビは、幾何学的変換の局所的あるいは無限小のレベルでの挙動を記述することができる関数行列式（後にシルベスターが「ヤコビ行列式」と呼んだ）の研究を行った。クロネッカーの Vorlesungen über die Theorie der Determinantenテンプレート:Sfn とワイエルシュトラスの Zur Determinantentheorieテンプレート:Sfn はともに1903年に出版された。前者は、それまでのコーシーの用いた公式のような具体的な手法とは反対に、行列式を公理的に扱ったものである。これを以って、行列式の概念がきっちりと確立されたと見なされている。

多くの定理は、初めて確立されたときには小さいサイズの行列に限った主張として示された。例えばケーリー＝ハミルトンの定理は、ケイリーが先述の回想録において 2 × 2 行列に対して示し、ハミルトンが 4 × 4 行列に対して証明して、その後の1898年にフロベニウスが双線型形式についての研究の過程で任意次元に拡張した。また、19世紀の終わりに、（ガウスの消去法として今日知られるものを特別の場合として含む）ガウス–ジョルダン消去法をテンプレート:仮リンクが確立し、20世紀の初頭には行列は線型代数学の中心的役割を果たすようになったテンプレート:Sfn。前世紀の超複素数系の分類にも行列の利用が部分的に貢献した。

ハイゼンベルク、ボルン、ジョルダンらによる行列力学の創始は、行または列の数が無限であるような行列の研究へ繋がるものであったテンプレート:Sfn。後にフォン・ノイマンは、（大体無限次元のユークリッド空間にあたる）ヒルベルト空間上の線型作用素などの関数解析学的な概念をさらに推し進めることにより、量子力学の数学的基礎を提示した。

行列の演算

基本演算

加法

二つの行列は、それが同じ型を持つならば互いに加えることができ、この算法を行列の加法、演算の結果を和と言う。異なる型の行列に対しては和は定義されない。つまり、m 行 n 列の行列同士の和を、成分ごとの和

$A+B:=[a_{ij}+b_{ij}{]}_{\genfrac{}{}{0ex}{}{i=1,\dots ,m,}{j=1,\dots ,n}}$

で定める。

例えば

$\left[\begin{array}{cc}5& 6\\ -7& 8\end{array}\right]+\left[\begin{array}{cc}1& -2\\ 3& -4\end{array}\right]=\left[\begin{array}{cc}5+1& 6+(-2)\\ -7+3& 8+(-4)\end{array}\right]=\left[\begin{array}{cc}6& 4\\ -4& 4\end{array}\right]$

である。

線型代数学において成分はふつう（実数や複素数の全体のような）体であり、この場合の行列の加法は、結合的かつ可換であり、また単位元として零行列

$0\equiv O:=\left[\begin{array}{ccc}0& \cdots & 0\\ ⋮& \ddots & ⋮\\ 0& \cdots & 0\end{array}\right]$

を持つ。一般に、これらの三性質を満たす代数系に成分を持つ（同じ型の）行列の全体は、やはりこれらの性質を満たす。

スカラー倍

行列の各成分に一つのスカラーを掛けることにより、任意の行列のスカラー倍

$\lambda A:=[\lambda a_{ij}{]}_{\genfrac{}{}{0ex}{}{i=1,\dots ,m,}{j=1,\dots ,n}}$

が定義される。例えば、

$5\cdot \left[\begin{array}{ccc}1& -3& 2\\ 1& 2& 7\end{array}\right]=\left[\begin{array}{ccc}5\cdot 1& 5\cdot (-3)& 5\cdot 2\\ 5\cdot 1& 5\cdot 2& 5\cdot 7\end{array}\right]=\left[\begin{array}{ccc}5& -15& 10\\ 5& 10& 35\end{array}\right]$

である。

スカラー乗法が意味を持つためには、スカラー λ と行列の成分が同じ環 (K, +, ·, 0) からとった元であるべきであり、このとき m × n 行列の全体 K^m×n は、左 K-加群（K が体ならばベクトル空間）になる。ベクトル空間（あるいは自由加群）としての K^m×n は m n 次元数ベクトル空間 K^{m n} と同型である。

乗法

行列の積の模式図

テンプレート:Main 行列の積を初めて定義したのはケイリーである。行列の積は狭い意味での二項演算（即ち、台とする集合 X に対して X × X → X なる写像を定めるもの）ではない。l × m 行列 A と m × n 行列 B の積は l × n 行列となり、C = A B の (i, j) 成分 c_{i j} は、

$c_{ij}=\sum _{k=1}^m{a}_{ik}{b}_{kj}$

で与えられる。

例えば、

$\left[\begin{array}{cc}5& 6\\ 7& 8\end{array}\right]\left[\begin{array}{cc}1& 2\\ 3& 4\end{array}\right]=\left[\begin{array}{cc}5\cdot 1+6\cdot 3& 5\cdot 2+6\cdot 4\\ 7\cdot 1+8\cdot 3& 7\cdot 2+8\cdot 4\end{array}\right]=\left[\begin{array}{cc}23& 34\\ 31& 46\end{array}\right]$

である。

行列の積は可換でない

即ち一般には

$B\cdot A\ne A\cdot B$

となることが両辺が定義される場合 (l = n) であっても起こり得る。さらに m = n(= l) のとき、つまり両辺が正方行列同士の積であれば両辺とも定義されるが、その場合でも一般には両者は異なる。

行列の積は結合的である

即ち、乗法が定義される限りにおいて

$(A\cdot B)\cdot C=A\cdot (B\cdot C)$

が成り立つ。

行列の乗法は加法の上に分配的である

即ち、各項における加法と乗法が定義される限りにおいて

$(A+B)\cdot C=A\cdot C+B\cdot C$

および

$A\cdot (B+C)=A\cdot B+A\cdot C$

が成り立つ。

正方行列に関して行列の乗法は特別な役割を持つ。環 R 上の正方行列全体 R^n×n は行列の加法と乗法に関して、ふたたび環を成すのである。環 R が単位的（つまり単位元 1 を持つ）ならば、単位行列

$E_n=\left[\begin{array}{cccc}1& 0& \cdots & 0\\ 0& 1& \cdots & 0\\ ⋮& ⋮& \ddots & ⋮\\ 0& 0& \dots & 1\end{array}\right]$

は行列の積に関する単位元となり、環 R^n×n もまた単位的となる。しかし、n > 1 のとき、この環は（基礎環 R が可換環であっても）可換環でない。

行列が区分行列に分解されるとき、そのような行列の積は、それらのブロックが適当なサイズならば、ブロック成分ごとに積を計算することができる。例えば

$\begin{array}{cc}\left[\begin{array}{cccc}a& b& 0& 0\\ c& d& 0& 0\\ x& y& 1& 0\\ z& w& 0& 1\end{array}\right]\cdot \left[\begin{array}{cc}n& 0\\ m& 0\\ q& 1\\ p& 0\end{array}\right]& =\left[\begin{array}{cc}A& 0\\ X& E_2\end{array}\right]\cdot \left[\begin{array}{cc}N& 0\\ Q& \left[\begin{array}{c}1\\ 0\end{array}\right]\end{array}\right]\\ & =\left[\begin{array}{cc}AN+0& 0+0\\ XN+E_{2}Q& 0+E_2\left[\begin{array}{c}1\\ 0\end{array}\right]\end{array}\right]\end{array}$

である。ここで E₂ は二次の単位行列、右辺の 0 は全ての成分が 0_R（基礎環 R の零元）であるような適当なサイズの行列である。

転置

テンプレート:Main m × n 行列 A = [a_{i j}] の転置とは n × m 行列 ^tA = [a_{j i}], 即ち

$A=\left[\begin{array}{ccc}{a}_{11}& \dots & a_{1n}\\ ⋮& \ddots & ⋮\\ a_{m1}& \dots & a_{mn}\end{array}\right]⟺{}^{t}A=\left[\begin{array}{ccc}{a}_{11}& \dots & a_{m1}\\ ⋮& \ddots & ⋮\\ a_{1n}& \dots & a_{mn}\end{array}\right]$

である。これはもとの行列の各列を各行に持つ行列であり、主対角成分 a_{1 1}, a_{2 2}, … に関して折り返したものになっている。

転置行列は以下の計算規則に従う：

$\begin{array}{cc}{}^t(A+B)& ={}^{t}A+{}^{t}B\\ {}^t(cA)& =c{}^{t}A\\ {}^t({}^{t}A)& =A\\ {}^t(AB)& ={}^{t}B{}^{t}A\\ {}^t(A^{-1})& =({}^{t}A{)}^{-1}\end{array}$

行列式

テンプレート:Main n × n 行列 A = [a_{i j}] の行列式とは、

$\det (A)=\sum _{\sigma \in {𝔖}_n}\mathrm{sgn}(\sigma )\prod _{i=1}^n{a}_{i\sigma (i)}$

で定義される数である。これは行列の固有値の積と一致し、テンプレート:Math, テンプレート:Math などが成り立つ。

ランク

テンプレート:Main 行列 A のランクまたは階数とは、この行列の列ベクトルの中で線型独立なものの最大個数であり、また 行ベクトルの中で線型独立なものの最大個数とも等しいテンプレート:Sfn。あるいは A の表現する線型写像の像の次元と言っても同じであるテンプレート:Sfn。階数・退化次数の定理は、行列の核に階数を加えると、その行列の列の数に等しいことを述べるものであるテンプレート:Sfn。

トレース

テンプレート:Main n × n 行列 A = [a_{i j}] のトレースまたは跡とは、その対角線上にある成分の和

$\mathrm{tr}(A)=a_{11}+a_{22}+\cdots +a_{nn}$

のことである。これは テンプレート:Math を満たし、行列のトレースはその固有値の和に等しい。

内積とノルム

テンプレート:Main K-加群としての M_m×n(K) はまた、行列の積 ^tA B のトレース

$⟨A,B⟩=\mathrm{tr}({}^{t}AB)=\sum _{i=1}^n\sum _{j=1}^m{a}_{ij}{b}_{ij}$

を内積に持つ。K = R のとき、これはユークリッドノルムを導き、M_m×n(R) は m n-次元ユークリッド空間 K^{m n} になる。この内積空間において、対称行列全体の成す部分空間と歪対称行列全体の成す部分空間とは互いに直交する。即ち、A が対称, B が歪対称ならば ⟨A, B⟩ = 0 が成り立つ。同様に K = C の場合には、M_m×n(C) は

$⟨A,B⟩=\mathrm{tr}({}^t\overline{A}B)=\sum _{i=1}^n\sum _{j=1}^m{\overline{a}}_{ij}{b}_{ij}$

（ただし、上付きのバーは複素共軛）をエルミート内積として複素ユニタリ空間を成す（この内積をヒルベルト・シュミット内積と呼ぶ）。この内積はフロベニウスノルムを導き、M_m×n(C) はバナッハ空間となる。

その他の演算

差

任意の行列 テンプレート:Mvar に対し、その成分をそれぞれの成分の加法逆元に全て取り換えた行列を テンプレート:Math と書けば、同じサイズの行列 テンプレート:Mvar の和 テンプレート:Math を テンプレート:Math と略記して差を定めることができるテンプレート:Efn。より強く、スカラー乗法が定義される場合には、特にスカラー テンプレート:Math-倍は テンプレート:Math を満たすのだから、和とスカラー倍を使って差を定義することもできる。

$\left[\begin{array}{cc}5& 6\\ -7& 8\end{array}\right]-\left[\begin{array}{cc}1& -2\\ 3& -4\end{array}\right]=\left[\begin{array}{cc}5-1& 6-(-2)\\ -7-3& 8-(-4)\end{array}\right]=\left[\begin{array}{cc}4& 8\\ -10& 12\end{array}\right]$

とすればよい．

べき乗

テンプレート:See also n × n の正方行列 A に対して行列のべき乗は Aⁿ (ここで n は実数) と書かれる。

行列 A が対角化可能であれば、Aⁿ = (P⁻¹DP)ⁿ = P⁻¹DⁿP として容易に計算できる。

ベクトルの二項積

v と w を n × 1 の列ベクトルとすると、v と w との間に行列の積は定義されないが、^tv w および v ^tw は行列の積として定義することができる。前者は 1 × 1 行列であり、これをスカラーと解釈すれば、v と w との標準内積 ⟨v, w⟩ に他ならない。いっぽう後者は、階数 1 の n × n 行列で、v と w との二項積 v w あるいはテンソル積 v ⊗ w と呼ばれる。

行列の三項積

可換環 K 上の m × n 行列の全体 M_m×n(K) は加法とスカラー倍について K-加群を成すばかりでなく、その上の三項演算

$M_{m\times n}(K)\times M_{m\times n}(K)\times M_{m\times n}(K)\to M_{m\times n}(K);(X,Y,Z)\mapsto \{X,Y,Z\}:=X{}^{t}YZ$

を定義することができる。これと同様の方法で得られる三重線型な三項系（三項積）の一般論は、ジョルダン環あるいはリー環の理論とかかわりを持つ。

定義されない演算

以下のような計算は定義されないため実行してはならない。 テンプレート:Div col

• 異なる型の行列同士の和

$\left[\begin{array}{ccc}a& b& c\\ d& e& f\end{array}\right]+\left[\begin{array}{cc}g& h\\ i& j\\ k& l\end{array}\right]=\cdots$

• 正方行列ではない行列の逆行列

${\left[\begin{array}{cc}a& b\\ c& d\\ e& f\end{array}\right]}^{-1}=\cdots$

• 正方行列ではない行列の行列式テンプレート:Efn

$\det \left[\begin{array}{ccc}a& b& c\\ d& e& f\end{array}\right]=\cdots$

• 正方行列ではない行列の固有値

$\begin{array}{c}\left[\begin{array}{cc}a& b\\ c& d\\ e& f\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]=\lambda \left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]\\ \end{array}$

• 正方行列ではない行列のトレース

$\mathrm{tr}\left[\begin{array}{ccc}a& b& c\\ d& e& f\end{array}\right]=\cdots$

行列の分解

テンプレート:Main 行列を2つあるいは3つの行列の積に因数分解するには以下の方法が知られている。

• LU分解 - 正方行列Aを下三角行列と上三角行列の積に分解。 A = LU
• コレスキー分解 - 正値対称行列(またはエルミート行列)Aを下三角行列と上三角行列の積に分解。 A = U^*U
• QR分解 - (m,n)行列を直交行列(またはユニタリ行列)Qと上三角行列Rに分解 A = QR
• 固有値分解 -
• 特異値分解 - (m,n)行列を直交行列(またはユニタリ行列)U,Vと対角行列Dに分解 A = UDV^*

様々な行列

行列サイズによる分類

• 正方行列

行列成分が特別な形の行列

• 零行列
• 対角行列
• 三角行列
• ハンケル行列
• テプリッツ行列

作用素による作用を受けた行列

• 転置行列
• 随伴行列

対称性がある行列

• 対称行列
• エルミート行列
• 正規行列 - ユニタリ対角化可能な行列のクラス

群を構成する行列

• 単位元 - 単位行列
• 逆元 - 正則行列 - 逆行列
• 直交行列 - 直交群
• 回転行列 - 特殊直交群
• ユニタリ行列 - ユニタリ群

線型写像

テンプレート:Math 行列は、単位正方形を平行四辺形に変形することに対応する。

行列とその乗法は、これを一次変換（つまり線型写像）と関連付けるとき、その本質的な特徴が浮き彫りになる。

線型写像の行列表現テンプレート:Anchors

テンプレート:Math 行列 テンプレート:Mvar から線型写像 テンプレート:Math が各ベクトル テンプレート:Math を行列としての積 テンプレート:Math へ写すものとして定まる。逆に、各線型写像 テンプレート:Math を生じる テンプレート:Math 行列 テンプレート:Mvar は一意的に決まる。陽に書けば、テンプレート:Mvar の テンプレート:Math-成分は、テンプレート:Math の第 i-成分である。ただし テンプレート:Math は第 テンプレート:Mvar-成分だけが テンプレート:Math で他が全部 テンプレート:Math の単位ベクトルである。

このとき、行列 テンプレート:Mvar は線型写像 テンプレート:Mvar を表現すると言い、テンプレート:Mvar を テンプレート:Mvar の変換行列または表現行列と呼ぶ。

例えば テンプレート:Math 行列

$A=\left[\begin{array}{cc}a& c\\ b& d\end{array}\right]$

は、単位正方形を テンプレート:Math テンプレート:Math テンプレート:Math テンプレート:Math を頂点とする平行四辺形に写すものと見做すことができる。この平行四辺形は、単位正方形の頂点を成す四つの（列）ベクトル テンプレート:Math の各々に テンプレート:Mvar を掛けることによって得られる。

この行列と線型写像との間の一対一対応のもとで、行列の乗法は写像の合成に対応するテンプレート:Sfn: 上記の テンプレート:Mvar と テンプレート:Mvar に加えて、テンプレート:Math 行列 テンプレート:Mvar が別の線型写像 テンプレート:Math を表現するものならば、合成 テンプレート:Math は行列の積 テンプレート:Mvar で表現される。実際、

テンプレート:Math

である。最後の等号は行列の積の結合性による。

行列の抽象代数的側面と一般化

行列の一般化の方向性はいくつか異なるものが存在する。抽象代数学では行列の成分をもっと一般の（可換とは限らない）体や環としたものを用いるし、線型代数学は線型写像の概念を機軸に行列の性質を体系化したものである。また行や列の数を無限に増やした行列というものを考えることもできる。他の拡張としてテンソルは、（行列が矩形状あるいは二次元の数の配列と見ることができるのに対して）数の配列を高次化したものと見ることもできるし、ベクトルの双対や数列として実現することもできるものであるテンプレート:Sfn。適当な制約条件を満足する行列の集まりは、行列群あるいは線型代数群などと呼ばれる群を成す。

より一般の成分を持つ行列

しばしば実または複素成分の行列に焦点を当てることもあるテンプレート:Anchorsが、それ以外にももっと一般の種類の成分を持った行列を考えることができる。一般化の最初の段階として任意の体（すなわち四則演算が自由にできる集合、例えば R, C 以外に有理数体 Q や有限体 F_qなど）を成分として考える。例えば符号理論では有限体上の行列を利用する。どの体で考えるとしても、固有値は多項式の根として考えることができて、それは行列の係数体の拡大体の中に存在する。たとえば、実行列の場合は固有値は複素数である。ある行列の成分をより大きな体の元と解釈しなおすことはできる（例えば実行列を全ての成分が実数であるような複素行列とみることができる）から、そのような十分大きな体の中で任意の正方行列についてその固有値全てから成る集合を考えることができる。あるいは最初から、複素数体 C のような代数閉体に成分を持つような行列のみを考えるものとすることもできる。

もっと一般に、抽象代数学では環に成分を持つ行列というものが甚だ有用であるテンプレート:Sfn。環は除法演算を持たない点において体よりも一般の概念である。この場合も、行列の加法と乗法はそのまままったく同じ物を使うことができる。R 上の n-次正方行列全体の成す集合 M(n, R) は全行列環と呼ばれる環であり、左 R-加群 Rⁿ の自己準同型環に同型であるテンプレート:Sfn。環 R が可換環、すなわちその乗法が可換律を満たすならば、全行列環 M(n, R) は（n = 1 でない限り）非可換な R 上の単位的結合多元環となる。可換環 R 上の正方行列の行列式はライプニッツの公式を用いて定義することができて、可換環 R 上の正方行列が可逆であることの必要十分条件をその行列式が R の可逆元であることと述べることができる（これは零元でない任意の元が可逆元であった体の場合の一般化になっている）テンプレート:Sfn。テンプレート:仮リンク上の行列はテンプレート:仮リンクと呼ばれるテンプレート:Sfn。

行列の成分が必ずしもすべて同じ環に属するというわけではない（し、すべてが全く別の環に成分を持つというわけでもない）。一つの特別な、しかしよく用いられる場合として、成分自体が行列となっているような行列と見なすこともできる区分行列が挙げられる。その成分は二次元的な行列である必要はないし、また通常の環の元である必要もないが、その大きさに関しては適当な両立条件を満足するものでなければならない。

線型写像との関係

線型写像 Rⁿ → R^m は既に述べたように m × n 行列と等価である。一般に有限次元ベクトル空間の間の線型写像 f: V → W は（V の次元を n, W の次元を m として） V の基底 v₁, …, v_n と W の基底 w₁, …, w_m を選べば

$f({𝐯}_j)=\sum _{i=1}^m{a}_{i,j}{𝐰}_i(j=1,\dots ,n)$

を満たす行列 A = (a_ij) によって記述することができる。言い換えれば、 A の第 j-列は基底ベクトル v_j の像を W の基底 {w_i} に関して表したものになっている。従ってこのような関係は行列 A の成分から一意的に定まる。注意すべきは線型写像を表す行列は基底の取り方に依存することである。基底の取り方を変えれば別な行列が生じるが、それはもとの行列と同値になるテンプレート:Sfn。既に述べた具体的な概念の多くはこの方法を通して解釈しなおすことができる。例えば転置行列 A^⊤ は A の定める線型写像の転置写像を、双対基底に関して記述するものである。テンプレート:Sfn。

より一般に、m × n 行列全体の成す集合は、勝手な単位的環 R に対して自由加群 R^m および Rⁿ の間の R-線型写像を表すのに利用することができる。n = m のとき、そのような写像の合成を定義することができて、n-次正方行列全体の成す全行列環が、Rⁿ の自己準同型環を表現するものとして生じる。

行列群

テンプレート:Main 群というのは集合と二項演算（つまり、任意の二つの対象を結合して第三の対象を作る操作）からなる数学的構造で、適当な条件を満たすものである。行列をその元とし、行列の積を群演算とするような群は、行列群または線型代数群と呼ばれるテンプレート:Efnテンプレート:Sfn。群の任意の元は可逆であるから、最も一般の行列群は与えられたサイズの可逆行列全体の成す群 GL_n であり、一般線型群と呼ばれる。

行列の性質のうちで積と反転に関して保たれるものを用いると、さらに別の行列群を定義することもできる。例えば、与えられたサイズの行列式が 1 であるような行列の全体は、同じサイズの一般線型群に含まれる部分群となり、特殊線型群 SL_n と呼ばれるテンプレート:Sfn。また、条件

M^⊤M = I

で定まる直交行列の全体は直交群 O(n) を成すテンプレート:Sfn。「直交」の名は、対応する Rⁿ の線型変換が、M を掛ける操作で二つのベクトルの内積を変えない

(Mv) · (Mw) = v · w

という意味で角を保つことに由来するテンプレート:Sfn。 任意の有限群は何らかの行列群同型である。なんとなれば対称群の正則表現を考えればよいテンプレート:Sfn。故に、表現論の意味で、一般の群を比較的よくわかっている行列群を用いて調べることができる。

無限次行列

行または列の数を無限にした行列と呼べるようなものも考えることができるテンプレート:Sfnが、そのようなものを陽なかたちに書き記すことはできないので、行を添字付ける集合と列を添字付ける集合を用意して（添字集合は必ずしも自然数から成るものでなくてよい）、それらの各元に対して行列の成分が矛盾無く定義されるという方法で扱うことになる。このとき、和・差、スカラー倍、転置といった基本演算については問題なく定義されるが、行列の乗法に関してはその成分が無限和として与えられることになり、これは（適当な制約条件を抜きにしては）一般には定義されない。

R を任意の単位的環とすれば、右 R-加群としての $M=\underset{i\in I}{⨁}R$ の自己準同型環は、I × I で添字付けられ、各列の非零成分の数が有限個であるような列有限行列の環 CFM_I(R) に同型である。これと対応するものとして、左 R-加群としての M の自己準同型環を考えれば、同様に各行の非零成分の数が有限な行有限行列の環 RFM_I(R) が得られる。

無限次元行列を線型写像を記述するのに用いるならば、次に述べるような理由から、その各列ベクトルが有限個の例外を除いて全ての成分が 0 となるものとならなければ無用である。A が適当な基底に関して線型写像 f: V → W を表現するものとすると、それは定義により、空間の任意のベクトルを基底ベクトルの（有限）線型結合として一意に表すことによって与えられるのであるから、従って（列）ベクトル v の成分 v_i で非零となるものは有限個に限られる。また、A の各列は V の各基底ベクトルの f による像を W の基底に関して表したものとなっているから、これが意味を持つのはこれらの列ベクトルの非零成分が有限個である場合に限る。しかし一方で、A の行に関しては何の制約もない。事実、v の非零成分が有限個であるならば、積 Av はその各成分が見かけ上無限和の形で与えられるとしても、実際にはそれは非零の項が有限個しかないから、間違いなく決定することができる。さらに言えば、これは A の実質的に有限個の列の線型結合を成すことになり、また各列の非零成分は有限個だから結果として得られる和も非零成分が有限個になる。（通常は、行と列が同じ集合で添字付けられるような）与えられた型の二つの行列の積は矛盾無く定義できて、もとと同じ型を持ち、線型写像の合成に対応することも確認できる。

R がノルム環ならば、行または列に関する有限性条件を緩めることができる。すなわち、有限和の代わりに、そのノルムに関する絶対収束級数を考えればよい。例えば、列和が絶対収束列となるような行列の全体は環を成す。もちろん同様に、行和が絶対収束列となるような行列の全体も環を成す。

この文脈では、収束して連続的な問題を生じ、適当な制約条件を満たすような無限次行列はヒルベルト空間上の作用素を記述するものとして利用することができる。しかし、このようなやり方は行列としての陽な観点は曖昧になりがちテンプレート:Efnであり、むしろその代わりに関数解析学の抽象的でより強力な手法が利用できる。

空行列

空行列は行または列（あるいはその両方）の数が 0 であるような行列をいうテンプレート:Efn。零ベクトル空間を含めて写像を考える場合に、空行列は役に立つ。例えば、A が 3 × 0 行列で B が 0 × 3 行列ならば、積 AB は三次元空間 V からそれ自身への空写像に対応する 3 × 3 零行列である。空行列を表す記号というのは特に定まってはいないが、多くの数式処理システムでは空行列を作成したり空行列に関する計算をしたりすることができる。0 × 0 行列の行列式は 1 と定義される。これは行列式に関するライプニッツの公式（置換に関する和として表す公式）が空積となり、それは通常 1 であることによる。またこのことは、任意の有限次元空間における恒等変換（に対応する行列）の行列式が 1 であるという事実とも整合する。

応用

行列は数学と科学における数多くの場面で応用される。そのうちのいくつかは単に行列における数字の組を簡潔に表現するために利用させる。例えば、ゲーム理論や経済学における利得行列は2人のプレイヤーの利得を符号化する。

複素数は2×2の実行列で

$a+ib\leftrightarrow \left[\begin{array}{cc}a& -b\\ b& a\end{array}\right]$

のように表現することで複素数と行列における和と積をそれぞれ対応させることが可能となる。例えば2×2の回転行列は絶対値が1である複素数の乗算を表す。これと同じような解釈は一般に四元数やクリフォード代数においても可能である。

運動学やロボット工学の分野では、2次元または3次元空間における物体の位置や姿勢（回転角）を表現するのに行列が用いられ、ベクトルおよびクォータニオン（四元数）とともに姿勢制御に応用されている。任意のオイラー角は回転行列の積で表現できる。また、テンプレート:仮リンク系での座標変換を導入するために、2次元ベクトルを座標変換する際は同次座標を追加した3次元ベクトルと3×3行列の積が、3次元ベクトルを座標変換する際は同次座標を追加した4次元ベクトルと4×4行列の積が使用される。コンピュータグラフィックスでも、アフィン変換を使って2次元平面上の図形を平行移動・回転・拡大縮小・せん断変形したり、ポリゴンメッシュや自由曲面を使って仮想空間上に物体を表現する際、物体を構成する頂点集合の位置や姿勢を表したり、カメラの画角を表現したり、3次元空間上のモデルを正規化デバイス座標系や2次元のスクリーン座標系に投影したりするのに行列が使われている。

ヒル暗号のような初期の暗号技術においても行列は用いられる。しかし、行列の線型性によって、このような暗号はかなり簡単に突破されてしまう。

多項式環における行列は制御理論を学ぶ際に重要となる。

グラフ理論

図のような無向グラフの隣接行列は$\left[\begin{array}{ccc}1& 1& 0\\ 1& 0& 1\\ 0& 1& 0\end{array}\right]$である。

有限グラフの隣接行列はグラフ理論における基本的な概念である。これは枝によって繋がれたグラフの頂点を表す。また、距離行列は頂点間の距離に関する情報を含む。このような概念はハイパーリンクによって繋がれたウェブサイトや道路で繋がれた都市といった場面で応用することができる。このようなことからネットワーク理論においても行列は用いられることとなる。

解析学と幾何学

微分可能関数ƒ: Rⁿ → Rのヘッセ行列はƒの二階導関数によって

$H(f)=\left[\frac{{\partial }^{2}f}{\partial x_i\partial x_j}\right]$

のようになる。これは関数の局所的な状態に関する情報を符号化したものである。

参考文献

• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Cite book
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Lang Algebra
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• G. W. Stewart: Matrix Algorithms Vol I: Basic Decompositions, SIAM, ISBN 0-89871-414-1 (1998).
• G. W. Stewart: Matrix Algorithms Vol II: Eigensystems, SIAM, ISBN 0-89871-503-2 (2001).
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• Pappur Nagappa Shivakumar、K C Sivakumar、Yang Zhang: "Infinite Matrices and Their Recent Applications",　Springer, ISBN 978-3319301792 (2016年5月25日）。
• テンプレート:Cite book

物理学に関するもの

• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation

歴史に関するもの

• テンプレート:Citation, reprint of the 1907 original edition
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation

関連文献

• F. R. Gantmacher: The Theory of Matrices, Vol.1, Chelsea Pub., (1959). ※ ロシア語原著の英語訳版。
• F. R. Gantmacher: The Theory of Matrices, Vol.2, Chelsea Pub., (1954). ※ ロシア語原著の英語訳。内容の有用度が高い第2巻が先に翻訳された？。
• F. R. Gantmacher: Applications of the Theory of Matrices, Interscience Pub., (1959). ※　Chelsea Pub. の Vol.2 の原著の内容と、必要とされるVol.1の内容を補足して1冊にまとめた。
• 草場公邦：「行列特論」、裳華房（基礎数学選書 21）(1979年9月25日)。※高度な内容を扱う。グラフの表現論、行列の連続的標準形など。2002年12月に復刊。
• T. Kailath and A. H. Sayed (Eds.) (1999): Fast Reliable Algorithms for Matrices with Structure, SIAM, ISBN 0-89871-431-1.
• Varga, Richard S. (2000): Matrix Iterative Analysis, Springer.
• Yousef Saad (2003): Iterative Methods for Sparse Linear Systems, 2nd ed. , SIAM, ISBN 978-0-89871534-7.
• Raf Vandebril, Marc Van Barel, and Nicola Mastronardi (2008): Matrix Computations and Semiseparable Matrices, Volume 1: Linear systems, Johns Hopkins Univ. Press, ISBN 978-0-8018-8714-7.
• Raf Vandebril, Marc Van Barel, and Nicola Mastronardi (2008): Matrix Computations and Semiseparable Matrices, Volume 2: Eigenvalue and Singular Value Methods, Johns Hopkins Univ. Press, ISBN 978-0-8018-9052-9.
• Higham, N. J. (2008): Functions of Matrices: Theory and Computation, SIAM.
• David S. Watkins (2008): The Matrix Eigenvalue Problem: GR and Krylov Subspace Methods, SIAM.

関連項目

• 線型代数学
• 行列式
• 線型写像
• 変換 (数学)
• 固有値
• 対角化
• ジョルダン標準形
• 疎行列
• MATLAB
• R言語

外部リンク

• Online Matrix Multiplication using AJAX
• Online Inverse Matrix Calculator using AJAX
• Online Calculator - Operation with matrices in R (determinant, track, inverse, adjoint, transpose)
• テンプレート:Kotobank

歴史

• MacTutor: Matrices and determinants
• Matrices and Linear Algebra on the Earliest Uses Pages
• Earliest Uses of Symbols for Matrices and Vectors

オンライン本

• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• 『行列および行列式』荒又秀夫著、東海書房、1947年刊

オンラインの行列計算器

• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation, a freeware package for matrix algebra and statistics
• テンプレート:Citation
• Operation with matrices in R (determinant, track, inverse, adjoint, transpose)
• Matrix Formulas

関連する学会、学術雑誌等

• 日本応用数理学会「行列・固有値問題の解法とその応用」研究部会