Infinite products of infinite measures (Q2567493)

The authors prove the following product theorem for regular Borel measure spaces that need not be finite. Let \((X_i , B_i, m_i) (i\in \mathbb{N})\) be a sequence of regular Borel measure spaces, where each \(X_i\) is a Hausdorff topological space. Then there exists on the product space \(X := \prod_i X_i\) with the product topology a Borel measure \(\mu\) such that if for all \(i, K_i, \subseteq X_i\) is compact and \(\prod_i m_i (K_i)\) converges, then \(\mu (\prod_i K_i) = \prod_i m_i (K_i)\). This generalizes a result of \textit{R.~Baker} who proved it for the case that for all \(i\), \(X_i = \mathbb{R}\) and \(m_i\) is the Lebesgue measure [Proc. Am. Math. Soc. 113, No. 4, 1023--1029 (1991; Zbl 0741.28009)]. For the proof, the authors use a new nonstandard analysis technique by using a nonstandard measure to ``control'' the family of measures \(\{ m_i : i \in \mathbb{N}\}\).