WikiDer > Конечное топологическое пространство

Finite topological space

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

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

Топологии на конечном множестве

Как ограниченная подрешетка

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

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

Позволять Икс - конечное множество. Топология на Икс является подмножеством τ в п(Икс) такие, что

  1. ∅ ∈ τ и Икс ∈ τ
  2. если U и V находятся в τ, то UV ∈ τ
  3. если U и V находятся в τ, то UV ∈ τ

Следовательно, топология на конечном множестве - это не что иное, как подрешетка из (п(Икс), ⊂), который включает как нижний элемент (∅), так и верхний элемент (Икс).

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

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

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

Учитывая (не обязательно конечное) топологическое пространство Икс мы можем определить предварительный заказ на Икс от

Иксy если и только если Икс ∈ cl {y}

где cl {y} обозначает закрытие из одноэлементный набор {y}. Этот предварительный заказ называется предварительный заказ специализации на Икс. Каждый открытый набор U из Икс будет верхний набор относительно ≤ (т.е. если ИксU и Иксy тогда yU). Сейчас если Икс конечно, верно и обратное: каждое верхнее множество открыто в Икс. Итак, для конечных пространств топология на Икс однозначно определяется по ≤.

Идя в другую сторону, предположим (Икс, ≤) - заранее упорядоченное множество. Определим топологию τ на Икс взяв открытые множества как верхние множества относительно ≤. Тогда отношение ≤ будет предпорядком специализации (Икс, τ). Определенная таким образом топология называется Топология Александрова определяется по ≤.

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

Примеры

0 или 1 балл

Уникальная топология пустой набор ∅. Единственный открытый набор - пустой. Действительно, это единственное подмножество ∅.

Точно так же существует уникальная топология на одноэлементный набор {а}. Здесь открытыми множествами являются ∅ и {а}. Эта топология одновременно дискретный и банальный, хотя в некотором смысле лучше думать о нем как о дискретном пространстве, поскольку оно имеет больше свойств с семейством конечных дискретных пространств.

Для любого топологического пространства Икс есть уникальный непрерывная функция от ∅ до Икс, а именно пустая функция. Также существует уникальная непрерывная функция из Икс в одноэлементное пространство {а}, а именно постоянная функция к а. На языке теория категорий пустое пространство служит исходный объект в категория топологических пространств в то время как одноэлементное пространство служит конечный объект.

2 балла

Позволять Икс = {а,б} будет набором из 2 элементов. Есть четыре различных топологии на Икс:

  1. {∅, {а,б}} ( тривиальная топология)
  2. {∅, {а}, {а,б}}
  3. {∅, {б}, {а,б}}
  4. {∅, {а}, {б}, {а,б}} ( дискретная топология)

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

Предварительный заказ специализации на пространстве Серпинского {а,б} с участием {б} open определяется: аа, бб, и аб.

3 балла

Позволять Икс = {а,б,c} будет набором из 3 элементов. Есть 29 различных топологий на Икс но только 9 неэквивалентных топологий:

  1. {∅, {а,б,c}}
  2. {∅, {c}, {а,б,c}}
  3. {∅, {а,б}, {а,б,c}}
  4. {∅, {c}, {а,б}, {а,б,c}}
  5. {∅, {c}, {б,c}, {а,б,c}}
  6. {∅, {c}, {а,c}, {б,c}, {а,б,c}}
  7. {∅, {а}, {б}, {а,б}, {а,б,c}}
  8. {∅, {б}, {c}, {а,б}, {б,c}, {а,б,c}}
  9. {∅, {а}, {б}, {c}, {а,б}, {а,c}, {б,c}, {а,б,c}}

Последние 5 из них все Т0. Первый - тривиальный, а в 2, 3 и 4 точках а и б находятся топологически неразличимый.

4 балла

