行列の和とスカラー倍

行列の和とスカラー倍の演算を定義し、それぞれに成り立つ演算法則を示します。

行列の和とスカラー倍に関する演算法則は、後に導入するベクトル空間の公理に対応するものです。

行列の和とスカラー倍の定義#

まず、行列の和とスカラー倍の演算を定義します。

定義 2.6（行列の和とスカラー倍）#

$2$ つの行列 $A = (\, a_{ij} \,), \; B = (\, b_{ij} \,)$ に対して、対応する成分の和 $a_{ij} + b_{ij}$ を成分とする行列を $A$ と $B$ の和といい、$A + B$ と表す。

また、$k$ を実数または複素数として、行列 $A = (\, a_{ij} \,)$ の各成分の $k$ 倍を成分とする行列を $A$ のスカラー倍といい、$kA$ と表す。

解説#

行列の和とは#

行列の和とは、$2$ つの行列の対応する成分どうしの和を成分として持つ行列のことです。

行列の和が定義されるための条件#

行列の和は、$2$ つの行列が同じ型のである場合にのみ定義されます。

仮に、$2$ つの行列の型が異なる場合、対応のとれない成分ができてしまいます。そのため、和の対象となる $2$ つの行列は、必ず同じ型である必要があります。

行列のスカラー倍とは#

行列のスカラー倍とは、ある行列の成分をスカラー倍したものを成分として持つ行列のことです。

スカラーとは：実数または複素数#

ここで、実数または複素数 $k$ を、スカラー（$\text{scaler}$）と呼びます。

また、$K$ を実数全体の集合 $\mathbb{R}$ または複素数全体の集合 $\mathbb{C}$ のいずれかを表すものとして、$k \in K$ とも表します。記号 $K$ の用法については、行列の定義を参照ください。

行列の和とスカラー倍の演算法則#

次に、行列の和とスカラー倍の演算について成り立つ演算規則を示します。

定理 2.1（行列の和とスカラー倍）#

行列の和とスカラー倍について、次の演算法則が成り立つ。

解説#

定理 2.1（行列の和とスカラー倍）の（$\text{i}$）$\sim$（$\text{viii}$）は、行列の和とスカラー倍の演算について成り立つ演算規則です。ここで、$A, B, C \in M_{m, n} (K)$ は任意の行列、$c, d \in K$ は任意のスカラーを表しています。

これらの演算法則は、行列の和とスカラー倍の定義より明らかで、行列の各成分に着目することで、簡単に証明できます。

行列の和の演算規則#

上記の（$\text{i}$）と（$\text{ii}$）は、行列の和に関して、結合法則（$\text{associative law}$）と交換法則（$\text{commutative law}$）がそれぞれ成り立つことを示しています。

（$\text{iii}$）は、任意の行列と零行列 $O$ の和がもとの行列に等しいことを表しています。また、（$\text{iv}$）は、行列 $A$ とその $-1$ 倍の和が零行列 $O$ に等しいことを表しています。ここで、$-A = (-1) \, A$ であり、行列 $A$ の $-1$ 倍は $-A$ と略記されています。

行列のスカラー倍の演算規則#

上記の（$\text{v}$）と（$\text{vi}$）は、一般的な分配法則に形は似ていますが、若干異なるものである点に注意が必要です。一般に、同じ集合 $S$ の元 $a, b, c \in S$ について $(a + b) \, c = ac + bc$ が成り立つことを分配法則といいます。しかしながら、（$\text{v}$）と（$\text{vi}$）において $c, d$ はスカラー、$A, B$ は行列であり、それぞれ別の集合の元です。

（$\text{vii}$）は、行列 $A$ の $cd$ 倍が $d A$ の $c$ 倍に等しいことを、（$\text{viii}$）は、行列 $A$ の $1$ 倍が $A$ そのものに等しいくなることを、それぞれ表しています。

ベクトル空間の公理との対応#

定理 2.1（行列の和とスカラー倍）にまとめた演算法則（$\text{i}$）$\sim$（$\text{viii}$）は、ベクトル空間の公理と対応するものです。

これは、$(m, n)$ 型行列が、後に定義する抽象的なベクトルの $1$ つであることを意味しています。また、$(m, n)$ 型行列全体の集合 $M_{m, n} (K)$ がベクトル空間であることを意味しているともいえます。

まとめ#

• $2$ つの行列 $A = (\, a_{ij} \,), \; B = (\, b_{ij} \,)$ に対して、$A$ と $B$ の和を $A + B = (\, a_{ij} + b_{ij} \,)$ と定義する。

• 実数または複素数 $k$ と行列 $A = (\, a_{ij} \,)$ に対して、$A$ のスカラー倍を、$kA = (\, k \, a_{ij} \,)$ と定義する。

• 行列の和とスカラー倍について、次の演算法則が成り立つ。

  $$\begin{gather*} (\text{i}) & (A + B) + C = A + (B + C) \\ (\text{ii}) & A + B = B + A \\ (\text{iii}) & A + O = A \\ (\text{iv}) & A + (-A) = O \\ (\text{v}) & (c + d) A = cA + dA \\ (\text{vi}) & c(A + B) = cA + cB \\ (\text{vii}) & (cd) A = c (dA) \\ (\text{viii}) & 1 A = A \\ \end{gather*}$$

• 行列の和とスカラー倍について成り立つ演算法則は、ベクトル空間の公理と対応している。

参考文献#

[1] 齋藤正彦. 線型代数入門. 東京大学出版会. 1966.
[2] 永田雅宣 他. 理系のための線型代数の基礎. 紀伊國屋書店. 1986.
[3] 川久保勝夫. 線形代数学 [新装版]. 日本評論社. 2010.
[4] 松坂和夫. 線型代数入門 [新装版]. 岩波書店. 2018.
[5] 三宅敏恒. 線形代数学 初歩からジョルダン標準形へ. 培風館. 2008.
[6] S. Lang. Linear Algebra Third Edition. Springer. 1987.
[7] T. Miyake. Linear Algebra From the Beginnings to the Jordan Normal. Springer. 2022.
[8] 雪江明彦. 代数学 $1$ 群論入門. 日本評論社. 2010.
[9] 雪江明彦. 代数学 $2$ 環と体とガロア理論. 日本評論社. 2010.
[10] 桂利行. 代数学 $\text{I}$ 群と環. 東京大学出版会. 2004.
[11] 松坂和夫. 代数系入門. 岩波書店. 1976.
[12] 高木貞治. 代数学講義 [改訂新版]. 共立出版. 1965.
[13] S. Lang. Algebra Revised Third Edition. Springer. 2002.
[14] M. Artin. Algebra Second Edition. Pearson Education Limited. 2014.
[15] 青本和彦 他. 数学入門辞典. 岩波書店. 2005.