シルヴェスターの慣性法則

線型代数学におけるシルヴェスターの慣性法則（シルヴェスターのかんせいほうそく、）は実二次形式の係数行列の基底変換で不変なある種の性質を記述する。

具体的に二次形式を定義する対称行列  と  が対角行列となる正則行列  に対して、 の主対角線に並ぶ正の成分の数および負の成分の数は  に依らず同じである。

名称は、 においてこの性質を証明したジェームス・ジョセフ・シルベスターに因む。

定理の主張 
次正方行列  は実成分を持つ対称行列とする。同じサイズの正則行列  は  を別の 次対称行列  へ変換するものとする。ここに  は  の転置行列である。即ち、行列  と  は合同とする。 が  の適当な二次形式の係数行列ならば  は同じ二次形式に  の定める基底変換を行って得られる二次形式の係数行列である。 

対称行列  はこの仕方で必ず対角成分が  の何れかであるような対角行列  に変換することができる。シルヴェスターの慣性法則はこのような各種の対角成分の数が（行列  の取り方に依らない） の不変量であることを述べる。

 の数  を  の正の慣性指数 (positive index of inertia) と言い、 の数  を負の慣性指数 (negative index of inertia) と呼ぶ。 の数  は  の核の次元であり、 の余階数（退化次数）である。これらは明らかに
 
なる関係を持つ。差  を普通は符号数と呼ぶ（が、 の正負の慣性指数と退化次数の三つ組  を符号数と呼ぶ文献もある。与えられた次数の非退化形式に対しては、どちらで書いても同じ情報を与えるが、一般には三つ組のほうが情報が多い）。 

行列  が、左上からの 次主小行列式  が何れも非零であるという性質を持つならば、負の慣性指数は列

の符号変化の数に等しい。

固有値を用いた主張の言い換え 
対称行列  の正負の慣性指数は  の正負の固有値の数でもある。任意の実対称行列  は  の固有値からなる対角行列  と固有ベクトルからなる正規直交行列  を用いた  なる形のを持つ。さらに行列  は  で  が  を成分とする対角行列、 が {{math|1= w}} =  を成分とする対角行列となるようにできる。行列  は  を  に変換する。

二次形式の慣性法則 
二次形式の文脈において、実 変数の（あるいは 次元実ベクトル空間上の）実二次形式  は適当な基底変換（正則な線型変換）によって対角形

にすることができる。ここに各々  とする。シルヴェスターの関係法則はこの係数列の与える符号の数が  の（対角化する基底の選び方に依存しない）不変量であることを主張する。幾何学的に言い表せば、与えられた二次形式の制限が正（または負）の定符号二次形式となるような任意の極大部分空間の次元は一定であることを慣性法則は主張する。そのような次元の値が正（または負）の慣性指数に等しい。

一般化 
シルヴェスターの慣性法則は行列が複素成分の場合にも述べることができる。この場合、行列  が -合同であることを、適当な複素正則行列  によって  と書けることと定義する。ただし、 は随伴を表す。

複素成分の場合のシルヴェスターの慣性法則は、エルミート行列  が -合同であるための必要十分条件はそれらの慣性指数が一致することであることを言うものである。

この定理はさらに  によって正規行列に対するものに一般化された。 
 定理 (Ikramov)
 正規行列  と  が合同であるための必要十分条件は、それらがガウス平面の原点から出る各開半直線上で同じ数の固有値を持つことである。

関連項目 
 符号数
 モース理論
 コレスキー分解

参考文献

外部リンク 
 
 
 
 Sylvester's law of inertia and *-congruence

線型代数学
行列論
二次形式
数学に関する記事
数学のエポニム