Định lý giao điểm Cantor

Định lý giao điểm Cantor  được chứng minh trong thế kỉ 19 bởi nhà toán học người Đức là Georg Ferdinand Ludwig Phillip Cantor (1845-1918) trong lĩnh vực topo.

Phát biểu 
Một không gian metric là đủ khi và chỉ khi mọi dãy hình cầu đóng lồng nhau có bán kính tiến dần tới không đều chứa một điểm chung duy nhất.

Xem thêm 
Định lý đường chéo Cantor

Tham khảo 

J R Munkres, "Topology: a First course" (Prentice-Hall, 1975)

Cantor, giao điểm
Toán học tô pô