Đị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 formula _ 1 thì không_gian là compact Định_nghĩa tính_giao hữu_hạn Cho formula _ 2 là không_gian tôpô Cho formula _ 3 formula _ 4 là một họ các tập con của formula _ 2 hay với formula _ 9 Chứng_minh Giả_sử formula _ 2 có đặc_trưng trên
Định_lý về đặc_trưng qua tập đóng của tập compact