This writeup talks about percolation, so it might help to skip through that node first. And it proves something that critical percolation alludes to, so you might want to read that node after.

Consider the setting of percolation on a connected infinite transitive graph G=(V,E). The real function θ(p):[0,1]→[0,1] is the probability for any given vertex of the graph to be a member of an infinite connected open cluster, when edges are open with probability p. (The same argument works in the dual case, for edge percolation, when vertices are open with probability p.)

The claim we wish to prove is that if p≤q, then θ(p)≤θ(q) -- increasing the probability that an edge is open will not decrease the probability of finding an infinite cluster. This is intuitively obvious: it feels like we only open more edges at q than we do at p, so naturally clusters can only grow.

Unfortunately the proof is a bit more involved. The problem is that the probability space Ω_{p} for percolation on G with edges open with probability p is a *different* probability space than Ω_{q}, the one for percolation on G with edges open with probability q. It is not clear how to transfer events from one probability space to another.

**Coupling** is a technique that can help. We will find a probability space Ω with two probability-preserving transformations

Φ_{p}: Ω → Ω_{p}

Φ_{q}: Ω → Ω_{q}

(i.e.,

preimages under the transformation have the same probability: if P is probability on Ω, then for any event A⊆Ω

_{p}, P(Φ

_{p}^{-1}(A)) = P

_{p}(A)). This will connect Ω

_{p} with Ω

_{q}.

We will show that the event "v∈V has an infinite open connected cluster" in Ω_{p}:

C_{p}={ω∈Ω_{p}: the connected open component of v in ω is infinite}

has smaller probability that the corresponding event C

_{q} in Ω

_{q}, by realising that

Φ_{p}^{-1}(C_{p}) ⊆ Φ_{q}^{-1}(C_{q}).

The larger coupling space Ω will be the space of IID random variables {x_{e}}_{e∈E} that are uniformly distributed on [0,1]. A mapping Ω→Ω_{p} must give a 0/1 value to each edge; we define

Φ_{p}(e) = 0 [e is closed], if x_{e} > p;

Φ_{p}(e) = 1 [e is open], if x_{e} ≤ p;

In other words: We assign a random number 0≤x

_{e}≤1 to each edge e. We transform this assignment into percolation with probability p by considering an edge

*open* in Ω

_{p} if the random value assigned to in Ω is between 0 and p.

Obviously this describes percolation on Ω_{p}. Equally obvious, this is a measure-preserving transformation.
By the coupling argument presented above, the intuitively obvious -- that the percolation probability increases with the edge probability -- is proved.