では、例題です。

  a1 = (1, -2, 1) a1 = (3, 1, 4)

このとき、ふたつのベクトルa1, a2は一次独立でしょうか?

rank[a1, a2]を考えます。

n = 3ですね。(R 3

(おぉ!htmlでは行列はかけない!!)



rank A = rank B = 2
   ┌  1  3  ┐
A =│ -2 1 │
└ 1 4 ┘


┌  1 3
B =│ 0 1
0 0
です。

(↑苦し紛れ)



したがって、先ほどの定理から、

n = m = 2

a1, a2一次独立です。




もう一問。

次のa1, a2, a3は一次独立?

  a1 = ( 2, -1, 0)
  a2 = ( 1, 0, 3)
  a3 = (-2, 1, 0)


rank[a1, a2, a3]
      ┌     ┐
│ 2 1 -2│
= rank│-1 0 1│
│ 0 3 0│
└     ┘

┌     ┐
│ 2 1 -2│
= rank│-2 0 2│
│ 0 1 0│
└     ┘

┌     ┐
│ 0 1 0│
= rank│-1 0 1│
│ 0 1 0│
└     ┘

┌     ┐
0 1 0
= rank│-1 0 1
0 0 0
└     ┘

= 2



となります。

したがって、rank[a1, a2, a3] < 3 ゆえ、

これらは一次従属となります。

ふぅ、疲れた。