Математическая энциклопедия - тихонова теорема

о бикомпактности произведения: топологич. произведение любого множества бикомпактных пространств бикомпактно. Это одна из основных теорем общей топологии; установлена А. Н. Тихоновым в 1929. Она играет весьма существенную и часто ключевую роль в построении практически всех разделов общей топологии и во многих ее применениях. В частности, Т. т. имеет основное значение для построения бикомпактных расширений вполне регулярных Т 1 -пространств (т. .