Reference measure for real fields [fdip-003U]

The 4 real field values on the four-cycle range over an infinite configuration space. Before weighting configurations by an action, a reference volume must specify how they are counted. The counting-coordinate measure assigns volume one to the box in which each field value lies between zero and one, independently of the edge weights and mass. It gives infinite volume to the whole space.

The real field topology and its Borel sets make coordinate maps measurable. Reindexing and splitting preserve product volume, while linear changes require a Jacobian. A subspace's induced volume supplies its own reference measure. These conventions determine the integrals defining positive Gaussian laws and constrained massless laws.