Loeb measure, finitely additive measures, and a theorem of Banach (Q1017935)

The Loeb measure construction from nonstandard analysis is used to prove two theorems in standard measure theory. One is Banach's theorem: Let \(X\) be a set, \(B(X)\) be all bounded real functions on \(X\), and \(\{f_n: n\in\mathbb{N}\}\) be a uniformly bounded sequence. The following are equivalent: (i) \(\{f_n\}_n\) converges weakly to \(0\); (ii) for any sequence \(\{x_k: k\in\mathbb{N}\}\) in \(X\), \[ \lim_{n\to\infty}\, \liminf_{k\to \infty} f_n(x_k)= 0. \]