次元定理の意味,具体例,証明
更新
を 実行列とするとき,
次元定理について
次元定理について
- は のランク(階数)です。→行列のランクの意味(8通りの同値な定義)
- は次元, は のカーネル(核)です。→行列のカーネル(核)の性質と求め方
- 「ランク,次元,カーネルってなんだ,全部初耳だよ」って方は,以下の具体例とイメージを見てなんとなく雰囲気をつかんでください。
- 次元定理は行列に対してではなく一般の線形写像について述べられることも多いです。ただし意味はほとんど同じなので,行列の場合できちんと理解しておけばOKです。
- 「階数・退化次数の定理」と呼ばれることもあります。
具体例
具体例
に対して次元定理が成立することを確認せよ。
-
は 行列である()
-
の2本の行ベクトル: と は一次従属なので
-
最後に のカーネルについて考える。
に対して
かつ
この条件を満たす たちのなす空間は2次元である( 空間で平面を表す)。
よって,
以上より, となり次元定理が成立している。
次元定理のイメージ
次元定理のイメージ
次元定理の意味は図を見ると分かりやすいかと思います。
次元定理: 像の次元(ランク)+カーネルの次元=
を言い換えると「青丸の大きさ」+「緑丸の大きさ」=「赤丸の大きさ」となります。
ただし,ランクと像の次元が等しいことに注意です:
次元定理の証明
次元定理の証明
- はベクトルなので などと書くべきですが省略します。
- 証明の前半部分が重要です。
の基底を とする(*)。
さらに,そこにベクトル を追加して 次元空間 の基底となるようにする。
であるので, を証明すればよい。
そのためには, が の基底であることを示せば十分(ここまでが重要,以下作業)。
・ が を張ることの証明
のとき,ある が存在して である。 これと, たちが の要素であることから となる。つまり, となり, は の線形結合で表せる。
・ が一次独立であることの証明 のとき, よって,
でないと(*)に矛盾する。
次元定理という名前はかっこいいですね。英語ではrank-nullity theoremと言うようです。