[PDF] Compactness, Fredholm Alternative and Spectrum I. Compactness