Jump to content

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

В математике , особенно в топологии , карта, покрывающая последовательность , — это любой класс отображений между топологическими пространствами , все определения которых каким-то образом связывают последовательности в кодомене с последовательностями в области . Примеры включают последовательно- факторные отображения, покрытия последовательностей , покрытия из 1-последовательности и покрытия из 2-последовательностей . [1] [2] [3] [4] Эти классы карт тесно связаны с секвенциальными пространствами . Если область и/или кодомен обладают определенными дополнительными топологическими свойствами (часто пространств, являющихся хаусдорфовыми и первыми счетными , более чем достаточно), то эти определения становятся эквивалентными другим хорошо известным классам отображений, таким как открытые карты или фактор-карты . например. В таких ситуациях характеристики таких свойств в терминах сходящихся последовательностей могут дать преимущества, аналогичные тем, которые дают, скажем, характеристика непрерывности в терминах секвенциальной непрерывности или характеристика компактности в терминах секвенциальной компактности (всякий раз, когда такие характеристики верны). ).

Определения

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

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

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

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

Карта называется секвенциально непрерывным, если является непрерывным , что происходит тогда и только тогда, когда для каждой последовательности в и каждый если в тогда обязательно в Любое непрерывное отображение является секвенциально непрерывным, хотя, вообще говоря, обратное может оказаться неверным. На самом деле, пространство является секвенциальным пространством тогда и только тогда, когда оно обладает следующим универсальным свойством для секвенциальных пространств :

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

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

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

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

Последовательность в наборе по определению является функцией чья стоимость в обозначается (хотя обычные обозначения, используемые с функциями, такие как круглые скобки или композиция может использоваться в определенных ситуациях для улучшения читаемости). Такие утверждения, как «последовательность является инъективным » или « изображение (т.е. диапазон) последовательности бесконечно», а также другая терминология и обозначения, определенные для функций, таким образом, могут быть применены к последовательностям. Последовательность называется подпоследовательностью другой последовательности если существует строго возрастающее отображение (возможно, обозначается вместо этого) такой, что для каждого где это условие можно выразить через композицию функций как: Как обычно, если объявляется (например, по определению) подпоследовательностью то следует сразу предположить, что строго возрастает. Обозначения и означает, что последовательность ценится в комплекте

Функция называется покрытие последовательности if для каждой сходящейся последовательности в существует последовательность такой, что Это называется 1-последовательность покрытия, если для каждого существует какой-то такая, что каждая последовательность который сходится к в существует последовательность такой, что и сходится к в Это 2-последовательное покрытие, если сюръективен и также для каждого и каждый каждая последовательность и сходится к в существует последовательность такой, что и сходится к в Карта является компактным накрытием, если для любого компакта существует некоторое компактное подмножество такой, что

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

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

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

представляет собой факторкарту , [5] что происходит тогда и только тогда, когда для любого подмножества последовательно открыт тогда и только тогда, когда это верно для в Последовательные фактор-карты были введены Буном и Сивецом в 1976 году, которые определили их, как указано выше. [5]

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

Позвонить в пространство последовательно по Хаусдорфу, если является хаусдорфовым пространством . [6] Аналогичным образом «последовательная версия» любой другой аксиомы разделения может быть определена с точки зрения того, является ли пространство обладать им. Каждое хаусдорфово пространство обязательно секвенциально хаусдорфово. Секвенциальное пространство является хаусдорфовым тогда и только тогда, когда оно секвенциально хаусдорфово.

Если является секвенциально-непрерывной сюръекцией, тогда если предположить, что является последовательно Хаусдорфовым, следующие утверждения эквивалентны:

  1. является последовательным фактором.
  2. В любое время является сходящейся последовательностью в тогда существует сходящаяся последовательность в такой, что и является подпоследовательностью
  3. В любое время является сходящейся последовательностью в тогда существует сходящаяся последовательность в такой, что является подпоследовательностью
    • Это утверждение отличается от приведенного выше (2) только тем, что к пределам последовательностей не предъявляются требования (что становится важным отличием только тогда, когда не является последовательно Хаусдорфом).
    • Если является непрерывной сюръекцией на секвенциально компактное пространство то это условие выполняется, даже если не является последовательно Хаусдорфовым.

