Skip to main content
1 of 2
François G. Dorais
  • 44.4k
  • 6
  • 150
  • 233

Yes. Let $M$ be the space of all measures on $B$. This is a compact space when endowed with with the pointwise convergence topology since it is a closed subspace of $[0,1]^B$. If $b$ is a nonzero element of $B$, then the set $U_b = \lbrace m \in M : m(b) \gt 0 \rbrace$ is open and dense in $M$. By the Baire Category Theorem, the intersection of all these sets is nonempty.

François G. Dorais
  • 44.4k
  • 6
  • 150
  • 233