Norm-closedness of compact operators
= Norm-closedness of compact operators
An <operator norm> limit of compact operators between <Banach spaces> is compact. Approximate the image of the unit ball by the image under one compact operator and transfer a finite epsilon-net across the small operator-norm error.