✨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

phải|nhỏ|203x203px| 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\backslash cap\; V=\backslash empty$. $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ở).