シルヴェスターの慣性法則のソースを表示

[[線型代数学]]における'''シルヴェスターの慣性法則'''（シルヴェスターのかんせいほうそく、{{lang-en-short|''Sylvester's law of inertia''}}）は[[実数|実]][[二次形式]]の[[係数行列]]の[[基底変換]]で不変なある種の性質を記述する。

具体的に二次形式を定義する[[対称行列]] {{mvar|A}} と {{math2|1= ''D'' = ''SAS''{{sup|⊤}}}} が[[対角行列]]となる正則行列 {{mvar|S}} に対して、{{mvar|D}} の主対角線に並ぶ正の成分の数および負の成分の数は {{mvar|S}} に依らず同じである。

名称は、{{harv|Sylvester|1852}} においてこの性質を証明した[[ジェームス・ジョセフ・シルベスター]]に因む<ref name="norm">{{Cite book |author=Norman, C.W. |title=Undergraduate algebra |publisher=[[Oxford University Press]] |pages=360–361 |year=1986 |isbn=0-19-853248-2}}</ref>。

== 定理の主張 ==
{{mvar|n}}次正方行列 {{mvar|A}} は実成分を持つ対称行列とする。同じサイズの[[正則行列]] {{mvar|S}} は {{mvar|A}} を別の {{mvar|n}}次対称行列 {{math2|1=''B'' = ''SAS''{{sup|⊤}}}} へ変換するものとする。ここに {{math|''S''{{sup|⊤}}}} は {{mvar|S}} の[[転置行列]]である。即ち、行列 {{mvar|A}} と {{mvar|B}} は[[合同 (行列)|合同]]とする。{{mvar|A}} が {{math|'''R'''{{sup|''n''}}}} の適当な[[二次形式]]の[[係数行列]]ならば {{mvar|B}} は同じ二次形式に {{mvar|S}} の定める[[基底変換]]を行って得られる二次形式の係数行列である。 

対称行列 {{mvar|A}} はこの仕方で必ず対角成分が {{math2|0, +1, &minus;1}} の何れかであるような[[対角行列]] {{mvar|D}} に変換することができる。シルヴェスターの慣性法則はこのような各種の対角成分の数が（行列 {{mvar|S}} の取り方に依らない）{{mvar|A}} の不変量であることを述べる。

{{math|+1}} の数 {{math|''n''{{sub|+}}}} を {{mvar|A}} の'''正の慣性指数''' (''positive index of inertia'') と言い、{{math2|&minus;1}} の数 {{math|''n''{{sub|&minus;1}}}} を'''負の慣性指数''' (''negative index of inertia'') と呼ぶ。{{math|0}} の数 {{math|''n''{{sub|0}}}} は {{mvar|A}} の[[零空間|核]]の次元であり、{{mvar|A}} の余階数（退化次数）である。これらは明らかに
: <math>n_0 + n_+ + n_- =n</math>
なる関係を持つ。差 {{math2|1= sgn(''A'') = ''n''{{sub|&minus;}} &minus; ''n''{{sub|+}}}} を普通は[[符号数]]と呼ぶ（が、{{mvar|A}} の正負の慣性指数と退化次数の三つ組 {{math2|(''n''{{sub|0}}, ''n''{{sub|+}}, ''n''{{sub|&minus;}})}} を符号数と呼ぶ文献もある。与えられた次数の非退化形式に対しては、どちらで書いても同じ情報を与えるが、一般には三つ組のほうが情報が多い）。 

行列 {{mvar|A}} が、左上からの {{mvar|k}}次主[[小行列式]] {{mvar|Δ{{sub|k}}}} が何れも非零であるという性質を持つならば、負の慣性指数は列
:<math>\Delta_0=1, \Delta_1, \ldots, \Delta_n=\det A</math>
の符号変化の数に等しい。

== 固有値を用いた主張の言い換え ==
対称行列 {{mvar|A}} の正負の慣性指数は {{mvar|A}} の正負の[[固有値]]の数でもある。任意の実対称行列 {{mvar|A}} は {{mvar|A}} の固有値からなる対角行列 {{mvar|E}} と固有ベクトルからなる[[正規直交系|正規直交]][[直交行列|行列]] {{mvar|Q}} を用いた {{math|1= ''A'' = ''QEQ''{{sup|⊤}}}} なる形の{{仮リンク|固有分解|en|eigendecomposition}}を持つ。さらに行列 {{math2|1= ''E'' = (''e{{sub|ij}}'')}} は {{math2|1= ''E'' = ''WDW''{{sup|⊤}}}} で {{mvar|D}} が {{math2|0, +1, &minus;1}} を成分とする対角行列、{{mvar|W}} が {{math|1= ''w{{sub|ii}}}}'' = {{sqrt|{{abs|''e{{sub|ii}}''}}}} を成分とする対角行列となるようにできる。行列 {{math2|1= ''S'' = ''QW''}} は {{mvar|D}} を {{mvar|A}} に変換する。

== 二次形式の慣性法則 ==
[[二次形式]]の文脈において、実 {{mvar|n}}変数の（あるいは {{mvar|n}}次元実ベクトル空間上の）実二次形式 {{mvar|Q}} は適当な基底変換（正則な線型変換）によって対角形
:<math>Q(x_1,x_2,\ldots,x_n) = \textstyle\sum\limits_{i=1}^n a_i {x_i}^2</math>
にすることができる。ここに各々 {{math2|''a{{sub|i}}'' ∈ {{mset|0, 1, &minus;1}}}} とする。シルヴェスターの関係法則はこの係数列の与える符号の数が {{mvar|Q}} の（対角化する基底の選び方に依存しない）不変量であることを主張する。幾何学的に言い表せば、与えられた二次形式の制限が正（または負）の[[定符号二次形式]]となるような任意の極大部分空間の次元は一定であることを慣性法則は主張する。そのような次元の値が正（または負）の慣性指数に等しい。

== 一般化 ==
シルヴェスターの慣性法則は行列が複素成分の場合にも述べることができる。この場合、行列 {{math2|''A'', ''B''}} が {{math|∗}}-合同であることを、適当な複素正則行列 {{mvar|S}} によって {{math2|1= ''B'' = ''SAS''{{sup|∗}}}} と書けることと定義する。ただし、{{math|∗}} は[[随伴行列|随伴]]を表す。

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

この定理はさらに {{harvtxt|Ikramov|2001|pp=141-142}} によって[[正規行列]]に対するものに一般化された。 
; 定理 (Ikramov)
: 正規行列 {{mvar|A}} と {{mvar|B}} が合同であるための必要十分条件は、それらがガウス平面の原点から出る各開半直線上で同じ数の固有値を持つことである。

== 関連項目 ==
* [[符号数]]
* [[モース理論]]
* [[コレスキー分解]]
* {{仮リンク|ヘインズワースの慣性加法公式|en|Haynsworth inertia additivity formula}}

== 参考文献 ==
{{Reflist}}
* {{Cite journal |author=Sylvester, J J |title=A demonstration of the theorem that every homogeneous quadratic polynomial is reducible by real orthogonal substitutions to the form of a sum of positive and negative squares |journal=Philosophical Magazine (Ser. 4) |volume=4 |issue=23 |pages=138-142 |year=1852 |url=http://www.maths.ed.ac.uk/~aar/sylv/inertia.pdf |doi=10.1080/14786445208647087 |accessdate=2008-06-27}}
* {{Cite journal |last1=Ikramov|first1=Kh. D. |title=On the inertia law for normal matrices |journal=Doklady Math. |year=2001 |volume=64 |page=141-142}}
* {{Cite book |last=Garling |first=D. J. H. |title=Clifford algebras. An introduction |series=London Mathematical Society Student Texts |volume=78 |location=Cambridge |publisher=[[ケンブリッジ大学出版局|Cambridge University Press]] |year=2011 |isbn=978-1-107-09638-7 |zbl=1235.15025}}

== 外部リンク ==
* {{高校数学の美しい物語|2650|シルベスターの慣性法則の意味と証明}}
* {{PlanetMath |urlname= SylvestersLaw |title= Sylvester's law}}
* {{MathWorld |urlname=SylvestersInertiaLaw |title= Sylvester's Inertia Law}}
* [http://www.njohnston.ca/2009/08/sylvesters-law-of-inertia-and-congruence/ Sylvester's law of inertia and *-congruence]

{{線形代数}}

{{DEFAULTSORT:しるへすたあのかんせいほうそく}}
[[Category:線型代数学]]
[[Category:行列論]]
[[Category:二次形式]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]