行列

提供: miniwiki
2018/8/19/ (日) 17:41時点におけるAdmin (トーク | 投稿記録)による版 (1版 をインポートしました)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内検索

数学線型代数学周辺分野における行列(ぎょうれつ、: matrix)は、数や記号や式などをに沿って矩形状に配列したものである。行の数と列の数が同じ行列は行列の和English版が成分ごとの計算によって与えられる。行列の積の計算はもっと複雑で、2 つの行列がかけ合わせられるためには、積の左因子の列の数と右因子の行の数が一致していなければならない。

行列の応用として顕著なものは一次変換の表現である。一次変換は f (x) = 4x のような一次関数の一般化で、例えば三次元空間におけるベクトルの回転などは一次変換であり、R回転行列v が空間の点の位置を表す列ベクトル(1 列しかない行列)のとき、積 Rv は回転後の点の位置を表す列ベクトルになる。また 2 つの行列の積は、2 つの一次変換の合成を表現するものとなる。行列の別な応用としては、連立一次方程式の解法におけるものである。行列が正方行列であるならば、そのいくつかの性質は、行列式を計算することによって演繹することができる。例えば、正方行列が正則であるための必要十分条件は、その行列式の値が非零となることである。固有値や固有ベクトルは一次変換の幾何学に対する洞察を与える。行列の応用は科学的な分野の大半に及び、特に物理学において行列は、電気回路、光学、量子力学などの研究に利用される。コンピュータ・グラフィックスでは三次元画像の二次元スクリーンへの投影や realistic-seeming motion を作るのに行列が用いられる。行列解析English版は、古典的な解析学における微分指数関数の概念を高次元へ一般化するものである。

主要な数値解析の分野は、行列計算の効果的なアルゴリズムの開発を扱っており、主題は何百年にもわたって今日では研究領域も広がっている。行列の分解は、理論的にも実用的にも計算を単純化するもので、アルゴリズムは正方行列対角行列などといった行列の特定の構造に合わせて仕立てられており、有限要素法やそのほかの計が効率的に処理される。惑星運動論や原子論では無限次行列が現れる。関数のテイラー級数に対して作用する微分の表現行列は、無限次行列の簡単な例である。

歴史

線型方程式の解法における応用に関して、行列は長い歴史を持つ。紀元前300年から紀元200年の間に書かれた中国の書物『九章算術』は連立方程式の解法に行列を用いた最初の例であるといわれ[1]、それには行列式の概念が、日本のが1683年に[2]、ドイツのライプニッツが1693年にそれぞれ独立に著すよりも実に1000年以上も前に扱われていた。クラメル有名な公式を生み出すのは1750年のことである。

行列論の初期においては、行列よりも行列式のほうに非常に重きが置かれており、行列式から離れて現代的な行列の概念と同種のものが浮き彫りにされるのは1858年、ケイリーの歴史的論文 Memoir on the theory of matrices(「行列論回想」)においてである[3][4]。用語 "matrix"(ラテン語で「生み出すもの」の意味の語 "womb" に由来)[5]シルベスターが導入した。シルベスターは行列を、(今日小行列式と呼ばれる)もとの行列から一部の行や列を取り除いて得られる小行列の行列式として、たくさんの行列式を生じるものとして理解していた[注釈 1]。1851年の論文でシルベスターは

I have in previous papers defined a "Matrix" as a rectangular array of terms, out of which different systems of determinants may be engendered as from the womb of a common parent. (以前の論文で、項を矩形状に並べた配列として定義した "Matrix" は、そのうちで異なる行列式の体系を生み出す共通の親としての母体である。)

と説明している[6]。 行列式の研究はいくつかの流れから生じてきたものである[7]数論的な問題はガウスが二次形式(つまり、[math] x^2 + xy - 2y^2 [/math]のような数式)の係数と三次元の線型写像を行列に結び付けたことに始まり、アイゼンシュタインがこれらの概念をさらに進めて、現代的な用語でいえば行列の積非可換であることなどを指摘した。コーシーは行列 [math] A=(a_{ij})[/math] の行列式として、多項式

