九州大学 システム情報科学府 情報理工学専攻・電気電子工学専攻 2023年8月実施 線形代数
Author
Casablanca, Miyake
Description
事実。
- C1:
. - C2:
ならば . - C3:
, ならば .
(1)
(2) 一般に
(3)
(4)
Kai - By Casablanca
(1)
Consider
thus dimention of the kernel is
(2)
For convenience, let
- C1:
, thus - C2: if
, then , that is, - C3: if
, that is,
C1, C2, C3 holds all, hence
(3)
If
- for C1,
- for C2,
- for C3,
If
(4)
Suppose that
(i) It's trivial that
(ii) Assume that
a contradiction.
Hence
Kai - By Miyake
(1)
が成り立つとすると
となるので、
がわかる。よって、
は基底となる。
(2)
(C1 の確認)
なので
(C2 の確認)
であり、このとき
となるので、
(C3 の確認)
であり、このとき、
となるので、
(3)
が成り立つ。
これの左辺は
がわかる。
(4)
よって、
であるが、
が得られる。
である。