Jump to content

Последовательное пространство

(Перенаправлено с последовательно закрытого )

В топологии и смежных областях математики секвенциальное пространство — это топологическое пространство , топологию которого можно полностью охарактеризовать сходящимися/расходящимися последовательностями. Их можно рассматривать как пространства, удовлетворяющие очень слабой аксиоме счетности , и все пространства с первой счетностью (особенно метрические пространства ) являются секвенциальными.

В любом топологическом пространстве если сходящаяся последовательность содержится в замкнутом множестве то предел этой последовательности должен содержаться в также. Множества, обладающие этим свойством, называются последовательно замкнутыми . Секвенциальные пространства — это именно те топологические пространства, для которых секвенциально замкнутые множества фактически замкнуты. (Эти определения также можно перефразировать в терминах последовательно открытых множеств; см. ниже.) Иными словами, любую топологию можно описать в терминах сетей (также известных как последовательности Мура – ​​Смита), но эти последовательности могут быть «слишком длинными» ( индексирован слишком большим порядковым номером) для сжатия в последовательность. Секвенциальные пространства — это те топологические пространства, для которых для описания топологии достаточно сетей счетной длины (т. е. последовательностей).

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

Родственные понятия пространств Фреше–Урысона , T -секвенциальных пространств и -секвенциальные пространства также определяются с точки зрения того, как топология пространства взаимодействует с последовательностями, но имеют слегка отличающиеся свойства.

Последовательные пространства и -секвенциальные пространства были введены С. П. Франклином . [1]

Хотя пространства, удовлетворяющие таким свойствам, неявно изучались в течение нескольких лет, первое формальное определение было дано С. П. Франклином в 1965 году. Франклин хотел определить «классы топологических пространств, которые могут быть полностью определены путем знания их сходящихся последовательностей», и начал с исследования пространств с первой счетностью , для которых уже было известно, что достаточно последовательностей. Затем Франклин пришел к современному определению, абстрагируя необходимые свойства пространств с первой счетностью.

Предварительные определения

[ редактировать ]

Позволять быть набором и пусть быть последовательностью в ; то есть семейство элементов , индексированный натуральными числами . В этой статье означает, что каждый элемент последовательности является элементом и, если это карта, то Для любого индекса хвост начиная с это последовательность Последовательность в конечном итоге находится в если какой-то хвост удовлетворяет

Позволять быть топологией на и последовательность в нем. Последовательность сходится к точке написано (если позволяет контекст, ), если для каждой окрестности из в конце концов находится в тогда называется предельной точкой

Функция между топологическими пространствами секвенциально непрерывна, если подразумевает

Последовательное закрытие/внутреннее

[ редактировать ]

Позволять быть топологическим пространством и пусть быть подмножеством. Топологическое замыкание (соответственно топологическая внутренняя часть ) в обозначается (соответственно ).

Последовательное закрытие в это набор который определяет карту, оператор последовательного замыкания , на множестве степеней При необходимости для ясности это множество можно записать еще или Всегда бывает так, что но обратное может не сработать.

Последовательный интерьер в это набор (топологическое пространство при необходимости снова указывается с нижним индексом).

Последовательное замыкание и внутреннее пространство удовлетворяют многим замечательным свойствам топологического замыкания и внутреннего пространства: для всех подмножеств

  • и ;
  • и ;
  • ;
  • ; и

То есть последовательное замыкание является оператором предварительного замыкания . В отличие от топологического замыкания, последовательное замыкание не является идемпотентным : последнее включение может быть строгим. Таким образом, последовательное замыкание не является ( Куратовского ) оператором замыкания .

Последовательно закрытые и открытые множества

[ редактировать ]

Набор последовательно закрывается, если ; равнозначно, для всех и такой, что мы должны иметь [примечание 1]

Набор определяется как последовательно открытая, если ее дополнение секвенциально закрыто. К эквивалентным условиям относятся:

  • или
  • Для всех и такой, что в конце концов находится в (т.е. существует некоторое целое число такой, что хвост ).

