跳到主要内容

九州大学 システム情報科学府 情報理工学専攻・電気電子工学専攻 2023年8月実施 線形代数

Author

Casablanca

Description

実行列 次元実ベクトル に対して, を定義する。このとき、以下の問いに答えよ。ただし、以下の事実は証明なしに用してよい。

事実。 上のベクトル空間 (線形空間) の部分集合 が の部分空間である必要十分条件は以下の条件が満たされることである。

  • C1: .
  • C2: ならば .
  • C3: , ならば .

(1) であるとき, の核 の次元と基底を一組求めよ。

(2) 一般に の部分空間であることを示せ。

(3) の部分空間であるとき, であることを示せ。

(4) の部分空間, が正方行列であるとする。このとき, が正則行列であるならば, であることを示せ。

Kai

(1)

Consider

thus dimention of the kernel is , basis is ,

(2)

For convenience, let

  • C1: , thus
  • C2: if , then , that is,
  • C3: if , that is,

C1, C2, C3 holds all, hence is a subspace.

(3)

If ,

  • for C1,
  • for C2,
  • for C3,

If , then can't hold. Thus .

(4)

Suppose that is invertible.

(i) It's trivial that .

(ii) Assume that , then . We have

a contradiction.

Hence .