の線形変換 は、標準基底に関する表現行列が
であるとする。 とし、基底 に関する の表現行列を とする。 の 成分を求めよ。
基底の変換と表現行列
基底の取りかえ行列を求め、表現行列が に変わることを使える
前提
- 核と像と次元定理 (大学数学 線形代数)
- 掃き出し法による逆行列 (大学数学 線形代数)
この技能までの道筋(38 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 三角形の角の大きさ (算数 平面図形)
- 対頂角と平行線の同位角・錯角 (中学数学 平面図形)
- 三角形の外角と角の組み合わせ (中学数学 平面図形)
- 小数の四則計算 (算数 計算と数のきまり)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 小数と分数のまじった計算 (算数 計算と数のきまり)
- 逆算(□ を求める) (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 1 次方程式の解き方 (中学数学 方程式)
- 二等辺三角形の角 (中学数学 平面図形)
- 平行四辺形と特別な四角形の性質 (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 乗法公式による展開 (中学数学 数と式)
- 折り返した図形の角と長さ (中学数学 平面図形)
- 三平方の定理と平面図形 (中学数学 相似と三平方の定理)
- ベクトルの演算と成分 (数学C ベクトル)
- 行列の和・積と 2 次の逆行列 (大学数学 線形代数)
- 掃き出し法と連立 1 次方程式 (大学数学 線形代数)
- 行列の階数と解の存在 (大学数学 線形代数)
- ベクトル空間・一次独立・基底・次元 (大学数学 線形代数)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 線形変換と行列 (大学数学 線形代数)
- 核と像と次元定理 (大学数学 線形代数)
- 掃き出し法による逆行列 (大学数学 線形代数)
説明
線形写像を行列で表すとき、その行列は「どの基底を使うか」で変わります。この技能では、古い基底から新しい基底への取りかえ行列 を作り、新しい基底に関する表現行列を という計算で求められるようになります。計算しやすい基底に取りかえて写像の性質を調べる場面や、異なる基底での行列どうしの関係を調べる場面で使います。
なぜそうしてよいのか
次元ベクトル空間 の基底 と線形写像 を考えます。 をこの基底の一次結合で と表し、その係数を並べた行列 を、この基底に関する の表現行列といいます。まとめると と書けます。 の第 列は「 の座標」です。
別の基底 をとります。各 を古い基底で と表すと となります。この行列 を、基底 から への取りかえ行列といいます。第 列は の古い座標です。ベクトルに座標を対応させる操作は一次結合を保つので、 が一次独立なら の列ベクトルも一次独立です。よって の階数は で、 は正則です。逆に たちを たちで表すと となります。
の線形性から、次の等式が成り立ちます。
基底による表し方はただ一通りなので、新しい基底に関する表現行列は です。直観的には、右から順に次の 3 段階を行っています。
- 新しい座標を で古い座標に直す
- 古い座標で をかける
- で新しい座標に戻す
特に で、古い基底が標準基底、 のときは、 は新しい基底ベクトルを列として並べた行列そのものになります。
手順
古い基底での表現行列 を確認する( で 、古い基底が標準基底なら そのもの)。
新しい基底の各ベクトル を古い基底の座標で表し、それを第 列に並べて取りかえ行列 を作る:。
を掃き出し、左側が になることで が正則だと確かめて、 を求める。
を計算する。先に を求めてから左から をかけるとよい。
検算として、 が成り立つか( の第 列が の新しい座標か)を確かめる。
例題
とし、線形変換 を で定める。 の基底 に関する の表現行列を とするとき、 の 成分を求めよ。
例題の解答
手順1:標準基底に関する表現行列は です。
手順2: の標準基底での座標はそれ自身なので、列に並べて とします。
手順3: を掃き出します。
第2行から第1行を引くと
第1行から第2行を引くと
左側が になったので は正則で、 です。
手順4:まず です。
続けて となります。
手順5(検算):
-
- ()
どちらも の各列と一致します。
よって 成分は です。
答え:
よくある誤り
を計算してしまう誤り。正しくは、 の列が新しい基底の古い座標のとき、新しい表現行列は 。例題で を計算すると 、 になり、正しい とは合わない。第1列が正しいなら となるはずだが、実際は である。なお 成分だけは偶然どちらも になるので、他の成分や手順5の検算で確かめないと誤りに気づけない。
新しい基底ベクトルを行として並べて を作ってしまう誤り。正しくは列として並べる。 なら で、この例では対称なので行に並べても偶然同じになる。しかし なら で、行に並べた とは異なる。
を求めた段階で表現行列だと思ってしまう誤り。 の第 列は の標準基底での座標にすぎない(例題の )。新しい基底での座標にするには、左から をかけて とする。
新しい基底として一次独立でないベクトルを選んでしまう誤り。そのとき は正則でなく が存在しないので、 の公式は使えない。たとえば では、 を掃き出しても左側が にならないことで判定できる。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
の線形変換 を 、
で定める。 の基底
に関する の表現行列を とする。すなわち は
を満たす 次正方行列である。 の 成分を求めよ。の線形変換 を
で定める。 の基底
に関する の表現行列を とする。 成分 と 成分 をこの順に組 で求めよ。実数を係数とする 次以下の多項式全体のなすベクトル空間を とする。線形写像 を
で定める。 の基底 に関する の表現行列を とし、基底 から新しい基底 への基底の取りかえ行列を とする。基底 に関する の表現行列を とするとき、 の 成分と 成分をこの順に組で求めよ。の線形変換 の、標準基底 に関する表現行列が
であるとする。ベクトル
からなる基底 に関する の表現行列を とする。 の 成分 と 成分 を、この順に組 で求めよ。
この技能を使う問題
を正の整数とし、 には標準内積 を考える。 次実正方行列 が次の 2 つの条件を満たすとする。
このとき、 は対称行列である(すなわち である)ことを証明せよ。ただし、 の部分空間の正規直交基底を 全体の正規直交基底に延長できること(グラム・シュミットの直交化法)、 が像 の次元に等しいこと、トレースの性質 は用いてよい。
を 6 次単位行列とする。複素数を成分とする 6 次正方行列 が次の 3 つの条件を満たしている。
- 固有多項式は である。
- 最小多項式は である。
- である。
6 次複素正方行列全体のなす複素線形空間を とする。その部分空間
の(複素線形空間としての)次元を求めよ。
この技能の次に学べること
- 対角化と行列の累乗 (大学数学 線形代数)
- 群の表現と指標 (大学院数学 表現論)
- リー環の括弧積と随伴表現 (大学院数学 リー群・リー環)