Không gian Hausdorff

Trong tô pô và các ngành có liên quan của toán học, một không gian Hausdorff, không gian tách được hoặc không gian T₂ là một không gian tô pô mà hai điểm khác biệt luôn có các lân cận tách rời nhau. Trong số nhiều tiên đề tách có thể được áp đặt trên một không gian tôpô,"điều kiện Hausdorff"(T₂) được sử dụng và thảo luận thường xuyên nhất. Nó ngụ ý tính duy nhất của các giới hạn của dãy, lưới và bộ lọc.

Định nghĩa

Các điểm x và y được tách biệt bởi các vùng lân cận U và V.

Hai điểm $x$ và $y$ trong một không gian tôpô $X$ có thể được tách biệt bởi các lân cận mở nếu tồn tại một lân cận $U$ của $x$ và một lân cận $V$ của $y$ sao cho $U\cap V=\mathrm{\varnothing }$. $X$ là một không gian Hausdorff nếu tất cả các điểm khác biệt trong $X$ được tách biệt đôi một. Điều kiện này là tiên đề tách thứ ba (sau $T_0,T_1$), đó là lý do tại sao không gian Hausdorff cũng được gọi là không gian $T_2$. Không gian Hausdorff đôi khi cũng được gọi là không gian tách được.

Không gian Euclid, các đường cong, các mặt cong, các đa tạp,... đều là các không gian Hausdorff.

Phản ví dụ

• Các không gian étalé thường là các không gian phi-Hausdorff.
• Các không gian phổ thường là các không gian phi-Hausdorff. Chẳng hạn ta không thể tách biệt một điểm generic $p$ của một không gian con $V$ với bất cứ điểm nào thuộc $V$ (vì $\{p\}$ trù mật trong $V$ nên nó giao với mọi tập mở).

Xem thêm

• Đa tạp phi-Hausdorff

Tham khảo

• Arkhangelskii, AV, LS Pontryagin, Tô pô đại cương I, (1990) Springer-Verlag, Berlin. Bản mẫu:ISBN Mã số   3-540-18178-4.
• Bourbaki; Các yếu tố của toán học: tô pô đại cương, Addison-Wesley (1966).
• Hazewinkel, Michiel, chủ biên. (2001) [1994],"Không gian Hausdorff", Từ điển bách khoa toán học, Khoa học mùa xuân + Truyền thông kinh doanh BV / Nhà xuất bản học thuật Kluwer, ISBN   Hazewinkel, Michiel
• Bản mẫu:Chú thích sách