Định lý về đặc trưng qua tập đóng của tập compact

Định lý tập compact đặc trưng qua tập đóng là một phát biểu định lý trong ngành tô pô học: Nếu một họ các tập con đóng có tính giao hữu hạn bất kì có phần giao khác $\mathrm{\varnothing }$ thì không gian là compact.

Định nghĩa tính giao hữu hạn

Cho $X$ là không gian tôpô.

Cho $S\subset 2^X$, $S$ là một họ các tập con của $X$.

$S$ có tính giao hữu hạn nếu giao của một họ con hữu hạn bất kỳ của $S$ thì khác $\mathrm{\varnothing }$

hay với $T\subset S,|T|<\mathrm{\infty }\Rightarrow \bigcap _{A\in T}A\ne \mathrm{\varnothing }$

Chứng minh

Giả sử $X$ có đặc trưng trên.

Chứng minh $X$ compact.

Giả sử $X$ không compact.

Gọi $O$ là một phủ mở của $X$.

$\bigcup _{U\in O}U=XU\in {\tau }_X$

$O$ không có phủ con hữu hạn.

Cho $S$ là một họ con hữu hạn của $O$ tức là $S\subset O,|S|<\mathrm{\infty }$

thì $S$ không phủ được $X$: $\bigcup _{U\in S}U⊊X$

Suy ra

$X\mathrm{\setminus }\bigcup _{U\in S}U\ne \mathrm{\varnothing }:\bigcap _{U\in S}(X\mathrm{\setminus }U)\ne \mathrm{\varnothing }(*)$

Xét họ

$ℱ=\{X\mathrm{\setminus }U|U\in O\}$

Do $(*)$ nên $ℱ$ có tính giao hữu hạn.

$\bigcap _{C\in ℱ}C=\bigcap _{U\in O}(X\mathrm{\setminus }U)=X\mathrm{\setminus }\left(\bigcup _{U\in O}U\right)=\mathrm{\varnothing }$.Mâu thuẫn giả thiết.

Suy ra định lý được chứng minh.