では、例題です。
a1 = (1, -2, 1) a1 = (3, 1, 4)
このとき、ふたつのベクトルa1, a2は一次独立でしょうか?
rank[a1, a2]を考えます。
n = 3ですね。(R 3)
(おぉ!htmlでは行列はかけない!!)
rank A = rank B = 2
(↑苦し紛れ)
したがって、先ほどの定理から、
n = m = 2
a1, a2は一次独立です。
もう一問。
次のa1, a2, a3は一次独立?
a1 = ( 2, -1, 0)
a2 = ( 1, 0, 3)
a3 = (-2, 1, 0)
rank[a1, a2, a3]
となります。
したがって、rank[a1, a2, a3] < 3 ゆえ、
これらは一次従属となります。
ふぅ、疲れた。
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 ゆえ、
これらは一次従属となります。
ふぅ、疲れた。