有限次元ベクトル空間の時の面白い定理、命題1
久しぶりです・・・・
最近もちゃんと勉強してます。特に数学中心ですが。
最近は線形代数も徐々に難しくなってきて進むのが遅くなってきてます。
遅くなってるのには微分積分も平行してやってるからっていうのもあるけど。
最近では英語もやらなくちゃいけないなぁと思い始めてるので数学の洋書で勉強でもしようかな・・・w
線形代数では今、表現行列や直和に関してやっているんだけども表現行列がこれまた強者でなかなか理解できず苦労してます。
次の章が”固有値”なんで早く進みたいところです。
微分積分はラングよりももっと厳密にやりたいとかいう願望が出てきてしまってサイエンス社の笠原・微分積分をやってます。安い上に意外とわかりやすい。
ところで今日はメモ変わりに線形代数についての証明を羅列してきます。頑張って少しの知識さえあれば(多分)行間を埋めずに済むように証明を書きます。
とは言ってもベクトル空間Vの部分空間Wの基底を拡大したVの基底が存在することや、Vの任意の元はVの基底の一次結合によって表されるということくらいは既知である必要があるけど。
まず有限次元ベクトル空間の際に有用な、次元定理から
をベクトル空間とし、は有限次元であるとする。そのとき、線形写像において
が成り立つ。
証明
がからへの零写像の場合
任意のに対して、
よってとなるので、とすると、が成り立つ。
よって、
零写像でない場合
とする。の一つの基底をとすれば、それを拡大したの基底が存在する。(ただし)
もしが単射ならば、となるはに限るのでが成り立つ。
よって、が全射のとき
とおく。がの基底であることが示されれば、となって証明が完了する。
まず、がの生成元であることを示す。
をの任意の元とすれば、
となるような実数が存在し、であるから、となる。よって、
すなわちの任意の元はの1次結合となる。
ゆえにはの生成元である。
次にが1次独立であることを示す。
1次独立であるための条件は、をある実数とすると、
を満たすはのみであることである。
さて、この左辺はに等しいから、はに属す。
よって、はの基底によって
と表される。ここでは適当な実数。
これより、
となるが、はの基底であり、1次独立であるから、は全てでなければならない。
ゆえに、は1次独立である。したがって、はの一つの基底であることが証明された。
ゆえに、の次元はに等しい。
証明終
を有限次元ベクトル空間の線形変換とする。次の4つの条件は互いに同等である
証明
もしが以外の元を含むならば、は
と2通りに表されるので、がとの直和で表されるという仮定に反する。
よってでなければならない。
とする。より、
とすると、より、よって
より、
次元定理を使うと
となる。仮定よりが成り立つので
でなければならない。よって
先と同様。次元定理を使うと
となる。仮定よりが成り立つので
でなければならない。よって
の基底
の基底
よりの基底との基底の一次独立性が言える。
よって、
をの基底とすることができる。
よって
とする。
より、また、
よって
証明終
の証明はがのによる写像先であることに注意すればわかると思う。
次元定理の証明では松坂・線形代数を参照しました。その証明の行間を埋めて紹介という感じです。
二つ目の命題は何に使えるのかはわからないけど何か有用そう・・・。次は微分積分に関して自分に理解が曖昧なところの証明を(曖昧でなくするために)頑張って書こうと思います。それでは