行列

数学の線型代数学周辺分野における行列は、数や記号や式などを縦と横に矩形状に配列したものである。

1. 概要
-----

1.1. 行・列
--------

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

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

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

1.2. 成分
-------

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

1.3. 和・積
--------

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

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

1.4. 行列の応用
----------

1.4.1. 一次変換
-----------

行列の応用として代表的なものは一次変換の表現で、これは //f//    =}} 4//x//}} のような一次関数を一般化したものである。例えば、三次元空間におけるベクトルの回転は一次変換にあたり、R}} が回転行列で v}} が空間の点の位置を表す列ベクトルであるとき、それらの積 //R//v}} は回転後の点の位置を表す列ベクトルを表現している。また 2つの行列の積は、2つの一次変換の合成を表現するものとなる。

1.4.2. 線型方程式系
-------------

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

1.4.3. 科学
---------

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

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

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

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

行列の微積分は、古典的な解析学における微分や指数関数の概念を高次元へ一般化するものである。

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

1.4.4. アルゴリズム
-------------

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

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

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

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

2. 素朴な定義
--------

2.1. 記法
-------

行列は数または数を表わす文字から成る要素  を矩形状に書き並べて、大きな丸括弧で括った形に書かれる。ここで文字送りの方向の並びを行  といい、行送りの方向の並びを列  と呼ぶ。例えば

は 2 つの行と 3 つの列を持つ行列である。行列自身は、ふつうはアルファベットの大文字イタリックで表し、その要素は対応する小文字に二つの添字を付けたもので表す。つまり一般の //m// 行 //n// 列の行列を

のように書く。

2.2. 成分
-------

書き並べられた要素は行列の成分  と呼ばれる。成分が取り得る値は大抵の場合はある体または可換環 K}} の元であり、このとき K}} 上の行列  という。特に、K}} が実数全体の成す体 R}} であるとき実行列と呼び、複素数全体の成す体 C}} のとき複素行列と呼ぶ。

一つの成分を特定するには、二つの添字が必要である。行列の第 i}} 行目、j}} 列目の成分を特に行列の }} 成分と呼ぶ。例えば上記行列 A}} の }} 成分は //a//sub である。行列の }} 成分はふつう asub のように二つの添字を単に横並びに書くが、誤解を避けるために添字の間にコンマを入れることもある。例えば 1}} 行 11}} 列目の成分を //a//sub と書いてよい。また略式的には、行列 A}} の }} 成分を指定するのに Asub という記法を用いることがある。この場合、例えば積A B}} の }} 成分を sub と指定したりできるので、これで記述の簡素化を図れる場合もある。

2.3. 型
------

行列に含まれる行の数が m}}, 列の数が n}} である時に、その行列を m}} 行 n}} 列行列や //m// × //n//}} 行列、m n}} 行列などと呼ぶ。行列を構成する行の数と列の数の対を型  あるいはサイズという。したがって m}} 行 n}} 列行列のことを }} 型行列などと呼ぶこともある。K}} 上の //m// × //n//}} 行列の全体は //K//sup, Ksup や Mat}}, Msub などで表される。

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

に対して、[su はその列ベクトル、[//a//sub はその行ベクトルである。

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



3. 厳密な定義
--------

行列は二重に添字づけられた族であり、添字の各対 }} に成分 asub を割り当てる二変数写像

である。例えば添字の対 }} には写像の値として //a//sub が割り当てられる。値 asub は行列の i}}-行 j}}-列成分であるといい、m}} および n}} はそれぞれ行および列の数を意味する。写像としての行列の定義と行列が表す線型写像とを混同してはならない。

K}} に成分を持つ //m// × //n//}} 行列の全体は、したがって配置集合

であり、省略形として //K//supや M}} などと書くことの一つの根拠になる。

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

ただ一つの列を持つ行列は列ベクトル、ただ一つの行を持つ行列は行ベクトルと呼ばれる。Ksup のベクトルは、文脈によって行ベクトル空間 //K//sup または列ベクトル空間 //K//sup の元を表すのにも用いられる。

4. 歴史
-----

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

