Идеально (теория порядка)

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

• 1 Основные определения
• 2 Простые идеалы
• 3 Максимальные идеалы
• 4 Приложения
• 5 История
• 6 Литература
• 7 См. Также
• 8 Примечания
• 9 Ссылки

Подмножество I частично упорядоченного набора (P, ≤) является идеалом, если выполняются следующие условия:

1. I непусто,
2. для каждого x в I, любого y в P и y ≤ x означает, что y находится в I. (I является нижний набор ) и
3. для каждого x, y в I существует некоторый элемент z в I, такой, что x ≤ z и y ≤ z. (I - направленное множество ).

Хотя это наиболее общий способ определения идеала для произвольных множеств, он изначально был определен только для решеток. В этом случае следующее эквивалентное определение может быть задано: подмножество I решетки (P, ≤) является идеалом тогда и только тогда, когда это нижнее множество, замкнутое относительно конечных объединений (suprema ), т. е. он непустой, и для всех x, y в I элемент $x\; \vee \; y\; \{\backslash \; displaystyle\; x\; \backslash \; vee\; y\}$P также находится в I.

двойное понятие идеала, т. е. концепция, полученная перестановкой всех ≤ и заменой $\vee \; \{\backslash \; displaystyle\; \backslash \; vee\}$на $\wedge \; \{\backslash \; displaystyle\; \backslash \; wedge\}$, является фильтром .

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

Идеалы Фринка, псевдоидеалы и псевдоидеалы Дойля представляют собой различные обобщения понятия идеала решетки.

Идеал или фильтр называется правильным, если он не равен всему набору P.

Наименьший идеал, содержащий данный элемент p, - это главный идеал и p называется главным элементом идеала в этой ситуации. Главный идеал $\downarrow \; p\; \{\backslash \; displaystyle\; \backslash \; downarrow\; p\}$для главного p, таким образом, определяется как $\downarrow \; p\; \{\backslash \; displaystyle\; \backslash \; downarrow\; p\}$= {x в P | x ≤ p}.

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

Подмножество I решетки (P, ≤) является простым идеалом тогда и только тогда, когда

1. I является собственным идеалом P и
2. для всех элементов x и y из P, x $\wedge \; \{\backslash \; displaystyle\; \backslash \; wedge\}$y in I подразумевает, что x находится в I или y находится в I.

Это Легко проверить, что это действительно эквивалентно утверждению, что P \ I является фильтром (который тогда также является простым в двойственном смысле).

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

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

Идеал I является максимальным, если он правильный и не существует собственного идеала J, который является строгим надмножеством I. Аналогично, фильтр F является максимальным, если он правильный и нет подходящего фильтра, который является строгим надмножеством.

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

Максимальные фильтры иногда называют ультрафильтрами, но эта терминология часто используется для булевых алгебр, где максимальный фильтр (идеальный) - это фильтр (идеальный), содержащий ровно один из элементов { a, ¬a} для каждого элемента a булевой алгебры. В булевых алгебрах термины простой идеал и максимальный идеал совпадают, как и термины простой фильтр и максимальный фильтр.

Есть еще одно интересное понятие максимальности идеалов: рассмотрим идеал I и фильтр F такие, что I не пересекается с F. Нас интересует идеал M, который является максимальным среди всех идеалы, содержащие I и не пересекающиеся с F. В случае дистрибутивных решеток такой M всегда является первичным идеалом. Доказательство этого утверждения следует.

Доказательство. Предположим, что идеал M максимален относительно дизъюнктности с фильтром F. Предположим от противного, что M не является простым, т. Е. Существует пара элементов a и b такая, что a $\wedge \; \{\backslash \; displaystyle\; \backslash \; wedge\}$b в M, но ни a, ни b не находятся в M. Рассмотрим случай, когда для всех m в M, m $\vee \; \{\backslash \; displaystyle\; \backslash \; vee\}$a не входит в F. Можно построить идеал N, взяв нисходящее замыкание множества всех бинарных объединений этой формы, т. е. N = {x | x≤ m $\vee \; \{\backslash \; displaystyle\; \backslash \; vee\}$a для некоторого m в M}. Легко проверить, что N действительно является идеалом, не пересекающимся с F, который строго больше M. Но это противоречит максимальности M и, следовательно, предположению, что M не является простым.

