あるベクトル空間の集合を組み合わせた基底と写像の次元

はじめに

多くの大学の院試では、固有値を求めて対角化する問題が良く出てきます。こちらは、以前の記事にて説明しました。本日は、基底を求める問題を解説します。このような問題は、電通大などの院試でよく出てきます。

是非、自身が受けようとしている大学の院試問題に基底が出題されているかチェックしてみると良いと思います。

基底と固有ベクトルの違いは下記です。

管理人は数学の専門家ではありません。もしかすると、上記の説明では語弊があるかもしれません。

しかし、数学的事実を活用する立場である工学部の院試で得点することを第一に考えるならば、こちらの理解くらいで問題無いと考えています。

本記事で覚えたいこと

基底を求めるには、与えられた行列を行基本変形すると良いです。この解法は、巷でも良く解説されています。

本問も、最終的に上記のアプローチに落ち着くことを考えます。しかし、行列がまだ作成できていません。$W_1\cap W_2$の使い方がカギになりそうです。

結論から言うと、$W_1、W_2$を満たすそれぞれの空間を連立し、これを行列にすれば良いです。

慣れていた方ならば、すぐに分かったかもしれません。しかし、院試では間接的な問われ方もするため、本問も同じような表記をしました。ここに気づけば、後は答えを求めることは難しくありません。

(2)写像についての解き方

私が解答作成をしていて困ったことは、ネットで核、像と検索すると定義ばかりヒットすることが多く、問題を解くうえでどう使っていけば良いのか分からないことでした。

厳密な説明は別途必要ですが、問題を解くうえではこちらを意識すると良いと考えています。結論、(1)と同じく行基本変形して出てきたベクトルがKerFの基底。Rankが像(ImF)の基底になっています。カーネル、イメージなど、聞き慣れない言葉が多いですが、要は与えられた行列が座標変換行列ならこのような言われ方をするだけです。

詳しくは、次元定理で検索くださると幸いです。上記の考え方で良い理由が説明されています。

解答例

(1)基底の求め方

$W_1、W_2$を満たすそれぞれの空間を連立すると以下のようになる。

$$\begin{array}{}\text{(4)}& \{\begin{array}{l}2x+5y-z=0\\ 3x+4y+2z=0\end{array}\end{array}$$

これを行列表現にし、行基本変形していくと

$$\begin{array}{}\text{(5)}& \begin{array}{rl}& \left(\begin{array}{ccc}2& 5& -1\\ 3& 4& 2\end{array}\right)\\ \to & \left(\begin{array}{ccc}2& 5& -1\\ 0& -7& 7\end{array}\right)\\ \to & \left(\begin{array}{ccc}2& 5& -1\\ 0& -1& 1\end{array}\right)\\ \to & \left(\begin{array}{ccc}2& 4& 0\\ 0& -1& 1\end{array}\right)\end{array}\end{array}$$

より、$z=y、x=-2y$が分かる。

よって、求める基底は、$⟨\left(\begin{array}{c}-2\\ 1\\ 1\end{array}\right)⟩$

検算

$x=-2,y=1,z=1$のとき、与えられた連立方程式は以下のようになる。

$$\begin{array}{}\text{(6)}& \{\begin{array}{l}-4+5-1=0\\ -6-4+2=0\end{array}\end{array}$$

二つの式両方成立するため、求めた基底が合っていることが確認できた。

(2)写像の基底、次元の求め方

基底について

まず、核(KerF)の基底を考える。(1)と同じく、行基本変形をする。

$$\begin{array}{}\text{(7)}& A=\left(\begin{array}{ccc}5& -3& 2\\ -1& 1& 0\\ -2& -1& 1\end{array}\right)\text{(8)}& \to \left(\begin{array}{ccc}0& 2& 2\\ -1& 1& 0\\ 0& 1& 1\end{array}\right)\text{(9)}& \to \left(\begin{array}{ccc}0& 1& 1\\ -1& 1& 0\\ 0& 0& 0\end{array}\right)\end{array}$$

(9)式=0を考えると、以下の関係が分かる。

$$\begin{array}{}\text{(10)}& \{\begin{array}{l}x=y\\ y=-z\end{array}\end{array}$$

以上より、求める基底は$⟨\left(\begin{array}{c}-1\\ -1\\ 1\end{array}\right)⟩$

次に、像(Imf)の基底を考える。行基本変形の結果(9)式より、1列目と2列目は線形独立であることが分かる。

これは、行列Aの1列目、2列目に対応するので、求める基底は以下の2つ

$⟨\left(\begin{array}{c}5\\ -3\\ 2\end{array}\right)⟩⟨\left(\begin{array}{c}-2\\ -1\\ 1\end{array}\right)⟩$

次元の個数

核の次元：核の基底の個数と一致するので、dim(Kerf)=1

像の次元：行列の階数と一致するので、dim(Imf)=2

次元定理：dim(V)=dim(Kerf)+dim(Imf)=3 を満たす。ただし、Vはベクトル空間の次元であり、標記の問題から3で与えられている。

最後に

本問は、院試の序盤に出てくると予想される問題です。ここで間違えてしまうと、後ろの問題にまで響く可能性があります。しっかり検算して得点に結び付けていきましょう。

$KerF、ImF$の基底などの問われ方もしますので、このような問題に対する解説は次回以降に行います。

参考文献

入門線形代数：三宅 敏恒(著) 第4章