INFINITE PRODUCTS OF INFINITE MEASURES

摘要

Let (X_i, B_i, m_i) (i ε N) be a sequence of regular Borel measure spaces. There is a Borel measure μ on Π_(iεN) X_i such that if K_i is contained in X_i is compact for all i ε N and Π_(iεN) m_i(K_i) converges, then μ(Π_(iεN)K_i) = Π_(i臢) m_i(K_i).