行列論の初期においては、行列よりも行列式のほうに非常に重きが置かれており、行列式から離れて現代的な行列の概念と同種のものが浮き彫りにされるのは1858年、ケイリーの歴史的論文 //Memoir on the theory of matrices//においてであるCayleyDieudonné。用語 "matrix"はシルベスターが導入した。シルベスターは行列を、もとの行列から一部の行や列を取り除いて得られる小行列の行列式として、たくさんの行列式を生じるものとして理解していた[[オックスフォード英語大辞典。1851年の論文でシルベスターは と説明している。 行列式の研究はいくつかの流れから生じてきたものであるKnobloch。数論的な問題はガウスが二次形式の係数と三次元の線型写像を行列に結び付けたことに始まり、アイゼンシュタインがこれらの概念をさらに進めて、現代的な用語でいえば行列の積が非可換であることなどを指摘した。コーシーは行列 の行列式として、多項式

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

多くの定理は、初めて確立されたときには小さいサイズの行列に限った主張として示された。例えばケーリー＝ハミルトンの定理は、ケイリーが先述の回想録において 2 × 2 行列に対して示し、ハミルトンが 4 × 4 行列に対して証明して、その後の1898年にフロベニウスが双線型形式についての研究の過程で任意次元に拡張した。また、19世紀の終わりに、ガウス&ndash;ジョルダン消去法をヴィルヘルム・ヨルダンが確立し、20世紀の初頭には行列は線型代数学の中心的役割を果たすようになったBôcher。前世紀の超複素数系の分類にも行列の利用が部分的に貢献した。

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

5. 行列の演算
--------

5.1. 基本演算
---------

5.1.1. 加法
---------

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

で定める。

例えば

である。

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

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

5.1.2. スカラー倍
------------

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

が定義される。例えば、

である。

スカラー乗法が意味を持つためには、スカラー λ と行列の成分が同じ環  からとった元であるべきであり、このとき //m// × //n// 行列の全体 //K////m//×//n// は、左 //K//-加群になる。ベクトル空間としての //K////m//×//n// は //m n// 次元数ベクトル空間 //K////m n// と同型である。

5.1.3. 乗法
---------

行列の積を初めて定義したのはケイリーである。行列の積は狭い意味での二項演算ではない。//l// × //m// 行列 //A// と //m// × //n// 行列 //B// の積は //l// × //n// 行列となり、//C// = //A B// の  成分 //c////i j// は、

で与えられる。

例えば、

である。

行列の積は可換でない 即ち一般にはとなることが両辺が定義される場合  であっても起こり得る。さらに //m// = //n// のとき、つまり両辺が正方行列同士の積であれば両辺とも定義されるが、その場合でも一般には両者は異なる。 行列の積は結合的である 即ち、乗法が定義される限りにおいてが成り立つ。 行列の乗法は加法の上に分配的である 即ち、各項における加法と乗法が定義される限りにおいておよびが成り立つ。正方行列に関して行列の乗法は特別な役割を持つ。環 //R// 上の正方行列全体 //R////n//×//n// は行列の加法と乗法に関して、ふたたび環を成すのである。環 //R// が単位的ならば、単位行列

は行列の積に関する単位元となり、環 //R////n//×//n// もまた単位的となる。しかし、//n// > 1 のとき、この環は可換環でない。

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

である。ここで //E//2 は二次の単位行列、右辺の 0 は全ての成分が 0//R//であるような適当なサイズの行列である。

5.1.4. 転置
---------

//m// × //n// 行列 //A// = [//a////i j//] の転置とは //n// × //m// 行列 //t////A// = [//a////j i//], 即ち

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

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

5.2. 行列式
--------

//n// × //n// 行列 //A// = [//a////i j//] の行列式とは、

で定義される数である。これは行列の固有値の積と一致し、det =}} 1}}, det =}} det det}} などが成り立つ。

5.3. ランク
--------

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

5.4. トレース
---------

//n// × //n// 行列 //A// = [//a////i j//] のトレースまたは跡とは、その対角線上にある成分の和

