Bài tập 16, § 8

Cho $(X_i)$ là một họ vô hạn các không gian tôpô, và trang bị cho tập hợp tích $X = \prod X_i$ một trong các tôpô được định nghĩa trong Bài tập 9 của § 4. Chứng minh rằng nếu các $X_i$ là các không gian Kolmogoroff (tương ứng khả tiếp, Hausdorff, chính quy) thì $X$ cũng vậy.