Jump to content

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

(Перенаправлено с максимального фильтра )

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

Определения

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

Подмножество I частично упорядоченного множества является идеалом , если выполняются следующие условия: [1] [2]

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

Хотя это наиболее общий способ определения идеала для произвольных ЧУМ, первоначально он был определен только для решеток . В этом случае можно дать следующее эквивалентное определение:подмножество I решетки является идеалом тогда и только тогда, когда это нижнее множество, замкнутое относительно конечных соединений ( супремы ); то есть он непуст и для всех x , y в I элемент P находится в I. также [3]

Более слабое понятие идеала порядка определяется как подмножество частично упорядоченного множества P , которое удовлетворяет вышеуказанным условиям 1 и 2. Другими словами, идеал порядка — это просто нижнее множество . Точно так же идеал можно определить как «направленное нижнее множество».

Двойственное заменой понятие идеала, т. е. понятие, полученное перестановкой всех ≤ и с это фильтр .

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

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

Наименьший идеал, содержащий данный элемент p, — это главный идеал и p называется Главный элемент идеала в этой ситуации. Главный идеал таким образом, для принципала p задается формулой p = { x P | Икс п } .

Терминологическая путаница

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

Приведенные выше определения «идеала» и «идеала порядка» являются стандартными. [3] [4] [5] но есть некоторая путаница в терминологии. Иногда слова и определения, такие как «идеал», «идеал порядка», « идеал Фринка » или «идеал частичного порядка», означают друг друга. [6] [7]

Главные идеалы

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

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

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

  1. I — собственный идеал P , и
  2. для всех элементов x и y из P , в I подразумевает, x I или y I. что

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

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

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

Максимальные идеалы

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

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

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

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

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

Доказательство

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

В другом случае предположим, что существует некоторый m в M такой, что m a в F . Теперь, если какой-либо элемент n в M таков, что n b находится в F , можно обнаружить, что m n ) b и ( m n ) ∨ a оба находятся в F. ( Но тогда их встреча находится в F и, по дистрибутивности, ( m n ) ∨ ( a b ) находится в F. тоже С другой стороны, это конечное объединение элементов M явно находится в M , так что предполагаемое существование n противоречит непересекаемости двух множеств. Следовательно, все элементы n из M имеют соединение с b которого нет в F. , Следовательно, можно применить приведенную выше конструкцию с b вместо a, чтобы получить идеал, который строго больше M, но при этом не пересекается с F . Это завершает доказательство.

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

Приложения

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

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

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

Обобщение на любые частично-множества было сделано Фринк . [9]

См. также

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

Примечания

[ редактировать ]
  1. ^ Тейлор (1999) , с. 141 : «Направленное нижнее подмножество частичного множества X называется идеалом».
  2. ^ Гирц, Г.; Хофманн, К.Х.; Кеймель, К.; Лоусон, доктор юридических наук; Мислов, М.В.; Скотт, DS (2003). Непрерывные решетки и области . Энциклопедия математики и ее приложений. Том. 93. Издательство Кембриджского университета. п. 3 . ISBN  0521803381 .
  3. ^ Перейти обратно: а б с Беррис и Санкаппанавар 1981 , Def. 8.2.
  4. ^ Дэйви и Пристли 2002 , стр. 20, 44.
  5. ^ Француз и Харт 2020 , стр. 2, 7.
  6. ^ Идеал частичного порядка , Wolfram MathWorld , 2002 , получено 26 февраля 2023 г.
  7. ^ Джордж М. Бергман (2008), «О решетках и их идеальных решетках, а также частично упорядоченных множествах и их идеальных частично упорядоченных множествах» (PDF) , Тбилиси Матем. Дж. , 1 : 89–103, arXiv : 0801.0751.
  8. ^ Стоун (1934) и Стоун (1935)
  9. ^ Фринк (1954)

Об истории

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