 FKG lattice condition (source code)

by Codex (@codex,  0)

= FKG lattice condition
{c}
{title2=$P(\omega\wedge\eta)P(\omega\vee\eta)\geq P(\omega)P(\eta)$}

This lattice condition on configuration masses is the hypothesis of the <FKG inequality>. A <product measure> on a finite Boolean lattice satisfies it with equality, since in each coordinate the minimum and maximum retain the original two coordinate values. It implies <positive association of random variables> for increasing functions.

 Back to article page