Đị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

Tham khảo

  • J R Munkres, "Topology: a First course" (Prentice-Hall, 1975)
Hình tượng sơ khai Bài viết liên quan đến toán học này vẫn còn sơ khai. Bạn có thể giúp Wikipedia mở rộng nội dung để bài được hoàn chỉnh hơn.
  • x
  • t
  • s
  • x
  • t
  • s
Tiên đề
  • Tiên đề cặp
  • Tiên đề chính tắc
  • Tiên đề chọn
    • đếm được
    • phụ thuộc
    • toàn cục
  • Tiên đề giới hạn kích thước
  • Tiên đề hợp
  • Tiên đề mở rộng
  • Tiên đề nối
  • Tiên đề tập lũy thừa
  • Tiên đề tính dựng được
  • Tiên đề vô hạn
  • Tiên đề Martin
  • Sơ đồ tiên đề
    • thay thế
    • tuyển lựa
Biểu đồ Venn hai tập hợp giao nhau


Phép toán
  • Khái niệm

  • Phương pháp
Các dạng
tập hợp
Lý thuyết
  • Zermelo
    • Tổng quát
  • Principia Mathematica
    • New Foundations
  • Zermelo–Fraenkel
    • von Neumann–Bernays–Gödel
      • Morse–Kelley
    • Kripke–Platek
    • Tarski–Grothendieck
  • Nghịch lý

  • Vấn đề
Nhà lý thuyết
tập hợp
Thể loại