Logo
Unionpedia
Giao tiếp
Tải nội dung trên Google Play
Mới! Tải Unionpedia trên thiết bị Android™ của bạn!
Miễn phí
truy cập nhanh hơn trình duyệt!
 

Định lý Heine-Borel

Mục lục Định lý Heine-Borel

Trong topo học của không gian metric, định lý Heine-Borel, được đặt theo tên của Eduard Heine và Émile Borel, phát biểu rằng: Đối với một tập con A trong không gian Euclide \mathbb^n, thì 2 mệnh đề sau đây là tương đương nhau.

8 quan hệ: Compact, Không gian Euclide, Không gian mêtric, Phủ (topo), Tô pô, Tập đóng, Tập hợp con (toán học), Tương đương logic.

Compact

Tập compact Trong toán học, không gian compact là một khái niệm rất quan trọng của tô pô.

Mới!!: Định lý Heine-Borel và Compact · Xem thêm »

Không gian Euclide

Descartes Khoảng 300 năm TCN, nhà toán học Hy Lạp Euclide đã tiến hành nghiên cứu các quan hệ về khoảng cách và góc, trước hết trong mặt phẳng và sau đó là trong không gian.

Mới!!: Định lý Heine-Borel và Không gian Euclide · Xem thêm »

Không gian mêtric

Trong toán học, không gian mêtric là một tập hợp mà một khái niệm của khoảng cách (được gọi là mêtric) giữa các phần tử của tập hợp đã được định nghĩa.

Mới!!: Định lý Heine-Borel và Không gian mêtric · Xem thêm »

Phủ (topo)

Trong toán học, một phủ của tập X là một họ các tập có hội chứa X như là một tập con.

Mới!!: Định lý Heine-Borel và Phủ (topo) · Xem thêm »

Tô pô

Dưới con mắt tôpô học, cái cốc và cái vòng là một Tô pô hay tô pô học có gốc từ trong tiếng Hy Lạp là topologia (tiếng Hy Lạp: τοπολογία) gồm topos (nghĩa là "nơi chốn") và logos (nghiên cứu), là một ngành toán học nghiên cứu các đặc tính còn được bảo toàn qua các sự biến dạng, sự xoắn, và sự kéo giãn nhưng ngoại trừ việc xé rách và việc dán dính.

Mới!!: Định lý Heine-Borel và Tô pô · Xem thêm »

Tập đóng

Trong Tô pô, tập đóng hay tập hợp đóng được định nghĩa là tập hợp có phần bù trong không gian tôpô là tập mở.

Mới!!: Định lý Heine-Borel và Tập đóng · Xem thêm »

Tập hợp con (toán học)

Lược đồ Euler biểu diễn ''A'' là tập con của tập ''B'' và ''B'' là "tập cha" của tập ''A'' Trong Toán học, đặc biệt trong lý thuyết tập hợp, tập hợp A là một tập con (hay tập hợp con) của tập hợp B nếu A "được chứa" trong B. Quan hệ một tập là tập con của tập khác được gọi là quan hệ bao hàm.

Mới!!: Định lý Heine-Borel và Tập hợp con (toán học) · Xem thêm »

Tương đương logic

Trong logic học, hai mệnh đề P và Q gọi là tương đương logic hay tương đương với nhau nếu P và Q đồng thời có cùng một giá trị chân lý; nghĩa là P và Q cùng đúng (hoặc cùng sai), trong những điều kiện hoàn toàn như nhau, ta viết: và đọc là "⇔" gọi là dấu liên hệ tương đương.

Mới!!: Định lý Heine-Borel và Tương đương logic · Xem thêm »

Chuyển hướng tại đây:

Định lý Heine - Borel.

Lối raIncoming
Chào! Chúng tôi đang ở trên Facebook bây giờ! »