Позволять Икс = {а,б,c,d} будет набором из 4 элементов. Имеется 355 различных топологий на Икс а всего 33 неэквивалентных топологии:

  1. {∅, {а, б, c, d}}
  2. {∅, {а, б, c}, {а, б, c, d}}
  3. {∅, {а}, {а, б, c, d}}
  4. {∅, {а}, {а, б, c}, {а, б, c, d}}
  5. {∅, {а, б}, {а, б, c, d}}
  6. {∅, {а, б}, {а, б, c}, {а, б, c, d}}
  7. {∅, {а}, {а, б}, {а, б, c, d}}
  8. {∅, {а}, {б}, {а, б}, {а, б, c, d}}
  9. {∅, {а, б, c}, {d}, {а, б, c, d}}
  10. {∅, {а}, {а, б, c}, {а, d}, {а, б, c, d}}
  11. {∅, {а}, {а, б, c}, {d}, {а, d}, {а, б, c, d}}
  12. {∅, {а}, {б, c}, {а, б, c}, {а, d}, {а, б, c, d}}
  13. {∅, {а, б}, {а, б, c}, {а, б, d}, {а, б, c, d}}
  14. {∅, {а, б}, {c}, {а, б, c}, {а, б, c, d}}
  15. {∅, {а, б}, {c}, {а, б, c}, {а, б, d}, {а, б, c, d}}
  16. {∅, {а, б}, {c}, {а, б, c}, {d}, {а, б, d}, {c, d}, {а, б, c, d}}
  17. {∅, {б, c}, {а, d}, {а, б, c, d}}
  18. {∅, {а}, {а, б}, {а, б, c}, {а, б, d}, {а, б, c, d}} (Т0)
  19. {∅, {а}, {а, б}, {а, c}, {а, б, c}, {а, б, c, d}} (Т0)
  20. {∅, {а}, {б}, {а, б}, {а, c}, {а, б, c}, {а, б, c, d}} (Т0)
  21. {∅, {а}, {а, б}, {а, б, c}, {а, б, c, d}} (Т0)
  22. {∅, {а}, {б}, {а, б}, {а, б, c}, {а, б, c, d}} (Т0)
  23. {∅, {а}, {а, б}, {c}, {а, c}, {а, б, c}, {а, б, d}, {а, б, c, d}} (Т0)
  24. {∅, {а}, {а, б}, {а, c}, {а, б, c}, {а, б, d}, {а, б, c, d}} (Т0)
  25. {∅, {а}, {б}, {а, б}, {а, б, c}, {а, б, d}, {а, б, c, d}} (Т0)
  26. {∅, {а}, {б}, {а, б}, {а, c}, {а, б, c}, {а, б, d}, {а, б, c, d}} (Т0)
  27. {∅, {а}, {б}, {а, б}, {б, c}, {а, б, c}, {а, d}, {а, б, d}, {а, б, c, d}} (Т0)
  28. {∅, {а}, {а, б}, {а, c}, {а, б, c}, {а, d}, {а, б, d}, {а, c, d}, {а, б, c, d}} (Т0)
  29. {∅, {а}, {б}, {а, б}, {а, c}, {а, б, c}, {а, d}, {а, б, d}, {а, c, d}, {а, б, c, d}} (Т0)
  30. {∅, {а}, {б}, {а, б}, {c}, {а, c}, {б, c}, {а, б, c}, {а, б, d}, {а, б, c, d}} (Т0)
  31. {∅, {а}, {б}, {а, б}, {c}, {а, c}, {б, c}, {а, б, c}, {а, d}, {а, б, d}, {а, c, d}, {а, б, c, d}} (Т0)
  32. {∅, {а}, {б}, {а, б}, {c}, {а, c}, {б, c}, {а, б, c}, {а, б, c, d}} (Т0)
  33. {∅, {а}, {б}, {а, б}, {c}, {а, c}, {б, c}, {а, б, c}, {d}, {а, d}, {б, d}, {а, б, d}, {c, d}, {а, c, d}, {б, c, d}, {а, б, c, d}} (Т0)

Последние 16 из них все Т0.

Свойства

Компактность и счетность

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

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

Аксиомы разделения

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

Следовательно, любое недискретное конечное топологическое пространство не может быть T1, Хаусдорф или что-нибудь посильнее.

Однако недискретное конечное пространство может быть Т0. В общем, два балла Икс и y находятся топологически неразличимый если и только если Иксy и yИкс, где ≤ - предварительный заказ специализации на Икс. Отсюда следует, что пробел Икс это T0 тогда и только тогда, когда предварительный заказ специализации ≤ on Икс это частичный заказ. На конечном множестве существует множество частичных порядков. Каждый определяет уникальный T0 топология.

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

