La X og Y være normerte rom. En lineærtransformasjon er kompakt dersom for enhver begrenset følge i X, inneholder følgen i Y en konvergent delfølge.