This paper raises the following question: let {Φn(A), A ⊂ ℝd} be a Poisson process with intensity nf(x), x ∈ ℝd and let c(Xi | Φn) be a Voronoi tile with nucleus Xi (a jump point of Φn). Let μ(.) denote Lebesgue measure in ℝd. Is it true that, for any bounded measurable subset B of ℝd, ∑Xi∈Bμ(c(Xi| Φn)) → μ(B) almost surely as n → ∞ only if f > 0 almost everywhere? This statement can be viewed as the strong law of large numbers for Voronoi tessellation. Though the positive answer may seem ‘obvious’, we could not find any such statement, especially for arbitrary measurable B and nonhomogeneous Poisson processes. For B with the boundary of Lebesgue measure 0 the proof is simple. We prove in this paper that the statement is true for ℝ1.
