Title here
Summary here
合成写像の行列表示
線形写像の合成の行列表示は、それぞれの線形写像の行列表示の積に等しくなります。
線型写像の合成もまた線型写像であることと、線型写像が行列により表現されることから、線型写像の合成がそれぞれの表現行列の積により表現されることを示します。
線形写像の合成の行列表示
定理 4.53（合成写像の行列表示）
$U, V, W$ をベクトル空間、$f : U \to V, \, g : V \to W$ を線型写像とする。$\bm{u}_{1}, \cdots, \bm{u}_{n} \in U$、$\bm{v}_{1}, \cdots, \bm{v}_{m} \in V$、$\bm{w}_{1}, \cdots, \bm{w}_{l} \in W$ をそれぞれ $U, V, W$ の基底をとして、それらの基底に関する $f, g$ および $g \circ f$ の行列表示を、それぞれ $A, B, C$ とすれば、次が成り立つ。
$$
\begin{equation*} \tag{4.6.11}
C = B A
\end{equation*}
$$
解説
線形写像の合成は表現行列の積で表せる
定理 4.53（合成写像の行列表示）は、線形写像の合成の行列表示が、それぞれの線形写像の行列表示の積に等しくなることを示しています。
すなわち、$U, V, W$ の基底をそれぞれ $\bm{u}_{1}, \cdots, \bm{u}_{n} \in U$、$\bm{v}_{1}, \cdots, \bm{v}_{m} \in V$、$\bm{w}_{1}, \cdots, \bm{w}_{l} \in W$ に固定したとき、$g \circ f : U \to W$ の行列表示 $C$ は、$f : U \to V, \, g : V \to W$ の行列表示 $A, B$ の積に等しくなります。
写像の合成と表現行列の積の順序
ここで、写像の合成の順序は行列の積の順序と等しくなります。つまり、$f$ と $g$ の合成写像を $h$ とすれば、$h = g \circ f$ に対応して、$C = B A$ となります。
前提となる定理（ 定理 4.53 の前提）
定理 4.53（合成写像の行列表示）は、線型写像の合成もまた線型写像であること、線型写像が行列により表現されることを前提としています。
線型写像の合成が線型写像であることは 定理 4.10（線型写像の合成）により、線型写像に対応する表現行列が存在することは 定理 4.50（線型写像の行列表示）により、それぞれ担保されています。
このことは、下記の 証明からも明らかといえます。
証明
定理の仮定から、$f, g$ および $g \circ f$ の表現行列 $A, B ,C$ について、次が成り立つ。
$$
\begin{align*}
(\, f(\bm{u}_{1}), \cdots, f(\bm{u}_{n}) \,) &= (\, \bm{v}_{1}, \cdots, \bm{v}_{m} \,) \, A \, , \tag{\text{i}} \\
(\, g(\bm{v}_{1}), \cdots, g(\bm{v}_{m}) \,) &= (\, \bm{w}_{1}, \cdots, \bm{w}_{l} \,) \, B \, , \tag{\text{ii}} \\
(\, g \circ f(\bm{u}_{1}), \cdots, g \circ f(\bm{u}_{n}) \,) &= (\, \bm{w}_{1}, \cdots, \bm{w}_{l} \,) \, C \tag{\text{iii}} \\
\end{align*}
$$
$g$ は線型写像であるから、（$\text{i}$）と（$\text{ii}$）より、次が成り立つ。
$$
\begin{alignat*} {3}
&& (\, g(f(\bm{u}_{1})), \cdots, g(f(\bm{u}_{n})) \,) &= (\, g(\bm{v}_{1}), \cdots, g(\bm{v}_{m}) \,) \, A \\
& \Rightarrow \quad & (\, g \circ f(\bm{u}_{1}), \cdots, g \circ f(\bm{u}_{n}) \,) &= (\, \bm{w}_{1}, \cdots, \bm{w}_{l} \,) \, B A \\
\end{alignat*}
$$
このことと（$\text{iii}$）より、次が成り立つ。
$$
\begin{gather*}
(\, \bm{w}_{1}, \cdots, \bm{w}_{l} \,) \, C = (\, \bm{w}_{1}, \cdots, \bm{w}_{l} \,) \, B A
\end{gather*}
$$
いま、$\bm{w}_{1}, \cdots, \bm{w}_{l}$ は線型独立であるから、$C = B A$ が成り立つ。$\quad \square$
証明の考え方
線型写像の行列表示に関する関係式（ 定理 4.50（線型写像の行列表示））を用いて $C = B A$ を導きます。考え方は、前項の 定理 4.52（対等な行列）の証明と同じです。
（1）前提事項の整理
- 定理の前提にしたがって、線形写像の行列表示に関する関係式を整理します。
- 定理 4.50（線型写像の行列表示）より、線型写像 $f, g$ および $g \circ f$ の表現行列 $A, B, C$ について、次の関係式が成り立ちます。$$ \begin{align*} (\, f(\bm{u}_{1}), \cdots, f(\bm{u}_{n}) \,) &= (\, \bm{v}_{1}, \cdots, \bm{v}_{m} \,) \, A \, , \tag{\text{i}} \\ (\, g(\bm{v}_{1}), \cdots, g(\bm{v}_{m}) \,) &= (\, \bm{w}_{1}, \cdots, \bm{w}_{l} \,) \, B \, , \tag{\text{ii}} \\ (\, g \circ f(\bm{u}_{1}), \cdots, g \circ f(\bm{u}_{n}) \,) &= (\, \bm{w}_{1}, \cdots, \bm{w}_{l} \,) \, C \tag{\text{iii}} \\ \end{align*} $$
（2）合成写像の行列表示の導出
関係式 （$\text{i}$）$\sim$ （$\text{iii}$）を組み合わせて $C = B A$ を導きます。
まず、 （$\text{i}$）と （$\text{ii}$）より、次が成り立ちます。
$$ \begin{alignat*} {3} && (\, g(f(\bm{u}_{1})), \cdots, g(f(\bm{u}_{n})) \,) &\overset{(\alpha)}{=} (\, g(\bm{v}_{1}), \cdots, g(\bm{v}_{m}) \,) \, A \\ & \Rightarrow \quad & (\, g \circ f(\bm{u}_{1}), \cdots, g \circ f(\bm{u}_{n}) \,) &\overset{(\beta)}{=} (\, \bm{w}_{1}, \cdots, \bm{w}_{l} \,) \, B A \tag{$\ast$} \end{alignat*} $$- （$\alpha$） （$\text{i}$）式に 定理 4.45（線型結合の行列表記）を適用することで得られます。これは、 （$\text{i}$）式の両辺を $V$ の元とみなして、それぞれの $g$ による像が等しいことを表しています。
- （$\beta$）左辺は合成写像の表記法によります。右辺は（$\alpha$）で得られた関係式に （$\text{ii}$）式を適用することで得られます。
（$\ast$）と （$\text{iii}$）より、$\bm{w}_{1}, \cdots, \bm{w}_{l}$ に関して、次が成り立つことがわかります。
$$ \begin{gather*} (\, \bm{w}_{1}, \cdots, \bm{w}_{l} \,) \, C = (\, \bm{w}_{1}, \cdots, \bm{w}_{l} \,) \, B A \end{gather*} $$いま、$\bm{w}_{1}, \cdots, \bm{w}_{l}$ は $W$ の基底であるかた線型独立であるので、 定理 4.47（線型独立なベクトルの組 $2$）より、$C = B A$ が成り立ちます。
以上から、題意が示されました。
可換図式による表現
合成写像の行列表示の可換図式
合成写像の行列表示を可換図式で表すと、次のようになります。（可換図式については、 可換図式による表現を参照ください。）
可換図式の構成と意味
上記の可換図式は、 線型写像行列表示の可換図式を $2$ つ組み合わせた構成となっています。
ここで、$\bm{u} \in U$ を基底 $\bm{u}_{1}, \cdots, \bm{u}_{n}$ の線型結合として表したときの座標ベクトルを $\bm{x}$、$\bm{v} \in V$ を基底 $\bm{v}_{1}, \cdots, \bm{v}_{m}$ の線型結合として表したときの座標ベクトルを $\bm{y}$、$\bm{w} \in W$ を基底 $\bm{w}_{1}, \cdots, \bm{w}_{l}$ の線型結合として表したときの座標ベクトルを $\bm{z}$ とします。
$U$ から $K^{n}$ への同型写像を $\psi$、$V$ から $K^{m}$ への同型写像を $\phi$、$W$ から $K^{l}$ への同型写像を $\theta$ とすると、$\bm{u}, \bm{v}, \bm{w}$ とそれぞれに対応する座標ベクトル $\bm{x}, \bm{y}, \bm{z}$ との間には $\bm{x} = \psi(\bm{u}), \; \bm{y} = \phi(\bm{v}), \; \bm{z} = \theta(\bm{w})$ が成り立ちます。
可換図式の経路と線型写像の対応
このとき、$f, g$ および $g \circ f$ の表現行列 $A, B, C$ は、それぞれ次のように表せます。
$$
\begin{split}
A &= \phi \circ f \circ \psi^{-1}, \\
B &= \theta \circ g \circ \phi^{-1}, \\
C &= \theta \circ (\, g \circ f \,) \circ \psi^{-1}
\end{split}
$$
したがって、これを用いて $B A$ を求めると、
$$
\begin{split}
B A
&= (\, \theta \circ g \circ \phi^{-1} \,) \, (\, \phi \circ f \circ \psi^{-1} \,) \\
&= \theta \circ g \circ (\, \phi^{-1} \phi \,) \circ f \circ \psi^{-1} \\
&= \theta \circ (\, g \circ f \,) \circ \psi^{-1} \\
&= C
\end{split}
$$
となり、 定理 4.53（合成写像の行列表示）の主張と整合することが確かめられます。
まとめ
- 線形写像の合成の行列表示は、それぞれの線形写像の行列表示の積に等しくなる。
- すなわち、線形写像 $f : U \to V, \, g : V \to W$ の行列表示を $A, B$ とし、$f$ と $g$ の合成写像 $g \circ f$ の行列表示を $C$ とすると、次が成り立つ。$$ \begin{equation*} C = B A \end{equation*} $$
- すなわち、線形写像 $f : U \to V, \, g : V \to W$ の行列表示を $A, B$ とし、$f$ と $g$ の合成写像 $g \circ f$ の行列表示を $C$ とすると、次が成り立つ。
参考文献
[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.
初版：2023-04-15 | 改訂：2025-01-26
Prev
対等な行列の間の関係Next
線型変換の行列表示