コンパクト作用素

数学の一分野函数解析学においてコンパクト作用素（コンパクトさようそ、英語: compact operator）とは、バナッハ空間 X から別のバナッハ空間 Y への線型作用素 L であって、X の任意の有界集合を Y の相対コンパクト集合へ写すようなもののことを言う。このような作用素は有界作用素、つまり連続写像でなければならない。