Математическая энциклопедия:
О бикомпактности произведения: топологич. произведение любого множества бикомпактных пространств бикомпактно. Это одна из основных теорем общей топологии; установлена А. Н. Тихоновым в 1929. Она играет весьма существенную и часто ключевую роль в построении практически всех разделов общей топологии и во многих ее применениях. В частности, Т. т. имеет основное значение для построения бикомпактных расширений вполне регулярных Т 1 -пространств (т.
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020