Điểm cô lập

Trong toán học, đặc biệt là trong tô pô, cô lập là mối quan hệ giữa một điểm với một tập hợp chứa nó. Một cách trực quan, một điểm cô lập của một tập hợp là một điểm nằm cách xa tất cả các điểm còn lại của tập hợp đó.

Định nghĩa
Điểm cô lập của tập hợp A trong không gian tô pô X là một điểm x thuộc A sao cho tồn tại lân cận chứa điểm x mà không giao với A tại điểm nào khác (nói cách khác, nó không phải là một điểm giới hạnRudin (1964), Definition 2.20c).

nhỏ|300px|Điểm 0 là một điểm cô lập 

nhỏ|300px|Đường cubic  có điểm cô lập (0,0)

Ví dụ với :
, điểm  là một điểm cô lập của không gian A. Ta có thể chọn tập hợp mở .
, mọi phân số  đều là điểm cô lập, nhưng 0 không phải là điểm cô lập vì quanh điểm 0 luôn có một điểm khác thuộc A mà khoảng cách từ điểm đó tới điểm 0 là nhỏ hơn một giá trị khoảng cách bất kỳ cho trước.
Dãy các số tự nhiên N bao gồm toàn điểm cô lập.
Một tập chỉ bao gồm các điểm cô lập được gọi là tập rời rạc. Tô pô không gian con của tập rời rạc bằng với tô pô rời rạc.

Điểm cô lập là một điểm dính (vì luôn luôn có một lân cận quanh nó chứa nó, tức là chứa điểm thuộc A) nhưng không có điểm nào thuộc A "bên cạnh" nó (nói chung, mọi điểm thuộc A đều là điểm dính).

 Không gian metric 
Nếu không gian X là một không gian metric (hoặc nếu X là một không gian tô pô metric hóa được, và ta gán cho nó một metric) với metric  thì ta có điều kiện sau:

Điều kiện này chính xác hóa trực giác "nằm cách xa tất cả các điểm còn lại".

 Trong giải tích phức 
Tập hợp các không điểm của một hàm chỉnh hình khác không là một tập rời rạc, tức là, mọi không điểm của một hàm chỉnh hình khác không đều là một điểm cô lập.Rudin (1987), Theorem 10.18, tr. 209

Xem thêm
Điểm dính
Điểm giới hạn 
Điểm gián đoạn
Điểm biên

 Chú thích 

Tham khảo

 Walter, Rudin, 1964, Principles of Mathematical Analysis
 Walter, Rudin, 1987, Real and Complex Analysis
Liên kết ngoài
Điểm cô lập trên Thế giới Toán học (tiếng Anh)

Điểm cô lập  tại Bách khoa toàn thư Việt Nam

Thể loại:Điểm
Thể loại:Toán học tô pô
Thể loại:Tô pô chung