Solution

ID: past-exam-of-the-functional-analysis-and-banach-and-c-algebras-course-of-the-university-of-oxford/2007/a/4/iv/solution

Suppose are compact and . For any take with . A finite -net of of the unit ball is then a finite -net of its image. That image is totally bounded, so is compact by the stated criterion. Hence is norm closed in .

New to topics? Read the docs here!