うさぎでもわかる線形代数 第12羽 線形写像（中編） 合成写像・逆変換
例として表現行列 \( A \) で表される \( \mathbb^l \) から \( \mathbb^n \) への線形写像を \( f \) 、表現行列 \( B \) で表される \( \mathbb^n \) から \( \mathbb^m \) への線形写像を \( g \) とします。（行列 \( A \) は \( n \) 行 \( l \) 列、行列 \( B \) は \( m \) 行 \( n \) 列）
まず、ベクトル \( \vec \) に線形写像 \( f \) を適用し、ベクトル \( f ( \vec ) \) とします。つぎに、先ほど線形写像を適応したベクトル \( f ( \vec ) \) に線形写像 \( g \) を適用し、ベクトル \( g \left( \ f ( \vec ) \right) \) とします。
このように、ベクトル \( \vec \) に線形写像を \( f \), \( g \) の順に適応し、ベクトル \( g \left( \ f ( \vec ) \right) \) とする変換を \( f \) と \( g \) の合成写像と呼び、\( g \circ f \) と書きます。（注意： \( f \circ g \) ではないことに要注意！ \( f \), \( g \) の順に適応する写像は \( g \left( \ f ( \vec ) \right) \) となるので \( g \circ f \) と表す。）
合成写像 \( g \circ f \) の表現行列を考えてみましょう。
\( f(\vec) = A \vec \), \( g( \vec ) = B \vec \) ですね。なので、\[\beging \left( \ f ( \vec ) \right) & = g( A \vec )\\ & = B (A \vec)\\ & = BA \vec\end\]
と表わせますね。なので 合成写像 \( g \circ f \) の表現行列は \( BA \) と表すことができます。
表現行列 \( A \) で表される \( \mathbb^l \) から \( \mathbb^n \) への線形写像を \( f \) 、表現行列 \( B \) で表される \( \mathbb^n \) から \( \mathbb^m \) への線形写像を \( g \) とする。
このとき、合成写像 \( g \circ f \) も線形写像となり、その表現行列は \( m \) 行 \( l \) 列となり、 \( BA \) となる。
行列の掛け算は 合成写像の表現行列になるようにするためにわざとめんどい操作 にしているのです。
合成写像の表現行列となるように行列の掛け算を定義しているため、合成写像 \( g \circ f \) と \( f \circ g \) のように 適応の順番を変えると異なる結果になりますね 。なので、行列 \( BA \) と \( AB \) のように 掛け算の順番を逆にすると計算結果も異なるものになる ことがおわかりいただけたかと思います。
２．逆変換（逆写像）
逆変換とは、 一度変換した写像を元にもどす操作 です。ですが、 同じ次元同士の線形写像（線形変換）でしか逆変換は求められません。
なので、表現行列 \( A \) で表される \( \mathbb^n \) から \( \mathbb^n \) への線形写像を \( f \) とします。
ベクトル \( \vec \) に線形写像 \( f \) を適用すると \( f( \vec) \) となりますね。表現行列を用いると \( A \vec \) と表せるので線形写像 \( f \) を適応するということは、ベクトル \( \vec \) に左から \( A \) を掛けることと同じですね。
では、ベクトル \( f (\vec) \) に逆変換 \( f^ \) を適用し、もとのベクトル \( \vec \) にする操作、つまり逆変換 \( f^ \) の表現行列がどのようになるかを考えて見ましょう。
\( f ( \vec ) \) の表現行列は \( A \vec \) なので、\( A \vec \) を \( \vec \) に変えるような操作が逆変換の表現行列となります。
\( A \vec \) を \( \vec \) にするためには、左から \( A \) の逆行列である \( A^ \) を掛けてあげればいいですね。つまり、\[f^ ( \vec ) = A^ \vec\]とします。
なので逆変換 \( f^ \) の表現行列は \( A^ \) と表すことができます。
逆変換（逆写像）の表現行列表現行列 \( A \) で表される \( \mathbb^n \) から \( \mathbb^n \) への線形写像（つまり \( \mathbb^n \) の線形変換） を \( f \) とする。
- 逆行列 \( A^ \) が存在すること。（\( A \) が正則であれば逆行列は存在する）
- \( \mathbb^n \) から \( \mathbb^n \) への線形写像（つまり線形変換）であること。（ 逆行列は正方行列でないと定義できない ため）
を満たすとき線形写像となり、その表現行列は \( A^ \) で表される。
３．合成写像の逆写像（逆変換）
表現行列 \( A \) で表される \( \mathbb^n \) 同士の線形変換を \( f \) 、表現行列 \( B \) で表される \( \mathbb^n \) 同士の線形変換を \( g \) とします*1。
このとき、\( f \), \( g \) の順に適用する合成写像 \( g \circ f \) の逆変換、つまり\( g \left( \ f ( \vec ) \right) \) を \( \vec \) に戻すような変換を2通りの方法で求め、さらに表現行列を求めてみましょう。
まずは、合成写像 \( g \circ f = h \) として、\( h \) の逆変換を求める方法で合成写像の逆変換を求めましょう。線形写像 \( h \) の表現行列を \( C = BA \) とすると、その逆変換は\[\beginh^ (\vec) & =\left( g \circ f \right)^ ( \vec )\\ & = C^ \vec\\ & = (BA)^ \vec\end \]となります。
なので合成写像の逆変換 \( \left( g \circ f \right)^ \) の表現行列は \( (BA)^ \) と表すことができます。
逆変換は、合成写像とは逆の順番、つまり\( g^ \), \( f^ \) の順に適用させる必要があります。なので、合成写像の逆変換は \( f^ \circ g^ \) となります。つまり、\[\left( g \circ f \right)^ = f^ \circ g^\]となります。
では、\( g^ \), \( f^ \) の順に適用させる方法で表現行列を求めてみましょう。
合成写像の逆変換の表現行列表現行列 \( A \) で表される \( \mathbb^n \) の線形変換を \( f \) 、表現行列 \( B \) で表される \( \mathbb^n \) の線形変換を \( g \) とする。
このとき、合成写像 \( g \circ f \) の逆変換 \( \left( g \circ f \right)^ \) もしくは \( f^ \circ g^ \) の表現行列は \( (BA)^ \) もしくは \( A^ B^ \) と表せる。
線形写像 \( f \), \( g \) の逆写像は ともに次元が変わらない線形変換でないと求めることができません が、合成写像 \( \left( g \circ f \right)^ \) は \( f \), \( g \) がともに線形変換でなくても、つまり次元が変わる線形写像であっても計算ができることがあります。
合成写像の逆変換 \( \left( g \circ f \right)^ \) の表現行列は \( (BA)^ \) でしたね。つまり、 \( BA \) が正方行列かつ正則であれば たとえ行列 \( A \), \( B \) が正方行列でなくても \( BA \) の逆行列を求めることができますね。
\( BA \) が正方行列となるための条件は、合成写像 \( g \circ f \) が線形変換（\( \mathbb^n \) から \( \mathbb^n \) への線形写像）であることといえますね。
なので、 合成写像 \( g \circ f \) が線形変換となっていれば \( f \), \( g \) が線形変換でなくとも逆写像 \( \left( g \circ f \right)^ \) を計算することができますね。
合成写像の逆変換が行える条件合成写像 \( g \circ f \) の逆変換 \( \left( g \circ f \right)^ \) は \( f \), \( g \) がともに線形変換（つまり \( \mathbb^n \) から \( \mathbb^n \) への線形写像）でなくても計算が可能である。
具体的に言うと、線形写像 \( f \) が \( \mathbb^n \) から \( \mathbb^m \) 、線形写像 \( g \) が \( \mathbb^m \) から \( \mathbb^n \) のように 合成写像 \( g \circ f \) が線形変換になっていれば 合成写像の逆変換 \( \left( g \circ f \right)^ \) を求めることができる。
例題つぎの \( \mathbb^2 \) から \( \mathbb^2 \) への線形変換 \( f \), \( g \) がある。\[f \left( \begin x \\ y \end \right) = \left( \begin 2x+y \\ 3x+2y \end \right) \ \ \ g \left( \begin x \\ y \end \right) = \left( \begin x-2y \\ -x+3y \end \right)\](1)〜(4)の問いに答えなさい。
(1) \( f \) の表現行列 \( A \)、\( g \) の表現行列 \( B \) を求めなさい。(2) 合成写像 \( g \circ f \) の表現行列 \( C \)、\( f \circ g \) の表現行列 \( D \) を求めなさい。(3) 逆写像 \( f^ \) の表現行列 \( F \)、\( g^ \) の表現行列 \( G \) を求めなさい。(4) 合成写像 \( g \circ f \) の逆変換 \( \left( g \circ f \right)^ \) および合成写像 \( f^ \circ g^ \) が等しくなることを確認しなさい。
解説(1) \[\vec = \left( \begin 1 \\ 0 \end \right) \ \ \\vec = \left( \begin 0 \\ 1 \end \right) \]とすると、\[A = \left( f( \vec), f( \vec )) \right) = \left( \begin 2 & 1 \\ 3 & 2\end \right) \\B = \left( f( \vec), f( \vec )) \right) = \left( \begin 1 & -2 \\ -1 & 3 \end \right) \]となる。
\( g \circ f \) の計算\[C = BA = \left( \begin 1 & -2 \\ -1 & 3 \end \right) \left( \begin 2 & 1 \\ 3 & 2\end \right) = \left( \begin -4 & -3 \\ 7 & 5 \end \right) \]\( f \circ g \) の計算 \[D = AB = \left( \begin 2 & 1 \\ 3 & 2 \end \right) \left( \begin 1 & -2 \\ -1 & 3 \end \right) = \left( \begin 1 & -1 \\ 1 & 0 \end \right) \]
\( f^ \) の計算 \[F = A^ = \left( \begin 2 & -1 \\ -3 & 2 \end \right) \]\( g^ \) の計算 \[G = B^ = \left( \begin 3 & 2 \\ 1 & 1 \end \right) \]
\( \left( g \circ f \right)^ \) の計算\[H_1 = (BA)^ = \left( \begin 5 & 3 \\ -7 & -4 \end \right)\]
\( f^ \circ g^ \) の計算\[ \beginH_2 & = A^ B^ \\ & = \left( \begin 2 & -1 \\ -3 & 2 \end \right) \left( \begin 3 & 2 \\ 1 & 1 \end \right) \\ & = \left( \begin 5 & 3 \\ -7 & -4 \end \right)\end \]
確かに \( H_1 = H_2 \) となるので、\( \left( g \circ f \right)^ \) と \( f^ \circ g^ \) は等しくなる。
４．練習問題
つぎの \( \mathbb^2 \) から \( \mathbb^3 \) への線形写像 \( f \) および \( \mathbb^3 \) から \( \mathbb^2 \) への線形写像 \( g \) がある。\[f \left( \begin x \\ y \end \right) = \left( \begin -x-3y \\ 3x - 4y \\ -4x \end \right) \ \ \ g \left( \begin x \\ y \\ z \end \right) = \left( \begin -5x + 2y + 3z \\ x - y - z \end \right)\](1)〜(3)の問いに答えなさい。
(1) 線形写像 \( f \) の表現行列 \( A \) と線形写像 \( g \) の表現行列 \( B \) を求めなさい。行列 \( A \), \( B \) が何行何列の行列であるかも答えること。
(2) 合成写像 \( g \circ f \) の表現行列 \( C \) および \( f \circ g \) の表現行列 \( D \) を求めなさい。行列 \( C \), \( D \) が何行何列の行列であるかも答えること。
(3) 合成写像 \( g \circ f \) の逆変換 \( \left( g \circ f \right)^ \) の表現行列 \( F \) を求めなさい。
５．練習問題の答え
線形写像 \( f \) の表現行列（3行2列）\[A = \left( \begin -1 & -3 \\ 3 & -4 \\ -4 & 0 \end \right) \]線形写像 \( g \) の表現行列（2行3列）\[B = \left( \begin -5 & 2 & 3 \\ 1 & -1 & -1 \end \right)\]
合成写像 \( g \circ f \) の表現行列（2行2列）\[\beginC & = BA \\ & = \left( \begin -5 & 2 & 3 \\ 1 & -1 & -1 \end \right) \left( \begin -1 & -3 \\ 3 & -4 \\ -4 & 0 \end \right) \\ & = \left( \begin -1 & 7 \\ 0 & 1 \end \right)\end \]
合成写像 \( f \circ g \) の表現行列（3行3列）\[\beginD & = AB \\ & = \left( \begin -1 & -3 \\ 3 & -4 \\ -4 & 0 \end \right) \left( \begin -5 & 2 & 3 \\ 1 & -1 & -1 \end \right)\\ & = \left( \begin 2 & 1 & 0 \\ -19 & 10 & 13 \\ 20 & -8 & -12 \end \right)\end \]
合成写像 \( g \circ f \) の逆変換 \( \left( g \circ f \right)^ \) の表現行列\[F = (BA)^ = C^ = \left( \begin -1 & 7 \\ 0 & 1 \end \right)\]
（実は元の行列 \( C \) と逆行列 \( C^ \) は全く同じ）
５．さいごに
*1 : 逆行列が計算できるように両方の次元を \( \mathbb^n \) としています。
公開日： 2019年8月23日 更新日： 2019年8月23日 この記事を書いた人 コメント一覧 コメントはありません。 関連記事 3時間で復習！ 1年前期離散数学総まとめ うさぎでもわかる信号処理 第05羽 ディジタルシステムの周波数特性・振幅特性・位相特性 うさぎでもわかる確率・統計 t分布のいろは① 母平均の推定 うさぎでもわかる仮説検定のコツ（統計学） うさぎでもわかる解析 Part25 極座標変換を用いた2重積分の求め方 うさぎでもわかる離散数学（グラフ理論） 第9羽 グラフの基礎3 うさぎでもわかる制御工学 第06羽 動的システム(前編) 伝達関数と様々な応答 うさぎでもわかる計算機システム Part10 コンパイラの基礎・分割コンパイルの流れ うさぎでもわかる線形代数 第11羽 線形写像（前編） 線形写像の判定・表現行列 うさぎでもわかる線形代数 第13羽 線形写像（後編） 核空間・像空間 線形写像の全射・単射についてカテゴリー
各種便利ツール・問い合わせ- 【完全無料】離散数学演習ツール・計算機まとめ
- 【ハッセ図】上界/下界・最大元/最小元・極大元/極小元・上限(最小上界)/下限(最大下界) 判定ツール
- 【ハッセ図】述語論理（∀・∃）真偽判定ツール
- 【離散数学】べき集合 2^A・P(A) 自動計算＆全列挙ツール
- 【離散数学】真理値表 自動作成ツール（途中式あり）
- 【離散数学】集合の「∈・⊆」真偽チェッカー（答え合わせ用）
- 【離散数学テスト対策】真理値表の穴埋めガチ演習ツール
- 【離散数学テスト対策】集合の「∈・⊆」ガチ演習！ 弱点分析つき○×ドリル
- ももうさ神社
目次
工業大学生ももやまのうさぎ塾 (Momousagi Academy)