Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/iii/paper-26/2/b/solution

The contraction principle for large deviations says that if has a large deviation principle in with good rate function , and is a continuous map between Hausdorff spaces, then has the same large-deviation speed and good rate function
For an open set , its inverse image is open, so the input lower bound gives
For a closed set , its inverse image is closed, giving the corresponding upper bound with .
It remains to prove goodness, including the endpoint issue in the infimum. Each fibre is closed. If , compact sublevel sets and lower semicontinuity make attain its infimum on that fibre: intersect it with the compact set and use the closed nested sublevels tending down to . Hence for each finite ,
The right-hand side is compact, being a continuous image of a compact set, and is closed because the target is Hausdorff. Thus is lower semicontinuous and good, completing the proof.

New to topics? Read the docs here!