【線形代数学】基底変換行列とは? 線形代数学における重要概念をイメージを踏まえつつ解説

2024.04/04

こんにちは!半沢です!

今回の記事では線形代数学における基底変換行列(change-of-basis matrix)について解説したいと思います。

基底変換行列は代数学ではもちろん,多様体などの幾何学でも用いる重要な概念です。

この記事では基底変換行列の意味をイメージとして腑に落ちるように解説を頑張りました。

この記事だけでは理解できなかった方には“3Blue1BrownJapan”さんの動画をおススメします。

それでは解説に参りましょう。

基底変換行列(change-of-basis matrix)

導入

ベクトル空間には基底が存在しますが,その基底の取り方は様々です。

例えばR2\mathbb{R}^{2}において(10),  (01)\,\langle\left(\begin{array}{c}1 \\ 0 \end{array}\right),\,\,\left(\begin{array}{c}0 \\ 1 \end{array}\right)\rangleはもちろん一つの基底になりますが,

別の基底として(12),  (34)\,\langle\left(\begin{array}{c}1 \\ 2 \end{array}\right),\,\,\left(\begin{array}{c}3 \\ 4 \end{array}\right)\rangleも取ることができます。

上のようにKK上のnn次元ベクトル空間VVにおいて,
異なる22つの基底E=e1,e2,,en,F=f1,f2,,fnE=\langle \mathbf{e}_1,\mathbf{e}_2,\cdots,\mathbf{e}_n\rangle,F=\langle \mathbf{f}_1,\mathbf{f}_2,\cdots,\mathbf{f}_n\rangleが存在する状況を考えましょう。

イメージとして分かりやすいように
EEを私たちにとってなじみのある基底FFをそうでない基底と思うと良いです。

このとき基底EEを基底FFに変換する操作
e1f1,e2f2,,enfn\mathbf{e}_1\mapsto\mathbf{f}_1,\,\mathbf{e}_2\mapsto\mathbf{f}_2,\cdots,\mathbf{e}_n\mapsto\mathbf{f}_nを考えます。

これを数学的に厳密な言葉で言い換えれば
線形写像T:VVT:V\to V
T(e1)=f1,T(e2)=f2,,T(en)=fnT(\mathbf{e}_1)=\mathbf{f}_1,T(\mathbf{e}_2)=\mathbf{f}_2,\cdots,T(\mathbf{e}_n)=\mathbf{f}_nと移すものを考えるということです。

ここで第三基礎定理を思い出しましょう。

第三基礎定理ではVKnV\cong K^{n}であったことから,
このVV上の線形写像TTKnK^{n}上の線形写像と同一視することができます。

ここも数学的に言い直すと,基底EEによって定まる同型φE:VKn\varphi_E:V\to K^{n}を用いれば,
KnK^{n}上の線形写像φETφE1\varphi_E\circ T \circ\varphi_{E}^{-1}が取れるということです。

φE\varphi_Eの具体的な表示は第三基礎定理の記事で紹介しているように
基底EEによってvV\mathbf{v}\in V
v=v1e1+v2e2++vnen\mathbf{v}=v_1\mathbf{e}_1+v_2\mathbf{e}_2+\cdots+v_n\mathbf{e}_nと表示できるとき
φ(v)=(v1v2vn)\varphi(\mathbf{v})=\left(\begin{array}{c}v_{1} \\ v_{2} \\ \vdots \\ v_{n}\end{array}\right)と移すものです。

さらにここで第一基礎定理を用いると
TP=φETφE1T_P=\varphi_E\circ T \circ\varphi_{E}^{-1}となるnn次正方行列PPが存在することが分かります。

この行列PPのことを基底変換EFE\to Fの行列と呼びます。

基底EEによって定まる同型φE\varphi_Eは言わば,「視点EEに立ってVVを見る」とイメージできます。

このイメージに沿えば下のように言えるでしょう。

変換行列PP
視点EEから,基底を取り換える操作TTを見たもの

次節でこの流れをまとめましょう。

定義

前節で述べたことをまとめて,基底変換EFE\to Fの行列の定義を確認しましょう。

定義[1][1]
下の可換図式を満たすような行列PP基底変換EFE\to Fの行列と呼ぶ。

また証明は省きますが,次元の議論から線形写像TTは同型であることが分かります。

そのため基底変換行列PPは必ず正則行列になることも押さえておきましょう。

さらに逆写像T1T^{-1}を考えましょう。

このT1T^{-1}φF=φET1\varphi_F=\varphi_E\circ T^{-1}を満たすことが簡単に分かります。

つまりφF\varphi_Fは先ほどの可換図式の右斜め下方向の矢印に対応します。

このことを用いると定義[1][1]を次のように書き換えることができます。

定義[2][2]
下の可換図式を満たすような行列PP基底変換EFE\to Fの行列と呼ぶ。

定義[2][2]は可換図式がスッキリするため,このサイトではこちらの定義を用いることが多いです。

