Грубая топология, делающая некоторые функции непрерывными.
В общей топологии и смежных областях математики исходная топология (или индуцированная топология [1] [2] или слабая топология , предельная топология или проективная топология ) на множестве относительно семейства функций на является самой грубой топологией , которая делает эти функции непрерывны .
Конструкции топологии подпространства и топологии произведения являются частными случаями исходных топологий. Действительно, первоначальную конструкцию топологии можно рассматривать как их обобщение.
Двойственное понятие — это окончательная топология , которая для данного семейства функций, отображаемых на множество, является наилучшей топологией , которая делает эти функции непрерывными.
Если это семейство топологий, проиндексированных, то наименьшая верхняя граница топологии этих топологий является самой грубой топологией, которая тоньше каждой. Эта топология всегда существует и равна топологии, порожденной [3]
Если для каждого обозначает топологию на то является топологией на , а исходная топология отображениями является топологией наименьшей верхней границы -индексированного семейства топологий (при ). [3]
В явном виде исходная топология представляет собой совокупность открытых множеств , порожденных всеми множествами вида где - открытое множество в для некоторых конечных пересечений и произвольных объединений.
Наборы такой формы часто называют наборами цилиндров . Если содержит ровно один элемент , то все открытые множества исходной топологии являются цилиндрическими множествами.
Примеры
Некоторые топологические конструкции можно рассматривать как частные случаи исходной топологии.
Обратный предел любой обратной системы пространств и непрерывных отображений является теоретико-множественным обратным пределом вместе с исходной топологией, определяемой каноническими морфизмами.
Для данного семейства топологий на фиксированном множестве начальная топология по отношению к функциям является супремумом (или объединением) топологий в решетке топологий на . То есть исходная топология - это топология, порожденная объединением топологий .
Топологическое пространство является вполне регулярным тогда и только тогда, когда оно имеет начальную топологию относительно своего семейства ( ограниченных ) вещественнозначных непрерывных функций.
Каждое топологическое пространство имеет начальную топологию относительно семейства непрерывных функций от до пространства Серпинского .
Характеристики
Характерное свойство
Исходную топологию на можно охарактеризовать следующим характеристическим свойством:
функция из некоторого пространства в непрерывна тогда и только тогда, когда непрерывна для каждого [4]
Обратите внимание: несмотря на то, что они выглядят очень похоже, это не универсальное свойство . Категориальное описание приведено ниже.
Фильтр на сходится к точке тогда и только тогда, когда префильтр сходится к для каждого [4]
Оценка
Благодаря универсальному свойству топологии произведения мы знаем, что любое семейство непрерывных отображений определяет единственное непрерывное отображение.
Эта карта известна какоценочная карта .
Говорят, что семейство картотдельные точки в томслучае, если для всехвнутрисуществуеттакое, чтоСемейство,когда соответствующая оценочная картаинъективна.
Карта оценки будет топологическим вложением тогда и только тогда, когда исходная топология определяется картами и это семейство карт разделяет точки в
Хаусдорфность
Если имеет начальную топологию, индуцированную и если каждое хаусдорфово пространство, то оно является хаусдорфовым пространством тогда и только тогда, когда эти отображения разделяют точки на [3]
Транзитивность исходной топологии
Если имеет начальную топологию, индуцированную -индексированным семейством отображений , и если для каждого топология on является начальной топологией, индуцированной некоторым -индексированным семейством отображений (как пробеги над ), то начальная топология на , индуцированная топология, индуцированная -индексированным семейством отображений как пробегов и пробегов [5].
Теперь будут даны несколько важных следствий из этого факта.
В частности, если тогда топология подпространства, которая наследуется от , равна исходной топологии, индуцированной отображением включения (определенным ). Следовательно, если имеет начальную топологию, индуцированную то топология подпространства, наследуемая от , равна исходной топологии, индуцированной ограничениями на [4]
Топология продукта на равна исходной топологии, индуцированной каноническими проекциями как диапазоны по [4].
Следовательно, начальная топология на, индуцированная , равна обратному образу топологии продукта на с помощью оценочного отображения [4] Кроме того, если карты разделяют точки, тогда карта оценки является гомеоморфизмом на подпространство пространства произведений [4]
Отделение точек от замкнутых множеств
Если пространство снабжено топологией, часто бывает полезно знать, является ли топология исходной топологией, индуцированной некоторым семейством отображений в этом разделе, достаточным (но не необходимым) условием.
Семейство отображений отделяет точки от замкнутых множеств в, если для всех замкнутых множеств в и всех существуют такие, что
Теорема . Семейство непрерывных отображений отделяет точки от замкнутых множеств тогда и только тогда, когда множества цилиндров для открытых форм образуют основу топологии на
Отсюда следует, что всякий раз, когда точки отделяются от замкнутых множеств, пространство имеет начальную топологию, индуцированную отображениями. Обратное неверно, поскольку обычно цилиндрические множества образуют только подбазу (а не базу) для исходной топологии.
Если пространство представляет собой пространство T , то любой набор отображений , который отделяет точки от замкнутых множеств, должен также разделять точки. В этом случае оценочная карта будет вложением.
Исходная однородная структура
Если это семейство однородных структур , проиндексированных , то наименьшая верхняя граница однородной структуры является самой грубой однородной структурой, которая тоньше, чем каждая. Эта форма всегда существует и равна фильтру, сгенерированному подбазой фильтров [ 6]
Если является топологией on, индуцированной однородной структурой, то топология on, связанная с наименьшей верхней границей однородной структуры, равна топологии наименьшей верхней границы из [6]
Теперь предположим, что это семейство карт и для каждого пусть это равномерная структура. Тогда исходная равномерная структура отображений является единственной самой грубой равномерной структурой , позволяющей сделать все равномерно непрерывными . [6] Она равна наименьшей верхней границе однородной структуры -индексированного семейства однородных структур (при ). [6]
Топология на, индуцированная by, — это самая грубая топология на такой, что каждая непрерывна. [6]
Исходная равномерная структура также равна самой грубой однородной структуре, такой, что тождественные отображения равномерно непрерывны. [6]
Хаусдорфовость : Топология на, индуцированная исходной однородной структурой, является Хаусдорфовой тогда и только тогда, когда для тех случаев, когда они различны ( ), тогда существует некоторое и некоторое окружение таких , что [6]
Кроме того, если для каждого индекса топология на, индуцированная Хаусдорфом, то топология на, индуцированная исходной равномерной структурой, является Хаусдорфовой тогда и только тогда, когда отображения разделяют точки в [6] (или, что то же самое, тогда и только тогда, когда оценочное отображение инъективно)
Равномерная непрерывность : если исходная равномерная структура индуцирована отображениями, то функция из некоторого равномерного пространства в равномерно непрерывна тогда и только тогда, когда равномерно непрерывна для каждого [6]
Фильтр Коши : включенный фильтр является фильтром Коши тогда и только тогда, когда включен предварительный фильтр Коши для каждого [6]
Транзитивность исходной однородной структуры : Если в приведенном выше утверждении о «транзитивности исходной топологии» слово «топология» заменить на «однородная структура», то полученное утверждение также будет верным.
Функтор забывчивости индуцирует функтор . Характеристическое свойство исходной топологии эквивалентно утверждению о существовании универсального морфизма из в , т. е. терминального объекта в категории.
Явно, он состоит из объекта in вместе с морфизмом таким, что для любого объекта в и морфизма существует существует единственный морфизм такой, что следующая диаграмма коммутирует:
Присваивание , помещающее исходную топологию, расширяется до функтора
, который является правосопряженным к функтору забвения. Фактически, это правая инверсия к ; поскольку является тождественным функтором на
^ Адамсон, Иэн Т. (1996). «Индуцированные и коиндуцированные топологии». Рабочая тетрадь по общей топологии . Биркхойзер, Бостон, Массачусетс. стр. 23–30. дои : 10.1007/978-0-8176-8126-5_3. ISBN978-0-8176-3844-3. Проверено 21 июля 2020 г. ... топология, индуцированная на E семейством отображений ...
Бурбаки, Николя (1989) [1967]. Общая топология 2: Главы 5–10 [ Общая топология ]. Элементы математики . Том. 4. Берлин, Нью-Йорк: Springer Science & Business Media. ISBN 978-3-540-64563-4. ОСЛК 246032063.
Гротендик, Александр (1973). Топологические векторные пространства . Перевод Чалджуба, Орландо. Нью-Йорк: Издательство Gordon and Breach Science. ISBN 978-0-677-30020-7. ОСЛК 886098.