斎藤正彦 - 線形代数学 行間うめ
解いたものからチョコチョコ書き足していきます.学生のこしらえものなので間違いがあるかもしれません.不適切な言明や間違いなどありましたらごめんなさい
chapter 5
section 2
行列の累乗の公式
本文には書かれていませんが,等比数列の和の公式が正則行列にも使えることを示しておきます
が正則であれば
5.2.7
よりである.より部分和は単調増加しかつ有界な列であるのである値に収束する.つまりはノルム収束し,も収束することがわかる.5.2.3よりであることに注意して
chapter 6
1 線形空間と線形写像
6.1.8
とするとで表されるし,
とかだとであるからこれは線形写像ではない.
はのゼロ元なので
の線形性より
またよりよってはのゼロ元である
6.1.13
- についてかつであるとは,からへの同型写像 またからへの同型写像が存在することを意味する.を示すには,からへの同型写像が存在することを示せば良い.ここで同型写像とはそれ自身が全単射であることだったから,が共に全単射であればその合成写像が全単射であることを示せば良い.これを示すのは容易である.例えば
引用先p3命題5.1.3
引用 東京女子大学-新國先生の講義資料
https://www.lab.twcu.ac.jp/~nick/lecture/2013/bijection.pdf
6.1.14
- 行列を縦に並べ替えただけ.行列とベクトルはもれなく一対一対応するので同型である.
- 1.1.14で確かめたようにからへの線形写像は 行列による写像ともれなく一対一対応するので同型である
- の次から次までの係数を取り出すだけの作業.これももれなく一対一対応するため同型
1の問題
問題1
(1)となるに対してとするとでありであるからだがとなり,.和について閉じていないのではの部分空間ではない
(2)を仮定する.についてである.これは一般のについては成り立たないが,の場合のみ成立する.以降とする.つまり.
例えばはを満たすので.の元は和について閉じていることは上で確認した.任意のについてである.以上で部分空間の定義を満たすことが確認できた.
(3)部分空間ではない.反例:はどちらもdeterminantがであるがこれらの和の行列式はとなる.
(4)を用意すればが空集合でないことを確認できる.和と積については積分の線形性より示すことができる
(5)同じくを用意すれば空集合でないことが確認できる.について和と積が閉じていることを確認できる.
問題2
(1)であるためは空集合ではない
となり和と積について閉じていることが示された
(2) (1)と同様に,は空集合ではない.
とするとそれぞれ対応するがあってとかける.そのため
であるためである.
さらにを考えると
であり,もの元であることが確認できた
問題3
(1)Yes
(2)No 反例:
の時しかが成り立たない
(3)
(4)No 反例:
ただしの時のみ線形性が成り立つ
(5)No 反例:
だが
問題4
が何を表すかを考える.が要素と要素を対応づけしていたのに対しは集合と集合の対応づけを行っている.
(1)はの部分空間だからそのゼロ元を含み,それゆえに
次にを仮定する.はの何らかの要素の射影なのでなるがある.は部分空間を構成するので以上の事実からまたであるからは部分空間を構成する
(2)はのゼロ元であるからそれゆえであり
とするとなるがあってだからまたであるからとなる.以上の事実よりは部分空間を構成する