しかしTP=φEφF1T_P=\varphi_{E}\circ\varphi_{F}^{-1}となるため
EFE\to Fのイメージを持ちづらいのが難点です。

※もしかしたら分かりやすいイメージがあるのかもしれませんが,私の調べた範囲では腑に落ちるものがありませんでした。定義[2][2]の良いイメージがある方はぜひ教えてください。

参考図書[2][2]ではこちらの定義が採用されています。

またもう一つ定義[3][3]を付け加えることができるのですが,それは次節:求め方で確認していきましょう。

求め方

では基底変換EFE\to Fの行列PPの具体的な表示を求めていきましょう。

PPは結局第一基礎定理により定まったので,そこで解説した方法に従えば良いですね。

下のようにPPを列ベクトル

pi=(p1ip2ipni)(i=1,,n)p_i=\left(\begin{array}{c}p_{1i} \\ p_{2i} \\ \vdots \\ p_{ni}\end{array}\right)\quad(i=1,\cdots,n)

で区切ったとしましょう。

P=(p1p2pn)=(p11p12p1np21p22p2npn1pn2pnn)P= \left(\begin{array}{cccc}p_{1} & p_{2} & \cdots & p_{n}\end{array}\right)=\left(\begin{array}{cccc}p_{11} & p_{12} & \ldots & p_{1n} \\ p_{21} & p_{22} & \ldots & p_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ p_{n1} & p_{n2} & \ldots & p_{nn}\end{array}\right)

このとき  pi=φETφE1(ei)  \,\,p_i=\varphi_E \circ T\circ\varphi_E^{-1}(e_i)\,\,が成り立つのでした。

eie_ie1=(100),  e2=(010),    ,en=(001)e_1=\left(\begin{array}{c}1 \\ 0 \\ \vdots \\ 0\end{array}\right),\,\,e_2=\left(\begin{array}{c}0 \\ 1 \\ \vdots \\ 0\end{array}\right),\,\,\cdots\,\,,e_n=\left(\begin{array}{c}0 \\ 0 \\ \vdots \\ 1\end{array}\right)のことで,
基底E=e1,e2,,enE=\langle \mathbf{e}_1,\mathbf{e}_2,\cdots,\mathbf{e}_n\rangleとは異なります。
記号が煩わしくてすいません。

この式  pi=φETφE1(ei)  \,\,p_i=\varphi_E \circ T\circ\varphi_E^{-1}(e_i)\,\,を下のように変形していきましょう。

つまりPPの成分はf1,f2,,fn\mathbf{f}_1,\mathbf{f}_2,\cdots,\mathbf{f}_n基底EEで表したときの成分によって求めることができます。

先ほど得られた関係を「形式的に」行列を用いて表示すると

(f1  f2    fn)=(e1  e2    en)P(\mathbf{f}_1\,\,\mathbf{f}_2\,\,\cdots\,\,\mathbf{f}_n)=(\mathbf{e}_1\,\,\mathbf{e}_2\,\,\cdots\,\,\mathbf{e}_n)P

と表すことができます。

つまり定義[3][3]が以下のように得られます。

定義[3][3]
(f1  f2    fn)=(e1  e2    en)P(\mathbf{f}_1\,\,\mathbf{f}_2\,\,\cdots\,\,\mathbf{f}_n)=(\mathbf{e}_1\,\,\mathbf{e}_2\,\,\cdots\,\,\mathbf{e}_n)Pを満たすような
nn次正方行列PP基底変換EFE\to Fの行列と呼ぶ。

また第二基礎定理を用いて,写像の合成は行列の積に対応することを用いれば,
以下のことが可換図式から簡単に証明できます(要望があれば証明を書きます)。

  • 基底変換EFE\to Fの行列がPP    \,\,\Rightarrow\,\,基底変換FEF\to Eの行列はP1P^{-1}
  • 基底変換EF,FGE\to F,F\to Gの行列がP,QP,Q    \,\,\Rightarrow\,\,基底変換EGE\to Gの行列はPQPQ

定義[3][3]のように基底変換行列は右からかけるので,基底変換行列を合成するときの順序には注意しましょう。

応用

前節:求め方に従って基底変換行列を求めると,
基底の成分間の等式を得ることができます。

例えば基底E,FE,FについてvV\mathbf{v}\in V

と表示できていたとしましょう。

このとき定義[2][2]の可換図式(下の図)から

φE(v)=TPφF(v)\varphi_E(\mathbf{v})=T_P\circ\varphi_F(\mathbf{v})より

(x1x2xn)=P(y1y2yn)\left(\begin{array}{c}x_{1} \\ x_{2} \\ \vdots \\ x_{n}\end{array}\right)=P\left(\begin{array}{c}y_{1} \\ y_{2} \\ \vdots \\ y_{n}\end{array}\right)が成り立ちます。

また両辺に左からP1P^{-1}をかければ

