A general central limit theorem for FKG systems

A central limit theorem is given which is applicable to (not necessarily monotonic) functions of random variables satisfying the FKG inequalities. One consequence is convergence of the block spin scaling limit for the magnetization and energy densities (jointly) to the infinite temperature fixed point of independent Gaussian blocks for a large class of Ising ferromagnets whenever the susceptibility is finite. Another consequence is a central limit theorem for the density of the surface of the infinite cluster in percolation models.