logo

行列の定義 📂行列代数

行列の定義

定義1

数を次のように長方形の形に並べたものを行列matrixという。

A=[10030822] A=\begin{bmatrix} 10 & 0 & 3 \\ 0 & 8 & 22 \end{bmatrix}

並べた各々の数をエントリーentryまたは要素elementと呼ぶ。横の列をrow、縦の列をcolumnという。また、ある行列がmm行とnn列を持つ場合、その行列のサイズm×nm \times nと表す。

上の例では、行列AAは2行と3列を持ち、サイズは2×32\times 3である。ここで注意すべき点は、×\timesが乗算を意味するわけではないということである。サイズは必ず総行数と列数が明らかになるように2×32\times 3のように表記しなければならず、絶対に66と書いてはいけない。ちなみに'2×32 \times 3行列'は [ツーバイスリー行列]と読む。

表記法

行列は主に下のように角括弧[]または丸括弧()で表記されるが、どちらの表現も一般的に見られる。ただし、手で書くときは丸括弧を使うとキレイに書きにくい。また、2次元、3次元空間の座標を表記するときとは違い、成分と成分の間にカンマ(,)を書かないのが基本である。

A=[10030822]A=(10030822) A=\begin{bmatrix} 10 & 0 & 3 \\ 0 & 8 & 22 \end{bmatrix} \quad A=\begin{pmatrix} 10 & 0 & 3 \\ 0 & 8 & 22 \end{pmatrix}

通常、行列は大文字で、成分は小文字で表記する。例えば、行列AAの1行目3列目の成分は33であり、次のように表記される。

a13=3 a_{13}=3

最初の下付き添え字は行の位置を、2番目の下付き添え字は列の位置を示す。同様に、ii行目、jj列目の成分がaija_{ij}である行列を[aij]\begin{bmatrix} a_{ij} \end{bmatrix}のように表記する。AA(i,j)(i,j)成分は[A]ij[A]_{ij}と表記される。

A=[a11a12a13a21a22a23]=[aij],[A]ij=aij A = \begin{bmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \end{bmatrix} = \begin{bmatrix} a_{ij} \end{bmatrix},\qquad [A]_{ij} = a_{ij}

実行列と複素行列

成分が実数 R\mathbb{R}、複素数 C\mathbb{C}、または F\mathbb{F} である m×nm\times n 行列の集合は、次のように表す。

Mm×n(R),Mm×n(C),Mm×n(F) M_{m\times n}(\mathbb{R}), \quad M_{m \times n}(\mathbb{C}), \quad M_{m \times n}(\mathbb{F})

正方行列の場合は、次のように簡潔に書くこともある。

Mn(R)=Mn×n(R). M_{n}(\mathbb{R}) = M_{n \times n}(\mathbb{R}).

また、ユークリッド空間と同型であるため、便宜上 Rn×n\mathbb{R}^{n \times n} と表記することもある。

Mn×n(R)Rn×n M_{n \times n}(\mathbb{R}) \cong \mathbb{R}^{n \times n}

Mn×n(C)Cn×n M_{n \times n}(\mathbb{C}) \cong \mathbb{C}^{n \times n}

列ベクトルと行ベクトル

ベクトルとは、数を横または縦に並べたものをいう。この点を考えると、ある行列は列ベクトルまたは行ベクトルを並べたものと見ることができる。例として続けて使用されてきた行列AAを見てみよう。

A=[10030822] A= \begin{bmatrix} 10 & 0 & 3 \\ 0 & 8 & 22 \end{bmatrix}

AAの各列は列ベクトル[100]\begin{bmatrix} 10 \\ 0 \end{bmatrix}[08]\begin{bmatrix} 0 \\ 8 \end{bmatrix}[322]\begin{bmatrix} 3 \\ 22 \end{bmatrix}で構成されていると考えられる。または、各行が行ベクトル[1003]\begin{bmatrix} 10 & 0 & 3 \end{bmatrix}[0822]\begin{bmatrix} 0 & 8 & 22 \end{bmatrix}で構成されていると見ることができる。


  1. Jim Hefferon, Linear Algebra(4th Edition). 2020, p15 ↩︎