有限階作用素

数学の一分野である函数解析学における有限階作用素（ゆうげんかいさようそ、）とは、値域が有限次元であるようなバナッハ空間の間の有界線型作用素のことをいう。
ヒルベルト空間上の有限階作用素.
標準形.
有限階作用素は、無限次元の状況で扱われる（有限サイズの）行列である。したがってそれらの作用素は線型代数学の手法によって表現できる。
線型代数学における結果より次が分かる： 複素数成分の長方形行列 が であるための必要十分条件は、 が formula_1 の形に表わされることである。全く同様の議論で、ヒルベルト空間 上の作用素 の であるための必要十分条件は、formula_2 であることが分かる。ここで に対する条件は有限次元の場合と同じである。
したがって、帰納的に、有限 の作用素は次の形を持つ： formula_3
ここで は正規直交基底である。これは本質的に特異値分解の言い換えであることに注意されたい。この形を、有限階作用素の標準形（canonical form）という。
わずかに一般化し、可算無限個の と にのみ集積する正の数列 を考えるとき、 はコンパクト作用素となり、コンパクト作用素に対する標準形が得られる。
級数 が収束するなら、 はトレースクラス作用素である。
代数的性質.
ヒルベルト空間 上の有限階作用素 "F"("H") の族は、 上の有界作用素の多元環 における両側 を形成する。実際、それはそのようなイデアルの間の極小元である。すなわち、 内の任意の両側 は有限階作用素を含む必要がある。これを証明するのは難しくない。ゼロでない作用素 を取ると、ある に対して が成り立つ。このとき任意の に対して、 に属する から への の作用素 の存在を示せば十分である。 から への の作用素 を定義し、また同様に を定義する。このとき formula_4 が成り立つが、これは が に属することを意味し、主張は示される。
 内の両側 の例として、トレースクラス、ヒルベルト＝シュミット作用素、コンパクト作用素などがある。 はこれらの三つのイデアルのすべてにおいて、各ノルムについて稠密である。
 内の任意の両側イデアルは を必ず含むため。多元環 が単純であるための必要十分条件は、それが有限次元であることである。
バナッハ空間上の有限階作用素.
バナッハ空間の間の有限階作用素 formula_5 は、値域が有限次元の有界作用素である。ヒルベルト空間の場合と同様に、それは次のように表すことが出来る：
ここで formula_7 と formula_8 は空間 上の有界線型汎函数である。有界線型汎函数は、有限階作用素の特別な場合、すなわち の場合である。