# What makes compact operators special?

I would like to understand why compact operators are considered so special to consider them as an extra class of operators.

Over Hilbert spaces these (as far as I know) these are the ones with separable range - limits of finite rank operators. However in general Banach spaces this is not what makes a bounded operator compact. So I'm still wondering what the crucial point is to consider compact operators (something like "bounded operators are precisely the continuous ones and moreover turns the class of bounded operators into a banach space itself").

Does somebody have a good solid reasoning (some theorem characterizing compact operator)? Everything welcome of course =)

• Well, compact operators can be approximated by finite rank operators. – user40276 May 31 '14 at 20:24
• @user40276: Not in general (only in special situations)!!! – C-Star-W-Star May 31 '14 at 20:27
• Well, as far as I know, compact operators started to be studied by considering those Hilbert-Schimidit integral operators. – user40276 May 31 '14 at 20:33
• In response to your "only in special situations": compact operators can be approximated by finite rank operators on any Banach space with the approximation property. This includes all Banach spaces with a Schauder basis and thus the earliest and most influential examples of Banach spaces. Until Enflo came up with a counterexample in 1973, it was conceivable that every Banach space has the approximation property and thus might have seemed plausible that the compact operators were exactly the closure of the finite-rank operators. – Tom Cooney May 31 '14 at 20:43
• Thats what I mean: There is Banach spaces which do not possess the approximation property. But your right: The idea that compact operators are precisely the limits of finite rank operators seems to be central for considering compact operators, or? What do u think? – C-Star-W-Star May 31 '14 at 20:50

Differential operators are badly discontinuous in general, and not defined for all functions. This was recognized as a problem early in the study of PDEs of classical Math/Physics. However, it was found that the inverse problems written as Fredholm integral equations gave rise to operators that are very continuous, and, in modern terms, often compact. This has to do with the Arzela-Ascoli Theorem for equicontinuous families of functions, which goes back to around 1880. Integral operators, such as the Poisson integral, etc., and resolvents for $PDE's$, often map bounded sequences to equicontinuous sequences (which have convergent subsequences.)