2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Фильтры и ультрафильтры
Сообщение27.10.2012, 14:34 
В википедии в статье "ультрафильтр" меня заинтересовала следующая фраза: "Утверждение о том, что каждый фильтр содержится в ультрафильтре не может быть доказано без использования аксиомы выбора. Также это утверждение эквивалентно теореме о булевых простых идеалах".
Конечно, я умею доказывать, что любой фильтр содержится в ультрафильтре, потому что я знаю, что такое лемма Цорна. У меня к вам 1 вопрос - что такое булев простой идеал (уж не простой=максимальный ли идеал в булевом кольце?)? (а заодно и что такое теорема о булевых простых идеалах). Спасибо.
PS В википедии соответствующая статья отсутствует.

 
 
 
 Re: Фильтры и ультрафильтры
Сообщение28.10.2012, 00:57 
Chernoknizhnik в сообщении #636452 писал(а):
PS В википедии соответствующая статья отсутствует.

Как же отсутствует, если вот она: http://en.wikipedia.org/wiki/Boolean_prime_ideal_theorem

 
 
 
 Re: Фильтры и ультрафильтры
Сообщение28.10.2012, 09:59 
О, спасибо! (не привык пользоваться английской)

 
 
 
 Re: Фильтры и ультрафильтры
Сообщение28.10.2012, 14:17 
Аватара пользователя
Англоязычная википедия полней и достоверней русскоязычной. Часто существенно.

 
 
 [ Сообщений: 4 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group