[math]a_1 a_2 \cdots a_n \prod_{i \lt j} (a_j - a_i)[/math]

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

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

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

素朴な定義

記法

行列要素 (element) を矩形状に書き並べて、大きな丸括弧(あるいは角括弧)で括った形に書かれる。ここで文字送りの方向(横)の並びを (row) といい、行送りの方向(縦)の並びを (column) と呼ぶ。例えば

[math]\begin{pmatrix} a_{11} & a_{12} & a_{13}\\ a_{21} & a_{22} & a_{23} \end{pmatrix},\ \begin{bmatrix} 3 & -4 & 6\\ 0 & 1 & -2 \end{bmatrix}[/math]

は 2 つの行と 3 つの列を持つ行列である。行列自身は、ふつうはアルファベットの大文字イタリック(しばしば太字[注釈 2])で表し、その要素は対応する小文字に二つの添字を付けたもので表す(略式的に行列を表す大文字に添字を付けたものを用いることもあるが、その場合小行列の記号と紛らわしい)。つまり一般の mn 列の行列を

[math]A=\mathbf{A}=\underline{A}=\underline{\underline{A}}=\begin{pmatrix} a_{11} & a_{12} & \cdots & a_{1n}\\ a_{21} & a_{22} & \cdots & a_{2n}\\ \vdots & \vdots & \ddots & \vdots\\ a_{m1} & a_{m2} & \cdots & a_{mn} \end{pmatrix}= (a_{ij})_{1\le i\le m\atop 1\le j\le n}[/math]

のように書く。

成分

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

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

行列の各々の行および列はそれぞれ行ベクトルおよび列ベクトルとして言及されることもある。例えば行列

[math]A=\begin{pmatrix} a_{11} & a_{12}\\ a_{21} & a_{22}\end{pmatrix}[/math]

に対して、(テンプレート:Su), (テンプレート:Su) はその列ベクトル、(a11a12), (a21a22) はその行ベクトルである。

行列に含まれる行の数が m, 列の数が n である時に、その行列を mn 列行列や m × n 行列、mn 行列などと呼ぶ。行列を構成する行の数と列の数の対を (type) あるいはサイズという。したがって mn 列行列のことを (m, n)-型行列などと呼ぶこともある。K 上の m × n 行列の全体は Km×n, Km,nMat(m, n; K), Mm×n(K) などで表される。

厳密な定義

行列は二重に添字づけられたであり、きちんと言えば、添字の各対 (i, j) に成分 aij を割り当てる二変数写像

[math]A\colon \{1,\ldots, m\} \times \{1,\dots, n\} \to K; \quad (i,j) \mapsto a_{ij}[/math]

である。例えば添字の対 (1, 2) には写像の値として a12 が割り当てられる。即ち、値 aij は行列の i-行 j-列成分であり、m および n はそれぞれ行および列の数を意味する。写像としての行列の定義と行列が表す線型写像とを混同してはならない。

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

[math]\operatorname{map}(\{1,\ldots, m\} \times \{1,\ldots, n\}, K) = K^{\{1,\ldots, m\}\times\{1,\ldots n\}}[/math]

であり、省略形として Km×n(あるいはやや稀だが mKn)や M(m×n; K) などと書くことの一つの根拠になる。

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

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

行列の演算

基本演算

二つの行列は、それが同じ型を持つならば互いに加えることができる、異なる型の行列に対しては和は定義されない。mn 列の行列同士の和を、成分ごとの和

[math]A + B: = (a_ {ij} + b_ {ij})_{i= 1,\ldots, m,\atop j = 1,\ldots, n}[/math]

で定める。

例えば

[math]\begin{pmatrix} 5 & 6 \\ -7 & 8 \end{pmatrix} +\begin{pmatrix} 1 & -2 \\ 3 & -4 \end{pmatrix} =\begin{pmatrix} 5 + 1 & 6 + (-2) \\ -7 + 3 & 8 + (-4) \end{pmatrix}= \begin{pmatrix} 6 & 4 \\ -4 & 4 \\ \end{pmatrix}[/math]

