数学 › 線形代数学 › 行列と連立一次方程式

表現行列

定義 3.1(「行列と連立一次方程式」§3)

VV を nn 次元、WW を mm 次元の KK ベクトル空間とし、B=(e1,…,en)\mathcal{B} = (\boldsymbol{e}_1, \ldots, \boldsymbol{e}_n) を VV の、C=(u1,…,um)\mathcal{C} = (\boldsymbol{u}_1, \ldots, \boldsymbol{u}_m) を WW の順序基底とする。線形写像 f:V→Wf : V \to W に対し、各 jj について f(ej)∈Wf(\boldsymbol{e}_j) \in W を C\mathcal{C} で展開したときの係数を aija_{ij} とおく。すなわち

f(ej)=∑i=1maij ui(j=1,…,n).f(\boldsymbol{e}_j) = \sum_{i=1}^{m} a_{ij}\,\boldsymbol{u}_i \qquad (j = 1, \ldots, n).

このとき A=(aij)∈Mm,n(K)A = (a_{ij}) \in M_{m,n}(K) を、ff の基底 B,C\mathcal{B}, \mathcal{C} に関する表現行列といい、MCB(f)M_{\mathcal{C}\mathcal{B}}(f) と書く。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理 証明で参照している 2 件

関連するノック 2 問