符号数

符号数の概要

線型代数学では、特に実有限次元線型空間における符号数は、与えられた固有値の符号が持つ重要な情報を示しています。符号数は、正、負、零の値を持つ固有値をそれぞれ重複度を含めて数えたもので、通常、(p, q, r) の形で表現されます。ここで、pは正の固有値の個数、qは負の固有値の個数、rは零の固有値の個数を示します。

符号数は、特定の基底を用いて表現したときに得られる同伴実対称行列や計量テンソルによって定義されます。シルヴェスターの慣性法則により、符号数は基底の選び方に依存せず、計量を固有に分類するための強力な手段となります。

定値性と非退化の概念

符号数において特に重要なのは、特定の条件下で計量が持つ性質です。例えば、pとrが0であるとき、計量は正定値または正の定符号を持つと呼ばれます。また、pが0でrが非零の場合は負定値を示すような計量になります。リーマン計量やローレンツ計量は、それぞれ特有の符号数を持つ代表例です。

一方、非退化（r=0）の計量においては、符号数はしばしば整数の対(p, q)として簡潔に書かれることがあります。この際、文献によっては pとqの差 s = p − qを符号数と見なすこともあります。これにより、次元nが与えられる場合、sから(p, q)を復元することが可能です。

符号数の性質とシルヴェスターの慣性法則

符号数は固有値の性質から、次元nとの関係が明確です。具体的には実対称行列は常に対角化可能でn個の実固有値を持つため、p + q + r = nの関係式が成り立ちます。

シルヴェスターの慣性法則は、実対称双線型形式としての内積の符号数が基底の選びに依存しないことを示しています。この法則により、計量gが符号数(p, q, r)を持つとき、特定の基底が必ず存在し、等長同型の必要条件は符号数が等しいことが保証されます。

幾何学的解釈

各符号数の成分は幾何的にも解釈可能です。pは正定値となる部分線型空間の次元の最大値、qは負定値となる部分線型空間の最大値、そしてrは同伴行列の核空間の次元を示します。このように、特に非退化な計量では符号数は(p, q, 0)となり、p + q = nを満たします。

例としては、n × nの単位行列の符号数は(n, 0, 0)であり、対角行列の符号数はその主対角要素の符号の数を示します。例えば行列

$$
\begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}
$$

や

$$
\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}
$$

は、いずれも符号数(1, 1, 0)を持ち、これはシルヴェスターの慣性法則によって合同であることを示しています。

内積と符号数

標準内積の符号数は(n, 0, 0)であり、これは正定符号の条件を満たす内積の必要十分条件です。負の定符号内積は(0, n, 0)の符号数を持ちます。一方、ミンコフスキー空間では、符号数(3, 1, 0)の内積が特徴的で、これは時間的・空間的な性質を反映しています。

計算手法

符号数の計算は、固有値を求めることや、対称行列の主小行列式を検証する方法などいくつか存在します。物理学分野では、符号数の性質が時空のモデルに応用され、理論的な枠組みの中で重要な役割を果たします。

まとめ

符号数は、線型代数学における計量の分類や性質の理解に不可欠な概念であり、数学的思考だけでなく物理学においても重要性を持つテーマです。

もう一度検索