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

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

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

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

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


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

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

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


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ВЕРХНЯЯ ГРАНЬ СЕМЕЙСТВА ТОПОЛОГИЙ" в других словарях:

  • ЛОКАЛЬНО ВЫПУКЛАЯ ТОПОЛОГИЯ — такая (не обязательно отделимая) топология т на действительном или комплексном топологическом векторном пространстве Е, обладающая базисом из выпуклых окрестностей точек пространства Е, что линейные операции в Енепрерывны относительно топологии т …   Математическая энциклопедия

  • Произведение (теория категорий) — Произведение двух или более объектов  это обобщение в теории категорий таких понятий, как декартово произведение множеств, прямое произведение групп и произведение топологических пространств. Произведение семейства объектов  это в… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»