Локально закрытое подмножество
В топологии , разделе математики, есть подмножество пространства топологического называется локально замкнутым, если выполняется любое из следующих эквивалентных условий: [1] [2] [3] [4]
- является пересечением открытого и закрытого множества в
- Для каждой точки есть район из такой, что закрыт в
- открыт в своем закрытии
- Набор закрыт в
- это разность двух замкнутых множеств в
- это разница двух открытых множеств в
Второе условие оправдывает терминологию локальной замкнутости и представляет собой определение локальной замкнутости, данное Бурбаки. [1] Чтобы увидеть, что второе условие влечет за собой третье, используйте тот факт, что для подмножеств закрыт в тогда и только тогда, когда и это для подмножества и открытое подмножество
Примеры
[ редактировать ]Интервал является локально замкнутым подмножеством В качестве другого примера рассмотрим относительную внутреннюю часть закрытого диска в Он локально замкнут, поскольку представляет собой пересечение замкнутого диска и открытого шара.
С другой стороны, является не локально замкнутым подмножеством .
Напомним, что по определению подмногообразие из -многообразие такое подмножество, что для каждой точки в есть диаграмма вокруг него так, что Следовательно, подмногообразие локально замкнуто. [5]
Вот пример из алгебраической геометрии. Пусть U — открытая аффинная карта на проективном многообразии X (в топологии Зарисского). Тогда каждое замкнутое подмногообразие Y в U локально замкнуто в X ; а именно, где обозначает замыкание Y в X . (См. также квазипроективное многообразие и квазиаффинное многообразие .)
Характеристики
[ редактировать ]Конечные пересечения и прообраз при непрерывном отображении локально замкнутых множеств локально замкнуты. [1] С другой стороны, объединение и дополнение локально замкнутых подмножеств не обязательно должны быть локально замкнутыми. [6] (Это мотивирует понятие конструктивного множества .)
Особенно в теории стратификации , для локально замкнутого подмножества дополнение называется границей (не путать с топологической границей ). [2] Если является замкнутым подмногообразием с краем многообразия тогда относительная внутренность (т. е. внутренность как многообразие) локально закрыт в и граница его как многообразия совпадает с границей его как локально замкнутого подмножества. [2]
Говорят, что топологическое пространство субмаксимальный , если каждое подмножество локально замкнуто. см . в Глоссарии топологии #S Дополнительную информацию об этом понятии .
См. также
[ редактировать ]- Счетно генерируемое пространство - топологическое пространство, в котором топология определяется его счетными подмножествами.
Примечания
[ редактировать ]- ^ Jump up to: а б с Бурбаки 2007 , Гл. 1, § 3, вып. 3.
- ^ Jump up to: а б с Пфлаум 2001 , Пояснение 1.1.2.
- ^ Ганстер, М.; Рейли, Иллинойс (1989). «Локально замкнутые множества и LC-непрерывные функции» . Международный журнал математики и математических наук . 12 (3): 417–424. дои : 10.1155/S0161171289000505 . ISSN 0161-1712 .
- ^ Энгелькинг 1989 , Упражнение 2.7.1.
- ^ Мазер, Джон (2012). «Заметки о топологической устойчивости» . Бюллетень Американского математического общества . 49 (4): 475–506. дои : 10.1090/S0273-0979-2012-01383-6 . раздел 1, с. 476
- ^ Бурбаки 2007 , Глава 1, § 3, Упражнение 7.
Ссылки
[ редактировать ]- Бурбаки, Николя (2007). Общая топология. Главы с 1 по 4 . Берлин: Шпрингер. дои : 10.1007/978-3-540-33982-3 . ISBN 978-3-540-33982-3 .
- Бурбаки, Николя (1989) [1966]. Общая топология: главы 1–4 [ Общая топология ]. Элементы математики . Берлин, Нью-Йорк: Springer Science & Business Media. ISBN 978-3-540-64241-1 . OCLC 18588129 .
- Энгелькинг, Рышард (1989). Общая топология . Хельдерманн Верлаг, Берлин. ISBN 3-88538-006-4 .
- Пфлаум, Маркус Дж. (2001). Аналитическое и геометрическое исследование стратифицированных пространств . Конспект лекций по математике. Том. 1768. Берлин: Шпрингер. ISBN 3-540-42626-4 . OCLC 47892611 .