Solution

ID: past-exam-of-the-analysis-course-of-the-university-of-oxford/2008/a/1/solution

If is Cauchy in the maximum norm on , every coordinate is Cauchy in and has a limit . Given , for sufficiently large every coordinate difference is at most . Letting gives . Thus with its maximum norm is complete.
Let . The triangle inequality gives
Take . This estimate also makes continuous on the maximum-norm unit sphere, which is compact by coordinatewise Bolzano-Weierstrass. Linear independence makes this function strictly positive there, so its minimum is positive. Homogeneity then gives
A Cauchy sequence in consequently has Cauchy coordinate vectors in . Their coordinate limit maps by the upper estimate to a limit in . Therefore every finite-dimensional normed complex space is a Banach space.

New to topics? Read the docs here!