Bài tập 10, § 3

Cho $(G_i)_{i \in I}$ là một họ các nhóm tôpô và cho $G = \prod_{i \in I} G_i$ là nhóm tích được trang bị tôpô xác định trong Bài tập 23 của § 2. Chứng minh rằng nếu các $G_i$ là đầy đủ, thì G cũng vậy.