である。

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

[math]0\equiv O:=\begin{pmatrix} 0 & \cdots & 0\\ \vdots & \ddots & \vdots\\ 0 & \cdots & 0\end{pmatrix}[/math]

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

スカラー倍

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

[math]\lambda A := (\lambda a_{ij})_{i=1,\ldots, m,\atop j=1,\ldots, n}[/math]

が定義される。例えば、

[math]5 \cdot \begin{pmatrix} 1 & -3 & 2 \\ 1 & 2 & 7 \end{pmatrix} = \begin{pmatrix} 5 \cdot 1 & 5 \cdot (-3) & 5 \cdot 2 \\ 5 \cdot 1 & 5 \cdot 2 & 5 \cdot 7 \end{pmatrix} = \begin{pmatrix} 5 & -15 & 10 \\ 5 & 10 & 35 \end{pmatrix}[/math]

である。

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

行列の積を初めて定義したのはケイリーである。行列の積は狭い意味での二項演算(即ち、台とする集合 X に対して X × XX なる写像を定めるもの)ではない。l × m 行列 Am × n 行列 B の積は l × n 行列となり、C = AB の (i, j) 成分 cij は、

[math]c_{ij} = \sum_{k=1}^{m}a_{ik}b_{kj}[/math]

で与えられる。

例えば、

[math] \begin{pmatrix} 5 & 6 \\ 7 & 8 \end{pmatrix}\begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix} = \begin{pmatrix} 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{pmatrix}= \begin{pmatrix} 23 & 34 \\ 31 & 46 \end{pmatrix} [/math]

である。

行列の積は可換でない
即ち一般には
[math] B \cdot A \neq A \cdot B [/math]
となることが両辺が定義される場合 (l = n) であっても起こり得る。さらに m = n(= l) のとき、つまり両辺が正方行列同士の積であれば両辺とも定義されるが、その場合でも一般には両者は異なる。
行列の積は結合的である
即ち、乗法が定義される限りにおいて
[math] (A\cdot B)\cdot C = A\cdot (B\cdot C) [/math]
が成り立つ。
行列の乗法は加法の上に分配的である
即ち、各項における加法と乗法が定義される限りにおいて
[math] (A + B)\cdot C = A\cdot C + B\cdot C [/math]
および
[math] A\cdot (B + C) = A\cdot B + A\cdot C [/math]
が成り立つ。

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

[math]E_n = \begin{pmatrix} 1 & 0 & \cdots & 0 \\ 0 & 1 & \cdots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \dots & 1 \end{pmatrix}[/math]

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

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

[math]\begin{align} \left(\begin{array}{cc|cc} a & b & 0 & 0\\ c & d & 0 & 0\\\hline x & y & 1 & 0\\ z & w & 0 & 1 \end{array}\right) \cdot \left(\begin{array}{c|c} n & 0\\ m & 0\\\hline q & 1\\ p & 0 \end{array}\right) &= \begin{pmatrix} A & 0\\ X & E_2 \end{pmatrix} \cdot \begin{pmatrix} N & 0\\ Q & \left(\begin{smallmatrix}1 \\ 0\end{smallmatrix}\right) \end{pmatrix} \\ &= \begin{pmatrix} AN + 0 & 0 + 0\\ XN + E_2Q & 0 + E_2\left(\begin{smallmatrix}1 \\ 0\end{smallmatrix}\right) \end{pmatrix}\end{align}[/math]

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

転置

m × n 行列 A = (aij) の転置とは n × m 行列 tA = (aji), 即ち

[math]A = \begin{pmatrix} a_{11} & \dots & a_{1n} \\ \vdots & \ddots & \vdots \\ a_{m1} & \dots & a_{mn} \end{pmatrix} \iff {}^tA = \begin{pmatrix} a_{11} & \dots & a_{m1} \\ \vdots & \ddots & \vdots \\ a_{1n} & \dots & a_{mn} \end{pmatrix}[/math]

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

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

