巴拿赫空间
在数学分支泛函分析中，一个紧算子()是从巴拿赫空间"X"到另一个巴拿赫空间"Y"的线性算子"L"，使得在"L"的作用下"X"的任意有界子集的的像集是"Y"的相对紧子集。这样的算子必然是有界算子，因此是连续的。