" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ВЕРХНЯЯ ГРАНЬ СЕМЕЙСТВА ТОПОЛОГИЙ

Значение ВЕРХНЯЯ ГРАНЬ СЕМЕЙСТВА ТОПОЛОГИЙ в математической энциклопедии:

точная верхняя грань, на множестве 5 - топология , наименьшая из всех топологий на множестве S, содержащих каждую топологию заданного семейства (см. Сравнение топологий). Предбазу топологии образует семейство всех подмножеств множества , открытых хотя бы в одной топологии семейства .

Семейство всех возможных топологий на множестве S с определенной выше операцией взятия верхней грани любого подсемейства и минимальным элементом - тривиальной топологией - есть полная решетка. В. г. с. т. наз. также индуктивным пределом семейства топологий.

Полезна следующая интерпретация В. г. с. т. Пусть

- тихоновское произведение всех топологич. пространств, возникающих от наделения множества 5 различными топологиями из семейства . Через обозначим диагональ этого произведения, т. <е. множество всех постоянных отображений в (или, что то же самое, множество всех нитей, для к-рых при всех . Множество находится в естественном взаимно однозначном соответствии с множеством S, к-рое осуществляется при проектировании множества Тна любой сомножитель. Если наделить топологией, индуцированной из пространства Т, и перенести эту топологию посредством указанного естественного соответствия на S, то получим верхнюю грань семейства - Эта интерпретация В. г. с. т. позволяет понять, что верхняя грань любого семейства хаусдорфовых топологий есть хаусдорфова топология, верхняя грань любого семейства вполне регулярных топологий есть вполне регулярная топология. Аналогичные утверждения для семейств регулярных, нормальных и пара-компактных топологий неверны. Но верхняя грань счетного семейства метризуемых топологий (со счетной базой) есть метризуемая топология (со счетной базой). Диагональ S* не замкнута, как правило, в Г, и потому верхняя грань двух бикомпактных топологий обычно не является бикомпактной.

Лит.:[1] Келли Дж. Л., Общая топология, пер. с англ., М., 1968; [2] Бур бак и Н., Общая топология. Основные структуры, пер. с франц., М., 1968.

А. В. Архангельский.