Если предположение, что является последовательно Хаусдорфовым, то утверждение (2) по-прежнему будет подразумевать два других утверждения, но приведенная выше характеристика больше не будет гарантированно верной (однако, если точки в кодомене должны быть последовательно замкнуты, тогда любое последовательно факторизованное отображение обязательно удовлетворяло бы условию (3)). Это остается верным, даже если требование последовательной непрерывности на был усилен, чтобы требовать (обычной) преемственности. Вместо использования исходного определения некоторые авторы определяют «последовательное фактор-отображение» как означающее непрерывную сюръекцию, которая удовлетворяет условию (2) или, альтернативно, условию (3). Если кодомен является секвенциально Хаусдорфовым, то эти определения отличаются от оригинала только дополнительным требованием непрерывности (а не просто требованием последовательной непрерывности).

Карта называется пресеквенциален , если для каждой сходящейся последовательности в такой, что в конечном итоге не равен набор закрывается не последовательно [5] где этот набор также можно описать как:

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

Сюръективная карта между хаусдорфовыми пространствами является секвенциально факторизованным тогда и только тогда, когда оно секвенциально непрерывно и является пресеквенциальным отображением. [5]

Характеристики

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

Если является непрерывной сюръекцией между двумя первыми счетными хаусдорфовыми пространствами, то верны следующие утверждения: [7] [8] [9] [10] [11] [12] [3] [4]

  • почти открыто тогда и только тогда, когда оно является покрытием из 1 последовательности.
    • Почти открытая карта сюръективная карта. с тем свойством, что для каждого существует какой-то такой, что является точкой открытости для что по определению означает, что для каждой открытой окрестности из это район в
  • является открытым отображением тогда и только тогда, когда оно является 2-последовательным накрытием.
  • Если является компактным накрывающим отображением, тогда является факторкартой.
  • Следующие действия эквивалентны:
    1. является факторкартой.
    2. является последовательно-факторным отображением.
    3. является покрытием последовательности.
    4. является псевдооткрытой картой.
      • Карта называется псевдооткрытым, если для любого и каждый открытый район из (имеется в виду открытое подмножество такой, что ), обязательно принадлежит интерьеру ( взятому в ) из

    а если вдобавок оба и являются сепарабельными метрическими пространствами , то к этому списку можно добавить:

    1. является наследственно факторкартой .

Характеристики

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

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

Учитывая элемент в кодомене непрерывной функции (не обязательно сюръективной) следующее дает достаточное условие для принадлежать изображение: Семья подмножеств топологического пространства называется локально конечным в точке если существует какая-то открытая окрестность из такой, что набор конечно. Предположим, что является непрерывным отображением между двумя Хаусдорфу пространствами, счетными по , и пусть Если существует последовательность в такой, что (1) и (2) существует некоторый такой, что является не локально конечным при затем Обратное верно, если нет точки, в которой постоянна локально ; то есть, если не существует непустого открытого подмножества на котором ограничивается постоянным отображением.

Достаточные условия

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

Предполагать есть непрерывная открытая сюръекция из первосчетного пространства на хаусдорфово пространство позволять — любое непустое подмножество, и пусть где означает закрытие в Тогда учитывая любой и любая последовательность в который сходится к существует последовательность в который сходится к а также подпоследовательность из такой, что для всех Короче говоря, это означает, что для данной сходящейся последовательности такой, что тогда для любого другого принадлежащие тому же волокну, что и всегда можно найти подпоследовательность такой, что можно «поднять» к последовательности, которая сходится к

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

См. также

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

Примечания

[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: b6085fe2ce781816775ba0c6d82536d7__1704223860
URL1:https://arc.ask3.ru/arc/aa/b6/d7/b6085fe2ce781816775ba0c6d82536d7.html
Заголовок, (Title) документа по адресу, URL1:
Sequence covering map - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)