階数・退化次数の定理

数学の線型代数学の分野における階数・退化次数の定理（かいすう・たいかじすうのていり、）とは、最も簡単な場合、ある行列の階数 (rank) と退化次数 (nullity) の和は、その行列の列の数に等しいということを述べた定理である。次元定理とも呼ばれる。
行列.
 がある体上の 行列（行の数が で、列の数が ）であるなら、
が成立する。
線型写像.
この定理は線型写像に対しても同様に適用される。 と をある体上のベクトル空間とし、 をある線型写像とする。このとき、 の階数は の像の次元であり、 の退化次数は の核の次元である。したがって、
が成立する。あるいは、同値であるが
が成立する。これは実際、 と が無限次元であることも許しているため、前述の行列の場合よりもより一般的な定理となっている。
この定理の内容は、あるいは後述の証明を用いることで、次元のみならず、空間の間の同型写像に関する内容へと精練することができる。
より一般的に、線型代数学の基本定理によって関連付けられる像、核、余像、余核について考えることができる。
証明.
ここでは2つの証明を与える。初めの証明では、線型写像のための用語・記号を用いるが、（ は 行列）とすることにより、行列の場合にも示されることが分かる。2番目の証明では、階数が のある 行列 に関する同次系について考え、 の零空間を張る 個の線型独立な解が存在することを陽的に示す。
第一の証明.
} を の基底とする。この基底を の基底に拡張して } となるとする。 の次元は であり、 の次元は であるため、 の次元が であることを示せば十分である。
} が の基底であることを示す。 内の任意のベクトル に対して、以下を満たすスカラーが一意に存在する：
したがって、} は の生成系であることが分かる。
あとは、} が線型独立であることを示せばよい。今
とする。
より
すると、} は を張るから、
とスカラー で表せる。しかし、} は の基底であるから、線形結合の表示は一意であり、ゆえに、全ての および はゼロに等しい。したがって、} は線型独立であり、 の基底である。このことから、 の次元は であることが分かり、目標は達成された。
より抽象的な言い方をすると、写像 は分裂する。
第二の証明.
 を、 個の線型独立な列を含む 行列とする（すなわち、 の階数は である）。以下では次を示す：
すなわち言い換えると、列ベクトルが の零空間の基底を形成する、ある 行列 を、以下では作る。
一般性を失うことなく、 の初めの 個の列が線型独立であると仮定できる。すると、 個の線型独立な列ベクトルを含むある 行列の と、 個の各列が の列ベクトルの線型結合で与えられるある 行列の を用いて、 と書くことができる。このことは、ある 行列 に対して が成立することを意味し（階数因数分解を参照）、したがって である。
 次単位行列 に対し、
とする。この は
を満たす 行列であることに注意されたい。したがって、 の 個の各列は、 の特殊解である。さらに、以下に示すように であれば であることから、 の 個の列は線型独立である：
したがって、 の列ベクトルは に対する 個の線型独立な解の集合を構成する。
続いて、 の解はどのようなものでも の列ベクトルの線型結合で表現されることを示す。このことを示すために、 を満たす任意のベクトル
を定める。 の列ベクトルは線型独立であることにより、 であれば が成立することに注意されたい。したがって、
が成立する。これより、 の解であるような任意のベクトル は、 の列ベクトルで与えられる 個の特殊解の線型結合でなければならない、ということが証明される。さらにすでに、 の列ベクトルは線型独立であることが分かっている。したがって、 の列ベクトルは の零空間の基底を形成する。すると、 の退化次数は である。 は の階数に等しいために、 が成立する。QED.
再定式化と一般化.
階数・退化次数の定理は、代数学の第一同型定理のベクトル空間の場合に対する内容の一つである。へと一般化される。
より現代的な言葉を用いると、この定理はまた次のように記述することができる：
をベクトル空間の短完全系列とすると、
が成立する。ここで は の役割を担い、 は である。すなわち、
である。
有限次元の場合、この定式化は一般化しやすいものとなる：
が有限次元ベクトル空間の完全系列であるなら、
が成立する。
有限次元ベクトル空間に対する階数・退化次数の定理は、線型写像の「指数」(index) を用いて定式化することもできる。有限次元の および に対し、ある線型写像 の指数は
で定義される。直感的に、 は方程式 を満たす線型独立な解 の個数であり、 は を解くことができるように について課すべき独立な制限の個数である。有限次元ベクトル空間に対する階数・退化次数の定理は、次の式と同値である：
考えている空間における線型写像 の指数は、 について詳細な解析を行うことなく読み取ることができるということが分かっている。この影響は、より深い結果に対しても同様に現れる：アティヤ＝シンガーの指数定理によると、ある微分作用素の指数はその考えている空間の幾何によって読み取ることができるとされている。