4
$\begingroup$

I've seen "the Pacman lemma" mentioned in the context of reduction orderings on logical terms, but a Google search doesn't find a definition; what exactly is it? Closest a search found was a "Pacman rule" in the context of calculus; is that the same thing?

1 Answers 1

5

Lemma. : Let $(X,\mathcal{S})$ be a measurable space, $\nu$ a signed measure. Suppose we have a subset $E \in \mathcal{S}$ and $0 < \nu(E) < \infty$ . Then, there exists a positive set $P \subset E$ such that $\nu(P) > 0$.

I found it here:

  • 2
    @ShreevatsaR: I guess it's in the proof. Eat all the really big negative subsets (nuggets) and whatever remains, as improbable as it seems, must be positive. Elementary, dear Watson!2011-05-25