Лемма Цорна была предложена в 1935 году. Она часто заменяет рассуждения, основанные на таких эквивалентных ей принципах, как принцип максимальностиХаусдорфа, аксиома выбора, теорема Цермело о вполне упорядоченности.
Можно показать эквивалентность этих утверждений лемме Цорна, но мы не будем этого делать, так как это не является целью дипломной работы. Лемма Цорна принимается нами в качестве аксиомы.
В параграфе 1 были даны определения систем замыканий и операторов замыкания. Между ними существует взаимосвязь. Сформулируем эту взаимосвязь в качестве теоремы и докажем её.
Теорема 1.Каждая система замыканий D на множестве A определяет оператор замыкания на A по правилу
(X) = ∩{Y D | Y
X}.
Обратно, каждый оператор замыкания на A определяет систему замыканий
D = {X
Доказательство:
∆ 1) Пусть дана система замыканий D и оператор , определенный по правилу (X) = ∩{Y D | Y
X}. Докажем, что – оператор замыкания. Для этого проверим выполнимость условий J. 1 – J. 3. Этот оператор удовлетворяет условиям J. 1 – 2 по определению. По условию, D – система замыканий. Тогда
(X) = X X
так как (X)
2) Обратно, пусть задан оператор замыкания (удовлетворяющий J. 1 – 3) и пусть
D = {X
Докажем, что D – система замыканий. Если (Xi)i I – произвольное семейство в D и ∩Xi=X, то X
Xi; следовательно, по J. 1. (X)
(X)
Вместе с условием J. 2 это показывает, что (X) = X, то есть X
3) Покажем, что соответствие D
Во-первых, пусть D – произвольная система замыканий, – оператор, определенный равенством (X) = ∩{Y
(X) =X '(X) =X. (3)
В силу J. 3, (X) = (X); поэтому из (3) вытекает, что '(X) = (X). Но X
Системы замыканий и операторы замыкания могут быть определены на любой полной решётке L и соотношения между ними, установленные в теореме 1, сохраняются.
На самом деле теорема 1 является частным случаем соответствующей теоремы (при L = B (A)) для произвольной полной решётки L.
Элементы системы D называются замкнутымимножествами множества A, а (X) называется замыканием множества X в A ((X) на самом деле замкнуто в силу J. 3). Как было отмечено, D является полной решеткой относительно
Начнем с понятия алгебраической операции.
Пусть A – универсальная алгебра с множеством алгебраических операций Ω. Каждая операция ω из Ω имеет определённую арность n, n N
{0}.
Для любого натурального nn-арная операция ω – это отображение из An в A, то есть каждой упорядоченной n-ке {a1; …; an}
В случае п = 1 это будет любое преобразование множества A(отображение Aв себя).
Если n = 0, то a0 – это одноэлементное множество и 0-арная операция ω переводит элемент a0 в некоторый элемент ω(a0) = ω из A, то есть 0-арная операция ω фиксирует некоторый элемент в A: является некоторым выделенным элементом алгебры A.
Если дана универсальная алгебра Aс множеством алгебраических операций Ω, то подмножество B
ω(а1, а2,…, ап)
С другой стороны, элементы, отмечаемые в Aвсеми 0-арными операциями из Ω (если такие существуют), должны содержаться в подалгебре B.
Очевидно, что пересечение любой системы подалгебр универсальной алгебры A, если оно не пусто, будет подалгеброй этой алгебры.
Отсюда следует, что если X– непустое подмножество алгебры A, то в Aсуществует наименьшая среди подалгебр, содержащих целиком множество X. То есть существует наименьшая подалгебра в A, содержащая X и она равна пересечению всех подалгебр алгебры A, содержащих X. Обозначим её через
Стоит отметить, что пересечение подалгебр может быть пустым, если множество алгебраических операций Ω алгебры не содержит 0-арных операций.
Заметим, что системаS(А) всехподалгебралгебрыAявляетсяалгебраическойсистемойзамыканий, то есть соответствующий оператор замыкания X
Очевидно, что соответствие X
Возьмём a