[math]\begin{align} {}^t(A + B) &= {}^tA + {}^tB \\ {}^t(cA) &= c\,{}^tA \\ {}^t({}^tA) &= A \\ {}^t(AB) &= {}^tB\,{}^tA \\ {}^t(A^{-1}) &= ({}^tA)^{-1}.\end{align}[/math]

行列式

n × n 行列 A = (aij) の行列式とは、

[math] \det(A) = \sum_{\sigma \in \mathfrak{S}_n}\operatorname{sgn}(\sigma) \prod_{i = 1}^n a_{i \sigma(i)} [/math]

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

ランク

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

トレース

n × n 行列 A = (aij) のトレースまたはとは、その対角線上にある成分の和

[math]\operatorname{tr}(A) = a_{11} + a_{22} + \dotsb + a_{nn}[/math]

のことである。これは tr(AB) = tr(BA) を満たし、行列のトレースはその固有値の和に等しいことがわかる。

内積とノルム

K-加群としての Mm×n(K) はまた、行列の積 tAB のトレース

[math]\langle A, B \rangle = \operatorname{tr}({}^tAB) = \sum_{i=1}^n \sum_{j=1}^m a_{ij}b_{ij}[/math]

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

[math]\langle A, B\rangle = \operatorname{tr} ({}^t\bar{A}B) = \sum_{i=1}^n \sum_{j=1}^m \bar{a}_ {ij}b_ {ij}[/math]

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

その他の演算

任意の行列 B に対し、その成分をそれぞれの成分の加法逆元に全て取り換えた行列を B と書けば、同じサイズの行列 A, B の和 A + (−B)AB と略記して差を定めることができる[注釈 3]。より強く、スカラー乗法が定義される場合には、特にスカラー (−1)-倍は (−1)B = −B を満たすのだから、和とスカラー倍を使って差を定義することもできる。

[math]\begin{pmatrix} 5 & 6 \\ -7 & 8 \end{pmatrix} -\begin{pmatrix} 1 & -2 \\ 3 & -4 \end{pmatrix} =\begin{pmatrix} 5 - 1 & 6 - (-2) \\ -7 - 3 & 8 - (-4) \end{pmatrix}= \begin{pmatrix} 4 & 8 \\ -10 & 12 \\ \end{pmatrix}[/math]

とすればよい.

べき乗

n × n正方行列 A に対して行列のべき乗An (ここで n は実数) と書かれる。

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

ベクトルの二項積

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

行列の三項積

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

[math]M_{m\times n}(K)\times M_{m\times n}(K)\times M_{m\times n}(K)\to M_{m\times n}(K);\quad (X,Y,Z)\mapsto \{X,Y,Z\} := X\,{}^tY\,Z[/math]

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

定義されない演算

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

  • 異なる型の行列同士の和
[math] \begin{pmatrix} a & b & c \\ d & e & f \end{pmatrix} + \begin{pmatrix} g & h \\ i & j \\ k & l \end{pmatrix} = \cdots [/math]
  • 正方行列ではない行列の逆行列
[math] \begin{pmatrix} a & b \\ c & d \\ e & f \end{pmatrix}^{-1} = \cdots [/math]
  • 正方行列ではない行列の行列式[注釈 4]
[math] \det \begin{pmatrix} a & b & c \\ d & e & f \end{pmatrix} = \cdots [/math]
  • 正方行列ではない行列の固有値
[math] \begin{align} \begin{pmatrix} a & b \\ c & d \\ e & f \end{pmatrix}\begin{pmatrix} x_1 \\ x_2 \end{pmatrix} = \lambda \, \begin{pmatrix} x_1 \\ x_2 \end{pmatrix} \\ \end{align}[/math]
  • 正方行列ではない行列のトレース
[math] \operatorname{tr} \begin{pmatrix} a & b & c \\ d & e & f \end{pmatrix} = \cdots [/math]

行列の分解

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

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

さまざまな行列

行列サイズによる分類

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

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

対称性がある行列

群を構成する行列

線型写像

ファイル:Area parallellogram as determinant.svg
2 × 2 行列は、単位正方形を平行四辺形に変形することに対応する。

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

