✨Đị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 $\backslash mathbb\{R\}^n$, thì 2 mệnh đề sau đây là tương đương nhau: A là tập đóng và bị chặn. Mỗi phủ mở của A có một phủ con hữu hạn, nghĩa A là compact.

Trong thực tế, định lý Heine-Borel được phát biểu cho bất kỳ một không gian metric nào, như sau:

:Một tập con $A$ của không gian metric là compact khi và chỉ khi nó đóng và bị chặn hoàn toàn.

Lịch sử

Định lí mà ngày nay ta biết là định lí Heine-Borel có nguồn gốc từ thế kỷ thứ 19 trong công cuộc xây dựng nền tảng vững chắc cho bộ môn giải tích thực, với trung tập là sự liên tục đều và định lí rằng mọi hàm số liên tục trên một khoảng đóng và bị chặn thì liên tục đều. Peter Gustav Lejeune Dirichlet là người đầu tiên chứng minh định lí này, và ông sử dụng sự tồn tại của phủ con hữu hạn trong một phủ mở của tập đóng để chứng minh, Sau này, Eduard Heine, Karl Weierstrass và Salvatore Pincherle cũng sử dụng kỹ thuật tương tự. Năm 1895, Émile Borel là người đầu tiên phát biểu và chứng minh định lí mà ngày nay là định lí Heine-Borel, với cách chứng minh của Borel chỉ sử dụng đến số đếm được các phủ. Sau này, Cousin năm 1895, Lebesque năm 1898 và Schoenflies năm 1900 tổng quát hóa lên thành các phủ bất kì.

Chứng minh

Giả sử $A$ compact. Vì $\backslash mathbb\{R\}^n$ là không gian Hausdorff nên $A$ đóng. Lấy một họ :$\backslash left\{\; B(0,m)|m\backslash in\backslash mathbb\{Z\}^\{+\}\backslash right\}$ các phủ mở của $A$. Vì $A$ compact nên có phủ con hữu hạn. Do đó có $M$ sao cho $A\backslash subset\; B(0,M)$. Nên, với hai điểm bất kỳ $x$ và $y$ của $A$, ta có $d(x,y)\backslash leq\; 2M$. Vậy $A$ bị chặn.

Ngược lại, nếu $A$ đóng và bị chặn, giả sử $d(x,y)\backslash leq\; N$ với mọi $x,y\backslash in\; A$. Cố định một điểm $x\_0$ của $A$, đặt $d(x\_0,0)=b$. Khi đó, với mọi $x\backslash in\; A$ thì :$d(x,0)\backslash leq\; d(x,x\_0)+d(x\_0,0)\backslash leq\; N+b$. Đặt $P=N+b$, thì $A$ là tập con của $[-P,P]^n$, là tập compact. Vì $A$ đóng nên $A$ cũng compact.