Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/iii/paper-35/2/c/ii/solution

Put and . Both events consist of loops surrounding ; lies in the disc of radius , so its loops remain in . Translation invariance and the pointed representation imply
Since , cancel it. Outer boundaries commute with translation, and is exactly . Hence
The half-disc condition ensures that translating a relevant filled Brownian trace still lies inside the original unit-disc cutoff. This proves the asserted event identity; it does not claim translation invariance of the entire measure rooted at .

New to topics? Read the docs here!