Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 13E Solution Created 2026-09-24 Updated 2026-10-14
A subset is an open set when every has some radius for which . If a continuous function takes only the values zero and one, continuity at with tolerance gives a neighborhood on which . The two possible values differ by one, so throughout that neighborhood. Thus is locally constant, and the zero linear map is its derivative, since the difference is exactly zero for all sufficiently small . Hence everywhere.
For the bound on , parametrize the segment by , . The chain rule givesby the definition of operator norm. The mean value theorem applied to the real function provesIf the endpoints agree the estimate is immediate. No continuity of the derivative is required.
For the finite-line complement, each removed line is closed, so is open. Because , there is a unique affine plane containing and , and a unique affine plane containing and . Choose outside the union of these finitely many planes, using the permitted fact about finite plane covers. In particular . If met at a point , then , and the line through lies in . Since is on that same line, it would belong to , a contradiction. The same argument using applies to . Thus and can be joined in by these two segments, proving polygonal connectivity of a finite-line complement.
Finally a continuous has zero derivative by the first argument. Apply the proved segment estimate with separately on and . It gives . Since were arbitrary, is constant on .