Exponential void probabilities forbid fixed atoms
ID: exponential-void-probabilities-forbid-fixed-atoms
If bounded intervals have void probabilities for Lebesgue measure , a fixed deterministic point has zero chance of being an atom. Surround it by intervals of lengths tending to zero and use . This holds for each fixed endpoint, not simultaneously for all real points of a nonempty point process.
New to topics? Read the docs here!