定义任意多个紧空间的积空间在积拓扑下是紧空间。 简介这个定理是有关紧性的最有用的定理,也是一般拓扑学中最重要的定理之一。历史背景它是吉洪诺夫于1930年提出的。凯莱于1950年证明了吉洪诺夫定理和选择公理是等价的。