のことである。これは tr =}} tr}} を満たし、行列のトレースはその固有値の和に等しい。

5.5. 内積とノルム
-----------

//K//-加群としての //M////m//×//n// はまた、行列の積 //t//A B のトレース

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

をエルミート内積として複素ユニタリ空間を成す。この内積はフロベニウスノルムを導き、//M////m//×//n// はバナッハ空間となる。

5.6. その他の演算
-----------

5.6.1. 差
--------

任意の行列 B}} に対し、その成分をそれぞれの成分の加法逆元に全て取り換えた行列を −//B//}} と書けば、同じサイズの行列 A, B}} の和 //A// + }} を //A// − //B//}} と略記して差を定めることができるこれは与えられた行列の全ての成分が加法逆元を持つ限りにおいて、加法のみから定められることに注意。特にスカラー乗法が定義されている必要はない。従って、同じサイズの任意の行列に対する減法を定めるならば、例えば係数域が加法についてアーベル群であれば十分であるが、通例として行列の係数域は何らかの可換環と仮定するから、それには環の加法群構造を用いればよい}}。より強く、スカラー乗法が定義される場合には、特にスカラー }}-倍は 1=//B// = −//B//}} を満たすのだから、和とスカラー倍を使って差を定義することもできる。

とすればよい．

5.6.2. べき乗
----------

//n// × //n// の正方行列 //A// に対して行列のべき乗は //An//  と書かれる。

行列 //A// が対角化可能であれば、//An// = //n// = //P//−1//DnP// として容易に計算できる。

5.6.3. ベクトルの二項積
---------------

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

5.6.4. 行列の三項積
-------------

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

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

5.7. 定義されない演算
-------------

以下のような計算は定義されないため実行してはならない。

異なる型の行列同士の和
正方行列ではない行列の逆行列
正方行列ではない行列の行列式
正方行列ではない行列の固有値
正方行列ではない行列のトレース

6. 行列の分解
--------

行列を2つあるいは3つの行列の積に因数分解するには以下の方法が知られている。

LU分解 - 正方行列Aを下三角行列と上三角行列の積に分解。 A = LU
コレスキー分解 - 正値対称行列Aを下三角行列と上三角行列の積に分解。 A = U*U
QR分解 - 行列を直交行列Qと上三角行列Rに分解 A = QR
固有値分解 -
特異値分解 - 行列を直交行列U,Vと対角行列Dに分解 A = UDV*

7. 様々な行列
--------

7.1. 行列サイズによる分類
---------------

正方行列

7.2. 行列成分が特別な形の行列
-----------------

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

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

転置行列
随伴行列

7.4. 対称性がある行列
-------------

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

7.5. 群を構成する行列
-------------

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

8. 線型写像
-------

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

線型写像の行列表現 //m// × //n//}} 行列 A}} から線型写像 Rsup が各ベクトル x ∈ Rsup を行列としての積 //A//mathbf へ写すものとして定まる。逆に、各線型写像 //f//: Rsup を生じる //m// × //n//}} 行列 A}} は一意的に決まる。陽に書けば、A}} の }}-成分は、//f//(esub の第 //i//-成分である。ただし 1=esub は第 j}}-成分だけが 1}} で他が全部 0}} の単位ベクトルである。このとき、行列 A}} は線型写像 f}} を表現すると言い、A}} を f}} の変換行列または表現行列と呼ぶ。

例えば 2 × 2}} 行列

は、単位正方形を ,}} ,}} ,}} }} を頂点とする平行四辺形に写すものと見做すことができる。この平行四辺形は、単位正方形の頂点を成す四つのベクトル (su の各々に A}} を掛けることによって得られる。

この行列と線型写像との間の一対一対応のもとで、行列の乗法は写像の合成に対応するGreub: 上記の A}} と f}} に加えて、//k// × //m//}} 行列 B}} が別の線型写像 //g//: Rsup を表現するものならば、合成 //g// ∘ //f//}} は行列の積 BA}} で表現される。実際、

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

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

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

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

