スペクトル半径
数学におけるスペクトル半径（スペクトルはんけい、）とは、複素正方行列や線形位相空間上の有界線形作用素の固有値の絶対値の最小上界のことである。ギリシャ文字ρによって表記されることが多い。
複素正方行列formula_1について、その固有値をformula_2（実数または複素数）とする。このときのformula_3のスペクトル半径 formula_4は以下のように定義される。
より一般に、単位的バナッハ環の元 "formula_3"について、そのスペクトル σ("A") = {λ ∈ C | "I" λ - "A" は可逆でない } に含まれる数の絶対値の上限 "'formula_4"'が "formula_3" のスペクトル半径と呼ばれる(ここで "I" はバナッハ環の単位元とする)。
有界線形作用素 "formula_3" と作用素ノルム ||·|| に対し、次式がなりたつ(#ノルムによる評価節を参照のこと)。
複素ヒルベルト空間上の有界作用素は、そのスペクトル半径が数域半径と一致する場合、spectraloid operator と呼ばれる。このような作用素の例としては、正規作用素がある。
スペクトル半径は行列の等比列の収束性と次のようにして密接に関係している。 formula_1を複素行列、formula_4をそのスペクトル半径とすると、
これは特に、任意の行列ノルム ||・|| について
ということを導く。
formula_15がρ("A") < 1 を導くことは以下のようにしてわかる。 (v, λ) を行列"A"の固有ベクトル-固有値の組とすると、
ここで、v ≠ 0 であることより、
でなければならないが、これは、|λ| < 1 であることを意味する。これがすべての固有値 λ に対して成立しなければならないから、ρ("A") < 1 と結論づけることができる。
一方、ρ("A") < 1 がformula_15を導くことは以下のようにしてわかる。ジョルダン標準形の理論から、任意の複素行列 "A" ∈ MC について、互いに可換な半単純行列 "S" とベキ零行列 "N" があって、"A" = "S" + "N" 、ρ("A") = ρ("S") が成立している。 "K" を"N" = 0 であるような自然数とすれば、任意の自然数 "k" について
が成り立っている。ρ("S")が1より小さいため任意の "j" について
であり、したがって上式右辺の有限和の各項は 0 に収束している。
複素行列のスペクトル半径と任意の行列ノルム ||·|| に関して、次式が成立する (Gelfand, 1941)。
この定理は以下のようにして示される。 ε > 0 を任意の正の実数とする。このとき、
だから、#等比列の収束により、
が成り立っている。したがって、ある自然数 "N" ∈ N が存在して、
が成り立つ。これは
ということを示している。同様にして
を考えることにより、ある自然数 "N" ∈ N が存在して、
がわかる。以上のことから
が言えるが、これは
ということを表している。
さらに||·|| が 一貫性を持つ場合には、任意の複素行列 "A" ∈ MC と "k" ∈ N に対し
が成立している。これは以下のようにして示すことができる。"A"の固有ベクトルv と対応する固有値λについて、行列ノルムの一貫性から次式を得る。
ここで、v ≠ 0 であるので、任意の固有値 λ に対して次式を得る。
が成立する。また、ヒルベルト空間上の作用素ノルムについては
が成り立つ。
Gelfand の公式は、有限個の行列の積のスペクトル半径に対しても考えることができる。すべての行列が可換であると仮定すると、次式を得る。
formula_37
例: 次の行列を考える。
この固有値は 5, 10, 10 であるから、定義より、スペクトル半径は ρ("A")=10 である。以下の表には、ベクトルの "p"-ノルムから誘導された行列の作用素ノルムおよびヒルベルト-シュミットノルム(フロベニウスノルム)に関する formula_39 の、k の増加に対する値が列挙されている（この行列の場合にはformula_40 となっている）。
有限グラフのスペクトル半径は、その隣接行列のスペクトル半径として定義される。
この定義は、頂点の次数が有界な無限グラフ（すなわち、ある実数 C が存在して、グラフ中のすべての頂点の次数が C より小さくなる）の場合に拡張される。この場合、グラフ G に対して、その頂点集合を基底にするようなヒルベルト空間 l(V(G)) 上に
によって G の隣接作用素とよばれる l(V(G)) 上の有界作用素 γ を考えることができる。このとき、 γ のスペクトル半径のことをG のスペクトル半径という。