(y1y2yn)=P1(x1x2xn)\left(\begin{array}{c}y_{1} \\ y_{2} \\ \vdots \\ y_{n}\end{array}\right)=P^{-1}\left(\begin{array}{c}x_{1} \\ x_{2} \\ \vdots \\ x_{n}\end{array}\right)が成り立ちます。

また式的にも説明を行うこともできます。

の式を行列を用いて形式的に表現すると

(e1  e2    en)(x1x2xn)=(f1  f2    fn)(y1y2yn)(\mathbf{e}_1\,\,\mathbf{e}_2\,\,\cdots\,\,\mathbf{e}_n)\left(\begin{array}{c}x_{1} \\ x_{2} \\ \vdots \\ x_{n}\end{array}\right)=(\mathbf{f}_1\,\,\mathbf{f}_2\,\,\cdots\,\,\mathbf{f}_n)\left(\begin{array}{c}y_{1} \\ y_{2} \\ \vdots \\ y_{n}\end{array}\right)

となり,これに定義[3][3](f1  f2    fn)=(e1  e2    en)P(\mathbf{f}_1\,\,\mathbf{f}_2\,\,\cdots\,\,\mathbf{f}_n)=(\mathbf{e}_1\,\,\mathbf{e}_2\,\,\cdots\,\,\mathbf{e}_n)Pという式を用いれば

(e1  e2    en)(x1x2xn)=(e1  e2    en)P(y1y2yn)(\mathbf{e}_1\,\,\mathbf{e}_2\,\,\cdots\,\,\mathbf{e}_n)\left(\begin{array}{c}x_{1} \\ x_{2} \\ \vdots \\ x_{n}\end{array}\right)=(\mathbf{e}_1\,\,\mathbf{e}_2\,\,\cdots\,\,\mathbf{e}_n)P\left(\begin{array}{c}y_{1} \\ y_{2} \\ \vdots \\ y_{n}\end{array}\right)

となります。

よって両辺を比較して

(x1x2xn)=P(y1y2yn)\left(\begin{array}{c}x_{1} \\ x_{2} \\ \vdots \\ x_{n}\end{array}\right)=P\left(\begin{array}{c}y_{1} \\ y_{2} \\ \vdots \\ y_{n}\end{array}\right)

が得られます。

結果として前節で述べたように
基底においては基底EEPPをかけることで基底FFが得られるのに対し,
成分においてはEEの成分にP1P^{-1}をかけることでFFの成分を得られるという
逆の対応になっていることに注意してください。

この逆の対応はイメージで言えば下の図のようになります。
※個人的には完璧に腑に落ちているわけではないので,理解できない方がいたら申し訳ないです。もっと良いイメージがある方はご提案していただけると嬉しいです。

相対運動のイメージです。

まとめ

今回の記事では基底変換行列(change-of-basis matrix)について解説して参りました。

冒頭の繰り返しにもなりますが,線形代数学では表現行列の話,多様体においても接ベクトルの取り替えなどで用いる重要な概念です。

個人的にうまく説明できたのかあまり自信がないので,理解できなかった方は“3Blue1BrownJapan”さんの動画の視聴をおススメします。

もし「説明がわかりにくい」などご要望・ご感想がありましたら,
X(旧:Twitter)で#トイカラでつぶやいていただけると,できる限り対応します。

ここまで読んでいただき,ありがとうございました。

参考図書

  • [1][1] 加藤文元.”数研講座シリーズ 大学教養 線形代数”.初版.数研出版.2010出版.p.229-230
  • [2][2] 斎藤正彦.”線形代数入門 基礎数学1″.初版.東京大学出版.1966出版.p.105-107
  • [3][3] 3Blue1BrownJapan.”Chapter13 基底変換 | 線形代数のエッセンス”.2024-04-04参照.https://www.youtube.com/watch?v=PD38hkuRUIs

人気記事ランキング

  • 【超基本_小学校レベル第9回】速さ 算数における時間の表し方・単位換算,時速・分速・秒速の変換,距離・速さ・時間の関係,平均の速さ

  • 【グラフ理論】隣接行列とは? 定義・イメージから隣接行列の固有値の重要性についても解説

  • 【超基本_小学校レベル第6回】四則演算の計算する順番 計算の工夫

  • 【受験生必見!】京大数学の整数問題に有効な「フェルマーの小定理」を紹介

  • 【東大受験生必見!】東大数学の体積問題の解き方 ~おまけ~

新着記事

  • 【解析学】リーマンゼータ関数の整数における特殊値は? 証明も含めて解説

    2025.04/03

  • 【複素解析学】cot\,\cot\,の部分分数分解! 留数定理による証明を解説

    2025.04/01

  • 【解析学】cot\,\cot\,の部分分数分解! 美しいヘルグロッツの技法による証明を解説

    2025.03/31

  • オリジナル問題集

    2025.03/21

  • 【グラフ理論】ライツアウトとは? 遊び方から全ライトがONの状態は消灯できることの証明まで解説

    2025.03/20