しばしば実または複素成分の行列に焦点を当てることもあるmore_general_entries}}が、それ以外にももっと一般の種類の成分を持った行列を考えることができる。一般化の最初の段階として任意の体を成分として考える。例えば符号理論では有限体上の行列を利用する。どの体で考えるとしても、固有値は多項式の根として考えることができて、それは行列の係数体の拡大体の中に存在する。たとえば、実行列の場合は固有値は複素数である。ある行列の成分をより大きな体の元と解釈しなおすことはできるから、そのような十分大きな体の中で任意の正方行列についてその固有値全てから成る集合を考えることができる。あるいは最初から、複素数体 C のような代数閉体に成分を持つような行列のみを考えるものとすることもできる。

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

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

9.2. 線型写像との関係
-------------

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

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

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

9.3. 行列群
--------

群というのは集合と二項演算からなる数学的構造で、適当な条件を満たすものである。行列をその元とし、行列の積を群演算とするような群は、行列群または線型代数群と呼ばれる普通はさらに一般線型群の閉集合となることも要求する。}}Baker。群の任意の元は可逆であるから、最も一般の行列群は与えられたサイズの可逆行列全体の成す群 //GL////n// であり、一般線型群と呼ばれる。

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

//M//⊤//M// = //I//で定まる直交行列の全体は直交群 //O// を成すArtin。「直交」の名は、対応する R//n// の線型変換が、//M// を掛ける操作で二つのベクトルの内積を変えない

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

9.4. 無限次行列
----------

行または列の数を無限にした行列と呼べるようなものも考えることができるItõが、そのようなものを陽なかたちに書き記すことはできないので、行を添字付ける集合と列を添字付ける集合を用意して、それらの各元に対して行列の成分が矛盾無く定義されるという方法で扱うことになる。このとき、和・差、スカラー倍、転置といった基本演算については問題なく定義されるが、行列の乗法に関してはその成分が無限和として与えられることになり、これは一般には定義されない。

//R// を任意の単位的環とすれば、右 //R//-加群としての の自己準同型環は、//I// × //I// で添字付けられ、各列の非零成分の数が有限個であるような列有限行列の環 CFM//I// に同型である。これと対応するものとして、左 //R//-加群としての //M// の自己準同型環を考えれば、同様に各行の非零成分の数が有限な行有限行列の環 RFM//I// が得られる。

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

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

この文脈では、収束して連続的な問題を生じ、適当な制約条件を満たすような無限次行列はヒルベルト空間上の作用素を記述するものとして利用することができる。しかし、このようなやり方は行列としての陽な観点は曖昧になりがち"Not much of matrix theory carries over to infinite-dimensional spaces, and what does is not so useful, but it sometimes helps." sfnであり、むしろその代わりに関数解析学の抽象的でより強力な手法が利用できる。

9.5. 空行列
--------

空行列は行または列の数が 0 であるような行列をいう"Empty Matrix: A matrix is empty if either its row or column dimension is zero", "A matrix having at least one dimension equal to zero is called an empty matrix", }}。零ベクトル空間を含めて写像を考える場合に、空行列は役に立つ。例えば、//A// が 3 × 0 行列で //B// が 0 × 3 行列ならば、積 //AB// は三次元空間 //V// からそれ自身への空写像に対応する 3 × 3 零行列である。空行列を表す記号というのは特に定まってはいないが、多くの数式処理システムでは空行列を作成したり空行列に関する計算をしたりすることができる。0 × 0 行列の行列式は 1 と定義される。これは行列式に関するライプニッツの公式が空積となり、それは通常 1 であることによる。またこのことは、任意の有限次元空間における恒等変換の行列式が 1 であるという事実とも整合する。

10. 応用
------

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

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

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

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

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

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

10.1. グラフ理論
-----------

150px|thumb|right|図のような無向グラフの隣接行列はである。

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

10.2. 解析学と幾何学
-------------

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

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

11. 脚注
------

11.1. 注釈
--------

11.2. 出典
--------

12. 参考文献
--------

Pappur Nagappa Shivakumar、K C Sivakumar、Yang Zhang: "Infinite Matrices and Their Recent Applications",　Springer, ISBN 978-3319301792 (2016年5月25日）