Skip to main content
2 of 2
added 7 characters in body
Ramiro de la Vega
  • 11.5k
  • 1
  • 45
  • 56

The following is a (corollary of a) theorem of Sierpinskii from 1933:

If $\mu:\mathcal{P}(\Omega) \to [0,1]$ is a probability measure and $|\Omega|$ is smaller than the first weakly-inaccessible cardinal, then there must be a countable $A \subseteq \Omega$ such that $\mu(A)=1$.

Ramiro de la Vega
  • 11.5k
  • 1
  • 45
  • 56