Аксиома Мартина

Аксиома Мартина — утверждение о достаточных условиях существования ультрафильтра на булевой алгебре, является следствием континуум-гипотезы. Широко используется в общей топологии и теории множеств.

Формулировка: если  — булева алгебра, удовлетворяющая условию счётности цепей, и  — семейство подмножеств , такое, что , то существует  — полный ультрафильтр на . (Частично упорядоченное множество удовлетворяет условию счётности цепей, если каждое множество попарно несовместимых элементов имеет мощность счётного множества.)

Литература

  • Йех Т. Теория множеств и метод форсинга. — М.: Мир, 1973. — С. 101—110;
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.