Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-204/3/c/solution

Use the probability space with the product measure of the uniform distribution on . Its coordinate random variables are independent and identically distributed random variables. Define simultaneously for every parameter
For , the indicator function inequality holds pointwise at every graph vertex. For fixed , each coordinate has the Bernoulli distribution with parameter , and the coordinates are independent because they are functions of distinct independent . Thus every marginal configuration is exactly the required site percolation model. This is a continuum-indexed family of processes, all on one probability space, and is the standard monotone coupling of Bernoulli percolation.

New to topics? Read the docs here!