www.wikidata.uk-ua.nina.az

Теорема про булеві прості ідеали Теорема про Булеві прості ідеали в теорії порядку стверджує що ідеали в булевій алгебрі

Теорема про булеві прості ідеали

Теорема про Булеві прості ідеали в теорії порядку стверджує, що ідеали в булевій алгебрі можуть бути розширені до простих ідеалів.

Так як в теорії порядку більшість понять є двоїстими, і двоїстим до ідеала є фільтр, то аналогічне твердження для фільтрів називається — лема про ультрафільтри.

Існують аналогічні формулювання і для інших алгебраїчних структур, наприклад, для кілець та їх простих ідеалів (в теорії кілець).

Всі ці формулювання не можуть бути доведені в рамках аксіом теорії множин Цермело-Френцеля (ZF).

В рамках ZFC деякі з них еквівалентні аксіомі вибору (AC), а саме теорема про Булеві прості ідеали (BPI) — є набагато слабшою за AC.

Лема про ультрафільтр Редагувати

Лема:

Це історично перше з усіх формулювань.

Теореми про прості ідеали Редагувати

Враховуючи, що:

Перефразуємо лему про ультрафільтр та отримаємо, теорему:

Ця теорема узагальнюється на різні алгебраїчні структури. Якщо в них мова йде про прості ідеали, то її позначають PIT, а якщо про максимальні — MIT. Зазвичай версії MIT строгіші зі версії PIT.

Теорема про прості булеві ідеали Редагувати

Якщо B — булева алгебра, I — деякий її ідеал, та F — її фільтр, такий що I та F не перетинаються (не мають спільних елементів).

Тоді I міститься в деякому простому ідеалі B, що не перетинається з F.

Узагальнення для деяких ґраток Редагувати

Теорема також справедлива для дистрибутивних ґраток та імплікативних ґраток. Але для них максимальні та прості ідеали не збігаються, тому:

  • MIT для них еквівалентна AC.
  • PIT для дистрибутивних ґраток еквівалентна BPI.
  • Імплікативна ґратка не є самодвоїстою, тому для неї існують дві теореми.
    • MIT для дуальних понять імплікативних ґраток еквівалентна BPI.

Див. також Редагувати

Джерела Редагувати

Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри
Дата публікації:
Teorema pro Bulevi prosti ideali v teoriyi poryadku stverdzhuye sho ideali v bulevij algebri mozhut buti rozshireni do prostih idealiv Tak yak v teoriyi poryadku bilshist ponyat ye dvoyistimi i dvoyistim do ideala ye filtr to analogichne tverdzhennya dlya filtriv nazivayetsya lema pro ultrafiltri Isnuyut analogichni formulyuvannya i dlya inshih algebrayichnih struktur napriklad dlya kilec ta yih prostih idealiv v teoriyi kilec Vsi ci formulyuvannya ne mozhut buti dovedeni v ramkah aksiom teoriyi mnozhin Cermelo Frencelya ZF V ramkah ZFC deyaki z nih ekvivalentni aksiomi viboru AC a same teorema pro Bulevi prosti ideali BPI ye nabagato slabshoyu za AC Zmist 1 Lema pro ultrafiltr 2 Teoremi pro prosti ideali 3 Teorema pro prosti bulevi ideali 4 Uzagalnennya dlya deyakih gratok 5 Div takozh 6 DzherelaLema pro ultrafiltr RedaguvatiLema Dovilnij filtr na mnozhini ye pidmnozhinoyu deyakogo ultrafiltra maksimalnogo filtra na cij mnozhini V ZFC lema ekvivalentna AC Ce istorichno pershe z usih formulyuvan Teoremi pro prosti ideali RedaguvatiVrahovuyuchi sho Filtr na mnozhini ye filtrom v bulevij algebri utvorenij buleanom ciyeyi mnozhini div predstavlennya bulevih algebr Dlya bulevoyi algebri ponyattya maksimalnogo filtru ta prostogo filtru zbigayutsya Ideal ce napravlena nizhnya mnozhina Ideal staye filtrom i navpaki yaksho zaminiti poryadok na dvoyistij do nogo Perefrazuyemo lemu pro ultrafiltr ta otrimayemo teoremu Dovilnij ideal buleana ye pidmnozhinoyu prostogo ideala Cya teorema uzagalnyuyetsya na rizni algebrayichni strukturi Yaksho v nih mova jde pro prosti ideali to yiyi poznachayut PIT a yaksho pro maksimalni MIT Zazvichaj versiyi MIT strogishi zi versiyi PIT Teorema pro prosti bulevi ideali RedaguvatiYaksho B buleva algebra I deyakij yiyi ideal ta F yiyi filtr takij sho I ta F ne peretinayutsya ne mayut spilnih elementiv Todi I mistitsya v deyakomu prostomu ideali B sho ne peretinayetsya z F Uzagalnennya dlya deyakih gratok RedaguvatiTeorema takozh spravedliva dlya distributivnih gratok ta implikativnih gratok Ale dlya nih maksimalni ta prosti ideali ne zbigayutsya tomu MIT dlya nih ekvivalentna AC PIT dlya distributivnih gratok ekvivalentna BPI Implikativna gratka ne ye samodvoyistoyu tomu dlya neyi isnuyut dvi teoremi MIT dlya dualnih ponyat implikativnih gratok ekvivalentna BPI Div takozh RedaguvatiTeorema Stouna pro predstavlennya bulevih algebrDzherela RedaguvatiBirkgof G Teoriya reshyotok per s angl V N Salij pod red L A Skornyakova 3 e Moskva Nauka 1984 568 s ros Otrimano z https uk wikipedia org w index php title Teorema pro bulevi prosti ideali amp oldid 38063624