Теорема Тихонова

Якщо $(X_1,{\mathrm{\Gamma }}_1),(X_2,{\mathrm{\Gamma }}_2)$ — компактні топологічні простори, то простір добутку $X_1\times X_2$ є компактним в топології добутку. Аналогічне твердження поширюється для довільної кількості множників.

Теорема доведена радянським математиком Андрієм Тихоновим в 1935 році.

Посилання

ncatlab.org - Tychonoff theorem Шаблон:Webarchive