• 検索結果がありません。

3次正方行列の対角化可能性

N/A
N/A
Protected

Academic year: 2021

シェア "3次正方行列の対角化可能性"

Copied!
5
0
0

読み込み中.... (全文を見る)

全文

(1)

3次正方行列の対角化可能性

Exercise

 解答例

基本演習

1 m ( 2)

個の

n ( 6 = 0)

次元(たて)ヴェクターの組

{

1

,

2

, . . . ,

m

}

があったとして以下の問いを考えましょう。

(1)

1

=

ならばこのヴェクターの組は一次従属である事を証明して下さい。

1 ·

1

+ 0 ·

2

+ · · · + 0 ·

m

=

なので一次従属である。

(2)

1

=

2ならばこのヴェクターの組は一次従属である事を証明して下さい。

1 ·

1

1 ·

2

+ 0 ·

3

+ · · · + 0 ·

m

=

なので一次従属である。

(3)

このヴェクターの組が一次独立ならば、

{

1

,

2

, . . . ,

m

}

の中から1個除い たヴェクターの組

{

2

, . . . ,

m

}

も一次独立である事を証明して下さい。

a

2 2

+ · · · + a

m m

=

であると仮定すると、

0 ·

1

+ a

2 2

+ · · · + a

m m

=

であり、

{

1

,

2

, . . . ,

m

}

の一次独立性から

a

2

= · · · = a

m

= 0

が分かる。従って

{

2

, . . . ,

m

}

も一次独立である。

(4)

このヴェクターの組が一次従属ならば、

{

1

,

2

, . . . ,

m

}

に勝手なヴェク ター m+1を加えて得られるヴェクターの組

{

1

,

2

, . . . ,

m+1

}

も一次従属で ある事を証明して下さい。

{

1

,

2

, . . . ,

m

}

が一次従属であるから、

(a

1

, . . . , a

m

) 6 = (0, . . . , 0)

a

1 1

+ · · · + a

m m

=

となるものが存在する。この時、

(a

1

, . . . , a

m

, 0) 6 = (0, . . . , 0, 0)

であって、

a

1 1

+ · · · + a

m m

+ 0 ·

m+1

=

が成り立っており、これは

{

1

,

2

, . . . ,

m+1

}

が一次従属である事を示している。

(5) n < m

ならばこのヴェクターの組は一次従属である事を証明して下さい。

難しければ、

n = 3, m = 4

の時に証明してみて下さい。

{

1

,

2

, . . . ,

n

}

が一次従属であれば上の4の結果から

{

1

,

2

, . . . ,

m

}

も一次 従属である事は明らかである。

もしも

{

1

,

2

, . . . ,

n

}

が一次独立ならば、行列

1

. . .

n

¥

は正則であり、

n+1に対して、

1

. . .

n

¥

1

n+1

=

 

a

1

.. . a

n

 

と置けば、

n+1

= ≥

1

. . .

n

¥

 

a

1

.. . a

n

 

 = a

1 1

+ · · · + a

n n

となっている。すると

a

1 1

+ · · · + a

n n

1 ·

n+1

+ 0 ·

n+2

+ · · · + 0 ·

m

=

であり、これは

{

1

,

2

, . . . ,

m

}

が一次従属である事を意味している。

以上の様に、いずれの場合にも

{

1

,

2

, . . . ,

m

}

は一次従属である。

(2)

(6)

このヴェクターの組が一次独立ならば、それぞれに正則行列

H

を掛けて得ら

れる

{ H

1

, H

2

, . . . , H

m

}

も一次独立である事を証明して下さい。

ヒント:一般に

n

次正方行列

M

に対して

M

は正則行列)

M

は固有値

0

をもたない)

(連立方程式

M =

の解 のみである)

と云う事に注意して下さい。

{ H

1

, H

2

, . . . , H

m

}

が一次従属である、すなわち、

a

1

H

1

+ · · · + a

m

H

m

=

となる様な

(a

1

, . . . , a

m

) 6 = (0, . . . , 0)

が存在すると仮定すると、

a

1

H

1

+ · · · + a

m

H

m

= H(a

1 1

+ · · · + a

m m

) =

a

1 1

+ · · · + a

m m

= H

1

=

となり、これは

{

1

,

2

, . . . ,

m

}

が一次従属である事を示しているがこれは矛盾であ る。従って

{ H

1

, H

2

, . . . , H

m

}

は一次独立である。

(7)

任意の異なる i

,

j

(i, j = 1, 2, . . . m)

