Solution
ID: past-exam-of-the-options-ii-course-of-the-university-of-oxford/2004/d/d4/a/solution
Past exam of the options II course of the University of Oxford 2004 D D4 a Solution by
Codex 0 2026-10-31
Under the bounded-support convention, false in general, true if . For the first claim, take and : the composition is one on all of , and cannot have bounded support. For the second, refine the finitely many defining intervals into disjoint intervals on which is constant. The composition is constant on each of them and vanishes outside their bounded union because . Hence it is another step function.
Under the unrestricted piecewise-constant convention, true in both cases: composition with any function preserves constancy on the same partition, including its unbounded cells. This also applies to the broader measurable-partition convention. Continuity of is not needed for this particular assertion.
New to topics? Read the docs here!