定番書
を基に線形代数を学び直していく。
今日のまとめ
5. 固有値と固有ベクトル
5.4 二次曲線および二次曲面
二次曲線および二次曲面を既存の知識を用いて分類する。
空間の座標系は1点および幾何ベクトル空間
の1つの基底
との組
を指す。とくに
が正規直交基底である場合が直交座標系である。
座標系を取り換えたときに点の位置ベクトルがどのように変わるかを考察する。2つの座標系があるとき、
の基底の取り換え
の行列を
とし、点
の座標系
に関する位置ベクトルを
点
とすれば、であるから
であるから、
が成り立ち、これが座標変換の公式である。
さらに
とおけば
とも表される。特にがともに直交座標系ならば
は直交行列である。
空間における二次曲面(二次曲線)とは、ある座標系に関する座標の二次式の零点からなる集合である。二次曲面(二次曲線)は座標系に無関係な概念である。
6. 単因子およびJordan標準形
6.1 単因子
1変数の
-変数多項式を成分とする
次正方行列を考える。このような行列を簡便のために
-行列と呼ぶことにする。2つの
-行列の和差積が数の行列の場合と同様に定義されて
-行列である。行列式も
の多項式である。
-行列
に対して
となるような-行列が存在するとき、
を可逆行列という。
が可逆行列であるとき、上式を満たすような
はただ1つしか存在しないことが知られている。
を
の逆行列と呼び、
で表す。
が成り立つ。および
は
の多項式であるから、
、
である。
逆にが
の
でない元だとする。
の余因子行列を
とすれば、
が成り立つ。したがっては
の逆行列である。
)
ここで基本行列
:
成分が
でそれ以外の対角成分および
成分が
であるような行列
:
成分のみ
でそれ以外の対角成分が
であるような行列
:
成分が
であるような行列
を思い起こそう。このの代わりに多項式
を入れた
で表し、これも基本行列と呼ぶことにする。
であるから可逆で、逆行列もまた基本行列である。
-行列の成分に対する基本変形の効果は数行列の場合と同様である。
(
が得られ、の次数は
である。
の第1行および第1列の成分はすべて
で割り切れる。実際、
が
で割り切れないならば、
が成り立つような多項式よりも次数の低い多項式
が存在する。
の第
列から第
列の
倍を引き、さらに第
列と第
列とを交換すれば、得られる行列は
と対等で
成分は
である。しかし
の選び方に反する。
に関しても同様である。
そこでとし、第
列から第
列の
倍を引き、第
行から第
行の
倍を引けば
さらに数学的帰納法の仮定から次行列
に移る。これと同様な変形をに施せば、
と対等な行列
が得られる。
は
で割り切れる。実際、
よりも低次な多項式
を用いて
と書けるとする。の第2列に第1列の
倍を加え、次に第2行から第1行を引けば、
成分は
となる。行および列の交換で
を
成分に移すことができるが、これは
の選び方に反する。したがって
は標準形である。
次に標準性の一意性を示す。そのために別の定理を先に示す。まず以下の概念を導入する。
(
次
-行列
に基本変形を施したとき、行列式因子が変わらないことを言えばよい。
行または列の交換およびある行または列にの
でない元を掛けることによって行列式因子が変わらないことは明らかである。
の第
行に第
行(
)の
倍を加えて得られる行列を
とし、
の
次行列式因子を
とする。
の様々な
次行列式のうち、第
行を含まない者は不変である。また第
行、第
行を共に含むものも不変である。
次小行列式
が第
行を含み、第
行を含まないものとする。行列
の対応する位置にある小行列式を
とおく。
は
とそれに含まれている
の第
行を第
行で置き換えた
の
バイトの和に等しい、すなわち
である。は
で割り切れるから
も割り切れる。
以上からのすべての
次小行列式は
で割り切れることが分かった。したがってその最大公約数
は
で割り切れる。基本変形は可逆であるから、
で割り切れる。共に最高次係数は
であるから、
である。
)
これを用いて本来示すべき定理の後半を示す。
標準形
の行列式因子をとすれば、
が成り立つ。したがって
が成り立ち、これによりは
によって一意に決まる。数
もまた、
の
でない小行列式の最大次数として
により一意に定まる。
)
により定まる
を
の階数といい、
個の多項式
を
の単因子という。