Якщо компактні топологічні простори, то простір добутку є компактним в топології добутку. Аналогічне твердження поширюється для довільної кількості множників.

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

Посилання ред.

ncatlab.org - Tychonoff theorem [Архівовано 4 листопада 2011 у Wayback Machine.]