Принцип двойственности (теория множеств)

Шаблон:Значения Принцип двойственности в теории множеств — утверждение о свойствах операций над множествами.

Формулировка

Пусть дано множество $M$. Рассмотрим систему всех его подмножеств. Справедливо следующее предложение: если верна теорема о подмножествах множества $M$, которая формулируется лишь с использованием операций объединения ($A\cup B$), пересечения ($A\cap B$) и дополнения ($\bar{A}$), то верна также и теорема, получающаяся из данной путём замены операции объединения и пересечения соответственно операциями пересечения и объединения, пустого множества $\mathrm{\varnothing }$ — множеством $M$, а множества $M$ — пустым множеством.

Примеры

• Теорема. Для любых подмножеств $A$, $B$ и $C$ множества $M$ верно, что $(A\cup B)\cap C=(A\cap C)\cup (B\cap C)$.

Из данной (верной) теоремы по принципу двойственности может быть получено аналогичное утверждение со следующим равенством: $(A\cap B)\cup C=(A\cup C)\cap (B\cup C)$.

• Теорема. Для любого подмножества $A$ множества $M$ верно, что $A\cap \bar{A}=\mathrm{\varnothing }$.

Из данной (верной) теоремы по принципу двойственности может быть получено аналогичное утверждение со следующим равенством: $A\cup \bar{A}=M$.

Важно отметить, что принцип двойственности применим только в тех случаях, когда утверждение теоремы постулирует равенство двух выражений над множествами; в других случаях он может нарушаться. Например, для любых подмножеств $A$ и $B$ множества $M$ верно, что $A\cap B\subseteq A\cup B$; однако двойственное утверждение ($A\cup B\subseteq A\cap B$) неверно.

Литература

• Шаблон:БСЭ3