Bài tập 16, § 3

Cho $I$ là một tập hợp đếm được, và $(T_i)_{i \in I}$ là một họ các không gian Radon. Giả sử rằng mọi tập con compact của bất kỳ không gian nào trong các không gian $T_i$ đều mêtric hóa được. Chứng minh rằng không gian tích $T = \prod_{i \in I} T_i$ là Radon. Tổng quát hóa cho trường hợp các giới hạn nghịch đảo.