コンパクト作用素
数学の一分野函数解析学においてコンパクト作用素（コンパクトさようそ、英語: compact operator）とは、バナッハ空間 X から別のバナッハ空間 Y への線型作用素 L であって、X の任意の有界集合を Y の相対コンパクト集合へ写すようなもののことを言う。このような作用素は有界作用素、つまり連続写像でなければならない。
有界作用素 L で階数が有限なものは全てコンパクト作用素である。実際、無限次元空間上のコンパクト作用素のクラスは階数有限な作用素のクラスの自然な一般化である。X = Y がヒルベルト空間であるとき、任意のコンパクト作用素は有限階作用素の極限として得られる。したがってコンパクト作用素のクラスを有限階作用素のクラスの作用素ノルムに関する閉包として定義することもできる。このこと（近似特性 AP）が一般のバナッハ空間においても正しいかどうかということは長年未解決の問題であったが、エンフロによって反例が与えられ否定的に解決された。
コンパクト作用素の理論の始まりは、積分方程式の理論の中にあり、そこでは積分作用素がそのような作用素の具体的な例を与える。典型的なフレドホルム方程式は函数空間上のコンパクト作用素 K を生じ、このときのコンパクト性は同程度連続性によって示される。有限階作用素による近似法はそのような方程式の数値解法の基礎である。抽象的なフレドホルム作用素の概念はこの関連性からくるものである。
積分方程式論
コンパクト作用素の重要な性質に (λK + I)u = f の形の線型方程式の解の存在性が有限次元の場合におけると同様に振舞うことを主張するフレドホルムの交代定理がある。これによりフリジェシュ・リース (1918) によるコンパクト作用素のスペクトル理論が従う。これによれば、無限次元バナッハ空間上のコンパクト作用素 K は、0 を含む C の有限部分集合かあるいは集積点のみからなる C の可算無限集合のいずれかをスペクトル集合に持つことが示される。さらにいえば、いずれの場合においてもスペクトル集合の非零元は K の重複度有限なる固有値である（つまり、任意の複素数 λ ≠ 0 について K − λI の核は有限次元）。
コンパクト作用素の重要な例に、ゴルディング不等式とラックス-ミルグラムの定理に並ぶソボレフ空間のコンパクト埋め込みがあり、楕円型境界値問題をフレドホルム積分方程式に読み替えることができて、そのときに解の存在性とスペクトル特性はコンパクト作用素の理論から従う。特に、有界領域上の楕円型境界値問題は無限に多くの孤立した固有値を持つ。ひとつの帰結として、剛体は固有値によって与えられる孤立した周波数でのみ振動し、任意に高い振動周波数が常に存在することがわかる。
バナッハ空間からそれ自身へのコンパクト作用素全体は、その空間上の有界作用素全体の成す多元環の両側イデアルを成す。実際、ヒルベルト空間上のコンパクト作用素全体は極大イデアルを成し、それによる商多元環（カルキン代数と呼ばれる）は単純環である。
ヒルベルト空間上のコンパクト作用素
ヒルベルト空間上のコンパクト作用素を次のように定義することもできる。ヒルベルト空間 H 上の作用素 T: H → H がコンパクトであるとは T が
T = \sum_{n=1}^N \lambda_n \langle f_n, \bullet \rangle g_n
の形に表せることをいう。ここで、1 ≤ N ≤ ∞ であり、f₁, ..., fN および g₁, ..., , gN は（必ずしも完全でない）正規直交系とする。このとき、λ₁, ..., λN はその作用素の特異値と呼ばれる正数列である。特異値は 0 においてのみ集積することができる。また、括弧 <•, •> はヒルベルト空間上の内積で、右辺の和は作用素ノルムに関して収束する。
コンパクト作用素のクラスの重要な部分類にトレース類や核作用素のクラスがある。
完全連続作用素
X, Y をバナッハ空間とする。有界線型作用素 T: X → Y が完全連続 (completely continuous) であるとは、X からの任意の弱収束列 (xₙ) に対し、列 (Txₙ) が Y においてノルム収束するときにいう(Conway 1985, §VI.3)。バナッハ空間上のコンパクト作用素はつねに完全連続である。逆に、X が回帰的バナッハ空間（反射的バナッハ空間とも）であるならば任意の完全連続作用素 T: X → Y がコンパクトになる。