Режиссерский набор
В математике ( направленное множество или направленный предварительный порядок , или фильтрованное множество ) — это непустое множество . вместе с рефлексивным и транзитивным бинарным отношением (то есть предварительный порядок ) с дополнительным свойством, заключающимся в том, что каждая пара элементов имеет верхнюю границу . [1] Другими словами, для любого и в должно существовать в с и Предварительный порядок направленного набора называется направлением .
Определенное выше понятие иногда называют направленный вверх набор . А направленное вниз множество определяется аналогично, [2] это означает, что каждая пара элементов ограничена снизу. [3] Некоторые авторы (и данная статья) предполагают, что направленное множество направлено вверх, если не указано иное. Другие авторы называют множество направленным тогда и только тогда, когда оно направлено и вверх, и вниз. [4]
Направленные множества являются обобщением непустых вполне упорядоченных множеств . То есть все полностью упорядоченные множества являются направленными (в отличие от частично упорядоченных множеств , которые не обязательно должны быть направленными). Соединяющиеся полурешетки (которые представляют собой частично упорядоченные множества) также являются направленными множествами, но не наоборот. Аналогично решетки направлены множествами как вверх, так и вниз.
В топологии направленные множества используются для определения сетей , которые обобщают последовательности и объединяют различные понятия предела , используемые в анализе . Направленные множества также приводят к прямым пределам в абстрактной алгебре и (в более общем плане) теории категорий .
Эквивалентное определение [ править ]
Помимо определения, приведенного выше, существует эквивалентное определение. – Ориентированное множество это множество с таким предпорядком , что каждое конечное подмножество имеет верхнюю границу. В этом определении из существования верхней границы пустого подмножества следует, что непусто.
Примеры [ править ]
Набор натуральных чисел с обычным заказом является одним из наиболее важных примеров направленного множества. Всякое полностью упорядоченное множество является направленным множеством, в том числе и
(Тривиальным) примером частично упорядоченного множества, которое не является направленным, является множество в котором единственными отношениями порядка являются и Менее тривиальный пример подобен следующему примеру «реалов, направленных на ", но в котором правило упорядочения применяется только к парам элементов на одной стороне (то есть, если взять элемент слева от и справа, тогда и несопоставимы, а подмножество не имеет верхней границы).
Продукт направленных наборов [ править ]
Позволять и быть направленными множествами. Тогда декартовых произведений множество можно превратить в направленное множество, определив если и только если и По аналогии с порядком продукта это направление продукта по декартову произведению. Например, набор пар натуральных чисел можно превратить в направленное множество, определив если и только если и
Направлено в точку [ править ]
Если , действительное число то множество можно превратить в направленное множество, определив если (поэтому «большие» элементы ближе к ). Тогда мы говорим, что реалы были направлены на Это пример направленного множества, которое не является ни частично упорядоченным , ни полностью упорядоченным . Это связано с тем, что антисимметрия нарушается для каждой пары. и на равном расстоянии от где и находятся на противоположных сторонах Явно это происходит, когда для какого-то настоящего в таком случае и Несмотря на то Если бы этот предварительный порядок был определен на вместо тогда он по-прежнему будет формировать направленный набор, но теперь у него будет (уникальный) наибольший элемент , а именно ; однако он все равно не будет частично заказан. Этот пример можно обобщить на метрическое пространство. определив на или предзаказ если и только если
Максимальные и величайшие элементы [ править ]
Элемент из предзаказанного набора является максимальным элементом , если для любого подразумевает [5] Это величайший элемент , если для каждого
Любой предупорядоченный набор с наибольшим элементом является ориентированным множеством с тем же предварительным порядком. Например, в посете каждое нижнее замыкание элемента; то есть каждое подмножество формы где является фиксированным элементом из направлен.
Каждый максимальный элемент направленного предупорядоченного множества является наибольшим элементом. Действительно, направленное предупорядоченное множество характеризуется равенством (возможно, пустого) множеств максимальных и наибольших элементов.
Включение подмножества [ править ]
подмножества включения Отношение вместе с его двойным определить частичные порядки в любом заданном семействе множеств . Непустое семейство множеств — это ориентированное множество относительно частичного порядка. (соответственно, ) тогда и только тогда, когда пересечение (соответственно объединение) любых двух его членов содержит в качестве подмножества (соответственно содержится в качестве подмножества) некоторый третий член. В символах семья множеств направлен относительно (соответственно, ) если и только если
- для всех существует какой-то такой, что и (соответственно, и )
или эквивалентно,
- для всех существует какой-то такой, что (соответственно, ).
Многие важные примеры направленных множеств можно определить с помощью этих частичных порядков. Например, по определению префильтр или база фильтров — это непустое семейство множеств , которое является направленным множеством относительно частичного порядка. и это также не содержит пустого множества (это условие предотвращает тривиальность, поскольку в противном случае пустое множество было бы наибольшим элементом по отношению к ). Всякая π -система , представляющая собой непустое семейство множеств , замкнутое относительно пересечения любых двух своих членов, является ориентированным множеством относительно Любая λ-система является направленным множеством относительно Каждый фильтр , топология и σ-алгебра являются направленным множеством относительно обоих и
Хвосты сетей [ править ]
По определению сеть — это функция направленного множества, а последовательность — функция натуральных чисел. Каждая последовательность канонически становится сетью, если наделить ее с
Если — это любая сеть из ориентированного множества тогда для любого индекса набор называется хвостом начинается с Семья всех хвостов является направленным множеством относительно по сути, это даже предфильтр.
Районы [ править ]
Если является топологическим пространством и это точка в совокупность окрестностей всех можно превратить в направленное множество, написав если и только если содержит Для каждого и :
- с содержит себя.
- если и затем и что подразумевает Таким образом
- потому что и поскольку оба и у нас есть и
Конечные подмножества [ править ]
Набор всех конечных подмножеств множества направлен по отношению к поскольку даны любые два их союз является верхней границей и в Этот конкретный направленный набор используется для определения суммы обобщенного ряда -индексированная коллекция чисел (или, в более общем смысле, сумма элементов абелевой топологической группы , таких как векторы в топологическом векторном пространстве ) как предел сети частичных сумм то есть:
Логика [ править ]
Позволять быть формальной теорией , представляющей собой набор предложений с определёнными свойствами (подробности о которых можно прочитать в статье по теме ). Например, может быть теорией первого порядка (например, теорией множеств Цермело-Френкеля ) или более простой теорией нулевого порядка . Предзаказной набор является направленным множеством, потому что если и если обозначает предложение, образованное логическим союзом затем и где Если – алгебра Линденбаума–Тарского, ассоциированная с затем представляет собой частично упорядоченное множество, которое также является направленным множеством.
с полурешетками Контраст
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a2/Directed_set%2C_but_no_join_semi-lattice.png/96px-Directed_set%2C_but_no_join_semi-lattice.png)
Направленный набор - это более общая концепция, чем полурешетка (соединения): каждая полурешетка соединения является направленным набором, поскольку желаемым является соединение или наименьшая верхняя граница двух элементов. Однако обратное неверно, поскольку направленный набор {1000,0001,1101,1011,1111} упорядочен побитово (например, держится, но нет, поскольку в последнем бите 1 > 0), где {1000,0001} имеет три верхних границы, но не имеет последней верхней границы, ср. картина. (Также обратите внимание, что без 1111 набор не направлен.)
Направленные подмножества [ править ]
Отношение порядка в направленном множестве не обязательно должно быть антисимметричным , и поэтому направленные множества не всегда являются частичными порядками . Однако термин « направленный набор» также часто используется в контексте частично упорядоченных множеств. В этом параметре подмножество частично упорядоченного множества называется направленным подмножеством , если это направленное множество в соответствии с тем же частичным порядком: другими словами, это не пустое множество , и каждая пара элементов имеет верхнюю границу. Здесь отношение порядка на элементах унаследован от ; по этой причине рефлексивность и транзитивность не обязательно требуются явно.
Направленное подмножество ЧУМ не обязательно должно быть замкнутым вниз ; подмножество частичного множества является направленным тогда и только тогда, когда его замыкание вниз является идеалом . Хотя определение направленного набора относится к набору, «направленному вверх» (каждая пара элементов имеет верхнюю границу), также возможно определить набор, направленный вниз, в котором каждая пара элементов имеет общую нижнюю границу. Подмножество частичного множества направлено вниз тогда и только тогда, когда его верхнее замыкание является фильтром .
Направленные подмножества используются в теории предметной области , которая изучает направленно-полные частичные порядки . [6] Это частично упорядоченные наборы, в которых каждое направленное вверх множество должно иметь наименьшую верхнюю границу . В этом контексте направленные подмножества снова обеспечивают обобщение сходящихся последовательностей. [ нужны дальнейшие объяснения ]
См. также [ править ]
- Центрированное множество - Теория порядка
- Отфильтрованная категория
- Фильтры в топологии . Использование фильтров для описания и характеристики всех основных топологических понятий и результатов.
- Связанное множество - математическая концепция, касающаяся частично упорядоченных множеств в теории (частичного) порядка.
- Сеть (математика) - обобщение последовательности точек.
Примечания [ править ]
- ^ Келли, с. 65.
- ^ Роберт С. Борден (1988). Курс углубленного исчисления . Курьерская корпорация. п. 20. ISBN 978-0-486-15038-3 .
- ^ Арлен Браун; Карл Пирси (1995). Введение в анализ . Спрингер. п. 13 . ISBN 978-1-4612-0787-0 .
- ^ Зигфрид Карл; Сеппо Хейккиля (2010). Теория неподвижной точки в упорядоченных множествах и ее приложения: от дифференциальных и интегральных уравнений к теории игр . Спрингер. п. 77. ИСБН 978-1-4419-7585-0 .
- ^ Это подразумевает если представляет собой частично упорядоченное множество .
- ^ Гирц, с. 2.
Ссылки [ править ]
- Дж. Л. Келли (1955), Общая топология .
- Гирц, Хофманн, Кеймель и др. (2003), Непрерывные решетки и области , Издательство Кембриджского университета. ISBN 0-521-80338-1 .