Bài tập 15, § 4

Cho E là một không gian Hausdorff đầy thùng (tương ứng, infrabarrelled), và $\hat{E}$ là không gian đầy đủ hóa của nó. Hãy chỉ ra rằng mọi không gian con F của $\hat{E}$ chứa E đều đầy thùng (tương ứng, infrabarrelled) (xem III, p. 24, hệ quả và IV, p. 52, bài tập 1).