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. 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. 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 x {\displaystyle x} trong cơ sở đếm được tạo thành một cơ sở lân cận đếm được của x {\displaystyle x} , với mọi điểm x {\displaystyle x} trong không gian tô-pô. ^ Manetti, tr. 106, Lemma 6.6 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.