Tiên đề đếm được

Các tiên đề đếm được là hai tiên đề trong tô pô về tính đếm được của một số cấu trúc liên quan nhất định. Một không gian tô-pô có thể thỏa mãn hoặc không các tiên đề này.

Các tiên đề đếm được

 Tiên đề 1. Không gian tôpô được gọi là thỏa mãn tiên đề đếm được thứ nhất nếu mọi điểm đều có một cơ sở lân cận đếm được. Các không gian thỏa mãn tiên đề đếm được thứ nhất được gọi là các không gian đếm được bậc nhất.
 Tiên đề 2. Không gian tôpô được gọi là thỏa mãn tiên đề đếm được thứ hai nếu nó có một cơ sở đếm được. Một không gian tô-pô thỏa mãn tiên đề đếm được thứ hai cũng là một không gian khả ly. Các không gian thỏa mãn tiên đề đếm được thứ hai được gọi là các không gian đếm được bậc hai.

Tính chất 

 Tiên đề đếm được thứ hai ngụ ý tiên đề đếm được thứ nhất. Thật vậy, các tập mở chứa điểm  trong cơ sở đếm được tạo thành một cơ sở lân cận đếm được của , với mọi điểm  trong không gian tô-pô.

Ghi chú

Tham khảo 
James Munkres, Topology: A frist course, 2nd edition, Prentice-Hall, New Jersey. ISBN 0-13-181629-2.
Marco Manetti, Topology, Springer-Verlag, Italia, Milano. ISBN 978-3-319-16958-3.

Các thuộc tính của không gian tô pô