削除された内容 追加された内容
Euler0117 (会話 | 投稿記録)
→‎外部リンク: Wikibooksへの外部リンクを追加
タグ: モバイル編集 モバイルウェブ編集
108行目:
: <math>f(v_j) = a_{1j}w_1+\cdots a_{mj}w_m</math>
となるスカラー {{mvar|a{{sub|ij}}}} を {{math|(''i'',''j'')}}-成分にもつ行列を {{mvar|A{{sub|f}}}} とすれば
: <math>f\Big((v_1,\ldots,v_n)\begin{pmatrixbmatrix}a_1\\\vdots\\a_n\end{pmatrixbmatrix}\Bigr)=
(w_1,\ldots,w_m)A_f\begin{pmatrixbmatrix}a_1\\\vdots\\a_n\end{pmatrixbmatrix}</math>
と書くことができる。基底の変換
: <math>
117行目:
を行うとき、{{mvar|P, Q}} は[[正則行列]]で {{math|1=(''v''&prime;<sub>1</sub>, …, ''v''&prime;<sub>''n''</sub>) = (''v''<sub>1</sub>, …, ''v''<sub>''n''</sub>)''P''}}, {{math|1=(''w''&prime;<sub>1</sub>, …, ''w''&prime;<sub>''m''</sub>) = (''w''<sub>1</sub>, …, ''w''<sub>''m''</sub>)''Q''}} であり、
: <math>\begin{align}
f\Big((v_1',\ldots,v_n')\begin{pmatrixbmatrix}a_1\\\vdots\\a_n\end{pmatrixbmatrix}\Bigr)
&=f\Big((v_1,\ldots,v_n)P\begin{pmatrixbmatrix}a_1\\\vdots\\a_n\end{pmatrixbmatrix}\Bigr)\\
&=(w_1,\ldots,w_m)A_fP\begin{pmatrixbmatrix}a_1\\\vdots\\a_n\end{pmatrixbmatrix}
=(w_1',\ldots,w_m')Q^{-1}A_fP\begin{pmatrixbmatrix}a_1\\\vdots\\a_n\end{pmatrixbmatrix}
\end{align}</math>
が成立するから、表現行列は {{math|''Q''<sup>&minus;1</sup>A<sub>''f''</sub>''P''}} に置き換わる。