Набор является последовательной окрестностью точки если он содержит в его последовательном интерьере; последовательные окрестности не обязательно должны быть секвенциально открытыми (см. § T- и N-секвенциальные пространства ниже).

Это возможно для подмножества быть последовательно открытым, но не открытым. Точно так же возможно существование секвенциально замкнутого подмножества, которое не является замкнутым.

Последовательные пространства и корефлексия

[ редактировать ]

Как обсуждалось выше, последовательное замыкание, вообще говоря, не является идемпотентным и, следовательно, не является оператором замыкания топологии. Можно получить идемпотентное последовательное замыкание посредством трансфинитной итерации : для последующего порядкового номера определить (как обычно) и для предельного ординала определять Этот процесс дает возрастающую порядковую последовательность наборов; оказывается, что эта последовательность всегда стабилизируется по индексу ( первый неисчисляемый порядковый номер ). И наоборот, последовательный порядок — минимальный порядковый номер, при котором при любом выборе вышеуказанная последовательность стабилизируется. [2]

Трансфинитное последовательное замыкание это терминал, установленный в указанной выше последовательности: Оператор является идемпотентным и, следовательно, оператором замыкания . В частности, он определяет топологию последовательного короотражения. При последовательном корефлексии каждое последовательно замкнутое множество закрыто (и каждое последовательно открытое множество открыто). [3]

Последовательные пространства

[ редактировать ]

Топологическое пространство является последовательным, если он удовлетворяет любому из следующих эквивалентных условий:

  • является его собственным последовательным корефлексированием. [4]
  • Каждое последовательно открытое подмножество открыт.
  • Каждое последовательно замкнутое подмножество закрыт.
  • Для любого подмножества который не закрыт внутри существует какой-то [примечание 2] и последовательность в который сходится к [5]
  • (Универсальное свойство) Для любого топологического пространства карта непрерывен тогда и только тогда , когда он секвенциально непрерывен (если затем ). [6]
  • есть фактор первого счетного пространства.
  • является фактором метрического пространства.

Взяв и быть картой идентичности на по свойству универсальности следует, что класс секвенциальных пространств состоит именно из тех пространств, топологическая структура которых определяется сходящимися последовательностями. Если две топологии согласовывают сходящиеся последовательности, то они обязательно имеют одно и то же последовательное корефлексирование. Более того, функция из является секвенциально непрерывным тогда и только тогда, когда он непрерывен на последовательном кор-отражении (то есть, когда он предварительно составлен с ).

T- и N -секвенциальные пространства

[ редактировать ]

T — это топологическое пространство секвенциального порядка -секвенциальное пространство 1, которое эквивалентно любому из следующих условий: [1]

  • Последовательное закрытие (или внутреннее) каждого подмножества последовательно закрывается (соответственно открывается).
  • или являются идемпотентными.
  • или
  • Любая последовательная окрестность можно сжать до последовательно открытого множества, содержащего ; формально, последовательно открытые окрестности являются базисом окрестности для последовательных окрестностей.
  • Для любого и любая последовательная окрестность из существует последовательная окрестность из такой, что для каждого набор является последовательной окрестностью

Быть T -секвенциальным пространством несравнимо с тем, чтобы быть секвенциальным пространством; существуют секвенциальные пространства, которые не являются T -секвенциальными, и наоборот. Однако топологическое пространство называется -последовательный (или последовательный по соседству ), если он одновременно является последовательным и T -последовательным. Эквивалентное условие состоит в том, что каждая последовательная окрестность содержит открытую (классическую) окрестность. [1]

Каждое счетное пространство (и, следовательно, каждое метризуемое пространство ) есть -последовательный. Существуют топологические векторные пространства , которые являются секвенциальными, но не -последовательный (и, следовательно, не T -последовательный). [1]

Пространства Фреше–Урысона

[ редактировать ]