Недискретные конечные пространства также могут быть нормальный. В исключенная точечная топология на любом конечном множестве является совершенно нормально Т0 недискретное пространство.

Связь

Связность в ограниченном пространстве Икс лучше всего понять, учитывая предварительный заказ специализации ≤ на Икс. Мы можем связать с любым предварительно заказанным набором Икс а ориентированный граф Γ, взяв точки Икс как вершины и рисование ребра Иксy всякий раз, когда Иксy. Связность конечного пространства Икс можно понять, рассматривая возможность подключения ассоциированного графа Γ.

В любом топологическом пространстве, если Иксy тогда есть дорожка от Икс к y. Можно просто взять ж(0) = Икс и ж(т) = y для т > 0. Легко проверить, что ж непрерывно. Отсюда следует, что компоненты пути конечного топологического пространства - это в точности (слабо) связанные компоненты ассоциированного графа Γ. То есть есть топологический путь от Икс к y если и только если есть ненаправленный путь между соответствующими вершинами графа Γ.

Каждое конечное пространство локально соединенный путём поскольку набор

это открытая окрестности из Икс который содержится в любом другом районе. Другими словами, этот единственный набор образует местная база в Икс.

Следовательно, конечное пространство связанный тогда и только тогда, когда он связан по пути. Связанные компоненты - это в точности компоненты пути. Каждый такой компонент является одновременно закрытый и открытый в Икс.

Конечные пространства могут иметь более сильные свойства связности. Конечное пространство Икс является

Например, топология конкретной точки на конечном пространстве гиперсвязно, а исключенная точечная топология ультраподключен. В Пространство Серпинского это оба.

Дополнительная конструкция

Конечное топологическое пространство - это псевдометризуемый если и только если это р0. В этом случае один из возможных псевдометрический дан кем-то

где Иксy означает Икс и y находятся топологически неразличимый. Конечное топологическое пространство - это метризуемый тогда и только тогда, когда он дискретный.

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

Алгебраическая топология

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

В более общем плане было показано, что для любого конечного абстрактный симплициальный комплекс K, существует конечное топологическое пространство ИксK и слабая гомотопическая эквивалентность ж : |K| → ИксK где |K| это геометрическая реализация из K. Отсюда следует, что гомотопические группы |K| и ИксK изоморфны. Фактически, базовый набор ИксK можно принять за K сам, с топологией, связанной с включением частичного порядка.

Количество топологий на конечном множестве

Как обсуждалось выше, топологии на конечном множестве находятся во взаимно однозначном соответствии с предварительные заказы на съемочной площадке и Т0 топологии находятся во взаимно-однозначной переписке с частичные заказы. Следовательно, количество топологий на конечном множестве равно количеству предпорядков и количеству T0 количество топологий равно количеству частичных порядков.

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

Количество топологий в наборе с п точки
пОтчетливый
топологии
Отчетливый
Т0 топологии
Неэквивалентно
топологии
Неэквивалентно
Т0 топологии
01111
11111
24332
3291995
43552193316
56942423113963
6209527130023718318
79535241612985945352045
86427793544317233793597916999
96326028942344511042511363083183231
108977053873043661106524878347176872567284
OEISA000798A001035A001930A000112

Позволять Т(п) обозначают количество различных топологий на множестве с п точки. Нет известной простой формулы для вычисления Т(п) для произвольных п. В Интернет-энциклопедия целочисленных последовательностей в настоящее время перечисляет Т(п) для п ≤ 18.

Количество различных T0 топологии на множестве с п точки, обозначенные Т0(п), относится к Т(п) по формуле

где S(п,k) обозначает Число Стирлинга второго рода.

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

использованная литература

  1. ^ Терстон, Уильям П. (Апрель 1994). О доказательстве и прогрессе в математике. Бюллетень Американского математического общества. 30. С. 161–177. arXiv:математика / 9404236. Дои:10.1090 / S0273-0979-1994-00502-6.

внешние ссылки