Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I read in a paper (Kingman — Poisson Processes, 2005) that:

In most cases the mean [of an inhomogenous Poisson process on a set $A$] is given in terms of the rate function $\lambda(x)$ on $S$ by

\begin{align} \mu(A) &= \int_A \lambda(x)dx\qquad\textrm{for }A > \subseteq S \end{align}

but it can be a general (nonatomic) measure on $S$.

I know this is a silly question, but what kinds of nonatomic measures cannot be expressed as in the equation?

share|cite|improve this question
up vote 3 down vote accepted

The Cantor set has Lebesgue measure zero, so it is enough to find an atomless measure that puts positive measure on the Cantor set and nowhere else. Now one can identify the Cantor set with the space $\{0,1\}^\mathbb{N}$ in a measurably isomorphic way and the latter space can be endowed with the coin flipping probability measure.

share|cite|improve this answer
Thanks! (Now, I wonder if there are any real-world Poisson processes whose intensity varies as the cantor set ;) ) – Neil G Jul 13 '12 at 9:46

Here's a "terminological" answer with no actual content. See also this question, whose answers subsume both Michael Greinecker's and mine.

A measure $\tilde{\nu}$ is absolutely continuous with respect to another measure $\nu$ if it doesn't assign positive measure to any set which $\nu$ says has measure zero.

The Radon-Nikodym theorem says that if $\tilde{\nu}$ is absolutely continuous with respect to $\nu$, and both have finite total measure, then $\tilde{\nu}$ can be expressed in terms of $\nu$ in the way you describe: $$\tilde{\nu}(A) = \int_A \lambda\;d\nu$$ for some measurable function $\lambda$. On the other hand, if $\tilde{\nu}$ isn't absolutely continuous with respect to $\nu$, it's clear that $\tilde{\nu}$ can't be expressed in this way.

So, the measures which can't be expressed in terms in the way you describe are precisely the ones which are not absolutely continuous with respect to whatever measure $dx$ means.

Michael Greinecker's answer gives an excellent example of a non-atomic measure on $[0, 1]$ which is not absolutely continuous with respect to the Lebesgue measure.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.