Топологическое пространство называется Фреше–Урысоном, если оно удовлетворяет любому из следующих эквивалентных условий:

  • является наследственно последовательным; то есть каждое топологическое подпространство является секвенциальным.
  • Для каждого подмножества
  • Для любого подмножества который не закрыт внутри и каждый существует последовательность в который сходится к

Пространства Фреше-Урысона также иногда называют «Фреше», но их не следует путать ни с пространствами Фреше в функциональном анализе , ни T 1 с условием .

Примеры и достаточные условия

[ редактировать ]

Каждый CW-комплекс является секвенциальным, поскольку его можно рассматривать как фактор метрического пространства.

Простой спектр коммутативного нётерова кольца с топологией Зариского секвенциален. [7]

Возьми реальную линию и определите набор целых чисел в точку. В качестве фактора метрического пространства результат является последовательным, но не является первым счетным.

Каждое первое счетное пространство является пространством Фреше–Урысона, а каждое пространство Фреше–Урысона секвенциально. Таким образом, каждое метризуемое или псевдометризуемое пространство — в частности, каждое пространство со счетом второй секунды , метрическое пространство или дискретное пространство — является секвенциальным.

Позволять — набор отображений пространств Фреше–Урысона в Тогда окончательная топология , которая вызывает является последовательным.

Хаусдорфа Топологическое векторное пространство является секвенциальным тогда и только тогда, когда не существует строго более тонкой топологии с такими же сходящимися последовательностями. [8] [9]

Пространства, которые являются последовательными, но не Фреше-Урысона.

[ редактировать ]

Пространство Шварца и пространство гладких функций , как обсуждалось в статье о распределениях , являются широко используемыми секвенциальными пространствами. [10] [11]

В более общем смысле, каждое бесконечномерное Монтеля DF-пространство является секвенциальным, но не Фреше-Урысона .

Пространство Аренса последовательное, но не Фреше-Урысона. [12] [13]

Непримеры (пробелы, которые не являются последовательными)

[ редактировать ]

Простейшее несеквенциальное пространство — это косчетная топология на несчетном множестве. Каждая сходящаяся последовательность в таком пространстве в конечном итоге постоянна; следовательно, каждое множество последовательно открыто. Но счетная топология не дискретна . (Можно было бы назвать топологию «последовательно дискретной».) [14]

Позволять обозначаем пространство -гладкие тестовые функции с канонической топологией и пусть обозначают пространство распределений, сильное двойственное пространство ; ни одно из них не является последовательным (и даже пространством Асколи ). [10] [11] С другой стороны, оба и являются Монтеля помещениями [15] и в дуальном пространстве к любому пространству Монтеля последовательность непрерывных линейных функционалов сходится в сильной двойственной топологии тогда и только тогда, когда она сходится в слабой* топологии (т. е. сходится поточечно). [10] [16]

Последствия

[ редактировать ]

Всякое секвенциальное пространство обладает счетной теснотой и компактно порождено .

Если является непрерывной открытой сюръекцией между двумя секвенциальными хаусдорфовыми пространствами, то множество точек с уникальным прообразом закрыто. (По непрерывности, таков же и его прообраз в совокупность всех точек, на которых является инъективным.)

Если является сюръективным отображением (не обязательно непрерывным) на секвенциальное пространство Хаусдорфа. и основы топологии на затем является открытым отображением тогда и только тогда, когда для каждого основной район из и последовательность в есть подпоследовательность это в конце концов в

Категориальные свойства

[ редактировать ]

Полная подкатегория Seq всех секвенциальных пространств замыкается при следующих операциях в категории Top топологических пространств:

Категория Seq не закрывается при следующих операциях в Top :

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

Подкатегория Seq является декартовой закрытой категорией относительно своего собственного продукта (не продукта Top ). Экспоненциальные объекты имеют (сходящуюся последовательность)-открытую топологию.

П. И. Бут и А. Тиллотсон показали, что Seq — это наименьшая декартова замкнутая подкатегория Top, содержащая основные топологические пространства всех метрических пространств , CW-комплексов и дифференцируемых многообразий , и которая замкнута относительно копределов, частных и других «некоторых разумных тождеств ", который Норман Стинрод назвал "удобным". [17]

