Гиперсвязное пространство
В математической области топологии гиперсвязное пространство [1] [2] или несократимое пространство [2] — топологическое пространство X , которое нельзя записать как объединение двух собственных замкнутых подмножеств (неважно, не пересекающихся или непересекающихся). Название «неприводимое пространство» предпочитается в алгебраической геометрии .
Для топологического пространства X следующие условия эквивалентны:
- Никакие два непустых открытых множества пересекаются не .
- X нельзя записать как объединение двух собственных замкнутых подмножеств .
- непустое открытое множество плотно в X. Каждое
- Внутренность каждого собственного замкнутого подмножества X пуста.
- Каждое подмножество плотно или не плотно в X. нигде
- Никакие две точки не могут быть разделены непересекающимися окрестностями.
Пространство, удовлетворяющее любому из этих условий, называется гиперсвязным или неприводимым . Поскольку условие о том, что окрестности различных точек в некотором смысле противоположны свойству Хаусдорфа , некоторые авторы называют такие пространства антихаусдорфовыми . [3]
Пустое множество является впустую гиперсвязным или неприводимым пространством согласно приведенному выше определению (поскольку оно не содержит непустых открытых множеств). Однако некоторые авторы, [4] особенно те, кто интересуется приложениями к алгебраической геометрии , добавляют явное условие, что неприводимое пространство должно быть непустым.
— Неприводимое множество это подмножество топологического пространства, топология которого неприводима.
Примеры
[ редактировать ]Двумя примерами гиперсвязных пространств из топологии точечного множества являются коконечная топология на любом бесконечном множестве и топология правого порядка на .
В алгебраической геометрии, взяв спектр кольца которого , приведенное кольцо является областью целостности, является неприводимым топологическим пространством - применяя теорему о решетке к нильрадикалу , который находится внутри каждого простого числа, чтобы показать, что спектр фактор-отображения является гомеоморфизмом, это сводится к неприводимости спектра области целостности. Например, схемы
,
неприводимы, поскольку в обоих случаях полиномы, определяющие идеал, являются неприводимыми полиномами (то есть у них нет нетривиальной факторизации). Непример дается нормальным пересекающимся делителем
поскольку основное пространство представляет собой объединение аффинных плоскостей , , и . Еще один непример дается схемой
где – неприводимый однородный полином 4-й степени. Это объединение двух кривых рода 3 (по формуле род – степень )
Гиперсвязность против связанности
[ редактировать ]Каждое гиперсвязное пространство является одновременно связным и локально связным (хотя не обязательно связным или локально связным ).
Обратите внимание, что в определении гиперсвязности замкнутые множества не обязательно должны быть непересекающимися. Это контрастирует с определением связности, в котором открытые множества не пересекаются.
Например, пространство действительных чисел стандартной топологии связно, но не гиперсвязно. Это потому, что его нельзя записать как объединение двух непересекающихся открытых множеств, но можно записать как объединение двух (непересекающихся) замкнутых множеств.
Характеристики
[ редактировать ]- Непустые открытые подмножества гиперсвязного пространства «большие» в том смысле, что каждое из них плотно в X и любая пара из них пересекается. Таким образом, гиперсвязное пространство не может быть хаусдорфовым , если оно не содержит только одну точку.
- Каждое гиперсвязное пространство является одновременно связным и локально связным (хотя не обязательно связным или локально связным ).
- Поскольку замыканием каждого непустого открытого множества в гиперсвязном пространстве является все пространство, которое является открытым множеством, каждое гиперсвязное пространство экстремально несвязно .
- образ Непрерывный гиперсвязного пространства гиперсвязен. [5] В частности, любая непрерывная функция из гиперсвязного пространства в хаусдорфово пространство должна быть постоянной. Отсюда следует, что всякое гиперсвязное пространство псевдокомпактно .
- Каждое открытое подпространство гиперсвязного пространства гиперсвязно. [6]
- Доказательство: Пусть быть открытым подмножеством. Любые два непересекающихся открытых подмножества сами были бы непересекающимися открытыми подмножествами . Поэтому хотя бы один из них должен быть пустым.
- В более общем смысле, каждое плотное подмножество гиперсвязного пространства является гиперсвязным.
- Доказательство: предположим представляет собой плотное подмножество и с , закрыт в . Затем . С является гиперсвязным, одно из двух замыканий — это все пространство , сказать . Это означает, что плотный в , и поскольку он замкнут в , оно должно быть равно .
- Замкнутое подпространство гиперсвязного пространства не обязательно должно быть гиперсвязным.
- Контрпример: с ( алгебраически замкнутое поле то есть бесконечное) гиперсвязно [7] в топологии Зарисского , а замкнут и не является гиперсвязным.
- Доказательство: предположим где неприводимо и напишем для двух закрытых подмножеств (и, таким образом, в ). закрыты в и что подразумевает или , но тогда или по определению замыкания .
- Пространство который можно записать как с открытый и неприводимый такой, что является нередуцируемым. [9]
- Доказательство. Во-первых, заметим, что если — непустое открытое множество в тогда оно пересекает оба и ; действительно, предположим , затем плотный в , таким образом и является закрытия точкой что подразумевает и тем более . Сейчас и принимая закрытие поэтому является непустым открытым и плотным подмножеством . Поскольку это верно для любого непустого открытого подмножества, является нередуцируемым.
Нередуцируемые компоненты
[ редактировать ]компонент Неприводимый [10] в топологическом пространстве — максимальное неприводимое подмножество (т. е. неприводимое множество, которое не содержится ни в каком большем неприводимом множестве). Неприводимые компоненты всегда замкнуты.
Каждое неприводимое подмножество пространства X содержится в (не обязательно единственной) неприводимой компоненте X . [11] В частности, каждая точка X содержится в некоторой неприводимой компоненте X . В отличие от связных компонентов пространства, неприводимые компоненты не обязательно должны быть непересекающимися (т. е. им не обязательно образовывать разбиение ). В общем, неприводимые компоненты будут перекрываться.
Неприводимые компоненты хаусдорфова пространства — это просто одноэлементные множества .
Поскольку всякое неприводимое пространство связно, неприводимые компоненты всегда будут лежать в компонентах связности.
Каждое нётерово топологическое пространство имеет конечное число неприводимых компонент. [12]
См. также
[ редактировать ]Примечания
[ редактировать ]- ^ Стин и Сибах, с. 29
- ^ Jump up to: а б Харт, Нагата и Воган 2004 , с. 9.
- ^ Ван Дауэн, Эрик К. (1993). «Антихаусдорфово пространство Фреше, в котором сходящиеся последовательности имеют уникальные пределы» . Топология и ее приложения . 51 (2): 147–158. дои : 10.1016/0166-8641(93)90147-6 .
- ^ «Раздел 5.8 (004U): Неприводимые компоненты — проект Stacks» .
- ^ Бурбаки, Николя (1989). Коммутативная алгебра: главы 1-7 . Спрингер. п. 95. ИСБН 978-3-540-64239-8 .
- ^ Бурбаки, Николя (1989). Коммутативная алгебра: главы 1-7 . Спрингер. п. 95. ИСБН 978-3-540-64239-8 .
- ^ Перрин, Дэниел (2008). Алгебраическая геометрия. Введение . Спрингер. п. 14. ISBN 978-1-84800-055-1 .
- ^ «Лемма 5.8.3 (004W) — Проект Stacks» .
- ^ Бурбаки, Николя (1989). Коммутативная алгебра: главы 1-7 . Спрингер. п. 95. ИСБН 978-3-540-64239-8 .
- ^ «Определение 5.8.1 (004V) — проект Stacks» .
- ^ «Лемма 5.8.3 (004W) — Проект Stacks» .
- ^ «Раздел 5.9 (0050): Нётеровы топологические пространства — проект Stacks» .
Ссылки
[ редактировать ]- Харт, Класс Питер; Нагата, Джун-ин; Воган, Джерри Э. (2004). Энциклопедия общей топологии Эльзевир/Северные Нидерланды. ISBN 978-0-444-50355-8 .
- Стин, Линн Артур ; Зеебах, Дж. Артур младший (1995) [1978], Контрпримеры в топологии ( Дуврское переиздание издания 1978 года), Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-0-486-68735-3 , МР 0507446
- «Гиперсвязное пространство» . ПланетаМатематика .