Đị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 ∅ {\displaystyle \emptyset } thì không gian là compact.[1]

Liên quan