MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 Fix TeX issue

See discussion of "weak convergence" or "narrow convergence" of measures. Let $\mu_n$ be the measure with mass $1/n$ at each of $x_1,\dots,x_n$. Your condition B is what can be taken as the definition for: $\mu_n$ converges narrowly to $\mu$. The equivalent condition in terms of open sets is not your condition A, but rather $$ \mu(O) \le \liminf_{N \to \infty} \frac{#(O,N)}{N} frac{\#(O,N)}{N} $$ for all open sets $O$.

Reference: Gilman & Jerison, Rings of Continuous Functions.

show/hide this revision's text 1

See discussion of "weak convergence" or "narrow convergence" of measures. Let $\mu_n$ be the measure with mass $1/n$ at each of $x_1,\dots,x_n$. Your condition B is what can be taken as the definition for: $\mu_n$ converges narrowly to $\mu$. The equivalent condition in terms of open sets is not your condition A, but rather $$ \mu(O) \le \liminf_{N \to \infty} \frac{#(O,N)}{N} $$ for all open sets $O$.

Reference: Gilman & Jerison, Rings of Continuous Functions.