С.О. Сперанский, "Введение в модальную логику"

Лекция 12

Europe/Moscow
Description

Основной целью данной лекции является доказательство «малой теоремы Стоуна» о представлении булевых алгебр: а) всякая конечная булева алгебра изоморфна алгебре всех подмножеств некоторого множества; б) всякая булева алгебра вкладывается в алгебру всех подмножеств некоторого множества. Для этого мы сначала докажем, что всякая (под)прямо неразложимая булева алгебра либо тривиальна, либо изоморфна простейшей двухэлементной булевой алгебре, а затем воспользуемся полученными ранее результатами о прямых и подпрямых разложениях. Кроме того, мы познакомимся с понятием атомарной булевой алгебры и увидим, что для таких алгебр «малую теорему Стоуна» можно доказать другим, значительно более простым способом.