Every monotone graph property has a sharp threshold

In their seminal work which initiated random graph theory Erdös and Rényi discovered that many graph properties have sharp thresholds as the number of vertices tends to infinity. We prove a conjecture of Linial that every monotone graph property has a sharp threshold. This follows from the following theorem. Let V n ( p ) = { 0 , 1 } n V_n(p)= \{0,1\}^n denote the Hamming space endowed with the probability measure μ p μ _p defined by μ p ( ϵ 1 , ϵ 2 , … , ϵ n ) = p k ⋅ ( 1 − p ) n − k μ _p (ε _1, ε _2, , ε _n)= p^k · (1-p)ⁿ⁻ᵏ , where k = ϵ 1 + ϵ 2 + ⋯ + ϵ n k=ε _1 +ε _2 +⋯ +ε _n . Let A A be a monotone subset of V n V_n . We say that A A is symmetric if there is a transitive permutation group Γ Γ