Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/ib/paper-1/12f/ii/solution

If were not continuous at , there would be and with . A compact metric space is sequentially compact, so some subsequence converges to . The closed graph then contains its product limit , forcing , contrary to the lower bound. Thus is continuous, the compact-codomain form of the closed graph theorem for compact spaces.

New to topics? Read the docs here!