Mình có thấy một đặc trưng này của tập mở trong không gian metric từ một chứng minh trong sách: mọi phủ mở của tập mở A bất kì đều chứa một phủ con đếm được. Liệu đây có phải điều kiện cần và đủ để một tập mở(giống như đặc trưng Heine-Borel của tập compact)?
Bài viết đã được chỉnh sửa nội dung bởi Nxb: 24-01-2015 - 16:22