定義任意多個緊空間的積空間在積拓撲下是緊空間。 簡介這個定理是有關緊性的最有用的定理,也是一般拓撲學中最重要的定理之一。曆史背景它是吉洪諾夫于1930年提出的。凱萊于1950年證明了吉洪諾夫定理和選擇公理是等價的。