Products of Lower Densities

We prove the existence of product-lower densities for products of arbitrary families of (possibly incomplete) probability spaces, thus generalizing the corresponding results for finite products. The proofs are based on permanence results for lower densities under projective limits of probability spaces. Relying on work of Grekas we discuss in particular Haar measures on compact groups.