Norm-closedness of compact operators
ID: 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.
New to topics? Read the docs here!