Khác biệt giữa bản sửa đổi của “Tiên đề tách”

==Định nghĩa==

*Không gian ''T''₀: Một không gian tôpô được gọi là không gian ''T''₀ nếu với hai điểm <math>\mbox{x,y} \in\mbox{X} </math>, <math>\mbox{x} \ne\mbox{y} </math> có tập mở chứa x mà không chứa y '''hoặc''' có tập mở chứa y mà không chứa x.

*Không gian ''T''₁: Một không gian tôpô được gọi là không gian ''T''₁ nếu với mọi điểm <math>\mbox{x} \ne\mbox{y} </math> có một tập mở chứa x mà không chứa y '''và''' một tập mở chứa y mà không chứa x.

*Không gian ''T''₂: Một không gian tôpô được gọi là không gian ''T''₂ hay "Hausdorff" nếu với mọi <math>\mbox{x} \ne\mbox{y} </math> có 2 tập mở rời nhau <math>\mbox{U} </math> và <math>\mbox{V} </math> sao cho <math>\mbox{x} \in\mbox{U} </math> và <math>\mbox{y} \in\mbox{V} </math>.

*Không gian ''T''₃: Một không gian ''T''₁ được gọi là không gian ''T''₃ hay "chính tắc" nếu với mọi <math>\mbox{x} \notin \mbox{F}</math> có 2 tập mở <math>\mbox{U} \ne \mbox{V}</math> sao cho <math>\mbox{x} \in\mbox{U} </math> và <math>\mbox{F} \subset\mbox{V} </math>.

*Không gian ''T''₄: Một không gian ''T''₁ được gọi là không gian ''T''₄ hay "chuẩn tắc" nếu với hai tập đóng rời nhau <math>\mbox{F} </math> và <math>\mbox{G} </math> có 2 tập mở rời nhau <math>\mbox{U} </math> và <math>\mbox{V} </math> sao cho <math>\mbox{F} \subset\mbox{U} </math> và <math>\mbox{G} \subset\mbox{V} </math>.

 

==Tham khảo==

{{tham khảo}}

==Xem thêm==

[http://en.wikipedia.org/wiki/T0_space]