stringtranslate.com

Дискретное пространство

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

Определения

Дан набор :

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

Доказательство того, что дискретное пространство не обязательно равномерно дискретно

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

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

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

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

Базовая однородность на дискретном метрическом пространстве — это дискретная однородность, а базовая топология на дискретном равномерном пространстве — это дискретная топология. Таким образом, различные понятия дискретного пространства совместимы друг с другом. С другой стороны, базовая топология недискретного равномерного или метрического пространства может быть дискретной; примером является метрическое пространство (с метрикой, унаследованной от действительной прямой и заданной как ). Это не дискретная метрика; также это пространство не является полным и, следовательно, не является дискретным как равномерное пространство. Тем не менее, оно является дискретным как топологическое пространство. Мы говорим, что является топологически дискретным , но не равномерно дискретным или метрически дискретным .

Кроме того:

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

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

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

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

Примеры и использование

Дискретная структура часто используется как «структура по умолчанию» на множестве, которое не несет никакой другой естественной топологии, однородности или метрики; дискретные структуры часто могут использоваться как «экстремальные» примеры для проверки конкретных предположений. Например, любую группу можно рассматривать как топологическую группу, придав ей дискретную топологию, подразумевая, что теоремы о топологических группах применимы ко всем группам. Действительно, аналитики могут называть обычные, нетопологические группы, изучаемые алгебраистами, « дискретными группами ». В некоторых случаях это может быть полезно применено, например, в сочетании с двойственностью Понтрягина . 0-мерное многообразие (или дифференцируемое или аналитическое многообразие) есть не что иное, как дискретное и счетное топологическое пространство (несчетное дискретное пространство не является счетно-второстепенным). Поэтому мы можем рассматривать любую дискретную счетную группу как 0-мерную группу Ли .

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

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

Недискретные пространства

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

Смотрите также

Ссылки

  1. ^ Pleasants, Peter AB (2000). "Дизайнерские квазикристаллы: наборы Cut-and-project с заданными свойствами". В Baake, Michael (ред.). Направления в математических квазикристаллах . Серия монографий CRM. Том 13. Providence, RI: Американское математическое общество . стр. 95–141. ISBN 0-8218-2629-8. Збл  0982.52018.
  2. ^ Вилански 2008, стр. 35.