Compact tương đối

Một tập  trong không gian tôpô  gọi là compact tương đối nếu bao đóng của , ký hiệu là  hoặc \overline A, là tập compact.

Ví dụ:

 Trong không gian , một tập là tập compact tương đối khi và chỉ khi nó bị chặn.
 Trong không gian metric đầy đủ, một tập là tập compact tương đối khi và chỉ khi nó hoàn toàn bị chặn (tức là có thể phủ nó bằng một số hữu hạn các hình cầu có cùng bán kính nhỏ tùy ý cho trước. Điều này cũng tương đương với mọi dãy trong tập đó đều có thể rút ra được một dãy con là dãy Cauchy).

Tham khảo

Toán học tô pô