# Another characterization of compactness

Originally published at 狗和留美者不得入内. You can comment here or there.

The canonical definition of compactness of a topological space $X$ is every open cover has finite sub-cover. We can via contraposition translate this to every family of open sets with no finite subfamily that covers $X$ is not a cover. Not a cover via de Morgan’s laws can be characterized equivalently as has complements (which are all closed sets) which have finite intersection. The product is:

A topological space is compact iff for every family of closed sets with the finite intersection property, the intersection of that family is non-empty.

• #### 软弱无力的美国华人 (Politically Impotent Chinese-Americans)

在一个博文里 Steve Hsu 写了 Warning: in the comments I will censor anti-Jewish remarks. 对于这一点有个评论 对于这个，我有两个被删掉的评论，有一个是…

• #### 看了高考的考试模式和内容，真的觉得清北跟一般的985在学生水平上没啥区别，竞赛保送生之外

昨天还看了一下高考卷子，比如 北京理科高考综合。什么引起我这么做的？是在知乎上看到 Zeldovich Yakov 说高考命题不科学。…

• Post a new comment

#### Error

Anonymous comments are disabled in this journal

default userpic