が直交し、かつどの jもゼロヴェ クターでない時、このヴェクターの組

{

1

,

2

, . . . ,

m

}

は一次独立である事を証 明して下さい。

{

1

,

2

, . . . ,

m

}

が一次従属である、すなわち、

a

1 1

+ · · · + a

m m

=

となる様な

(a

1

, . . . , a

m

) 6 = (0, . . . , 0)

が存在すると仮定する。

a

1

, . . . , a

mのうち少なく ともいずれか1つは

0

ではないので仮に

a

1

6 = 0

であるとして話を進める。

この時、

a

1 1

+ · · · + a

m m

=

1

a

1 1

·

1

= 0

であるが、 1

6 =

なので

a

1

= 0

を得る。これは矛盾である。

以上により

{

1

,

2

, . . . ,

m

}

は一次独立である。

(8) m = n

であり、かつ、ヴェクターの組

{

1

,

2

, . . . ,

m

}

は一次独立である と仮定します。

この時、任意のヴェクター 1

,

2

, . . . ,

mの定数倍および和(こう云うも のを一次結合と言います)で書ける事を証明して下さい。

もしも

{

1

,

2

, . . . ,

m

}

が一次独立ならば、行列

1

. . .

m

¥

は正則であり、

任意のヴェクター に対して、

1

. . .

m

¥

1

=

 

a

1

.. . a

m

 

と置けば、

= ≥

1

. . .

m

¥

 

a

1

.. . a

m

 

 = a

1 1

+ · · · + a

n m

となっている。

(3)

基本演習

2

次の各組が一次独立であるか一次従属であるか答えて下さい:

(1)

√ 1 0

! ,

√ 0 1

!

(2)

√ 0 2

! ,

√ 2 1

! ,

√ 1 4

!

(3)

  1

1 1

  ,

  0 1

1

  ,

  1 2

1

 

(4)

  0 0 0

 

(1)一次独立。

(2)本数が次元より大きいため一次従属。

(3)

Ø Ø Ø Ø Ø Ø Ø

1 0 1

1 1 2

1 1 1 Ø Ø Ø Ø Ø Ø Ø

= Ø Ø Ø Ø Ø Ø Ø

1 0 1

0 1 2

0 1 1 Ø Ø Ø Ø Ø Ø Ø

= 1

により一次独立。

(4)一次従属。

基本演習

3

次のヴェクターの組の中から何本か選んで一次独立な組を作ろうと思 いますが、最大何本で一次独立な組が作れるでしょうか?

  5 4 2

  ,

  2

1 3

  ,

  3 5

1

  ,

  1 6

4

 

  3 5

1

  ×

  1 6

4

  =

 

14 11 13

 

なので、

  5 4 2

  ·

 

 

  3 5

1

  ×

  1 6

4

 

 

  = 70 + 44 + 26 = 0

  2

1 3

  ·

 

 

  3 5

1

  ×

  1 6

4

 

 

  = 28 11 + 39 = 0

また、

  5 4 2

  ×

  2

1 3

  =

  14

11

13

 

なので、

  3 5

1

  ·

 

 

  5 4 2

  ×

  2

1 3

 

 

  =

  1 6

4

  ·

 

 

  5 4 2

  ×

  2

1 3

 

 

  = 0

でもある。

以上により、4本のうちどの3本をとってもその3本は一次従属であった。

平行でない2本のヴェクターの組は一次独立であるから、答えは最大2本である。

(4)

基本演習

4

(1)4本の4次元ヴェクターの組:

 

 

 1 1 1 0

 

 

,

 

 

 0 2 1 0

 

 

,

 

 

 0 2 1 4

 

 

,

 

 

 0 0 0 1

 

 

は一次従属である事を示して下さい。

(2)行列式:

Ø Ø Ø Ø Ø Ø Ø Ø Ø Ø

1 0 0 a 1 2 2 b 1 1 1 c 0 0 4 d Ø Ø Ø Ø Ø Ø Ø Ø Ø Ø

0

にならない様な

a, b, c, d

を求める事によって、3本の4次元ヴェクターの組:

 

 

 1 1 1 0

 

 

,

 

 

 0 2 1 0

 

 

,

 

 

 0 2 1 4

 

 

は一次独立である事を示して下さい。

(3)行列式:

Ø Ø Ø Ø Ø Ø Ø

m

11

m

12

m

13

m

21

m

22

m

23

m

31

m

32

m

33

Ø Ø Ø Ø Ø Ø Ø

0