В другом случае предположим, что в M есть некоторый m с m $\vee \; \{\backslash \; displaystyle\; \backslash \; vee\}$a в F. Теперь, если какой-либо элемент n в M таков, что n $\vee \; \{\backslash \; displaystyle\; \backslash \; vee\}$b находится в F, обнаруживается, что (m $\vee \; \{\backslash \; displaystyle\; \backslash \; vee\}$n)$\vee \; \{\backslash \; displaystyle\; \backslash \; vee\}$b и (m $\vee \; \{\; \backslash \; displaystyle\; \backslash \; vee\}$n)$\vee \; \{\backslash \; displaystyle\; \backslash \; vee\}$a оба находятся в F. Но тогда их пересечение находится в F и, по распределенности, (m $\vee \; \{\backslash \; displaystyle\; \backslash \; vee\; \}$n) $\vee \; \{\backslash \; displaystyle\; \backslash \; vee\}$(a$\wedge \; \{\backslash \; displaystyle\; \backslash \; wedge\}$b) тоже находится в F. С другой стороны, это конечное соединение элементов M явно находится в M, так что предполагаемое существование n противоречит дизъюнктности этих двух множеств. Следовательно, все элементы n из M имеют соединение с b, которого нет в F. Следовательно, можно применить указанную выше constr Чтобы получить идеал, который строго больше, чем M, но не пересекается с F. Это завершает доказательство.

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

Построение идеалов и фильтров - важный инструмент во многих приложениях теории порядка.

• В теореме Стоуна о представлении булевых алгебр максимальные идеалы (или, что эквивалентно через карту отрицания, ультрафильтры) используются для получения набора точек топологического пространства, закрытые множества изоморфны исходной булевой алгебре.
• Теория порядка знает множество процедур завершения, чтобы превращать позы в позы с дополнительными полнота свойств. Например, заданный частичный порядок P - это множество всех идеалов P, упорядоченных по включению подмножества. Эта конструкция дает free dcpo, сгенерированный P. Идеал является главным тогда и только тогда, когда он compact в идеальном завершении, поэтому исходный poset может быть восстанавливается как подмножество, состоящее из компактных элементов. Более того, каждый алгебраический dcpo может быть реконструирован как идеальное завершение его набора компактных элементов.

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

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

• Фильтр (математика)
• Идеал (теория колец)
• Идеал (теория множеств)

1. ^Тейлор (1999), стр. 141 : «Направленное нижнее подмножество чугуна X называется идеалом»
2. ^Gierz, G.; Hofmann, K. H.; Keimel, K.; Lawson, J.D.; Mislove, M. W.; Скотт, Д. С. (2003). Непрерывные решетки и домены. Энциклопедия математики и ее приложений. 93 . Издательство Кембриджского университета. п. 3. ISBN 0521803381.
3. ^ Burris Sankappanavar 1981, Def. 8.2.
4. ^Лоусон (1998), стр. 22
5. ^Стэнли (2002), стр. 100
6. ^ Davey Priestley 2002, pp. 20, 44.

• Burris, Stanley N.; Санкаппанавар, Ханамантагуда П. (1981). Курс универсальной алгебры. Springer-Verlag. ISBN 3-540-90578-2. CS1 maint: ref = harv (ссылка )
• Дэйви, Брайан А.; Пристли, Хилари Ann (2002). Introduction to Lattices and Order (2nd ed.). Cambridge University Press. ISBN 0-521-78451-4.
• Lawson, MV (1998). Обратные полугруппы: теория частичных симметрий. World Scientific. ISBN 978-981-02-3316-7. CS1 maint: ref = harv (link )
• Стэнли, Р.П. (2002). Перечислительная комбинаторика. Кембриджские исследования по высшей математике. 1 . Cambridge University Press. ISBN 978-0-521-66351-9. CS1 maint: ref = harv (ссылка )
• Тейлор, Пол (1999), Практические основы математики, Cambridge Studies in Advanced Mathematics, 59, Cambridge University Press, Кембридж, ISBN 0-521-63107-6, MR 1694820 CS1 maint: ref = harv (ссылка )