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

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

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

Посилання

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