線型写像の行列表現{{safesubst
#invoke:Anchor|main}}
m × n 行列 A から線型写像 RnRm が各ベクトル xRn を行列としての積 Aテンプレート:MathbfRm へ写すものとして定まる。逆に、各線型写像 f: RnRm を生じる m × n 行列 A は一意的に決まる。陽に書けば、A(i, j)-成分は、f(ej) の第 i-成分である。ただし ej = (0, …, 0, 1, 0, …, 0) は第 j-成分だけが 1 で他が全部 0単位ベクトルである。

このとき、行列 A は線型写像 f を表現すると言い、Af変換行列または表現行列と呼ぶ。

例えば 2 × 2 行列

[math]A = \begin{pmatrix} a & c\\b & d \end{pmatrix}[/math]

は、単位正方形(0, 0), (a, b), (a + c, b + d), (c, d) を頂点とする平行四辺形に写すものと見做すことができる。この平行四辺形は、単位正方形の頂点を成す四つの(列)ベクトル (テンプレート:Su), (テンプレート:Su), (テンプレート:Su), (テンプレート:Su) の各々に A を掛けることによって得られる。

この行列と線型写像との間の一対一対応のもとで、行列の乗法は写像の合成に対応する[20]: 上記の Af に加えて、k × m 行列 B が別の線型写像 g: RmRk を表現するものならば、合成 gf は行列の積 BA で表現される。実際、

(gf)(x) = g(f(x)) = g(Aテンプレート:Mathbf) = B(Aテンプレート:Mathbf) = (BA)x

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

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

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

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

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

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

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

線型写像との関係

線型写像 RnRm は既に述べたように m × n 行列と等価である。一般に有限次元ベクトル空間の間の線型写像 f: VW は(V の次元を n, W の次元を m として) V基底 v1, …, vnW の基底 w1, …, wm を選べば

[math]f(\mathbf{v}_j) = \sum_{i=1}^m a_{i,j} \mathbf{w}_i\quad(j=1,\ldots,n)[/math]

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

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

行列群

というのは集合と二項演算(つまり、任意の二つの対象を結合して第三の対象を作る操作)からなる数学的構造で、適当な条件を満たすものである。行列をその元とし、行列の積を群演算とするような群は、行列群または線型代数群と呼ばれる[注釈 5][28]。群の任意の元は可逆であるから、最も一般の行列群は与えられたサイズの可逆行列全体の成す群 GLn であり、一般線型群と呼ばれる。

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

MM = I

で定まる直交行列の全体は直交群 O(n) を成す[30]。「直交」の名は、対応する Rn の線型変換が、M を掛ける操作で二つのベクトルの内積を変えない

(Mv) · (Mw) = v · w

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

無限次行列

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

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

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

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

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

空行列

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

注釈

  1. OEDによれば、数学用語としての "matrix" の最初の用例は J. J. Sylvester in London, Edinb. & Dublin Philos. Mag. 37 (1850), p. 369: "We ‥commence‥ with an oblong arrangement of terms consisting, suppose, of m lines and n columns. This will not in itself represent a determinant, but is, as it were, a Matrix out of which we may form various systems of determinants by fixing upon a number p, and selecting at will p lines and p columns, the squares corresponding to which may be termed determinants of the pth order.
  2. 下線や二重下線などを付けることもあるが、これはタイプライター原稿で用いられた太字書体を指示する書式の名残[13]
  3. これは与えられた行列の全ての成分が加法逆元を持つ限りにおいて、加法のみから定められることに注意。特にスカラー乗法が(任意のスカラーと任意の行列に対する演算として)定義されている必要はない。従って、同じサイズの任意の行列に対する減法を定めるならば、例えば係数域が加法についてアーベル群であれば十分であるが、通例として行列の係数域は何らかの可換環と仮定するから、それには環の加法群構造を用いればよい
  4. 正方行列でない行列に対して行列式を考える理論も存在する。これは C. E. Cullis により導入された。[19]
  5. 普通はさらに一般線型群の閉集合となることも要求する。
  6. "Not much of matrix theory carries over to infinite-dimensional spaces, and what does is not so useful, but it sometimes helps." [34]
  7. "Empty Matrix: A matrix is empty if either its row or column dimension is zero",[35] "A matrix having at least one dimension equal to zero is called an empty matrix", [36]

出典

  1. Shen, Crossley & Lun 1999 cited by Bretscher 2005, p. 1
  2. (1959) Science and Civilisation in China. Cambridge: Cambridge University Press. ISBN 9780521058018. 
  3. Cayley 1889, vol. II.
  4. Dieudonné 1978, Vol. 1, Ch. III.
  5. Merriam–Webster dictionary, Merriam–Webster, http://www.merriam-webster.com/dictionary/matrix . April 20th 2009閲覧. 
  6. The Collected Mathematical Papers of James Joseph Sylvester: 1837–1853, Paper 37, p. 247
  7. Knobloch 1994.
  8. Hawkins 1975.
  9. Kronecker 1897.
  10. Weierstrass 1915, pp. 271–286.
  11. Bôcher 2004.
  12. Mehra & Rechenberg 1987.
  13. https://raksul.com/dictionary/underline/
  14. Brown 1991, Definition II.3.3.
  15. Greub 1975, Section III.1.
  16. Brown 1991, Theorem II.3.22.
  17. http://www2.math.kyushu-u.ac.jp/~tnomura/EdAct/2010TKR.pdf
  18. Stephen P. Boyd. “Crimes against Matrices (pdf)”. . 2013年3月2日閲覧.
  19. 中神祥臣・柳井晴夫 著、『矩形行列の行列式』、丸善、2012年。ISBN 978-4-621-06508-2.
  20. Greub 1975, Section III.2.
  21. Coburn 1955, Ch. V.
  22. Lang 2002, Chapter XIII.
  23. Lang 2002, XVII.1, p. 643.
  24. Lang 2002, Proposition XIII.4.16.
  25. Reichl 2004, Section L.2.
  26. Greub 1975, Section III.3.
  27. Greub 1975, Section III.3.13.
  28. Baker 2003, Def. 1.30.
  29. Baker 2003, Theorem 1.2.
  30. Artin 1991, Chapter 4.5.
  31. Artin 1991, Theorem 4.5.13.
  32. Rowen 2008, Example 19.2, p. 198.
  33. Itõ 1987, "Matrix".
  34. Halmos 1982, Chapter 5.
  35. Glossary, O-Matrix v6 User Guide.
  36. MATLAB Data Structures

参考文献

物理学に関するもの

  • Bohm, Arno (2001), Quantum Mechanics: Foundations and Applications, Springer, ISBN 0-387-95330-2 
  • Burgess, Cliff; Moore, Guy (2007), The Standard Model. A Primer, Cambridge University Press, ISBN 0-521-86036-9 
  • Guenther, Robert D. (1990), Modern Optics, John Wiley, ISBN 0-471-60538-7 
  • Itzykson, Claude; Zuber, Jean-Bernard (1980), Quantum Field Theory, McGraw–Hill, ISBN 0-07-032071-3 
  • Riley, K. F.; Hobson, M. P.; Bence, S. J. (1997), Mathematical methods for physics and engineering, Cambridge University Press, ISBN 0-521-55506-X 
  • Schiff, Leonard I. (1968), Quantum Mechanics (3rd ed.), McGraw–Hill 
  • Weinberg, Steven (1995), The Quantum Theory of Fields. Volume I: Foundations, Cambridge University Press, ISBN 0-521-55001-7 
  • Wherrett, Brian S. (1987), Group Theory for Atoms, Molecules and Solids, Prentice–Hall International, ISBN 0-13-365461-3 
  • Zabrodin, Anton; Brezin, Édouard; Kazakov, Vladimir; Serban, Didina; Wiegmann, Paul (2006), Applications of Random Matrices in Physics (NATO Science Series II: Mathematics, Physics and Chemistry), Berlin, New York: Springer-Verlag, ISBN 978-1-4020-4530-1 

歴史に関するもの

関連項目

外部リンク

歴史
オンライン本
オンラインの行列計算器

テンプレート:Linear algebra