Каждое секвенциальное пространство компактно порождено , и конечные произведения в Seq совпадают с произведениями для компактно порожденных пространств, поскольку произведения в категории компактно порожденных пространств сохраняют факторы метрических пространств.

См. также

[ редактировать ]

Примечания

[ редактировать ]
  1. ^ Нельзя одновременно применить этот «тест» к бесконечному множеству подмножеств (например, нельзя использовать что-то вроде аксиомы выбора ). Не все секвенциальные пространства являются пространствами Фреше-Урысона , но только в этих пространствах возможно замыкание множества. могут быть определены без необходимости рассматривать какое-либо множество, кроме
  2. ^ Пространство Фреше – Урысона определяется аналогичным условием для всех таких :

    Для любого подмножества который не закрыт внутри для любого существует последовательность в который сходится к

  1. ^ Jump up to: а б с д Снайпс, Рэй (1972). «Т-секвенциальные топологические пространства» (PDF) . Основы математики . 77 (2): 95–98. дои : 10.4064/fm-77-2-95-98 . ISSN   0016-2736 .
  2. ^ * Архангельский А.В.; Франклин, СП (1968). «Порядковые инварианты топологических пространств» . Мичиганская математика. Дж . 15 (3): 313–320. дои : 10.1307/mmj/1029000034 .
  3. ^ Барон, С. (октябрь 1968 г.). «Коррефлективная подкатегория последовательных пространств» . Канадский математический бюллетень . 11 (4): 603–604. дои : 10.4153/CMB-1968-074-4 . ISSN   0008-4395 . S2CID   124685527 .
  4. ^ «Топология последовательно открытых множеств секвенциальна?» . Математический обмен стеками .
  5. ^ Arkhangel'skii, A.V. and Pontryagin L.S.,   General Topology I, definition 9 p.12
  6. ^ Барон, С.; Лидер Соломон (1966). «Решение проблемы №5299» . Американский математический ежемесячник . 73 (6): 677–678. дои : 10.2307/2314834 . ISSN   0002-9890 . JSTOR   2314834 .
  7. ^ «О секвенциальных свойствах нётеровых топологических пространств» (PDF) . 2004 . Проверено 30 июля 2023 г.
  8. ^ Вилански 2013 , с. 224.
  9. ^ Дадли, Р.М., О последовательной сходимости - Труды Американского математического общества, том 112, 1964, стр. 483-507.
  10. ^ Jump up to: а б с Габриелян, Саак (2019). «Топологические свойства строгих -пробелы и сильные двойники Montel strict -пространства». Ежемесячные книги по математике . 189 (1): 91–99. arXiv : 1702.07867 . doi : 10.1007/s00605-018-1223-6 .
  11. ^ Jump up to: а б Шираи Т., О топологиях пространств Л. Шварца, Тр. Япония Акад. 35 (1959), 31–36.
  12. ^ Энгелькинг 1989, пример 1.6.19.
  13. ^ Ма, Дэн (19 августа 2010 г.). «Заметка о пространстве Аренсов» . Проверено 1 августа 2013 г.
  14. ^ математика; Слезьяк, Мартин (6 декабря 2016 г.). «Пример различных топологий с одинаковыми сходящимися последовательностями» . Математический обмен стеками . StackOverflow . Проверено 27 июня 2022 г.
  15. ^ «Топологическое векторное пространство» . Энциклопедия математики . Проверено 6 сентября 2020 г. Это пространство Монтеля, следовательно, паракомпактное и поэтому нормальное.
  16. ^ Тревес 2006 , стр. 351–359.
  17. ^ Стинрод 1967
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: b51c5fa2c1dcb7cb6e8080d5b0b190ce__1722214380
URL1:https://arc.ask3.ru/arc/aa/b5/ce/b51c5fa2c1dcb7cb6e8080d5b0b190ce.html
Заголовок, (Title) документа по адресу, URL1:
Sequential space - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)