でないとき、3本の4次元ヴェクターの組:

 

 

m

11

m

21

m

31

m

41

 

 

,

 

 

m

12

m

22

m

32

m

42

 

 

,

 

 

m

13

m

23

m

33

m

43

 

 

は一次独立である事を示して下さい。

(4)

 

 

 0 0 0 1

 

 

を3本の4次元ヴェクター:

 

 

 1 1 1 0

 

 

,

 

 

 0 2 1 0

 

 

,

 

 

 0 2 1 4

 

 

の一次結合で表して下さい。

(1)

Ø Ø Ø Ø Ø Ø Ø Ø Ø Ø

1 0 0 0 1 2 2 0 1 1 1 0 0 0 4 1 Ø Ø Ø Ø Ø Ø Ø Ø Ø Ø

= Ø Ø Ø Ø Ø Ø Ø

1 0 0 1 2 2 1 1 1 Ø Ø Ø Ø Ø Ø Ø

= Ø Ø Ø Ø Ø

2 2 1 1 Ø Ø Ø Ø Ø = 0

(2)

Ø Ø Ø Ø Ø Ø Ø Ø Ø Ø

1 0 0 a 1 2 2 b 1 1 1 c 0 0 4 d Ø Ø Ø Ø Ø Ø Ø Ø Ø Ø

= Ø Ø Ø Ø Ø Ø Ø

2 2 b 1 1 c 0 4 d Ø Ø Ø Ø Ø Ø Ø

a Ø Ø Ø Ø Ø Ø Ø

1 2 2 1 1 1 0 0 4 Ø Ø Ø Ø Ø Ø Ø

= Ø Ø Ø Ø Ø Ø Ø

2 0 b 1 0 c 0 4 d Ø Ø Ø Ø Ø Ø Ø

4a Ø Ø Ø Ø Ø

1 2 1 1 Ø Ø Ø Ø Ø

= 4 Ø Ø Ø Ø Ø

2 b 1 c Ø Ø Ø Ø Ø 4a

Ø Ø Ø Ø Ø

1 2 1 1 Ø Ø Ø Ø Ø

= 4a 4(2c b) = 4(a 2c + b)

なので、

a 2c b 6 = 0

ならばこの行列式は

0

ではない。

(5)

従って、これを満たす様な

a, b, c

と任意の

d

に対して4本のヴェクターの組:

 

 

 1 1 1 0

 

 

,

 

 

 0 2 1 0

 

 

,

 

 

 0 2 1 4

 

 

,

 

 

a b c d

 

 

は一次独立であり、ここから1本除いた

 

 

 1 1 1 0

 

 

,

 

 

 0 2 1 0

 

 

,

 

 

 0 2 1 4

 

 

もまた一次独立である。

(3)この3本に

 

 

 0 0 0 1

 

 

を加えて出来る4本のヴェクターの組を考えると、

Ø Ø Ø Ø Ø Ø Ø Ø Ø Ø

m

11

m

12

m

13

0 m

21

m

22

m

23

0 m

31

m

32

m

33

0 m

41

m

42

m

43

1 Ø Ø Ø Ø Ø Ø Ø Ø Ø Ø

= Ø Ø Ø Ø Ø Ø Ø

m

11

m

12

m

13

m

21

m

22

m

23

m

31

m

32

m

33

Ø Ø Ø Ø Ø Ø Ø

6

= 0

によりこれは一次独立である。従ってここから1本除いて得られる3本の組

 

 

m

11

m

21

m

31

m

41

 

 

,

 

 

m

12

m

22

m

32

m

42

 

 

,

 

 

m

13

m

23

m

33

m

43

 

 

も一次独立である。

(4)

 

 

 0 0 0 1

 

 

 = a

 

 

 1 1 1 0

 

 

 + b

 

 

 0 2 1 0

 

 

 + c

 

 

 0 2 1 4

 

 

と置けば、明らかに

a = 0, c =

14 であり、

b + c = 0

である事から

b =

14である事も 分かる。

従って、

 

 

 0 0 0 1

 

 

 = 1 4

 

 

 0 2 1 0

 

 

 + 1 4

 

 

 0 2 1 4

 

 

である。

参照

関連したドキュメント

Faced with the phenomenon that should be called “the trend away from the papers”, which is spreading rap- idly across generations, particularly among youth in their twenties,

敷地からの距離 約48km 火山の形式・タイプ 成層火山..

1. 液状化評価の基本方針 2. 液状化評価対象層の抽出 3. 液状化試験位置とその代表性.